TALLER DE FILOSOFA DE LAS MATEMTICAS

1. DATOS GENERALES.

Carcter :
Semestre : 2017 0.
Cdigo :
Crditos :
Profesor : Dr. Miguel A. Len Untiveros.
Correo electrnico : miguel.leon.u@gmail.com

2. SUMILLA.

El taller es una introduccin a la discusin actual sobre los

fundamentos (filosficos) de las matemticas. Los principales
temas a ser tratados son: el platonismo, el kantismo, el
logicismo, el intuicionismo y el formalismo. Y terminamos con el
impacto de los teoremas de incompletitud de Gdel en esta
discusin y su platonismo propuesto.

3. OBJETIVOS.

El objetivo general del curso es analizar y evaluar el origen, el

desarrollo y la discusin actual de los fundamentos filosficos de
las matemticas.

4. METODOLOGA.

La metodologa de enseanza comprende las siguientes

actividades:

Desarrollo de las sesiones segn el programa.

Anlisis y discusin en torno a los tpicos propuestos y a los
ensayos.

5. EVALUACIN.

Tipo Nme Pe
ro so
Tareas, T 2 2
Participacin, P 1
Ensayos, E 1 2
 Examen Final, EF 1 1

2 Prom (T ) + Prom ( P )+2 Prom ( E ) + EF

Nota Final=
6

6. PROGRAMACIN.

SESIN 1. .
Introduccin Preliminares I.
a. Axioma, concepto primitivo o bsico, teorema,
demostracin.
b. Ejemplo: constructivo y formalismo.
c. Ejemplo de demostracin al absurdo: nmeros primos.
d. Demostracin de la suma de ngulos internos de un
tringulo:
i. Suma de los ngulos internos de un tringulo (Kant,
1998 (1789), pp. A716/B744-A717/B745) (prueba
constructiva, sinttica).
ii. Infinitud de los nmeros primos (RAA, prueba
indirecta).

SESIN 2. .
Concepto de conjunto (Kanamori, 2012; Robering, 2008)
a. Paradoja de Russell y conjunto de Russell.

SESIN 3. .
El mtodo axiomtico I: El infinito en potencia (Durn Guardeo,
2012a).
a. Las Paradojas de Zenn de Elea.

SESIN 4. .
El infinito en acto: Georg Cantor (Dauben, 1979).

SESIN 5. .
Platonismo (Irvine, 2009) y kantismo (Mostern, 2008; Couturat,
1960).

SESIN 6. .
Logicismo (Irvine, 2009; Krner, 1967 [1960]; da Costa, 1992).

SESIN 7. .
Intuicionismo (Irvine, 2009; Krner, 1967 [1960]; da Costa, 1992).

SESIN 8. .
Formalismo (Irvine, 2009; Krner, 1967 [1960]; da Costa, 1992;
Hilbert, 1967 [1925]).

2
 SESIN 9. .
Examen final.

7. FUENTES DE INFORMACIN.

LINKS DE INTERS:

Aret.
http://revistas.pucp.edu.pe/index.php/arete

Letras.
http://letras.unmsm.edu.pe/rl/index.php/le/issue/archive

Crtica. Revista de Filosofa:

http://critica.filosoficas.unam.mx/

DIANOIA. Revista de filosofa:

http://dianoia.filosoficas.unam.mx/

Biblioteca Gnesis:
http://gen.lib.rus.ec

Hemeroteca Gnesis:
http://gen.lib.rus.ec/scimag/index.php

Taller de Filosofa Matemtica:

https://www.facebook.com/groups/935720926464981/

Filosofa en PDF:
https://www.facebook.com/groups/filosofiaenpdf/

Epistemologa en PDF:
https://www.facebook.com/groups/epistemologiaenpdf/

Stanford Encyclopedia of Philosophy:

http://plato.stanford.edu/

Internet Encyclopedia of Philosophy:

http://www.iep.utm.edu/

BIBLIOGRAFA

La presente lista no es completa sino referencial. Para una mayor informacin

consultar los materiales indicados, en especial (Bueno , 2011).

Alemn Pardo, A. (2011). Lgica, matemticas y realidad (segunda ed.). Madrid:

Tecnos.

3
Amor Montao, J. A. (2011). Teora de conjuntos para estudiantes de ciencias.
Mxico: Facultad de ciencias, UNAM.
Artola, M., & Snchez Ron, J. M. (2012). Los pilares de la ciencia. Barcelona: Espasa.
Badesa, C., Jan, I., & Jansana, R. (1998). Elementos de lgica formal. Barcelona:
Ariel.
Blanch, R. (1965 [1959]). La Axiomtica. (F. Osorio Altzar, Trad.) Mxico:
Universidad Nacional Autnoma de Mxico.
Blanch, R. (1973 [1970]). La logica e la sua storia da Aristotele a Russell. (A.
Menzio, Trans.) Roma: Astrolabio - Ubaldini.
Bourbaki, N. (1976 [1969]). Elementos de Historia de las Matemticas (nueva,
revisada y aumentada ed.). (J. Hernndez, Trad.) Madrid: Alianza Editorial.
Bourbaki, N. (1999 [1984]). Elements of the History of Mathematics. (J. Meldrum,
Trans.) Springer et al.: Springer.
Bueno , O. (2011). Philosophy of Mathematics. Oxford University Press.
Bunge, M. (1996). Intuicin y Razn (Segunda, revisada y ampliada ed.). Buenos
Aires, Sudamericana.
Casari, E. (2006). La Matematica della Verit. Strumenti matematici della semantica
logica. Torino: Bollati Boringhieri.
Cassini, A. (2006). El juego de los principios. Una introduccin al mtodo
axiomtico. Buenos Aires: AZ.
Cook, R. T. (2009). A Dictionary of Philosophical Logic. Edinburgh: Edinburgh
University Press.
Cook, R. T. (2013). Paradoxes. Malden: Polity.
Corry, L. (2015). A Brief History of Numbers. Oxford: Oxford University Press.
Couturat, L. (1960). La filosofa de las matemticas en Kant. (M. Bueno, Trad.)
Mxico: UNAM.
da Costa, N. C. (1992). Introduo aos Fundamentos da Matemtica. Terceira
edio. So Paulo: HUCITEC.
Dauben, J. W. (1979). Georg Cantor. His Mathematics and Philosophy of the Infinite.
New Jersey: Princeton University Press.
Devlin, W. J., & Bokulich, A. (Eds.). (2015). Kuhns Structure of Scientific Revolutions
- 50 Years On. Springer: Springer.
Durn Guardeo, A. J. (2012). La verdad est en el lmite. El cculo infinitesimal.
Navarra: RBA.
Fresn, J. (2010). El sueo de la razn. La lgica matemtica y sus paradojas.
Barcelona: RBA.
Friend, M. (2007). Introducing Philosophy of Mathematics. Stocksfield: Acumen.
Gandon, S. (2012). Russell's Unknown Logicism. A Study in the History and
Philosophy of Mathematics. London and New York: Palgrave Macmillan.
Gillies, D. (Ed.). (1992). Revolutions in Mathematics. Oxford: Clarendon Press.
Gonzles Urbaneja, P. M. (2008). Arqumedes y los orgines del clculo integral.
Madrid: Nivola.
Grattan-Guinness, I. (Ed.). (1994). Companion encyclopedia of the history and
philosophy of the mathematical sciences (Vol. 1 & 2). London and New York:
Routledge.
Hilbert, D. (1902 [1899]). Foundations of Geometry. (E. J. Towsend, Trans.) Chicago:
Open Court.
Hilbert, D. (1967 (1927)). The foundations of mathematics. In J. van Heijenoort (Ed.),
From Frege to Gdel. A Source Book in Mathematical Logic, 1879-1931 (S.
Bauer-Mengelberg, & D. Follesdal, Trans., pp. 464-79). Cambridge -
Massachusetts: Harvard University Press.
Hilbert, D. (1967 [1925]). On the infinite. In J. van Heijenoort (Ed.), From Frege to
Gdel. A source book in mathematical logic, 1979 - 1931 (J. van Heijenoort,
Trans., pp. 367-392). Cambridge: University Harvard Press.
Hilbert, D. (1993). Fundamentos de las matemticas. (L. F. Segura, Trad.) Mxico:
facultad de Ciencias de la UNAM.
Hilbert, D. (1996 (1923)). The logical foundations of mathematics. In W. Ewald (Ed.),
From Kant to Hilbert. A Source Book in the Foundations of Mathematics (W.
Ewald, Trans., Vol. II, pp. 1134-1148). Oxford: Clarendon Press.

4
Hilbert, D. (1996 [1918]). Axiomatic thought. In W. B. Ewald (Ed.), From Kant to
Hilbert: A Source Book in the Foundations of Mathematics (Vol. II, pp. 1105
15). Oxford: Oxford University Press.
Hilbert, D. (1996 [1922]). The new grounding of mathematics. In W. Ewald (Ed.),
From Kant to Hilbert: A Source Book in the Foundations of Mathematics (Vol.
II, pp. 111534). Oxford: Oxford University Press.
Hilbert, D. (1996 [1930]). The Knowledge of Nature. In W. Ewald (Ed.), From Kant to
Hilbert. A Source Book in the Foundations of Mathematics (Vol. II, pp. 1157-
65). Oxford: Oxford University Press.
Irvine, A. (Ed.). (2009). Philosophy of Mathematics. Amsterdam et al.: North Holland
- Elsevier.
Jacquette, D. (2002). Ontology. Chesham: Acumen.
Kanamori, A. (2012). Set theory from Cantor to Cohen. In D. M. Gabbay, A.
Kanamori, & J. Woods (Eds.), Handbook of the History of Logic (Vol. 6. Sets
and Extensions in the Twentieth Century, pp. 1-71). Amsterdam et al.
Kant, I. (1998 (1789)). Critique of pure reason (Second ed.). (P. Guyer, & A. W. Wood,
Trans.) Cambridge: Cambridge University Press.
Kant, I. (2002 [1789]). Crtica de la Razn Pura. (P. Ribas, Ed., & P. Ribas, Trad.)
Madrid: Santillana.
Kind, A. (Ed.). (2016). The Routledge Handbook of Philosophy of Imagination.
London and New York: Routledge.
Klimovsky, G., & Boido, G. (2005). Las desventuras del conocimiento matemtico.
Argentina: A-Z.
Kline, M. (1953). Mathematics in Western Culture. Oxford et al.: Oxford University
Press.
Kline, M. (1972). Mathematical Thought from Ancient to Modern Times (Vols. 1-3).
New York and Oxford: Oxford University Press.
Kline, M. (1992). El pensamiento matemtico de la antigedad a nuestros das (Vols.
1-3). (M. Martnez, J. Tarrs, & A. Casal, Trads.) Mexico: Alianza.
Krner, S. (1967 [1960]). Introduccin a la filosofa de la matemtica. (C. Gerhard,
Trad.) Mxico: Siglo Veintiuno.
Kuhn, T. S. (1996). The structure of scientific revolutions (Third ed.). Chicago and
London: The University of Chicago Press.
Kvasz, L. (2008). Patterns of change. Linguistic innovations in the development of
classical mathematics. Basel - Boston - Berlin: Birkhuser.
Kvasz, L. (2014). Kuhn's Structure of Scientific Revolutions between sociology and
epistemology. Studies in History and Philosophy of Science. Part A, 46, 78-84.
Lavine, S. (1994). Understanding the infinite. Cambridge et al.: Harvard University
Press.
Lavine, S. (2005 [1994]). Comprendiendo el infinito. (E. Torres Alexander, Trad.)
Mxico: Fondo de Cultura Econmica.
Len Untiveros, M. . (2013). El sexto y sptimo dogma del empirismo y la
concepcin semntica de las teoras cientficas. Analtica(7), 109-132.
Len Untiveros, M. . (2013). Teoricidad y coherentismo en el estructuralismo
cientfico. Indito. Ponencia presentada en el Da Mundial de la Filosofa: La
filosofa en Dilogo, 18-21 de Noviembre, 2013, Universidad Nacional Mayor
de San Marcos, 1-15.
Len Untiveros, M. . (2014). La analoga geomtrica y la unidad de la lgica: Los
compromisos ontolgicos de la filosofa de la lgica. Analtica(8), 61-82.
Len Untiveros, M. . (2015). El dilema de Jrgensen: Fundamentos semnticos de
los imperativos. Lima: tesis doctoral.
Len Untiveros, M. . (2015). La medicin de los derechos: Un punto de vista
epistemolgico. Indito, 1-6.
Len Untiveros, M. . (Enero - Diciembre de 2015). Los sptimo y octavo dogmas del
empirismo y la concepcin semntica de las teoras cientficas.
Phainomenon. revista del departanemto de filosofa y teorloga de la UNIF,
1(1), 31-49.
Len Untiveros, M. . (2015). There is no semantic truth in Law. Ponencia
presentada en GTR15 TRENTO DAYS ON RHETORIC. Visual Argumentation
& Reasonableness in Judicial Debate. 17-19 junio. Indito, 1-7.

5
Len Untiveros, M. . (2015). Un lmite de la epistemologa informtica: Hacia la
epistemetra. Indito - primer borrador, 1-4.
Len Untiveros, M. . (2016a). Jrgensen's Dilemma: The quest for semantic
foundations of imperatives. en publicacin, 1-19.
Len Untiveros, M. . (2016b). Los mtodos formales y el principio de tolerancia en
la filosofa. Ponecia en el La filosofa y sus mtodos. Coloquio internacional
sobre las diversas metodologas filosficas: naturaleza, diversidad,
complementariedad e inconmensurabilidad, Pontificia Universiad Catlica
del Per, 31 de agosto de 2016, 1-17.
Lindstrm, S., Palmgren, E., Segerberg, K., & Stoltenberg-Hansen, V. (Eds.). (2009).
Logicism, Intuitionism, and Formalism. What Has Become of Them? Springer:
Springer.
Madrid Casado, C. M. (2013). Hilbert. Las bases de la matemtica. En el princpio fue
el axioma. Navarra: RBA.
Marcacci, F. (2008). Alle origini dell'assiomatica. Gli Eleati, Aristotele, Euclide. Roma:
Aracne.
Mir Quesada Cantuarias, F. (1963). Apuntes para una teora de la razn. Lima:
Universidad Nacional Mayor de San Marcos.
Mir Quesada Cantuarias, F. (1984). On the concept of reason. In J. J. Garcia, E.
Rabossi, E. Villanueva, & M. Dascal (Eds.), Philosophical Analysis in Latin
America (pp. 397-411). Dordrecht: D. Reidel Publishing Company.
Mir Quesada Cantuarias, F. (2004). Does Metaphysics Need a Non-Classical Logic?
In P. Weingartner (Ed.), Alternative Logics. Do Sciences Need Them? (pp. 27-
39). Berlin: Springer.
Mostern, J. (2000). Los lgicos (Tercera ed.). Madrid: Espasa Calpe.
Mostern, J. (2008). Conceptos y teoras en la Ciencia (Tercera ed.). Madrid: Alianza
editorial.
Mostern, J., & Torretti, R. (2010). Diccionario de Lgica y Filosofa de la Ciencia
(segunda ed.). Madrid: Alianza.
Nicols, J. A., & Frpolli, M. J. (Mayo/Agosto de 1997). Teoras actuales de la verdad.
Dilogo Filosfico(38), 148-178.
Nicols, J. A., & Frpolli, M. J. (2012). Introduccin: la verdad en el centro de la
reflexin filosfica. En J. A. Nicols, & M. J. Frpolli (Edits.), Teoras
comtemporneas de la verdad (pgs. 9-53). Madrid: Tecnos.
Nicols, J. A., & Frpolli, M. J. (Edits.). (2012). Teoras contemporneas de la verdad.
Madrid: Tecnos.
Papineau, D. (2012). Philosophical Devices. Proofs, Probabilities, Possibilities, and
Sets. Oxford: Oxford University Press.
Peirce, C. S. (2010). Philosophy of Mathematics Selected Writings. (M. E. Moore, Ed.)
Indiana: Indiana University Press.
Pieiro, G. E. (2013). Cantor. El infinito en matemticas. Lo incontable es lo que
cuenta. Navarra: RBA.
Pollard, S. (2014). A Mathematical Prelude to the Philosophy of Mathematics.
Springer et al.: Springer.
Reid, C. (1970). Hilbert. Berlin - Heidelberg: Springer-Verlag.
Rescher, N. (1999). The limits of science (revised ed.). Pittsburgh: University of
Pittsburgh Press.
Rescher, N. (2001). Cognitive pragmatism. The theory of knowledge in pragmatic
perspective. Pittsburgh: University of Pittsburgh Press.
Rescher, N. (2016). Pragmatism in Philosophical Inquiry. Theoretical Considerations
and Case Studies. Springer: Springer.
Robering, K. (2008). New Approaches to Classes and Concepts. London: College
Publications.
Simons, P. (2009). Formalism. In A. Irvine (Ed.), Philosophy of Mathematics (pp. 291-
310). Amsterdam et al.: North Holland - Elsevier.
Smoryski, C. (2012). Adventures in Formalism. Milton Keynes: College Publications.
Steinhart, E. (2009). More Precisely. The Math You Need to Do Philosophy. Toronto:
Broadview Press.
Stillwell, J. (2016). Elements of Mathematics. From Euclid to Gdel. New Jersey:
Princeton University Press.

6
Torretti, R. (1993). El mtodo axiomtico. En C. U. Moulines (Ed.), La ciencia:
estructura y desarrollo (pgs. 89-110). Madrid: Trotta.
Weingartner, P. (Ed.). (2004). Alternative Logics. Do Sciences Need Them? Berlin,
Heidelberg, New York: Springer.
Weir, A. (2015, March 11). Formalism in the Philosophy of Mathematics. Retrieved
from Stanford Encyclopedia of Philosophy:
http://plato.stanford.edu/entries/formalism-mathematics/
Wrenn, C. (2015). Truth. Malden: Polity.
Yanofsky, N. S. (2013). The outer limits of reason. What science, mathematics, and
logic cannot tell us. Cambridge: MIT Press.
Zach, R. (2015, June 6). Hilbert's Program. Retrieved from Stanford Encyclopedia of
Philosophy: http://plato.stanford.edu/entries/hilbert-program/