बीसवीं सदी में परंपरागत अरस्तू के तर्कशास्त्र से भिन्न प्रतीक मूलक या प्रतीकनिष्ठ तर्कशास्त्र का विकास हुआ है। कुछ परीक्षकों की दृष्टि में यह एक बड़ी घटना है। इस नये तर्कशास्त्र को गणितनिष्ठ तर्कशास्त्र भी कहते हैं। उन्नीसवीं सदी के मध्य में दो अंग्रेज गणिताज्ञों ने तर्कशास्त्र के इस नये रूप का आधार खड़ा किया; ये दो गणितज्ञ थे - आगस्टस डि मार्गन तथा जार्ज बूल। इनका मुख्य अन्वेषण यह था कि <MASK> के तर्कशास्त्र में जिन अनुमितियों का उल्लेख है, उनमें कहीं अधिक कोटियों की प्रामाणिक अनुमितियाँ हैं।
तर्कशास्त्र
प्लेटो अरस्तू अफलातून सिसरो