Paraconsistency & Dialetheism
An
Introduction to Paraconsistent Logics
(2005)
True Contradictions for the Sober Minded
Believing and Asserting Contradictions, Logique et Analyse, 2007.
The Inexpressibility of Gaps in Ordinary Language; cf. Kearns' Illocutionary Logic and the Liar, History & Philosophy of Logic, 2007, cf. A Comment on Laurence Goldstein's 'A Consistent Way with Paradox'
Noneism as Ontological Free Lunch? A Case Study of Method in Metaphysics, Logos Architekton, II (2008)
Truth Value Talk Without Quotation, Brendel, E. et al (Eds.) Understanding Quotation, Berlin/New York, 2011.
Gödel Sentences and Dialetheism
Modality and Semantics
Against Metaphysical Necessity.
Modality and Belief Revision
in Updated Logical Empiricism
(2025)
supplementary:
Java classes (zip-file)
modelling simple global algorithms of Belief Revision
(Contraction, Expansion, Revision)
Beyond Us. Realism, the Creation of Logic, and the Scope of Possibility
Constructing Possible Worlds Algorithmically
Is There An Analytic Limit of Genuine Modal Realism?, Mind, 2003.
Manuel E. Bremer
bremer[at]mbph.de
PhD in Philosophy, 1993
University of
Cologne, Germany.
Postdoctoral Thesis in Philosophy, 2001
(German 'Habilitation')
University of Düsseldorf, Germany.
central views outlined in:
Updated
Logical Empiricism
Philosophy of Set Theory
Universality and the
Universe in ZFC
part of
Universality in Set Theories
(2010).
Varieties of Finitism, Metaphysica, 8 (2007)
Frege's Basic Law V and Cantor's Theorem, cf. Concepts and Objects - What Else to Say? Is Frege's Ontological Dualism Inexpressible?, cf. Frege's Theory of Sentential Unity and Russell's Theories of Propositions, sections from Concept and Analysis (2013; Open Access)
Philosophy of Information & Computation
Situated Information Flow. Introduction to a Situation Theoretical Framework; supplementary: implementation of a toy example of information extraction (in C, txt-file)
Information and Information Flow. An Introduction (2004), co-author Daniel Cohnitz [Book Download]
Do Logical Truths Carry Information? Mind and Machines, 2003.
The Church-Turing Thesis; cf. Church's Thesis, Landin's Thesis, Rogers' Isomorphism Theorem, and the Programmer's Turing-Thesis
How to Understand 'Superhuman Intelligence' in the Debate about AI?
Logic and Philosophy of Logic
Vagueness and Its Logic (2026)
supplementary: an automated decision procedure for the logic PCV (in Prolog, txt-file)
Negative Introspection is Mysterious
On the Very Idea of Revision of Logic; cf. On Restall and Beall on Logical Pluralism, Erkenntnis, 2014
Philosophy of Mind and Cognitive Science
Animal Sentience. A Study of Paradigmatic Aguments in Cognitive Science (2026)
Do Cats Have Beliefs?, Hales, S. (Ed.) What Philosophy Teaches You about Your Cat, Open Court, 2008.
Representational Structures in Consciousness; cf. Lessons from Sartre for Analytic Philosophy of Mind, Dreyfus, H. & Wrathall, M. (Eds.) Blackwell Companion to Phenomenology and Existentialism, Oxford, 2006.
[Review] David Woodruff Smith/Amie Thomasson (Eds). Phenomenology and Philosophy of Mind, Minds and Machines, 2008.
Conceptual Atomism, parts of Conceptual Atomism and Justificationist Semantics (2008)
How are Semantic Metarepresentations Built and Processed? Kriterion, 26 (2012)
Identity of Individual and Cosmic Consciousness? A Critique of Advaitic Apologetics
An implementation of core ideas of John Pollock's Cognitive Carpentry AI project 'Oscar' ('Oscar Reloaded' in Java, zip-file, cf. Readme)
Semantik und Epistemologie
Philosophische Semantik (2005)
Konzeptionen von Einfachheit und von Kohärenz
Wahrheit im Internen Realismus, Philosophisches Jahrbuch, 2000.
Verifikationismus, Schrenk, M. (Hg.) Handbuch der Metaphysik, 2017.
Richard Hönigswalds Transzendentale Sprachphilosophie, Aufklärung und Kritik, 2001 & 2011; vgl. Habermas' Konsenstheorie der Wahrheit; vgl. Die apriorische und die posthume Kommunikationsgemeinschaft
Ist die Transzendentalpragmatik letztbegründet oder holistisch?, Zeitschrift für allgemeine Wissenschaftstheorie, 1995
Philosophie des Geistes
Ist alles berechenbar?
Was leistet das Computermodel des
Geistes?
(2025)
Naturalisierungen & Eliminative Strategien, Auszüge aus: Rationalität und Naturalisierung. Berlin, 2001.
"ich", ich und nochmals Ich. Zur logischen Struktur des Wissens von sich; vgl. Überwindung des Ich? Kritik der Apologetik des Zen-Buddhismus
Tierisches Bewusstsein als Testfall für die Kognitionswissenschaften, Bewusstsein: Interdisziplinäre Perspektiven, München, 2005; Methodologische Überlegungen zu tierischen Überzeugungen, Zeitschrift für allgemeine Wissenschaftstheorie, 2007; Tierisches Bewusstsein, Anthropomorphismus und Heterophänomenologie, Philosophisches Jahrbuch, 2006.
Logik und Philosophie der Logik
Parakonsistente Logiken, Auszüge aus: Wahre Widersprüche. Sankt Augustin, 1998.
Hinsichten, in denen Logik für Philosophen relevant ist; vgl. das Beispiel: Eine Notiz zu den Argumentationsstrukturen in Kants 'Widerlegung des Idealismus', Kant Studien, 2001
Die Familie der nicht-deduktiven Schlüsse
Was können wir vom Unendlichen erkennen?
Anti-psychologistische Konzeptionen der Logik als Beginn der Analytischen Philosophie
Programmierung
In diesem Abschnitt finden sich einige
einfache Implementierungen
grundlegender logischer bzw. kognitionswissenschaftlicher
Konzepte, insofern diese in Einführungen i.d.R. nicht
einfach zu finden sind.
Zur Darstellung im Web sind die Progamme als txt-Dateien
gespeichert, d.h. zur Kompilierung muss der Dateityp
entsprechend geändert werden (in .java, .pl, .c).
Entscheidungsverfahren für die klassische Aussagenlogik sowie Entscheidungsverfahren für die parakonsistente Logik LP und Entscheidungsverfahren für eine dreiwertige Logik der Vagheit (in Prolog)
Beispiel Turing-Maschine zur Prüfung korrekter Klammerausdrücke auf der Basis von Turing-Maschine (in Java)
Registermaschine (allgemein) und Beispiel (in Java)
Endliche Automaten: Morse-Code Übersetzer (in Java) und VielfacheVonDrei (in C)
Beispiele Kellerautomaten (in Prolog) sowie Kellerautomat (allgemein) und Beispiel zur Klammernpüfung (in Java)
Beispiele für Rekursion (in Java) und Kopf/Rest-Listenrekursion sowie rekursive Definition in der Peano Arithmetik (in Prolog)
Grundlegende Algorithmen des Suchens und Sortierens (in Java), Sortieren (in Prolog)
Primzahlen (in Prolog), Primfaktorisierung sowie Pseudo-Zufallszahlen (in C)
Binärzahlenrechner und -umrechner (in Java)
Beispiel Kontextfreie Grammatik (in C) und Kontextsensitive Grammatik (in Prolog)
Komplexere Beispiele sind oben: Algorithmen des Belief Revision und der Begründung und Revision eines Meinungssystems (in Java, zip-Dateien)
last update: October 2026
