כל מה שרצית לדעת על תורת ההיגיון:
תורת ההיגיון או בלעז, לוגיקה (מיוונית: λογική), זו תורה הבוחנת קשרי היסק בין טענות.
היא מנתחת צורה של טענות, ועל סמך ניתוח זה מציעה כללים שבעזרתם ניתן לקשר טענות זו לזו ומכאן להסיק מסקנות.
הלוגיקה מבחינה בין טיעונים שיש בהם היסק תקף, כלומר כאלו שבהם המעבר מההנחות למסקנה הוא מוצדק, לטיעונים שאינם תקפים.
לפיכך הלוגיקה היא בראש ובראשונה התורה המתארת את אופני החשיבה התקפים ואת אופני ביטויהם.
במאה ה-19 וה-20 חווה ענף הלוגיקה התפתחות משמעותית עקב התמקדות המחקר באופן בו ניתן לזקק מבנה לוגי באמצעות שפות מלאכותיות המושתתות על אופני ביטוי סימבוליים, ללא תלות בתחביר של השפה הטבעית.
כך נולדה הלוגיקה המתמטית, המתמקדת במושג ההוכחה ובתכונותיהן של מערכות אקסיומטיות שונות.
לפיכך בעוד שבראשית הלוגיקה נושא המחקר היה חוקי החשיבה הנכונה, נכון יותר לתאר את העניין של הלוגיקה המודרנית כעיסוק בתכונותיהן הצורניות של קבוצות של טענות באשר הן.
מקורו של המונח לוגיקה מהמילה היוונית לוגוס (λόγος), שלה פירושים שונים כגון 'סיבה', 'מחשבה', ו'טיעון'.
התרגום העברי המסורתי ל'לוגיקה' הוא 'תורת ההיגיון'.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לתורת ההיגיון:
•לוגיקה
•פילוסופיה
•תורת ההכרה