Astrophysicist Olamilekan Ogunrinde has reacted to the claim that mathematics can prove the existence of God He told Legit.ng that math is built on logic and assumptions, not empirical truths ...

Yuta Takahashi, Ryo Takemura, Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms, Journal of Philosophical Logic, Vol. 48, No. 3 (June 2019 ...

The course will start by introducing some elementary concepts from set theory; along the way, we will consider some fundamental and philosophically interesting results and forms of argumentation. It ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 5 (October 2013), pp. 1061-1072 (12 pages) Every truth-functional three-valued propositional logic can be conservatively ...