RUB » Bibliotheksportal

Sanderson Molick Silva

• 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.