The Completeness of Carnap's Predicate Logic


Authors
Max Cresswell
Victoria University of Wellington
Abstract
The paper first proves the completeness of the 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. //
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v11i1.2017
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,665
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Modalities and Quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.
Modality and Quantification in S.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (1):60-62.

View all 9 references / Add more references

Citations of this work BETA

Worlds and Models in Bayart and Carnap.Max Cresswell - 2016 - Australasian Journal of Logic 13 (1).

Add more citations

Similar books and articles

Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
The Place of Syllogistic in Logical Theory.Michael Clark - 1980 - Nottingham University Press.

Analytics

Added to PP index
2017-02-14

Total views
3 ( #1,150,495 of 2,242,738 )

Recent downloads (6 months)
3 ( #626,327 of 2,242,738 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature