שפה מסדר ראשון
שפה מסדר ראשון היא דרך פורמלית לכתוב משפטים על אובייקטים. כימותים הם מילים כמו 'לכל' ו-'קיים' שמספרים על מספרים או פריטים. השפה כוללת שמות למשתנים (כמו x), שמות לקבועים (כמו 0 ו-1), שמות לפונקציות (כמו חיבור) ושמות ליחסים (כמו 'קטן מ'). פונקציה היא פעולה שלוקחת כמה דברים ומחזירה תוצאה. כדי שהמשפטי...
וילארד ואן אורמאן קוויין
וילארד ואן אורמאן קוויין (1908, 2000) היה פילוסוף ולוגיקן חשוב. לוגיקן זה עובד על כללים שמראים מתי טיעון נכון. קוויין נולד באקרון, אוהיו. למד מתמטיקה ופילוסופיה. סיים דוקטורט בהרווארד ב-1932. ביקר באירופה ופגש מורים חשובים. בזמן מלחמת העולם השנייה שירת בצי. אחרי המלחמה לימד בהרווארד. היו לו תלמידי...
תורה (לוגיקה מתמטית)
תורה בבבלוגיקה היא רשימה של כללים ושפה מתמטית. אקסיומה היא משפט שמקבלים כנכון בתוך הרשימה. משתנה חופשי הוא משתנה שלא קשור בכמותים כמו "לכל" או "קיים". לשפה עצמה אין פירוש עד שבוחרים מודל, כלומר מבנה שמתאים לסימנים. דמיינו מסעדה: P אומר "זו צלחת" ו‑A(x,y) אומר ש‑x ו‑y יושבים באותו שולחן. אז חוק יכו...