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
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)
Paraconsistency & Dialetheism
An
Introduction to Paraconsistent Logics
(2005)
True Contradictions for the Sober Minded
Believing and Asserting Contradictions, Logique et Analyse, 2007; cf. Truth Value Talk Without Quotation, Brendel, E. et al (Eds.) Understanding Quotation, Berlin/New York, 2011; cf. Assertion and Rejection
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)
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); cf. Consistent Set Theories with a Universal Set
Varieties of Finitism, Metaphysica, 8 (2007)
Frege's Basic Law V and Cantor's Theorem
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.
[Slides] Beyond the Turing-Limit? Siegelmann's Thesis vs. the Church-Turing Thesis
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
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); cf. [Diagram] Cognitive Architecture
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)
Semantik und Epistemologie
Philosophische Semantik (2005)
Konzeptionen von Einfachheit und von Kohärenz
Wahrheit im Internen Realismus, Philosophisches Jahrbuch, 2000.
Richard Hönigswalds Transzendentale Sprachphilosophie, Aufklärung und Kritik, 2001 & 2011; vgl. Habermas' Konsenstheorie der Wahrheit; vgl. Die apriorische und die posthume Kommunikationsgemeinschaft
[Folien] Lexikalisches Wissen und Atomismus der Begriffe; cf. Implizites Regelwissen
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. Überwindung des Ich? Kritik der Apologetik des Zen-Buddhismus; vgl. [Diagram] Aspekte des Selbstbewusstseins
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.
Bemerkungen zum Turing Test; vgl. [Code] Verschiedene Automatenmodelle: 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)
Logik und Philosophie der Logik
Parakonsistente Logiken, Auszüge aus: Wahre Widersprüche (1998); vgl. [Code] Entscheidungsverfahren für die parakonsistente Logik LP; vgl. Hegels Dialektik und parakonsistente Logiken; vgl. Was will Hegels Dialektik? Ein Ansatz zur Interpretation der Wissenschaft der Logik
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
Epistemische Logik: Für-möglich-Halten; vgl. [Folien] Epistemische Logik und beschränktes Logikwissen, [Folien] Epistemische Logik des Kollektiven Wissens, [Folien] Logik der epistemisch relevanten Handlungen, [Folien] Opazität: de re und de dicto
Was können wir vom Unendlichen erkennen?; vgl. [Folien] Unermesslichkeit und potentielle Unendlichkeit in Antike und Mittelalter; vgl. [Folien] Vom Infinitisemalen zu 'Cantors Paradies'
Anti-psychologistische Konzeptionen der Logik als Beginn der Analytischen Philosophie
[Folien] Ist Verneinen Behaupten des Gegenteils?
Handlungslogik und Praktischer Syllogismus, Auszüge aus: Modales Natürliches Schließen (1996/2007).