converse of Buridan formula
دیسه‌ای
∀𝑥◊𝐴𝑥 ⊃ ◊∀𝑥𝐴𝑥
∀x◊Ax ⊃ ◊∀xAx


تاربرگ‌های پیموده‌شده در این نشست: Edmund Husserl ⟩ Hilary Putnam ⟩ synthetic apriori ⟩ Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic ⟩ René Descartes