|
||||
|
||||
אני יודע מה הכוונה ב''מבנים היסודיים'', וגם לא ברור לי מאיזו מציאות חוק לוגיקה נובע מלכתחילה (ואפילו על אילו ''חוקי לוגיקה'' מדובר - אין במתמטיקה הרבה חוקים בסיסיים מעבר ל''אם א' גורר ב' וא' נכון אז ב' נכון'' ו''אם א' נכון לכל ב' וג' הוא ב', אז א' מתקיים עבור ג'''). הדברים הללו נראים לי כאילו הם נובעים דווקא מהפשטה (כמו הרעיון שאפשר לדבר על תכונה שחולקים קבוצה גדולה של איברים). |
|
||||
|
||||
''טענה לא יכולה להיות באותו זמן, מקום ונסיבות, אמיתית ושקרית'', למשל. |
|
||||
|
||||
למה לא, בעצם? |
|
||||
|
||||
זה נשמע כמו משהו שנובע ישירות מההגדרה ("בבאותו זמן, מקום ונסיבות" מיותר: הטענה צריכה להיות מנוסחת היטב ובפרט לטעון בדיוק באילו תנאים היא נכונה) |
|
||||
|
||||
אפשר לדבר גם על לוגיקות שבהן זה קורה, הן פשוט לא מעניינות. לוגיקות שמקלות על חלק מהמגבלות, כמו ה''זמן ומקום'' בוודאי שיש, כמו גם לוגיקות שמרשות עוד דברים חוץ מ''נכון'' ו''לא נכון''. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |