... שלה פירושים שונים כגון 'סיבה', 'מחשבה', ו'טיעון'. התרגום העברי המסורתי ל'לוגיקה' הוא 'תורת ההיגיון' או 'שכל הישר'. תולדות הלוגיקה מראשיתה ועד תקופת
אפלטון ראשיתה של הלוגיקה במחקר הפילוסופי אודות תכונותיהם של ... עולות היא שהבנתנו הראשונית את המושגים הנוגעים לעולם החושים אינה מתוחכמת מספיק; בעקבות הסתירות, אנו נאלצים לחשוב מחדש על האופן בו עלינו להבין אותם.
אפלטון יכול להחשב כממשיך דרכם של האלאטים.
אפלטון אמנם לא הציג תורה לוגית סדורה, אולם בדיאלוגים שכתב הוא ... לוגיים יסודיים, למשל את ההבחנה בין טיעונים שבמבנה שלהם קיימת סתירה פנימית, לבין טיעונים שהתוכן שלהם עקבי, כלומר שאין בו סתירות פנימיות. לשם כך ביקש
אפלטון להבהיר את מושג ההגדרה (יוונית: Horismos), שכן ללא הגדרות חדות של המושגים אודותם נסובים טיעונינו, קשה להבחין מתי אנו סותרים את עצמנו. בדיאלוג
האפלטוני הטיפוסי, סוקרטס בוחן נושא מסוים (למשל, מהו אומץ או מהי ... ולנתח את הדיאלוג כחקירה המכוונת לבדוק האם כל המשפטים עקביים עם עצמם ועם המשפטים האחרים בהם מאמינים המשתתפים בדיאלוג. למתודה זו של בירור לוגי קרא
אפלטון דיאלקטיקה. עיקרון לוגי יסודי
שאפלטון זיהה לראשונה הוא חוק הסתירה, על פיו אין דבר יכול לשאת ... בהללו, נדע שאינם אותו הדבר עצמו, אלא מרובים" (פוליטיאה, 436ב). לוגיקה אריסטוטלית הלוגיקה של אריסטו גישתו של אריסטו ללוגיקה הייתה שיטתית יותר מזו של
אפלטון, והוא הפך אותה לתורה סדורה המאפשרת להבחין בין טיעונים ...