converse of Barcan formula
دیسه‌ای
□∀𝑥 𝐴𝑥 ⊃ ∀𝑥 □𝐴𝑥
□∀x Ax ⊃ ∀x □Ax


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