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'; cf. [Review] Hartry Field's Saving Truth from Paradox, Philosophy in Review, 2009.
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
[Slides] Hypercontradictions
[Slides] Overview: Priest's paradigm 'Logic of Paradox'
Modality and Semantics
Against Metaphysical Necessity.
Modality and Belief Revision
in Updated Logical Empiricism
(2025)
supplementary:
[Code] implementation of simple global algorithms of Belief Revision:
Contraction, Expansion, Revision (in Java, zip-file)
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.
[Summary] Jackendoff's Semantic Structures Theory (of 1993)
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); cf. [Review] Recent Work on Frege, Philosophy in Review, 2012
How are Semantic Metarepresentations Built and Processed? Kriterion, 26 (2012)
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
Consistent Set Theories with a Universal Set
[Slides] Paraconsistent Set Theories
Philosophy of Information & Computation
Situated Information Flow. Introduction to a Situation Theoretical Framework; supplementary: [Code] 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.
Landin's Thesis, Rogers' Isomorphism Theorem, and the Programmer's Turing-Thesis
Logic and Philosophy of Logic
Vagueness and Its Logic (2026)
supplementary: [Code] 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
[Handout] Epsilon Calculus
[Summary] Routley's Ultralogic Programme: [Slides] Foundations and Applications
[Summary] Brady's Universal Logic Programme
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)
Identity of Individual and Cosmic Consciousness? A Critique of Advaitic Apologetics
[Code] Oscar Reloaded: implementing core ideas of John Pollock's Cognitive Carpentry AI project 'Oscar' (in Java, zip-file, cf. Readme)
[Diagram] Cognitive Architecture
Semantik und Epistemologie
Philosophische Semantik (2005)
Konzeptionen von Einfachheit und von Kohärenz
Wahrheit im Internen Realismus, Philosophisches Jahrbuch, 2000.
[Lexikonartikel] 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
[Folien] Überblick: Chomskys Minimalistisches Programm
[Folien] Lexikalisches Wissen und Atomismus der Begriffe
[Handout] Sprache und Denken
Philosophie des Geistes
Ist alles berechenbar?
Was leistet das Computermodel des
Geistes?
(2025)
Naturalisierungen & Eliminative Strategien, Auszüge aus: Rationalität und Naturalisierung (2001).
"ich", ich und nochmals Ich. Zur logischen Struktur des Wissens von sich; vgl. die partielle Formalisierung von Chisholms de se Theorie des Selbstbewusstseins; 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.
[Diagram] Aspekte des Selbstbewusstseins
[Rezension] Andreas Kemmerling, Glauben, Zeitschrift für philosophische Literatur, 2018.
Logik und Philosophie der Logik
Parakonsistente Logiken, Auszüge aus: Wahre Widersprüche (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
[Folien] Unermesslichkeit und potentielle Unendlichkeit in Antike und Mittelalter
[Folien] Vom Infinitisemalen zu 'Cantors Paradies'
Was können wir vom Unendlichen erkennen?
Anti-psychologistische Konzeptionen der Logik als Beginn der Analytischen Philosophie
[Folien] Ist Verneinen Behaupten des Gegenteils?
[Lexikonartikel] Logik, Form/Formalismus, Internationales Lexikon der Geisteswissenschaften, Wien, 2011.
Was will Hegels Dialektik? Ein Ansatz zur Interpretation der Wissenschaft der Logik; vgl. Hegels Dialektik und parakonsistente Logiken
[Folien] Epistemische Logik des Kollektiven Wissens
[Folien] Logik der epistemisch relevanten Handlungen
[Folien] Opazität: de re und de dicto
[Folien] Epistemische Logik und beschränktes Logikwissen
[Handout] Kombiniertes System der Epistemischen Logik
Handlungslogik und Praktischer Syllogismus, Auszüge aus: Modales Natürliches Schließen (1996/2007).
[Folien] Kurzer Überblick: Grenzen der Mechanisierung
[Code] Algorithmen und Automaten
In diesem Abschnitt finden sich einige
einfache
Implementierungen
(in verschiedenen Programmiersprachen)
(i) von Algorithmen zu
grundlegenden logischen bzw. kognitionswissenschaftlichen
Konzepten und (ii) von grundlegenden Automatenmodellen,
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 Kellerautomat (allgemein) und Beispiel zur Klammernpüfung (in Java)
Beispiele für Kopf/Rest-Listenrekursion sowie rekursive Definition in der Robinson Arithmetik (in Prolog)
Iterative versus rekursive Algorithmen am Beispiel des Suchens und Sortierens (in Java), vgl. Sortieren (in Prolog)
Beispiele zur Zeit-Komplexität anhand von Algorithmen zur Verbindungssuche in Graphen (in Java)
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
