「自然邏輯」(Natural Logic)是指以貼近自然語言的表達式為基礎的邏輯推理。古希臘的形式邏輯主要研究量化句之間的推理關係，所謂「量化句」，是指形如「所有S都是／不是 P」和「有(至少一個)S是／不是P」的命題。這些量化句是從自然語言歸納出來的，具有一般句子的「主謂」(Subject-Predicate)結構，因此古典形式邏輯可稱為「古典自然邏輯」。古典形式邏輯的自然主義風格反映了西方早期邏輯學與語言學的密切關係，事實上，「主語」和「謂語」便既是邏輯學，又是語法學的術語。