A Note on Carnap’s Result and the Connectives

Axiomathes 29 (3):285-288 (2019)
  Copy   BIBTEX


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.


Added to PP

739 (#1,784)

6 months
160 (#119,371)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tristan Grøtvedt Haze
University of Melbourne

Citations of this work

How May the Propositional Calculus Represent?Tristan Haze - 2017 - South American Journal of Logic 3 (1):173-184.

Add more citations

References found in this work

Truth as one and many.Michael P. Lynch - 2009 - New York : Clarendon Press,: Clarendon Press.
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.

View all 12 references / Add more references