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
![Artwork](/static/images/128pixel.png)
1
Recent metamathematical wonders and the question of arithmetical realism
1:02:16
1:02:16
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.
1:07:17
1:07:17
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
56:33
56:33
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Anti-Mathematicism and Formal Philosophy
49:32
49:32
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
49:32
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
![Artwork](/static/images/128pixel.png)
1
Geometrical Roots of Model Theory: Duality and Relative Consistency
1:09:25
1:09:25
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
A Hypothetical Conception of Mathematics in Practice
57:01
57:01
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
On the Contingency of Predicativism
49:02
49:02
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
49:02
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
![Artwork](/static/images/128pixel.png)
1
A Computational Perspective on Metamathematics
1:02:58
1:02:58
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields
51:28
51:28
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Symmetry and Mathematicians' Aesthetic Preferences: a Case Study
44:10
44:10
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
An Aristotelian continuum
46:56
46:56
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
46:56
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
![Artwork](/static/images/128pixel.png)
1
Neuropsychology of numbers
29:41
29:41
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
29:41
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
![Artwork](/static/images/128pixel.png)
1
IF epistemic logic and mathematical knowledge
1:07:16
1:07:16
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Natural numbers in philosophy of mathematics and in cognitive science
57:13
57:13
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures
1:12:59
1:12:59
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
What are the challenges of Benacerrafs Dilemma? A Reinterpretation
56:23
56:23
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Discernibility from a countable perspective
32:32
32:32
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
32:32
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
![Artwork](/static/images/128pixel.png)
1
Three ways in which logic might be normative
1:04:17
1:04:17
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
A useful method for obtaining alternative formulations of the analytical hierarchy
1:14:05
1:14:05
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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
![Artwork](/static/images/128pixel.png)
1
Haecceities and Mathematical Structuralism
54:28
54:28
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
54:28
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
![Artwork](/static/images/128pixel.png)
1
Remarks on the foundations of mathematics
1:31:37
1:31:37
Toista myöhemmin
Toista myöhemmin
Listat
Tykkää
Tykätty
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