- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the Notion of Canonical Derivations From Open Assumptions and its Role in Proof-Theoretic Semantics
Review of Symbolic Logic 8 (2):296-305 (2015)
Abstract
The paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.Author's Profile
My notes
Similar books and articles
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.
A normal form for logical derivations implying one for arithmetic derivations.G. Mints - 1993 - Annals of Pure and Applied Logic 62 (1):65-79.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony.Peter Schroeder-Heister - 2014 - Studia Logica 102 (6):1185-1216.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.
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
2015-07-07
Downloads
35 (#459,020)
6 months
7 (#439,760)
2015-07-07
Downloads
35 (#459,020)
6 months
7 (#439,760)
Historical graph of downloads
Author's Profile
Citations of this work
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
Meaning is Use: the Case of Propositional Identity.Patrycja Kupś & Szymon Chlebowski - forthcoming - Bulletin of the Section of Logic:24 pp..
References found in this work
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo