Inference Rules and the Meaning of the Logical Constants

DSpace Repository


Dateien:
Aufrufstatistik

URI: http://hdl.handle.net/10900/86246
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-862466
Dokumentart: Dissertation
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
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)