A blog dedicated to mathematical philosophy.
M-Phi's Latest Posts
In the last week of August 2014 (25 to 29), the Faculty of Philosophy of the University of Groningen will be hosting TWO co-located summer schools with a common theme, Epistemology and Cognition. One of them will focus on contemporary debates on these topics, while the other will adopt a historical perspective. Below is is the lineup of keynote speakers (common to both summer schools) and tutorials for each of them, and additional information on the events can be found here (notice that the […]
The Munich Center for Mathematical Philosophy (MCMP) and the Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and Study of Religion at LMU Munich seek applications for the following positions:1. One Assistant Professorship (non-tenure-track)2. Three Postdoctoral Fellowships Deadline: March 25, 2014Starting date: October 1, 2014 (or later)The MCMP hosts a vibrant research community of faculty, postdoctoral fellows, doctoral fellows, master students, and visiting […]
(This is the third part of the series of posts with sections of the paper on axiomatizations of arithmetic and the first-order/second-order divide that I am working on at the moment. Part I is here, and Part II is here.)=============================2. The deductive useHintikka describes the deductive use of logic for investigations in the foundations of mathematics in the following terms:In order to facilitate, systematize, and criticize mathematicians’ reasoning about the structures they […]
(This is the second part of the series of posts with sections of the paper on axiomatizations of arithmetic and the first-order/second-order divide that I am working on at the moment. Part I is here, and I pick up immediately where I left yesterday.)========================================As mentioned above, what Hintikka presents as the descriptive use of logic in mathematics was the predominant approach in the early days of formal axiomatics, in the second half of the 19th century (the […]
Log in to leave a comment