))
Mathematical Philosophy - the application of logical and mathematical methods in philosophy - is about to experience a tremendous boom in various areas of philosophy. At the new Munich Center for Mathematical Philosophy, which is funded mostly by the German Alexander von Humboldt Foundation, philosophical research will be carried out mathematically, that is, by means of methods that are very close to those used by the scientists. The purpose of doing philosophy in this way is not to reduce p ...
…
continue reading
1
Recent metamathematical wonders and the question of arithmetical realism
1:02:16
1:02:16
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:02:16
Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of methods, algorithmic undecidability and "truth". I woul…
…
continue reading
Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philos…
…
continue reading
1
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
1:07:17
1:07:17
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:07:17
Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.". Abstract: In a recent article (Review of Symbolic Logic 2009), I have explored the historical, mathematical, and philosophical issues related to the new theory of numerositi…
…
continue reading
1
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
56:33
56:33
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
56:33
Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experiences, Expected Inaccuracy, and the Value of Knowledge". Abstract: I argue that van Fraassen's reflection principle is a principle of rational learning. First, I show that it follows if one wants to minimize expected inaccuracy. Second, the reflecti…
…
continue reading
Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philosophy". Abstract: Hannes Leitgeb rightly claims that "contemporary critics of mathematization of (parts of) philosophy do not so much put forward arguments as really express a feeling of uneasiness or insecurity vis-à-vis mathemati…
…
continue reading
1
Geometrical Roots of Model Theory: Duality and Relative Consistency
1:09:25
1:09:25
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:09:25
Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-theoretic in character: theories are understood as theory schemata that implicitly defin…
…
continue reading
1
A Hypothetical Conception of Mathematics in Practice
57:01
57:01
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
57:01
José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of Mathematics in Practice". Abstract: The aim of the talk will be to present some of the basic aspects of my approach to mathematical epistemology, developed in the forthcoming book Mathematical Knowledge and the Interplay of Practices (P…
…
continue reading
Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Russell proposed to ban the vicious circle principle, nowadays called impredicative definition, by which a set may be defined by referring to the totali…
…
continue reading
1
A Computational Perspective on Metamathematics
1:02:58
1:02:58
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:02:58
Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of mathematics itself using methods of mathematics in a broad sense (not necessarily based on any formal system of logic). In the evolution of mathematics …
…
continue reading
1
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
51:28
51:28
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
51:28
Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) titled "Quantified probability logics: how Boolean algebras met real-closed fields". Abstract: This talk is devoted to one interesting probability logic with quantifiers over events — henceforth denoted by QPL. That is to say, the quanti…
…
continue reading
1
Symmetry and Mathematicians' Aesthetic Preferences: a Case Study
44:10
44:10
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
44:10
Irina Starikova (Sao Paulo) gives a talk at the MCMP Colloquium (8 January, 2015) titled "Symmetry and Mathematicians' Aesthetic Preferences: a Case Study". Abstract: Symmetry plays an important role in some areas of mathematics and has traditionally been regarded as a factor of visual beauty. In this talk I explore the ways that symmetry contribut…
…
continue reading
Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current version is “gunky” in that it does not recognize points, as part of regions, but it does make essential use of actual infinity. The purp…
…
continue reading
Hourya Benis-Sinaceur (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Neuropsychology of numbers". Abstract: How do we extract numbers from our perceiving the surrounding world? Neurosciences and cognitive sciences provide us with a myriad of empirical findings that shed light on hypo…
…
continue reading
1
IF epistemic logic and mathematical knowledge
1:07:16
1:07:16
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:07:16
Manuel Rebuschi (Poincaré Archives, University of Lorraine, Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "IF epistemic logic and mathematical knowledge". Abstract: Can epistemic logicstate anything interesting about the epistemology of mathematics? That's one of Jaakko Hintikka’s claim…
…
continue reading
1
Natural numbers in philosophy of mathematics and in cognitive science
57:13
57:13
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
57:13
Paula Quinon (Lund) gives a talk at the MCMP Colloquium (27 November, 2014) titled "Natural numbers in philosophy of mathematics and in cognitive science". Abstract: Natural numbers are the object of studies in various disciplines. Two such disciplines are the philosophy of mathematics and research in developmental cognitive sciences. My current en…
…
continue reading
1
On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures
1:12:59
1:12:59
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:12:59
Hannes Leitgeb (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures". Abstract: There are different versions of structuralism in present-day philosophy of mathematics which all take as their starting point …
…
continue reading
1
What are the challenges of Benacerrafs Dilemma? A Reinterpretation
56:23
56:23
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
56:23
Marco Panza (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "What are the challenges of Benacerrafs Dilemma? A Reinterpretation". Abstract: Despite its enormous influence, Benacerraf's dilemma admits no standard, unanimously accepted, version. This mainly depends on Benacerraf's having…
…
continue reading
Kate Hodesdon (Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Discernibility from a countable perspective". Abstract: In this talk I discuss formal methods for discerning between uncountably many objects with a countable language, building on recent work of James Ladyman, Øystein Linneb…
…
continue reading
1
Three ways in which logic might be normative
1:04:17
1:04:17
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:04:17
Florian Steinberger (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Three ways in which logic might be normative". Abstract: Logic, the tradition has it, is, in some sense, normative for reasoning. Famously, the tradition was challenged by Gilbert Harman who argued that there is no i…
…
continue reading
1
A useful method for obtaining alternative formulations of the analytical hierarchy
1:14:05
1:14:05
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:14:05
Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (6 November, 2014) titled "A useful method for obtaining alternative formulations of the analytical hierarchy". Abstract: In mathematical philosophy one often employs various formal systems and structures for solving philosophical tasks. In particular, man…
…
continue reading
Christopher Menzel (Texas A&M University) gives a talk at the MCMP Colloquium (18 June, 2014) titled "Haecceities and Mathematical Structuralism". Abstract: It is well-known that some earlier versions of mathematical structuralism (notably from Resnik and Shapiro) appeared to be committed to a rather strong form of the Identity of Indiscernibles (I…
…
continue reading
1
Remarks on the foundations of mathematics
1:31:37
1:31:37
「あとで再生する」
「あとで再生する」
リスト
気に入り
気に入った
1:31:37
Helmut Schwichtenberg (LMU) gives a talk at the MCMP Colloquium (5 December, 2013) titled "Remarks on the foundations of mathematics". Abstract: We consider minimal logic with implication and universal quantification over (typed) object variables. Free type and predicate parameters may occur. For mathematics we need (i) data (the Scott - Ershov par…
…
continue reading
