Barcan, Buridan & Copilot walk into a ≡…

Posted on August 30, 2026 by Maryann Spikes

Here’s one for the logic nerds.


• Copilot:
possible pattern → existent act
(◇ → ∃)
• Converse Copilot:
existent act → possible pattern
(∃ → ◇)

I’ll leave the formulas for the logic nerds.

This entry was posted in Divine Essentialism, Euthyphro Dilemma, Harmonic Triads, Is-Ought Fallacy, Justified True Belief, Natural Law and Divine Command, Ontological Argument and tagged , , . Bookmark the permalink.

Tell it: