- 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
Inferential Semantics
In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer Verlag. pp. 147--162 (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
On an inferential semantics for classical logic.David C. Makinson - 2014 - Logic Journal of the IGPL 22 (1):147-154.
Towards an Inferential Semantics in Jurisprudence.Christopher Kletzer - 2007 - In Michael Freeman & Ross Harrison (eds.), Law and Philosophy. Oxford University Press.
Towards an inferential semantics in jurisprudence.Christoph Kletzer - 2007 - In Michael D. A. Freeman & Ross Harrison (eds.), Law and Philosophy. Oxford University Press.
Realism, inferential semantics, and the truth norm.Nicholas Tebben - 2017 - Synthese 198 (Suppl 4):955-973.
Inferential semantics for first-order logic : motivating rules of inference from rules of evaluation.Neil Tennant - 2010 - In T. J. Smiley, Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley. Routledge. pp. 223--257.
Inferential Semantics, Paraconsistency, and Preservation of Evidence.Walter Carnielli & Abilio Rodrigues - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 165-187.
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.
On the motives for proof theory.Michael Detlefsen - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer.
Analytics
Added to PP
2020-09-03
Downloads
0
6 months
0
2020-09-03
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Diversification of Object-Languages for Propositional Logics.Nissim Francez - 2018 - Journal of Logic, Language and Information 27 (3):193-203.
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm University
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-68866f4b87-hhxx8 uwo