לוגיקה - מבואלוגיקה - מבוא תורת ההיגיון או בלעז, לוגיקה (מיוונית: ), התורה הבוחנת קשרי היסק בין טענות. הלוגיקה מנתחת את הצורה של הטענות, ועל סמך ניתוח זה מציעה כללים שבעזרתם ניתן לקשר טענות זו לזו ובכך להסיק מסקנות. הלוגיקה מבחינה בין טיעונים שיש בהם היסק תקף, כלומר כאלו שבהם המעבר מההנחות למסקנה ... המחקר היה חוקי החשיבה הנכונה, נכון יותר לתאר את העניין של הלוגיקה המודרנית כעיסוק בתכונותיהן הצורניות של קבוצות של טענות באשר הן. מקורו של המונח לוגיקה מהמילה היוונית לוגוס, שלה פירושים שונים כגון סיבה, מחשבה, וטיעון. התרגום העברי המסורתי ... מספיקות לשם תמיכה במסקנה, כך שלא ייתכן שההנחות אמיתיות אבל המסקנה שקרית. ההכרח הלוגי של הטיעונים התקפים נובע מכך שלטענות ישנו מבנה פנימי, למשל, שבכל טענה ישנו נושא ונשוא, ושכל טענה היא כללית או פרטנית, וישנו מספר מוגבל של צורות שבהן ניתן לקשר טענות זו לזו (למשל, טיעונים שבהם שתי ההנחות פרטניות, והמסקנה כללית, או כאלו שבהם אחת ההנחות כללית, השנייה פרטית, והמסקנה ... מהנחות אמיתיות נובעת מסקנה אמיתית. טיעונים שאינם עומדים בקריטריונים האלו, אינם טיעונים תקפים. ישנם כללי המרה המאפשרים להראות כי טענות שונות בצורתן הן למעשה שקולות זו לזו (ר להלן) וכך להרחיב את מספר צורות הטיעון התקפות. להלן נבחן תחילה ... אריסטו, ולבסוף נדון במגבלותיה של הלוגיקה האריסטוטלית. צורתו הלוגית של הטיעון טיעון הוא קבוצה של משפטים (או קבוצה של טענות) שחלקם הנחות ואחד מהם הוא המסקנה, והקבוצה נחשבת טיעון כאשר המעבר בין ההנחות למסקנה הוא תקף, כלומר כאשר המסקנה ... מצב עניינים שבו ההנחות אמיתיות אבל המסקנה שקרית, כלומר כאשר אין דוגמה נגדית. באמצעות הניתוח של מבנן הבסיסי של טענות, אריסטו זיהה כי לטיעונים בעלי שתי הנחות ומסקנה ישנו מספר סופי של צורות, וחלק מהן הן כאלו שמשמרות את ... תקף, אף שבמקרה כזה ייתכן שהמסקנה שקרית. אריסטו סבור כי הטיעון תקף בזכות צורתו, ללא קשר לשאלה האם חלק מהטענות שקריות מבחינת התכן שלהן. ההבחנה בין טיעון תקף שבו ההנחות אמיתיות לטיעון תקף שבו ההנחות אינן אמיתיות היא ההבחנה ... הוא א. כל טיעון בעל צורה כזו אינו תקף, והוא יכונה כשל לוגי. עד עכשיו בחנו טיעונים שבהם כל הטענות הן טענות כלליות. אולם ישנם גם טיעונים תקפים המקשרים טענות פרטניות, כלומר כאלו שבחלק מהטענות המקושרות בהם הקבוע הלוגי אינו כל אלא חלק מ. למשל: 1.כל הפירות צומחים על עצים. 2.חלק מהפירות הם הדרים. ... חלק מ - ב הם ג אריסטו הבחין גם בשלילה כאחד מן הקבועים הלוגים, וכך הבחין בין צורתן של טענות חיוביות ושל טענות שוללות. באמצעות כך הוא זיהה צורות נוספות של טיעונים תקפים, למשל: 1.כל הנמרים הם יונקים. 2.אף דג אינו יונק. ... א הוא ב. 2.אף ג אינו ב. מסקנה: אף ג אינו א. לאחר שבחן את מגוון הצירופים האפשריים של טענות (כלומר צירופים שבהם סדר המונחים זהה, או צירופים שבהם השילוב בין טענות כוללות ופרטניות, או בין טענות שוללות וחיוביות, דומה), הצליח אריסטו לצמצם את מספר הטיעונים התקפים היסודיים לארבעה, על ידי שימוש בשלושה כללי המרה שבאמצעותם ניתן להמיר טענות מסוג אחד בטענות מסוג אחר. אלו הם שלושת כללי ההמרה: 1.מאין א שהוא ב הסק: אין ב שהוא א 2.מכל ב הוא ... מ - ב הוא א הסק: חלק מ - א הוא ב הערה נוספת: הניתוח של אריסטו מאפשר מתייחס לטענות שבהן מקושרים שני מונחים כוללים, שמות של קבוצות. למעשה, הלוגיקה האריסטוטלית מועילה במיוחד לדון ביחסים בין מינים וסוגים (אריסטו ... השלישי הנמנע - לפיו טענה יכולה להיות או אמיתית או שקרית, ואין שום אפשרות ביניים שלישית. מכאן, שהלוגיקה בוחנת טענות אך ורק אם יש להן אחת משני ערכי אמת: אמת ושקר. טענות שאינן כאלו אינן מעניינה של הלוגיקה, ובאשר לטענות שהלוגיקה כן עוסקת בהן, אין אופציה נוספת. לא תיתכן טענה שאינה אמת ואינה שקר, ולכן ביטוי כגון או שדני ... דרך השלילה) אמיתית. כללים אלו הינם ברורים מאליהם אך יש מקרים בהם הרלוונטיות שלהם אינה ברורה. לדוגמה, ישנם משפטים וטענות שאנו משתמשים בהם בחיי היומיום שאין להם בהכרח תשובה מוחלטת של אמת או שקר. ניקח לדוגמה את השאלה מתי ... חד משמעי, והטענה כי קבוצה של גרגרי חול היא ערימה אינה כפופה לחוק השלישי הנמנע? הלוגיקה הקלאסית נמנעת מלעסוק בטענות מסוג זה, שכן היא מקבלת את החוקים הללו כהנחות יסוד. במאה העשרים התפתח ענף בלוגיקה המכונה אינטואיציוניזם, ובו דוחים את עקרון השלישי הנמנע. בענף אחר וחדש יחסית של הלוגיקה, לוגיקה עמומה (Fuzzy logic), עוסקים בטענות שאינן אמיתיות או שקריות באופן חד - משמעי. מגבלות הלוגיקה האריסטוטלית מנקודת המבט של הלוגיקה המודרנית, ללוגיקה של אריסטו מגבלות רבות, והיא אינה מצליחה להביע את שלל היחסים הלוגיים המופיעים בטענות המשמשים אותנו לשם הסקת מסקנות. בין השאר, אריסטו הכיר אך ורק במבנה של טענות שיש בהן נושא ונשוא (א הוא ב), ולא הכיר בטענות שצורתן צורת התנאי (אם א אז ב). הוא אף סבר שבטיעון תקף חייבת להיות יותר מהנחה אחת, ושהמסקנה חייבת ... של יחסים, דהיינו של פרדיקטים המקשרים שני אובייקטים. לפיכך, לא ניתן להביע באמצעות הלוגיקה האריסטוטלית את הקשרים הלוגיים שבין הטענות הבאות: 1.יוני הוא אביו של רוני 2.רוני הוא אביו של בוני 3.יוני הוא אביו של אביו של בוני לו היינו מנסים להביע את הטענות הללו באמצעים אריסטוטליים, היינו מקבלים את הצורה הלא - תקפה הבאה: 1.א הוא ב 2.ב הוא ג 3.א הוא ... המודרנית, מאז פרגה, מציעה ניתוחים מתוחכמים בהרבה של המבנה הפנימי של הטענה באמצעות תחשיב הפרדיקטים. בעוד שאריסטו סבר כי לטענות יש שלושה חלקים: שני מונחים והאוגד המחבר ביניהם, בתחשיב הפרדיקטים של הלוגיקה החדשה הטענה האטומית היא בעלת שני חלקים ... מתוך הטענה. באמצעות כך שהכמתים יכולים כעת להופיע כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך שניתן כעת לנסח טענות שיש בהם כימות מרובה של מספר משתנים בעת ובעונה אחת, מאפשרת הלוגיקה החדשה להביע עובדות וקשרים שאינם ניתנים להבעה ... גם את הצורות של משפט התנאי (אם א אז ב) ושל המשפט הדיסיונקטיבי (א או ב) כצורות יסודיות של טענות. החל במאה התשע עשרה, התפתחות הלוגיקה הייתה תלויה במידה רבה בעניין שגילו בה מתמטיקאים, אשר ביקשו להבין את אופין של טענות מתימטיות (למשל משוואות, שצורתן אינה כזו של נושא - נשוא) ואת אופיו של הטיעון המתימטי, דהיינו ההוכחה. במקביל לחקירת ... מיינונג חקרו את מושג הטענה ואת האופן בו תפיסותינו של האובייקטיביות של הלוגיקה והמתמטיקה מחייבות אותנו לקיומן האידאלי של טענות. התפתחויות אלו עומדות בבסיס עבודתו של גוטלוב פרגה, שאף שעיקר הישגיו בלוגיקה הושגו במאה התשע - עשרה, הם לא ... אקסיומטיזציה של תחשיב הפסוקים ושל תחשיב פרדיקטים, המנתח את מבנה הטענה כבעלת שני חלקים בלבד. בעוד שאריסטו סבר כי לטענות יש שלושה חלקים: שני מונחים והאוגד המחבר ביניהם (א הוא ב, או כל א הוא ב), בתחשיב הפרדיקטים של ... של תחשיב הפרדיקטים, הכולל הכימות, יכולים הכמתים להופיע כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך ניתן כעת לנסח טענות שיש בהם כימות מרובה של מספר משתנים בעת ובעונה אחת. טכניקות אלו מעניקות ללוגיקה החדשה כוח להביע עובדות וקשרים ... או Wertverlufe), דהיינו הקבוצה של האובייקטים שעבורם המושג מעניק ערך אמיתי. קבוצה זו נתפשת כמושא, והיא יכולה להופיע, למשל, בטענות שוויון מספרי. טענות כגון אלו, המכריזות על שוויון מספרי בין האקסטנציות של מושגים שונים הן מהותיות עבור ההגדרה הלוגית ...