לוגיקה - מבוא... מלאכותיות המושתתות על אופני ביטוי סימבוליים, ללא תלות בתחביר של השפה הטבעית. כך נולדה הלוגיקה המתמטית, המתמקדת במושג ההוכחה ובתכונותיהן של מערכות אקסיומטיות שונות. לפיכך בעוד שבראשית הלוגיקה נושא המחקר היה חוקי החשיבה הנכונה, נכון יותר לתאר את העניין של הלוגיקה המודרנית כעיסוק בתכונותיהן הצורניות של קבוצות של טענות באשר הן. מקורו של המונח לוגיקה מהמילה היוונית לוגוס, שלה פירושים שונים כגון סיבה, ... ללוגיקה הוא תורת ההיגיון או שכל הישר. תולדות הלוגיקה מראשיתה ועד תקופת אפלטון ראשיתה של הלוגיקה במחקר הפילוסופי אודות תכונותיהם של טיעונים. מחקר זה התפתח במיוחד ביוון העתיקה, ובעיקר במסגרת האסכולה האלאטית. פרמנידס ותלמידו זנון התמחו בניסוחם של טיעונים ... לוגי קרא אפלטון דיאלקטיקה. עיקרון לוגי יסודי שאפלטון זיהה לראשונה הוא חוק הסתירה, על פיו אין דבר יכול לשאת תכונות מנוגדות זו לזו: ברור שאותו הדבר עצמו לא יעשה או יסבול בעת ובעונה אחת דבר והיפוכו, על כל פנים ... לחוק זה היבט אונטולוגי, היבט לוגי, והיבט פסיכולוגי. מן ההיבט האונטולוגי, דבר לא יכול, באותו זמן, מקום ונסיבות, לשאת תכונה מסוימת ולא לשאת את אותה תכונה בעת ובעונה אחת, מן ההיבט הלוגי או הסמנטי, טענה אינה יכולה להיות גם אמיתית וגם שקרית, ומן ההיבט הפסיכולוגי, ... המחשבה המנוגדת לה בעת ובעונה אחת. העיקרון מופיע בספר המטפיזיקה של אריסטו כך (ע בקר 1005b): לא אפשרי לאותה תכונה להשתייך ולא להשתייך לאותו דבר בו זמנית ובאותו יחס... אף אחד אינו יכול להניח כי אותו דבר הינו ואינו... ואם לא אפשרי לתכונות סותרות להשתייך בו זמנית לאותו עצם... ואם דעה הסותרת דעה אחרת מנוגדת לה, ברור כי אין זה אפשרי... להניח ... באמצעותו ניתן לבחון טיעונים מורכבים יותר מאלו שהלוגיקה האריסטוטלית עסקה בהם, לתת ניתוחים יסודיים של טענות מתמטיות מורכבות, ולזהות תכונות צורניות לא רק של הטענה ושל הטיעון, אלא גם של מערכות לוגיות שלמות, תכונות כגון שלמות, נאותות, כריעות וקומפקטיות, שהן תכונות הנוגעות לאפשרויות ההבעה הגלומות בשפה מסוימת או במערכת אקסיומטית מסוימת, ולא תכונות של טענה או של קבוצה מסוימת של טענות. הלוגיקה המודרנית סיפקה, באמצעים אלו, את היסודות למדעי המחשב ואפשרה את ... קובעת מהי קבוצת האיברים של תחום הדיון, מהן הקבוצות של האובייקטים המשויכים לכל פרדיקט (דהיינו, לאילו אובייקטים יש את התכונה שהפרדיקט מייצג), וכן את הפירוש של הקשרים הלוגיים. כל פירוש סמנטי של מערכת כזו הוא מודל, אולם התכונות הלוגיות של המערכת עצמה צריכות להיות תקפות עבור כל מודל אפשרי. לדוגמה, תקפות לוגית של טיעון חייבת להיות תלויה ... הטענות המקושרות בו, ללא קשר לפירוש שאנו נותנים למונחים הלא - לוגיים המופיעים בהן. מכאן שהלוגיקה המודרנית עוסקת בבחינת תכונותיהן הצורניות של מערכות לוגיות, הן מבחינת התחביר שלהן והן מבחינת הסמנטיקה שלהן. למחקר כזה קוראים מטא - לוגיקה. מבין התכונות הצורניות החשובות ביותר של מערכות לוגיות, ניתן להזכיר את התכונות הבאות, אשר את קיומן עבור מערכות מסוימות ניתן להוכיח או לשלול: עקביות (consistency) - זוהי תכונתן של מערכות לוגיות שאין סתירה בין אי אלו מן הטענות המוכלות בהן שלמות (completeness) - זוהי תכונתן של מערכות לוגיות שבהן לגבי כל נוסחה אמיתית, ניתן לספק לה הוכחה מן האקסיומות. נאותות (soundness) - בניגוד לנאותות של טיעון, שהיא התכונה של טיעון תקף שבו כל ההנחות אמיתיות, נאותות של מערכת לוגית היא התכונה לפיה אם נוסחה מסוימת ניתנת להוכחה מן האקסיומות על פי חוקי התחשיב, אזי נוסחה זו אמיתית. הוכחות לשלמות ולנאותות ... יש שלמות, כאשר כל טאוטולוגיה היא גם תאורמה. למערכת יש נאותות, כאשר כל תיאורמה היא טאוטולוגיה. ניתן לראות כי התכונות נאותות ושלמות קשורות זו לזו, אף שלא כל מערכת נאותה היא גם שלמה. קורט גדל הוכיח ב - 1931 ... המודליים של ההכרח והאפשרות ולקבל בהכרח יורד גשם או אפשרי שיורד גשם. הלוגיקה המודלית מציעה מספר מערכות אקסיומטיות בעלות תכונות שונות, והיא ניתנת להחלה במספר תחומים נוספים, למשל לשם תיאור מושגים דאונטיים (מושגי החובה וההיתר המוסרי, אותם ניתן להחיל ...