לוגיקה
לוגיקה היא חקר איך לחשוב נכון. היא בודקת מתי מסקנה נובעת מהנחות. ביוון העתיקה חשבו על טיעונים. אפלטון שאל שאלות כדי לבדוק עקביות. אריסטו ארגן שיטות לקשר בין משפטים. הוא המציא סילוגיזם ".סילוגיזם" זה טיעון עם שתי הנחות ומסקנה. אריסטו קבע כללים חשובים: # חוק אי-הסתירה: דבר לא יכול להיות נכון ושקרי ב...
הטיעון האונטולוגי
זהו טיעון שמנסה להראות שאלוהים קיים בעזרת חשיבה בלבד. "אפריורי" אומר שהטיעון מבוסס על רעיונות, לא על ניסויים. האיש שהציע את הרעיון הוא אנסלם, לפני הרבה שנים. מאז אנשים אמרו כן וגם אמרו לא. אנסלם אמר: אם אפשר להעלות בדעתנו ישות שהיא הכי גדולה, אז היא חייבת גם להיות אמיתית. הוא חשב שישות שקיימת ב...
הנחה S5
S5 היא כלל בלוגיקה שעוסקת ב"אפשרי" ו"הכרחי". "אפשרי" הוא משהו שיכול להתקיים בעולם אחד לפחות. "הכרחי" הוא משהו שקורה בכל העולמות האפשריים. הכלל אומר: אם יכול להיות שמחייבים משהו, אז זה מחייב. למשל: אם אפשר ש‑א' הוא הכרחי, אז א' הכרחי. המחשבה ברורה כשחושבים על עולמות אפשריים. גם הפילוסוף פלנטינגה די...