אריסטו הוא הראשון שניסח את חוקי היסוד של תורת ההיגיון. אריסטו ניסח שלושה חוקי יסוד בלוגיקה והם:
1.חוק הסתירה: שתי טענות סותרות לא יכולות להיות אמיתיות באותו זמן ומאותה בחינה. לדוגמה: "יורד עכשיו גשם בתל אביב" ו"לא יורד עכשיו גשם בתל אביב" לא יכולות להיות שתיהן אמיתיות ביחד.
2.כלל השלישי הנמנע: כל טענה היא בהכרח אמיתית או שקרית, ואין אפשרות שלישית. לא תימצא טענה שאיננה שקרית ואיננה אמיתית. לכן "או שיורד גשם או שלא יורד גשם" נכונה בהכרח כיוון שאחת מהחלופות חייבת להיות נכונה.
3.חוק הזהות: כל דבר זהה לעצמו.
אין תגובות:
הוסף רשומת תגובה