This paper investigates the "general" semantics for first-order logic introduced to Antonelli (Review of Symbolic Logic 6(4), 637-58, 2013): a sound and complete axiom system is given, and the ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...

Alfred Tarski's seminal monograph on truth set the modern template for the philosophy of logic, influencing the metaphysics of logic and the study of truth. Immanuel Kant's transcendental logic and ...