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