- 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 an inferential semantics for classical logic
Logic Journal of the IGPL 22 (1):147-154 (2014)
Abstract
We seek a better understanding of why an inferential semantics devised by Tor Sandqvist yields full classical logic, by providing and analysing a direct proof via a suitable maximality constructionAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
An informational view of classical logic.Marcello D'Agostino - forthcoming - Theoretical Computer Science.
On a semantic argument against conceptual role semantics.Ted A. Warfield - 1993 - Analysis 53 (4):298-304.
Inferential erotetic logic meets inquisitive semantics.Andrzej Wiśniewski & Dorota Leszczyńska-Jasion - 2015 - Synthese 192 (6):1585-1608.
Interpersonal Sameness of Meaning for Inferential Role Semantics.Martin L. Jönsson - 2017 - Journal of Philosophical Logic 46 (3):269-297.
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
Inferential role semantics and the analytic/synthetic distinction.Paul A. Boghossian - 1994 - Philosophical Studies 73 (2-3):109-122.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
Logic, Reasoning and the Logical Constants.Pascal Engel - 2006 - Croatian Journal of Philosophy 6 (2):219-235.
The logical structure of linguistic commitment III Brandomian scorekeeping and incompatibility.Mark Lance - 2001 - Journal of Philosophical Logic 30 (5):439-464.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Analytics
Added to PP
2014-02-24
Downloads
58 (#274,400)
6 months
17 (#145,386)
2014-02-24
Downloads
58 (#274,400)
6 months
17 (#145,386)
Historical graph of downloads
Author's Profile
Citations of this work
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
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.
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
References found in this work
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-659b74868d-gf2vn uwo