A Note on Carnap’s Result and the Connectives

Axiomathes 28:1-4 (forthcoming)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
First archival date: 2018-07-25
Latest version: 3 (2019-03-06)
View upload history
References found in this work BETA
Truth as One and Many.Lynch, Michael P.
Compositionality Solves Carnap’s Problem.Bonnay, Denis & Westerståhl, Dag

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
60 ( #28,109 of 38,957 )

Recent downloads (6 months)
31 ( #14,028 of 38,957 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.