Inference Rules and the Meaning of the Logical Constants

Dissertation, Eberhard Karls Universität Tübingen (2019)
  Copy   BIBTEX

Abstract

The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
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.
Proof-theoretic validity.Stephen Read - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, UK: Oxford University Press. pp. 136-158.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):233-246.
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Some problems for proof-theoretic semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de 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.

Analytics

Added to PP
2019-03-04

Downloads
80 (#204,402)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hermógenes Oliveira
Federal University of Paraiba

Citations of this work

No citations found.

Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.

View all 21 references / Add more references