An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic

John Cantwell
Royal Institute of Technology, Stockholm
The connectives of classical propositional logic are given an analysis in terms of necessary and sufficient conditions of acceptance and rejection, i.e. the connectives are analyzed within an expressivist bilateral meaning-is-use framework. It is explained how such a framework differs from standard inferentialist frameworks and it is argued that it is better suited to address the particular issues raised by the expressivist thesis that the meaning of a sentence is determined by the mental state that it is conventionally used to express. Furthermore, it is shown that the classical requirements governing the connectives completely characterize classical logic, are conservative and separable, are in bilateral harmony, are structurally preservative with respect to the classical coordination requirements and resolve the categoricity problem. These results are taken to show that one can give an expressivist bilateral meaning-is-use analysis of the connectives that confer on them a determinate coherent classical interpretation
Keywords Bilateral logic  Expressivism  Inferentialism
Categories (categorize this paper)
DOI 10.1007/s10849-014-9209-9
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: 45,727
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

Simulating Minds: The Philosophy, Psychology, and Neuroscience of Mindreading.Alvin Goldman - 2008 - Journal of Aesthetics and Art Criticism 66 (1):94-97.
The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.

View all 35 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.
First Order Expressivist Logic.John Cantwell - 2013 - Erkenntnis 78 (6):1381-1403.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Logic For Expressivists.Ruth Weintraub - 2011 - Australasian Journal of Philosophy 89 (4):601 - 616.
Unity and Autonomy in Expressivist Logic.John Cantwell - 2014 - Dialectica 68 (3):443-457.
Quantum Logic and Meaning.Geoffrey Hellman - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:493 - 511.


Added to PP index

Total views
37 ( #242,005 of 2,281,035 )

Recent downloads (6 months)
3 ( #421,058 of 2,281,035 )

How can I increase my downloads?


My notes

Sign in to use this feature