Topics in logical anti-exceptionalism and paraconsistent logics
- The present monograph is an investigation of foundational topics within logical anti-exceptionalism and its relation to one specific class of non-classical logics, namely paraconsistent logics. For this, the thesis is composed of two parts. The first part explores foundational issues of the anti-exceptionalist debate by applying methods and conceptual tools from the philosophy of science. The second part of the thesis is devoted to technical aspects of paraconsistent logics. The main results are the introduction of a new family of nonmonotonic first-order paraconsistent logics capable of satisfying core metaproperties of nomonotonic logics.
- Die vorliegende Monographie ist eine Untersuchung grundlegender Themen aus dem Blickwinkel des logischer Anti-Exzeptionalismus, sowie seiner Beziehung zu einer Klasse nicht-klassischer Logiken, nämlich den parakonsistenten Logiken. Dafür besteht die Arbeit aus zwei Teilen. Der erste Teil untersucht grundlegende Fragen der anti-exzeptionalistischen Debatte unter Anwendung wissenschaftstheoretischer Methoden und konzeptioneller Werkzeuge. Der zweite Teil der Arbeit widmet sich technischen Aspekten der parakonsistenten Logik. Als Hauptergebnisse sind zu nennen, die Einführung einer neuen Familie nichtmonotoner parakonsistenter Prädikatenlogik erster Stufe, die zentralen Metaeigenschaften der nomonotonen Logik erfüllen.
Author: | Sanderson Molick SilvaGND |
---|---|
URN: | urn:nbn:de:hbz:294-96279 |
DOI: | https://doi.org/10.13154/294-9627 |
Referee: | Christian StrasserORCiDGND, Joao Marcos de AlmeidaGND, Heinrich WansingORCiDGND |
Document Type: | Doctoral Thesis |
Language: | English |
Date of Publication (online): | 2023/02/06 |
Date of first Publication: | 2023/02/06 |
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: | 2021/05/03 |
Creating Corporation: | Fakultät für Philosophie und Erziehungswissenschaft |
GND-Keyword: | Logik; Philosophie der Logik; Nichtmonotone Logik; Analytische Philosophie; Nichtklassische Logik |
Note: | Parallele Promotion: Bochum, Univ., Fakultät für Philosophie und Erziehungswissenschaft und Centro de Ciências Humanas, Letras e Artes, Programa de Pós-Graduação en Filosofia, Universidade Federal do Rio Grande do Norte, Natal, RN |
Institutes/Facilities: | Institut für Philosophie II |
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 |