Academic year
2012/2013
Department
Department of Philosophy
University
Universitat de Barcelona
Itinerary
Master courses
Module
Module 7. Issues in Contemporary Theoretical and Practical Philosophy
Code
569064
Credits
6
Language
Spanish
Dates
2013-02-13 - 2013-05-17
Schedule
Wed. & Fri. 12-13:30
Location
Room 410, Fac. Filosofia, UB

Description

Bloques temáticos:

1. La lógica a mediados del s. XIX.

2. El desarrollo algebraico de la logica: Boole, Peirce y Schröder.

3. Logicismo: Frege y Russell.

4. Las paradojas y la crisis en los fundamentos de la matematica.

5. Predicativismo, intuicionismo y formalismo.

6. El programa de Hilbert y los teoremas de incompletud de Gödel.


Evaluation

Un trabajo escrito a mitad de curso y otro al finalizar el curso.


Bibliography

Libro
Bostock, D. Philosophy of Mathematics. Oxford: Wiley-Blackwell, 2009.
George, A., y Velleman, D. J. Philosophies of Mathematics. Oxford: Blackwell, 2002.

Capítulo
Badesa, C. The birth of model theory. Princeton: Princeton University Press, 2004, (Caps. 1 y 2)

Mancosu, P., Zach, R. y Badesa, C. "The Development of Mathematical Logic from Russell to Tarski:1900-1935". En L. Haaparanta (ed.), The Developement of Modern Logic, (pp. 318-470). Oxford:Oxford University Press, 2009.

Zach, R. "Hilbert's program then and now". En D. Jacquette (Ed.), Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic (pp. 411--448). London: Elsevier, 2006.

Texto electrónico

Zalta, E. N. Frege's Logic, Theorem, and Foundations for Arithmetic. En E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Disponible en http://plato.stanford.edu/archives/fall2010/entries/fregelogic/