Das Lehrgebiet stellt sich vor

Vorstellung:

Link zu meiner Website

• Understanding Logic Formulas: Die Paraphrase logischer Formeln oder ihrer Instanzen durch umgangssprachliche Sätze führt im Allgemeinen nicht zu einem Verständnis der Formeln bzw. ihrer Instanzen. Die klassische Semantik mathematischer wie auch philosophischer Logiklehrbücher vermittelt nur eine Methode, anhand von einzelnen Interpretationen oder Beispielen zu zeigen, ob diese eine Formel wahr oder falsch machen. Sie vermittelt aber keine allgemeine Methode, wahre von falschen Interpretationen zu unterscheiden. Diesem Desiderat soll Abhilfe geschaffen werden, indem ein allgemeines Verfahren zur Generierung disjunktiver Normalformen in der Prädikatenlogik 1. Stufe und ihrer graphischen Darstellung entwickelt wird und erläutert wird, wie hierdurch ein allgemeines Kriterium der Unterscheidung wahrer und falscher Interpretationen angegeben werden kann. Dies soll für Fragen der Anwendung der Logik sowie der Logikdidaktik fruchtbar gemacht werden. Darüber hinaus soll durch die Fokussierung auf Formeln, die inhaltliche und kontextabhängige Aspekt ausblenden, auch ein Beitrag geleistet werden für die allgemeinere Frage nach kognitiven Prozessen beim Lesen, insoweit diese Prozesse formale Aspekte betreffen.
• The New Logic Project: New Logic is an algorithmic conception of first-order logic influenced by Wittgenstein's philosophy and his critique of Mathematical Logic. Its main idea is to decide logical properties (such as provability, consistency, satisfiability) by detection of patterns in normal forms or proof search sequences.According to this idea, the conception of logic is not only algorithmic but also iconic.
• Theory of Causation: A New Directionality Criterion for Regularity Theories of Causation (with Michael Baumgartner): It is one of the most frequent criticisms of regularity theories of causation that they cannot distinguish between causes and effects based on Boolean determination relations of sufficiency and necessity alone—jeopardizing their goal of reducing causationto Boolean determination. The criticism is based on the fact that determination relations can be symmetric but causation cannot. Regularity theorists have countered by pointing out that only simplistic determination structures are symmetric and by insisting that structures with a minimal complexity of two alternative causes per effect feature non-symmetric determination relations. We show that this regularity theoretic response is neither sufficient nor necessary to break symmetries of determination and, thus, to identify the direction of causation. To solve the problem, we introduce a new directionality criterion that, we argue, is both necessary and sufficient to distinguish between causes and effects based on relations of Boolean determination alone.

Vorstellung:

Charlotte Baumann ist seit Juli 2024 akademische Rätin am Lehrgebiet. Sie hat besonders in den Bereichen der Epistemologie, Metaphysik und Sozialphilosophie publiziert meist mit Bezug auf Werke von Kant, Hegel, Neukantianern, Marx, Adorno , oder McDowell. Sie betreut Module zur theoretischen Kulturphilosophie und zur englischen Philosophie.

Link zu meiner Website