לוגיקה - מבוא... המתארת את אופני החשיבה התקפים ואת אופני ביטויהם. במאה ה - 19 וה - 20 חווה ענף הלוגיקה התפתחות משמעותית עקב התמקדות המחקר באופן בו ניתן לזקק מבנה לוגי באמצעות שפות מלאכותיות המושתתות על אופני ביטוי סימבוליים, ללא תלות בתחביר של השפה הטבעית. כך נולדה הלוגיקה המתמטית, המתמקדת במושג ההוכחה ובתכונותיהן של ... זה התפתח במיוחד ביוון העתיקה, ובעיקר במסגרת האסכולה האלאטית. פרמנידס ותלמידו זנון התמחו בניסוחם של טיעונים פרדוקסליים, המראים כי ישנן סתירות במושגים באמצעותם אנו מבינים את המציאות, במיוחד בכל הנוגע למושגים רצף ואינסוף. את הסתירות הללו ניתן לחשוף באמצעות הצגת הקשרים בין המושגים השונים שלנו בצורה של טיעון, שעל אף שאנו נטוים לקבל את הנחותיו, מסקנתו בלתי נסבלת (למשל, שאין שינוי בעולם, שאין בו תנועה ... האפשריות של טיעונים בני שתי הנחות ומסקנה אחת, גילה אריסטו את הצורות של הטיעון התקף או המופתי, המוביל תמיד מהנחה אמיתית למסקנה אמיתית. אריסטו טען שבאמצעות צורות אלו משמשת הלוגיקה ככלי עבור המדע וכאמצעי להתקדמות הידע. קיים היום ויכוח האם, לפי אריסטו, הלוגיקה היא חלק ממשי מהפילוסופיה (כמו, למשל, ... כאשר המסקנה נובעת בהכרח מן ההנחות. מהי נביעה הכרחית? כאשר ניתן לומר שאין מצב עניינים שבו ההנחות אמיתיות אבל המסקנה שקרית, כלומר כאשר אין דוגמה נגדית. באמצעות הניתוח של מבנן הבסיסי של טענות, אריסטו זיהה כי לטיעונים בעלי שתי הנחות ומסקנה ישנו מספר סופי של צורות, וחלק מהן הן כאלו שמשמרות את האמת של ההנחות ... המתווך (ב') אינו מופיע כלל, ומה שהמסקנה מלמדת אותנו זה על הקשר שבין השניים האחרים (א' וג'). אריסטו הוא שהמציא את מתודת ההפשטה המאפשרת להציג מונחים באמצעות אותיות, וזהו צעד חשוב בדרך להמצאתו של המשתנה. כמו כן, יש לשים לב לכך שמלבד המונחים, המיוצגים באמצעות אותיות, מופיעים בגרסה הצורנית של הסילוגיזם קבועים לוגים, דהיינו מלים כגון "כל", "הוא" (האוגד), וכן מלים נוספות שעוד לא פגשנו בטיעון שלעיל, כגון "חלק מ" והשלילה באמצעות "אינו". כאשר אנו מצרינים את הטיעון אנו נפטרים אך ורק מן השמות של המונחים, ואילו הצורה הלוגית של הטיעון, המיוצגת באמצעות הקבועים הלוגים, נשארת חשופה לעינינו. מתפיסה זו של הצורה התקפה של הטיעון יוצא שאם בטיעון מסוים ההנחות אמיתיות והמסקנה שקרית אזי הטיעון אינו תקף. ... א הוא ב 2.חלק מ - א הם ג מסקנה: חלק מ - ב הם ג אריסטו הבחין גם בשלילה כאחד מן הקבועים הלוגים, וכך הבחין בין צורתן של טענות חיוביות ושל טענות שוללות. באמצעות כך הוא זיהה צורות נוספות של טיעונים תקפים, למשל: 1.כל הנמרים הם יונקים. 2.אף דג אינו יונק. מסקנה: אף דג אינו נמר. והנה צורת הטיעון: 1.כל א הוא ב. ... טענות כוללות ופרטניות, או בין טענות שוללות וחיוביות, דומה), הצליח אריסטו לצמצם את מספר הטיעונים התקפים היסודיים לארבעה, על ידי שימוש בשלושה כללי המרה שבאמצעותם ניתן להמיר טענות מסוג אחד בטענות מסוג אחר. אלו הם שלושת כללי ההמרה: 1.מ"אין א שהוא ב" הסק: "אין ב שהוא א" 2.מ"כל ב הוא א" הסק: "חלק מ - א הוא ב" ... אשר מצוי בטווח שלו אינו מציין קבוצה ריקה. אריסטו גם אינו מכיר באופיים הייחודי של יחסים, דהיינו של פרדיקטים המקשרים שני אובייקטים. לפיכך, לא ניתן להביע באמצעות הלוגיקה האריסטוטלית את הקשרים הלוגיים שבין הטענות הבאות: 1.יוני הוא אביו של רוני 2.רוני הוא אביו של בוני 3.יוני הוא אביו של אביו של בוני לו היינו ... אריסטו אינה נדחית לגמרי בצורתו הפשוטה של תחשיב הפסוקים המודרני, הרי שהלוגיקה המודרנית, מאז פרגה, מציעה ניתוחים מתוחכמים בהרבה של המבנה הפנימי של הטענה באמצעות תחשיב הפרדיקטים. בעוד שאריסטו סבר כי לטענות יש שלושה חלקים: שני מונחים והאוגד המחבר ביניהם, בתחשיב הפרדיקטים של הלוגיקה החדשה הטענה האטומית היא ... האובייקט והפרדיקט המושת עליו. בנוסף, הלוגיקה החדשה אינה תופסת את הכמת הלוגי כמאפיין את הטענה כולה או את האוגד, אלא כחל על משתנה מסוים מתוך הטענה. באמצעות כך שהכמתים יכולים כעת להופיע כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך שניתן כעת לנסח טענות שיש בהם כימות מרובה של מספר משתנים בעת ובעונה אחת, מאפשרת הלוגיקה החדשה להביע עובדות וקשרים שאינם ניתנים להבעה באמצעות הניתוח האריסטוטלי. כך למשל הצליחה הלוגיקה המודרנית לתת לראשונה תיאור מדויק של מושג הגבול באנליזה המתימטית של פונקציות, שכן לשם הבעת מושג זה יש ... תחשיב הפסוקים המודרני, וגישתם האלגברית ללוגיקה עומדת ביסוד מדעי המחשב. בול וממשיכיו הציגו לראשונה מונחי יסוד של תורת הקבוצות במסגרת הדיון בלוגיקה, ובאמצעותם ייצגו הסקים אריסטוטלים כמשוואות שהמסקנה היא פתרונן. במקביל, מתמטיקאים ופילוסופים כמו ברנרד בולצאנו ואלקסיוס מיינונג חקרו את מושג הטענה ואת האופן ... בעקבות פרגה כך: Fa כאשר F מציין את הפרדיקט חכם, ו - a מציין את שמו של האובייקט, דני. שיטתו של פרגה מאפשרת גם להביע יחסים בין שני אובייקטים או יותר באמצעות פרדיקטים דו מקומיים, המקבלים שני אובייקטים. למשל כדי לומר שדני (a) הוא חבר של רני (b), תוך ציון יחס החברות באמצעות האות R, נקבל את הנוסחה הבאה: Rab פרגה תרם תרומה הכרחית למתמטיקה וללוגיקה באמצעות המצאת תורת הכימות (קוונטיפיקציה). הלוגיקה החדשה אינה תופסת את הכמת הלוגי כאפיון של הטענה כולה או של האוגד שלה, אלא כפונקציה מסדר גבוה יותר החלה על ... \ \ forall x Fx וכך הוא מביע את הטענה "יש דבר אחד לפחות שהוא חכם": וכך מסמנים פסוק זה בשיטה המודרנית \ neg \forall x \neg Fx השקולה ל - \ exists x Fx באמצעות התחביר החדש של תחשיב הפרדיקטים, הכולל הכימות, יכולים הכמתים להופיע כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך ניתן כעת לנסח טענות שיש בהם כימות מרובה של מספר משתנים בעת ובעונה אחת. טכניקות אלו מעניקות ללוגיקה החדשה כוח להביע עובדות וקשרים שאינם ניתנים ... פרגה את בעיית אחדות הטענה שהטרידה אחר כך את ראסל, ומציע, באופן מובלע, תורת טיפוסים פרימיטיבית: מושגים (מסדר ראשון) חלים על אובייקטים בלבד, משום שרק באמצעותם הם נהיים רוויים במשמעות. אולם מכאן עולות גם כמה מסקנות פרדוקסליות. מכיוון שרק בצירוף לשם או למשתנה יש למושג משמעות, המושג אינו יכול להופיע כנושא ... כי אין לו פתרון מספק לבעיה, והוא לא הצליח לתקן את עבודתו על מנת למנוע את הפרדוקס. בפרסומים מאוחרים יותר של ראסל ושל ג'ון פון נוימן מוצע פתרון לבעיה באמצעות תורת הטיפוסים (theory of types). לוגיקה בת ימינו באמצעות פיתוחם של אמצעים סימבולים חדשים להבעת היחסים הלוגיים בין חלקי הטענה, ובאמצעות גילוין של דרכים חדשות להבין את מבנה העומק של הטענות, הפכה הלוגיקה המודרנית לכלי רב עוצמה באמצעותו ניתן לבחון טיעונים מורכבים יותר מאלו שהלוגיקה האריסטוטלית עסקה בהם; לתת ניתוחים יסודיים של טענות מתמטיות מורכבות; ולזהות תכונות צורניות לא רק של ... היסוד של המתמטיקה אינן מעניינו של המתמטיקאי, אלא של הפילוסוף והלוגיקאי. הלוגיקה המודרנית היא לוגיקה סימבולית, דהיינו היא בוחנת צורות מופשטות המיוצגות באמצעות סמלים, שניתן להבין אותן כמייצגות את הצורות של הטענות וההיסקים שאנו מכירים מן השימוש הטבעי בשפה. בלוגיקה מנסחים ובוחנים מערכות לוגיות בשפה ... של המערכת, הקובע מהו משפט תקני ומהם הכללים לגזירה של משפט אחד ממשנהו, ובין הסמנטיקה (semantics) שלה, הקובעת את ערכי האמת של המשפטים שניתן ליצור באמצעות השפה של המערכת. אם מדובר בשפה כמו תחשיב הפסוקים, הסמנטיקה מספקת ערך אמת לכל אחד מן הפסוקים היסודיים, והיא מספקת פירוש סמנטי לפעולתם של כל אחד מן הקשרים הלוגיים, למשל באמצעות טבלת אמת המציגה כיצד משפט מורכב מקבל את ערך האמת שלו על בסיס ערכי האמת של המשפטים שהוא מחבר זה לזה (ר' להלן). בשפות לוגיות מורכבות יותר, דוגמת ...