The Completeness of Carnap's Predicate Logic
DOI:
https://doi.org/10.26686/ajl.v11i1.2017Abstract
The paper first proves the completeness of the (non-modal) first-order predicate logic presented in Carnap’s 1946 article ‘Modalities and quantification’. By contrast the modal logic defined by the semantics Carnap produces is unaxiomatisable. One can though adapt Carnap’s semantics so that a standard completeness proof for a Carnapian version of predicate S5 turns out to be available.
Downloads
Download data is not yet available.
Downloads
Published
2014-04-08
Issue
Section
Articles