經典邏輯

各種嘗試。對于集合（set）和類（collection）的概念，經典邏輯的基本句法和語義概念的出現尤其如此，比如，給定順序的邏輯語言，可滿足性和可定義性。其它的研究和進展包括：集合論的公理化、類型論、語義學基礎、形式邏輯的理論。 經典邏輯被特征化為下面一些性質： 同一律 排中律 無矛盾律