שפה מייצרת מציאות...

[Lucifer LightBringer]

ההבדל בין "כש-" ל-"אם" הוא מובן רטורי מבחינה לוגית אין הבדל ביניהם.
ובמובן הזה הדובר מנסה לכפות את דרך הראייה שלו את המציאות.

if everything is possible, then also God(s) are possible.

Just one almighty GOD, I think not...

 

[Lucifer LightBringer]

יש איזה שאלה בספר computability and logic של boolos et al שמדברת על טענה של קאנט בגיאומטריה.
זה דווקא מעניין

צריך להראות שהיחס R הוא לא ניתן להגדרה באמצעות היחסים P ו-Q בתורה הזו. מעניין איפה מופיע המשפט הזה בכתביו של קאנט.
לא ניתן להגדיר כיראליות. למרות שבתורת השדות הקוונטית ראיתי שמשתמשים במטריצה 1+gamma_5 חלקי 2 כדי להגדיר אופרטור השלכה.
מעניין איך ההוכחה הולכת.
זה מזכיר לי את tarski's truth indefinability theorem, שלא ניתן להגדיר את ה"אמת" על משהו יותר בסיסי בלוגיקה.

Tarski's undefinability theorem - Wikipedia

en.wikipedia.org

השאלה היא מה האמת המוחלטת מבחינה מטאפיסית?
הכל אפשרי...
וזו האמת היחידה.

 

[Lucifer LightBringer]

איך מצרינים הכל אפשרי בלוגיקה מודאלית עם כמתים?...
נראה לי זה נקרא PML
Predicate Modal Logic