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.

Download full text files

Export metadata

Metadaten
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):License LogoKeine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht

OPUS4 Logo