Inference Rules and the Meaning of the Logical Constants

DSpace Repository


Dokumentart: PhDThesis
Date: 2019-02-07
Language: English
Faculty: 5 Philosophische Fakultät
Department: Philosophie
Advisor: Schroeder-Heister, Peter (Prof. Dr.)
Day of Oral Examination: 2019-02-04
DDC Classifikation: 100 - Philosophy
Keywords: Logik , Formale Semantik , Intuitionistische Logik , Beweistheorie , Schlussfolgern , Logischer Schluss , Vollständigkeit , Kalkül des natürlichen Schließens
Other Keywords:
proof-theoretic semantics
natural deduction
intuitionistic logic
decision procedure
logical validity
Order a printed copy: Print-on-Demand
Show full item record


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.

This item appears in the following Collection(s)