The Completeness of Carnap's Predicate Logic

Authors

  • Max Cresswell Victoria University of Wellington

DOI:

https://doi.org/10.26686/ajl.v11i1.2017

Abstract

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.

Author Biography

Max Cresswell, Victoria University of Wellington

Emeritus Professor of the University Professor of Philosophy

Downloads

Published

2014-04-08