A Note on Carnap’s Result and the Connectives

Axiomathes 28:1-4 (forthcoming)
Authors
Tristan Haze
University of Sydney
Abstract
Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate a kind of converse to Carnap’s result.
Keywords connectives  meaning  categoricity  proof-theory  propositional logic  inferentialism
Categories (categorize this paper)
DOI 10.1007/s10516-018-9393-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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

Truth as One and Many.Michael P. Lynch - 2009 - Clarendon Press.
Truth as One and Many. [REVIEW]Michael Lynch - 2010 - Analysis 70 (1):191-193.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.
An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.John Cantwell - 2015 - Journal of Logic, Language and Information 24 (1):27-51.
Proof-Functional Connectives and Realizability.Franco Barbanera & Simone Martini - 1994 - Archive for Mathematical Logic 33 (3):189-211.
Noisy Vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.

Analytics

Added to PP index
2018-07-25

Total downloads
29 ( #213,143 of 2,275,226 )

Recent downloads (6 months)
29 ( #13,406 of 2,275,226 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature