Doxastic Agency and Epistemic Responsibility
Final Report Abstract
In dem Projekt ist es gelungen, ein formales Modell der aktiven Rolle von Wissenssubjekten im Erkenntnisprozess zu entwickeln, welches das Beweisen als Aktvität konzipiert. Zu diesem Zweck sind zwei einflußreiche Theorien miteinander kombiniert worden, zum einen die derzeit wichtigste modale Theorie konkreter Handlungen, die seeing-to-it-that-Theorie (Stit-Theorie) und andererseits die epistemische Logik mit Rechtfertigungen. Die Sprache der resultierenden justification stit logic ist eine sehr ausdrucksreiche formale Sprache, die es u.a. erlaubt, Zuschreibungen des aktiven Führens von Beweisen auszudrücken. Die dabei verwendete Semantik macht Gebrauch von Modellen sich verzweigender Zeit, in der Wissenssubjekte Entscheidungen treffen. Die den Akteuren zur Verfügung stehende Evidenz wird durch Beweisterme repräsentiert, und die Akteure sorgen durch ihr Handeln dafür, dass Beweise einer idealisierten wissenschafltichen Community verfügbar gemacht werden. Es konnten im Projekt nicht nur die konzeptuellen Grundlagen dieses Ansatzes entwickelt, sondern auch verschiedene Fragmente und Varianten der justification stit logic axiomatisiert werden. Während das Beweisen unbestritten eine in Wissen resultierende kognitive Aktivität darstellt, ist die erkenntnistheoretische Signifikanz der Imagination weniger offenkundig. Frühere Ansätze im Bereich der Logik der Imagination haben nicht berücksichtigt, dass die Imagination durch Vorstellungsakte initiiert wird und insofern eine agentive propositionale Einstellung darstellt. Im Projekt ist es gelungen, Beweissysteme vorzulegen für eine vom Antragsteller entwickelte Semantik, in der ‘vorstellen’ als ein Handlungsverb augefasst wird. Diese Semantik kombiniert die Stit-Theorie mit der so genannten Nachbarschaftssemantik für schwache Modallogiken. Weiterhin ist es in dem Projekt gelungen, die justification stit logic als Rahmentheorie zu verwenden, um unterschiedliche Konzepte der epistemischen Verantwortlichkeit zu definieren.
Publications
- An axiomatic system and a tableau calculus for STIT imagination logic, Journal of Philosophical Logic 47 (2017), 259–279
Grigory Olkhovikov and Heinrich Wansing
(See online at https://doi.org/10.1007/s10992-017-9426-1) - Inference As Doxastic Agency. Part II: Ramifications and Refinements, Australasian Journal of Logic 14 (2017), 408-438
Grigory Olkhovikov and Heinrich Wansing
(See online at https://doi.org/10.26686/ajl.v14i4.3973) - A Completeness Result for Implicit Justification Stit Logic, Logique et Analyse 61 (2018), 341–406
Grigory Olkhovikov
(See online at https://doi.org/10.2143/LEA.243.0.3285132) - Inference As Doxastic Agency. Part I: The Basics of Justification Stit Logic, Studia Logica 107 (2018), 167–194
Grigory Olkhovikov and Heinrich Wansing
(See online at https://doi.org/10.1007/s11225-017-9779-z) - Stit Logic of Justification Announcements: a Completeness Result, Journal of Logic and Computation 28 (2018), 1031–1064
Grigory Olkhovikov
(See online at https://doi.org/10.1093/logcom/exy014) - Simplified Tableaux for STIT Imagination Logic, Journal of Philosophical Logic
Grigory Olkhovikov and Heinrich Wansing
(See online at https://doi.org/10.1007/s10992-019-09503-1)
