一階邏輯體系

推理是由命題組成的，其前提和結論都是一個個單獨的命題。於是，對命題的不同分析就會導致對推理結構的不同分析，並最終導致不同的邏輯類型：命題邏輯、詞項邏輯和謂詞邏輯，它們是現代演繹邏輯的三種基本類型。其中，以符號語言和公理化方法表述的命題邏輯和謂詞邏輯，稱為“一階邏輯”；由於它在現代邏輯體系中的基礎地位，也常被稱為“經典邏輯”。可以對經典邏輯的某些基本假定提出質疑和挑戰，由此得到“變異邏輯”；也可以把經典邏輯應用於某些特殊領域，得到它們的一些擴充系統，叫做“應用邏輯”。如果把前面所説的歸納推理中前提對結論的支持關係概率化和演算化，由此形成的邏輯理論叫做“概率歸納邏輯”，這是現代歸納邏輯的主要形態。

一階邏輯邏輯曾被羅素等人看作是必然的真理，但是現在各種邏輯體系的建立，表明一階邏輯也僅只是其中一個而已。