All Episodes

Alexander von Humboldt Professor Stephan Hartmann

New Channels for MCMP on iTunes U

Building a Better System

Trouble with Properties for Better Best Systems

Humeanism and dispositionalism in physics

Ramsey vs. Lewis on conditionals and causation

Why Physics Can't Explain Everything

Making Contact with Molecules: On Perrin's Argument for Realism

Local Disentanglement in Relativistic Quantum Field Theory

Logic as an Instrument in Greek and Arabic Philosophy

On Representation Theorems

Toward a formal account of substance via case-intensional logic

Semantic minimalism for logical constants

Classical negation and expansions of FDE

Logical Grounds

On Ground and Consequence

Transcendental Proofs

Concept Calculus

Ground and Partial Content

Grounding Class Theory

Dependence and Groundedness

That's it, you're grounded!

Neuroscience Perspective on the Foundations of Mathematics

Pure Logic of Iterated Ground

Towards a theory of grounded properties

Local Dependence

Alternative Supervaluation for Kripke's Theory of Truth

Defusing Easy Arguments for Numbers

Explicating Dedekind: Existential Axiomatics or Logicist Abstration?

Time and Knowability in Evolutionary Processes

The long-run stability of collective action

Moral uncertainty and normative requirements of indifference

Social Choice and Comparative Justice: Correcting for Parochial Values

Diversity, Tolerance and the Social Contract

The Evolution of Norms in Structured Populations

Weighting Value

Minding the Is-Ought Gap

Normative Consistency: an (X)stit account

Consequences of Reasoning with Conflicting Obligations

Inductive Proofs for Many-Hands Cases in Ethics

Formal Versions of Hume's Is-Ought Thesis

Dynamic Proof Theories for Reasoning with (Conditional) Norms

Fairness and Counterfactuals

Separability and admissible factorisations

The Good Samaritan Paradox

Common Law Reasoning

Toward a Formal Framework for Some Fundamental Common Moral Statuses

Mally's Deontic Logic (1926)

Round Table on Coherence (Part 2)

Comments on Hans Rott's "Two concepts of plausibility in default reasoning"

Comments on Mark Jago's "Bounded Rationality and Epistemic Blindspots"

Comments on Alan Hájek's "Staying Regular?"

Comments on Lara Buchak's "Risk and Tradeoffs"

Comments on "The No Alternatives Argument" (Dawid, Hartmann, Sprenger)

Comments on Richard Pettigrew's "What chance-credence norms should not be"

If You Must Do Confirmation Theory - Do It This Way

A Copernican Revolution for Modal Fictionalism

Homotopy Type Theory and Univalent Foundations of Mathematics

From Social Choice to Theory Choice

Naive Set Theory and Non-Transitive Logic

Revisionary Metaphysics Without Logical Revision?

Some remarks about logical truth

Paradoxes of Consistency

Paradox and Revenge

Saving Logic from Paradox

Logical Revision and Scientific Methodology

Revising Logic

Revising logic in light of paradox

Norms of truth and logical revision

Getting One for Two, or the Contractor's Bad Deal

Contraction and Naive Validity

Anything Goes

Round Table on Coherence (Part 1)

The Aletheic Paradoxes and Semantic Relativism

Syntax and Logical Revision

Logic and the Liar

Exponential Discounting for Changing Preferences

Constructive Decision Theory

How the market gives us what we want - even if we are irrational

Weighting Evaluations

The Reliability of Testimonial Norms in Academic Communities

Tutorial Logic: Recent topics in Dynamic Epistemic Logic I

Tutorial Logic: Recent topics in Dynamic Epistemic Logic II

Semantic Games for Algorithmic Players

Optimal Categorization

Desirability of Conditionals

Pairwise Interactive Knowledge and Nash Equilibrium

Tutorial Decision Theory I: Decision theory in epistemology

A General Scoring Rule

Tutorial Decision Theory II: Conditionalization

Representation and Interpretation in Computational Philosophy

Bayesian Conditioning Revisited

Moral Judgments and Decisions in Trolley Problems

Multiple Realization and the Computational Mind

First-Order Extensions of Classical Modal Logic

Two concepts of plausibility in default reasoning

Comments on Julia Staffel's "Should I Pretend I'm Perfect?"

The Theory of Probability Cores in Bayesian Epistemology and Decision Theory

Should I pretend I'm perfect?

Influencing Behavior by Influencing Knowledge

Lost memories and useless coins: Revisiting the absentminded driver

Comments on Wolfgang Schwarz's "Lost Memories and Useless Coins"

Logic & Rationality

Inductive Logic (Part 2)

Aggregating value judgments

Comments on Michael Morreau's "From Social Choice to Theory Choice"

Bounded Rationality and Epistemic Blindspots

A dialogical, multi-agent account of the normativity of logic

Staying Regular?

Inductive Logic (Part 1)

Leitgeb and Pettigrew on Accuracy and Updating

Comments on Ben Levinstein's "Leitgeb and Pettigrew on Accuracy and Updating"

The No Alternatives Argument

Value Relations Revisited

Risk and Tradeoffs

Epistemic Modesty Defended

Ought Implies Can, Omission and Probabilistic Deliberative STIT

What chance-credence norms should not be

Everything is knowable

"New Foundations" and Consistency

Modeling the Coevolution of Theory and Language

Assumptions of Infinity

Reference and Circularity in First-Order Arithmetical Systems

The Revision Theory of Truth (T#), FS and the Standard Model of PA

A Single-Type Semantics for Natural Language

Dynamic Ontology

Logic and reasoning

Assertion, Denial and the Logic of Definedness

Wittgenstein and the Epistemology of Peer Disagreement

Deflationism vs Representationalism

What would count as Ibn Sina (11th c. Persia) having first order logic?

Round Table on Acceptance (Part 1)

Sequent Systems and Defining Rules

A Conception of Set-Theoretical Truth

Round Table on Acceptance (Part 2)

Axiomatic and Semantic Theories of Truth

Semantic Truth and the Correspondence Theory

Let Three Flowers Bloom

Stratified Truth?

Truth, Syntax, Conservativity

Truth Without Detachment

Modelling the use of 'true' in natural Language

A general approach to revenge paradoxes

Validity without Reference

Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments

Mathematical cognition and mathematical structuralism

General-Elimination Harmony

Does Radical Uncertainty Require Regime Change?

How uncertain do we need to be?

Logics for 'Soft' Interactive Epistemology

Dynamic Logic of Reasoning

Subjective probabilities need not be sharp

Ordering Risky Prospects - Prioritarianism: an Ecumenical Approach

The Precautionary Principle Reconceptualized

Logical abstractions and logical objects in Frege: a critical approach

Can free evidence be bad?

Updating on Conditionals

The Bayesian Miracle

Truth Approximation by Basic and Refined Belief Base Revision

Why Metrical Properties are not Powers

Frege’s Philosophy of Geometry

An Empirically testable Theory of Causality

Modeling AGM Belief Revision by Possible Worlds Semantics: The Case of Chellas-Segerberg Semantics

Constants and Consequences

Development of Counterfactual Reasoning & Emotions

The ghosts of departed quantities as the soul of computation

The Power of the Hexagon

Retrocausality - What Would it Take?

Abstract Explanation and Difference-Making

Causal structural realism

The First-Order Logic of the Tractatus

Systematicity: The Nature of Science

Logic in Games

Logical Dynamics of Intelligent Interaction

Truth and Context Change

Applications of multi-dimensional propositional logics

How can we find some reasoning that people do, for which a particular logic is the appropriate model?

Logic or probability? An ERP study on defeasible reasoning

The completeness of Kant's Table of Judgements and its consequences for philosophy of mathematics

Empirical Research and The Philosophy of Mathematics

Modeling Semantic Competence: a Critical Review of Frege's Puzzle (as an argument against Millianism)

Two Varieties of Knowledge

Neglect of Independence and Uncertainty (or Randomness) in the Axioms of Probability

On a Proposed Extension of Infinitary Logic

A Regret-Based Model for Wishful Thinkers

Logics as Scientific Theories

A Generalised Sorites

Are Theories of Reference Empirically Testable?

The Ins and Outs of Mathematical Explanation

Set-Rationalizable Choice and Self-Stability

Variations of Avoiding the Arrow Impasse

A Dictator Theorem on Belief Revision Derived from Arrow's Theorem

Is theory choice using epistemic virtues possible?

Modal Logic From a Categorical Point of View

Explorations in Bayesian confirmation and models of information search

Logic as Modelling

Structural Realism in Linguistics

Meaning and Interpretation in Birkhoff/Von Neumann quantum logic

Is logical knowledge dispositional?

Inexhaustibility and Reflection

An Ontological Argument for the Existence of Numbers?

Validity Curry

Voting, Deliberation and Truth

IPAD – Information Processing and the Analysis of Democracy

Group Presentation, Munich Center for Mathematical Philosophy (LMU)

Self-reference

An "Evidentialist" Worry About Joyce's Argument for Probabilism.

Interacting Modal Predicates

Tonk, Nontransitivity, and Tolerance

Tolerance & Voluntarism

Three contrasts between two senses of coherence

Carnap's Logico-Mathematical Neutrality between Realism and Instrumentalism

From Analysis to Explication

Carnap on extremal axioms and categoricity

On an occasionally heard objection to Carnap's conception of logical truth

Mathematical Science, Naturalism, and Normativity

Hume on Space and Geometry

Frequencies, Chances and Undefinable Sets

Core Logic

The Contradiction in Will Test: A Reconstruction

Logic and the Brain

Every Proposition is a Counterfactual (the Robustly Contingent Ones Nontrivially So)

Possibilities without possible worlds/histories

Diachronic Dutch Book Arguments for Forgetful Agents

Conditionals and Suppositions

On the Emergence of Descriptive Norms

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Knowledge about Probability in the Monty Hall Problem

The Lockean Thesis Revisited

Applying coherence based probability logic to philosophical problems

Formal epistemological explication (news for the Bayesian agenda)

Accuracy & Coherence

Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning)

Toward Leibniz's Goal of a Computational Metaphysics

Computing Non-Causal Knowledge for Causal Reasoning

Cognitive motivations for treating formalisms as calculi

Conclusive Reasons, Transmission, and Epistemic Closure

The 'fitting problem' for logical semantic systems

Alexander von Humboldt Professor Hannes Leitgeb

Modality and Categories

Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology

Accuracy, Chance, and the Principal Principle

Tracking the Truth Requires a Non-wellfounded Prior!

Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking

Theory and Concept in Tarski's Philosophy of Language

The conservativity of truth and the disentanglement of syntax and semantics

Do 'Looks' Reports Reflect the Contents of Perception?