The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
Abstract
This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez,Roy Dyckhoff &Gilad Ben-Avi -2010 -Studia Logica 94 (3):381-401.
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic.Alexander V. Gheorghiu &David J. Pym -forthcoming -Studia Logica:1-33.
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics.Ruy Queiroz -2008 -Studia Logica 90 (2):211-247.
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz -2008 -Studia Logica 90 (2):211-247.
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.Alexander V. Gheorghiu,Tao Gu &David J. Pym -forthcoming -Studia Logica:1-61.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira -2017 - In Arazim Pavel & Lávička Tomáš,The Logica Yearbook 2016. College Publications. pp. 141-155.
Proof-theoretic semantics for a natural language fragment.Nissim Francez &Roy Dyckhoff -2010 -Linguistics and Philosophy 33 (6):447-477.
Proof-theoretic semantic values for logical operators.Nissim Francez &Gilad Ben-avi -2011 -Review of Symbolic Logic 4 (3):466-478.
Analytics
Added to PP
2009-01-28
Downloads
114 (#198,619)
6 months
11 (#336,506)
2009-01-28
Downloads
114 (#198,619)
6 months
11 (#336,506)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister &Thomas Piecha (eds.) -2015 - Cham, Switzerland: Springer Verlag.
Implicational paradoxes and the meaning of logical constants.Francesco Paoli -2007 -Australasian Journal of Philosophy 85 (4):553 – 579.
Intuitionistic Logic is a Connexive Logic.Davide Fazio,Antonio Ledda &Francesco Paoli -2023 -Studia Logica 112 (1):95-139.
References found in this work
Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka -1973 - Oxford,: Clarendon Press.
Investigations into Logical Deduction.Gerhard Gentzen -1964 -American Philosophical Quarterly 1 (4):288 - 306.
A natural extension of natural deduction.Peter Schroeder-Heister -1984 -Journal of Symbolic Logic 49 (4):1284-1300.
The Game of Language: Studies in Game-Theoretical Semantics and Its Applications.Jaakko Hintikka -1983 - Springer Verlag.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo