Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
- In der Dissertation wird das Thema der beweistheoretischen Semantik behandelt. Es handelt sich hierbei um eine Theorie, der zufolge die Bedeutung der logischen Konnektive nicht, wie die herkömmliche Sicht lautet, durch modelltheoretische Konzepte bestimmt wird, sondern stattdessen durch die Inferenzregeln eines logischen Beweissystems. In diesem Zusammenhang werden in der Arbeit spezifische Fragen erörtert. Eine davon umfasst die Frage danach, wie wir in einem solchen theoretischen Rahmen eine Unterscheidung zwischen der Bedeutung und der Referenz von Beweisen in einem Sinn à la Frege treffen können. Der hier gewählte Ansatz wird dann außerdem auf weitere Systeme übertragen, wie etwa bilaterale Beweissysteme, welche nicht nur Beweisregeln festlegen, sondern auch Widerlegungsregeln. Für ein solches bilaterales Beweissystem wird außerdem ein schnittfreier Sequenzenkalkül eingeführt, für den im Anschluss ebenfalls philosophische Fragestellungen erörtert werden.
Author: | Sara AyhanORCiDGND |
---|---|
URN: | urn:nbn:de:hbz:294-92815 |
DOI: | https://doi.org/10.13154/294-9281 |
Referee: | Heinrich WansingORCiDGND, Greg RestallORCiDGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2023/10/26 |
Date of first Publication: | 2023/10/26 |
Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
Granting Institution: | Ruhr-Universität Bochum, Fakultät für Philosophie und Erziehungswissenschaft |
Date of final exam: | 2023/07/20 |
Creating Corporation: | Fakultät für Philosophie und Erziehungswissenschaft |
GND-Keyword: | Beweistheorie; Semantik; Logik; Logische Operation; Bedeutung |
Institutes/Facilities: | Institut für Philosophie I |
Dewey Decimal Classification: | Philosophie und Psychologie / Philosophie |
faculties: | Fakultät für Philosophie und Erziehungswissenschaft |
Licence (German): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |