Seminar on Logic and Foundations of Symbolic Systems
When and where
03/05/2015 03/05/2015
Description
Seminar on Logic and Foundations of Symbolic SystemsApril 1, 2014
From 13:00 to 14:30, Room 4
"Is there still any room for philosophy in the foundations of mathematics?"
_______________________________________________________________________________________
13:00-13:15 Status Quaestionis. J. M. Larrazabal (ILCLI).
13:15-13:45 Discussion of the following paper: P. Bernays (1935), On platonism in mathematics.
13:45-14:05 Discussion of the following paper: H. B. Curry ([1939], 1954), Remarks on the definition and nature of mathematics.
14:05-14:30 Discussion of the following paper: H. Putnam (1967), Mathematics without foundations.
Seminar General Requirements: Knowledge of the main propositional non-classical logics and first order predicate logic, as well as classical foundations of mathematics. People interested in taking part, please send a message to Enetz Ezenarro (enetz.ezenarro@ehu.es) and ask for the three papers if you need them. All the papers can be found in the following book: Benacerraf & Putnam (eds.) (1964), Philosophy of Mathematics.
More information
Seminar on Logic and Foundations of Symbolic Systems <br/> April 1, 2014 <br/> From 13:00 to 14:30, Room 4 <br/> <br/> "Is there still any room for philosophy in the foundations of mathematics?"<br/> _______________________________________________________________________________________<br/> <br/> <br/> 13:00-13:15 Status Quaestionis. J. M. Larrazabal (ILCLI). <br/><br/> 13:15-13:45 Discussion of the following paper: P. Bernays (1935), On platonism in mathematics. <br/><br/> 13:45-14:05 Discussion of the following paper: H. B. Curry ([1939], 1954), Remarks on the definition and nature of mathematics. <br/><br/> 14:05-14:30 Discussion of the following paper: H. Putnam (1967), Mathematics without foundations. <br/> <br/><br/> Seminar General Requirements: Knowledge of the main propositional non-classical logics and first order predicate logic, as well as classical foundations of mathematics. People interested in taking part, please send a message to Enetz Ezenarro (enetz.ezenarro@ehu.es) and ask for the three papers if you need them. All the papers can be found in the following book: Benacerraf & Putnam (eds.) (1964), Philosophy of Mathematics. <br/>