यूरोप में तर्कशास्त्र का प्रवर्तक एवं प्रतिष्ठाता यूनानी दार्शनिक अरस्तू (३८४-३२२ ई० पू०) समझा जाता है, यों उससे पहले कतिपय तर्कशास्त्रीय समस्याओं पर वैतंडिक (सोफिस्ट) शिक्षकों, <MASK> तथा अफलातून या प्लेटो द्वारा कुछ चिंतन हुआ था। यह दिलचस्प बात है कि स्वयं अरस्तू, जिसने विचारों के इतिहास में पहली बार ज्ञान का विभिन्न शाखाओं में विभाजन किया, 'तर्कशास्त्र' नाम से परिचित नहीं है। उसने अपनी एतद्विषयक विचारणा को 'एनेलिटिक्स' (विश्लेषिकी) नाम से अभिहित किया है। तर्कशास्त्र के वाचक शब्द 'लाजिका' का सर्वप्रथम प्रयोग रोमन लेखक सिसरो (१०६-४३ ई० पू०) में मिलता है, यद्यपि वहाँ उसका अर्थ कुछ भिन्न है।
तर्कशास्त्र
सुकरात प्लेटो धर्मकीर्ति अफलातून