1

Mtra. Natalia Luna Luna Curso de introduccin a los debates clsicos y contemporneos en Filosofa de la Lgica.

Alumn@:

08 Otoo

Filosofa de la Lgica

U n i v e r s i d a d A u t n o m a d e l a C i u d a d d e M x i c o A c a d e m i a d e F i l o s o f a e H i s t o r i a d e l a s I d e a s , S L T S e m e s t r e 2 0 1 5 - I , g r u p o 3 0 2 , S L T

2

ndice SEMINARIO FILOSOFA DE LA LGICA __________________________________________________

I. Programa del Curso

II. TEMAS

Tema 1. Qu es la lgica? Tema 2. Validez Tema 3. Formalizacin Lgica EL LENGUAJE LGICO Tema 4. Conectivas lgicas y su significado Tema 5. Cuantificadores Tema 6. Metafsica de la lgica: Realismo, antirrealismo (pluralismo, relativismo, cognitivismo, nominalismo, convencionalismo, etc.) Tema 0. Introduccin a la metodologa e investigacin filosfica. Recursos argumentativos empleados en la filosofa

III. Documentos y calendario para la Certificacin

IV. . Lecturas

3

Filosofa de la Lgica CLAVE: 1-FHI-LE-13 UNIVERSIDAD AUTNOMA DE LA CIUDAD DE MXICO Academia de Filosofa e Historia de las Ideas-B. Semestre 2015-I Grupos: 301 & 302 SLT Mtra. Natalia Luna Luna

Asesoras: SLT Martes de 11:00 a 3:00 pm, cub. E 080 SLT Mircoles 2:00 pm a 4:00 pm SLT Viernes 9:00-11:00 am Contacto: lunas.filosofia@gmail.com Programa del Curso

Introduccin

La filosofa de la lgica consiste en el estudio de los problemas filosficos que la lgica suscita. Son temas clsicos en filosofa de la lgica la validez y los distintos tipos de sta. Las conectivas lgicas y su significado. Los trminos singulares y su representacin formal. La interpretacin adecuada de los cuantificadores, y cul es la relacin de stos con la ontologa de una teora. Tambin la existencia de una pluralidad de sistemas lgicos alternativos o extensionales a los de la lgica clsica, han dado lugar al surgimiento de importantes problemas en torno a la naturaleza y epistemologa de la lgica, en los que nos preguntamos si debera haber slo un sistema lgico o muchos, en cuyo caso, nos preguntamos cul es el criterio de correccin con el que se puede escoger a uno o varios sistemas lgicos en particular.

A lo largo de este curso, el estudiante comprender de manera introductoria algunos de estos debates.

Propsitos Generales del Curso

1) El estudiante comprender los aspectos centrales de los debates actuales de filosofa de la lgica vistos en clase.

2) El estudiante ser capaz de expresar argumentadamente, mediante la escritura de un ensayo, una postura filosfica ante uno de los problemas filosficos en torno a la lgica, bien sea una defensa, una crtica de una postura o una distincin importante respecto a la discusin.

Metodologa General

La clase se desarrollar mediante explicaciones del docente, y entrega de documentos didcticos o handouts, por parte de la profesora. Los reportes de lectura se calificarn mediante la respuesta a un examen de opcin mltiple. Finalmente, los estudiantes debern presentar su proyecto de ensayo frente a grupo, con alguna revisin previa del mismo por parte de la profesora. La entrega del proyecto es necesaria para la revisin del ensayo.

Evaluacin Diagnstica

Se evaluar si el estudiante tiene algunas nociones bsicas de filosofa de la lgica. As como su capacidad para conceptualizar trminos abstractos y su capacidad para comprender textos tericos.

4

Evaluacin de Certificacin

La certificacin de esta asignatura consistir en la aprobacin de las evaluaciones formativas, la entrega de un proyecto de investigacin, y del ensayo argumentativo original en el que se presenten los resultados de tal investigacin. La temtica de tal ensayo deber ser sobre filosofa de la lgica, y estar en explcita relacin con alguno(s) de los temas vistos en clase.

Planeacin Especfica

CONTENIDOS TEMTICOS

0. Introduccin Metodolgica 0.1 Lgica para la Argumentacin. 0.2 Cmo escribir ensayos filosficos dentro de la tradicin analtica? 0.3 Caractersticas de un buen proyecto de investigacin.

1. Introduccin a la Filosofa de la Lgica 1.1. Qu es la filosofa de la lgica? 1.2. Lmites y virtudes de la Formalizacin lgica 1.3. Qu es la lgica?

2. Validez 2.1 Validez deductiva vs. Fuerza inductiva 2.2 Distincin entre validez formal y material

EL LENGUAJE DE LA LGICA 3. Conectivas

3.1 El significado lgico de las conectivas

4. Cuantificadores 4.1 Sintaxis de los cuantificadores 4.2 Semntica de los cuantificadores: Interpretacin de Cuantificadores 4.3 Cuantificacin y compromiso ontolgico: Criterio de Quine de compromiso ontolgico 4.4 Lmites y virtudes del criterio de Quine de compromiso ontolgico

5. Cuestiones metafsicas sobre la lgica

5.1 Monismo lgico, pluralismo lgico, instrumentalismo, pragmatismo, relativismo, etc. 5.2 Quine: Cambio de lgica, cambio de tema. 5.3 Sobre la conflacin del monismo lgico con el realismo ante la logicidad. Resnik: Debera haber slo una lgica?

5.4 Metafsica de la lgica Realismo ante la logicidad: Pennelope Rush Posiciones antirealistas ante la logicidad: Pluralismo, relativismo, cognitivismo, nominalismo, etc.

5.5 Sobre la relacin entre la lgica y la metafsica - Hofweber: Lgica & Ontologa - Achille Varzi: Sobre la interaccin entre la lgica y la metafsica

Otros temas: 5. Trminos singulares

5.1 Interpretacin de los trminos singulares 5.2 Nombres denotativos 5.3 Nombres descriptivos 6. Teoras de la Verdad 6.1 Teoras correspondentistas

5

6.2 Teoras coherentistas 6.3 Teoras pragmticas 6.4 Teora semntica (Tarski) 6.5 Teoras relativistas

Bibliografa Bsica

1. Barker, A.J. If and en Strawson, Peter, ed. Philosophical Logic. Oxford University Press, 1981. Trad. No publicada: Natalia Luna Luna.

2. Belnap, Nuel D. Tonk, Plonk & Plink, en Analysis Vol 22, Blackwell, 1962. pps. 130-134. Tr. Natalia Luna

3. Bencivenga, Ermanno: What is logic about? en Varzi, Achille ed.: The Nature of logic. European Review of Philosophy, vol. 4. CSLI Publications, Stanford, 1999.

4. Quine, W.V.O.: Philosophy of Logic. London, Prentice-Hall, 1970.

5. Beall & Restall, Logical Pluralism. Oxford, Oxford University Press, 2006

6. Jacquette, Dale. Philosophy of Logic: An antology. Oxford, Blackwell, 2002.

7. Haack, Susan: Philosophy of Logics. Cambridge, Cambridge University Press, 1978.

Traducido en: Haack, Susan. Filosofa de las Lgicas. Madrid, Ctedra, 1991. Tr. Pendiente

8. Haack, Susan. Deviant Logics: Some philosophical Issues. Cambridge, Cambridge University Press, 1971.

9. Hacking, Ian, What is Logic?, Hughes, R.I.G. A Philosophical Companion to First-order logic. Indianapolis, 1993.

10. Hofweber, Thomas: Logic and ontology en Stanford Encyclopedia of philosophy, 2004.

11. Luna Luna, Natalia: Si Pegaso tiene alas entonces Existe? en Leal, Fernando; Gonzlez, Carlos y Fvila, Victor eds.: Introduccin a la Argumentacin. Guadalajara, UdeG, 2011.

12. Marulanda, Federico: Lmites y virtudes al a formalizacin lgica en Leal, Fernando; Gonzlez, Carlos y Fvila, Victor eds.: Introduccin a la Argumentacin. Guadalajara, UdeG, 2011.

13. Pears, David F. Es la Existencia un Predicado? en Strawson, Peter, Philosophical logic. Oxford University Press, 1981.

14. Priest, Graham., Validity in Varzi, Achille, Ed., European Review of Philosophy, Vol. 4: The Nature of Logic. Stanford, CSLI Publications, 1997.

15. Prior, Arthur The runabout inference ticket en Strawson, Peter, ed. Philosophical Logic. Oxford University Press, 1981.

16.Quine, W.V.O.: On what there is en From a Logical Point of View. Harvard, Harvard University Press, 1953. TRAD. Quine, W.V. O. Acerca de lo que hay, en Desde un punto de vista lgico. Barcelona, Ariel, 1962. Tr. Manuel Sacristn.

17. Quine, W.V.O, Word and Object. Cambridge, Mas., MIT, 1973. TRAD. Quine, W.V.O., Palabra y Objeto. Barcelona, Labor, 1968. Tr. Manuel Sacristn.

18. Resnik, Michael, Ought there to be but one logic? en Copeland, Arthur. Logic and Reality: Essays in the honour of Arthur Prior. Oxford, 1982.

19. Russell, L.J. If and en Strawson, Peter, ed.: Philosophical Logic. Oxford, Oxford University Press, 1981. Trad .no publicada Hctor Hernndez Ortiz.

20. Rush, Penelope: The Metaphysics of logic. Cambridge, Cambridge University press, 2014.

6

21. Varzi, Achille: On the interplay between logic and metaphysics en Linguistic and Philosophical Investigations 8 (2009),pp. 13-36

Bibliografa Complementaria 1. Ayer, Alfred. Positivismo Lgico. Mxico, FCE, 1965. Tr. L. Aldama.

2. Azzouni, Jody, Defleating Ontological Consequence: A case for nominalism. Oxford Oxford University Press, 2004.

3. Azzouni, Jody. On On what there is , Pacific Philosophical Quarterly, 1999, pp. 1-18.

4. Baldwin, Thomas, Interpretations of Quantifiers. Mind, New Series, Vol. 88, No. 350. (Apr., 1979), pp. 215-240.

5. Beall & Restal, Defending Logical Pluralism, Australasian Journal of Philosophy.

6. Boolos G.S., Burgess, J. and Jeffrey. Computability and logic. Cambridge: Cambridge University Press, 2002.

7. Boolos, George. Logic, logic, and logic. Cambridge, Mass.; London: Harvard University Press.1970.

8. Davidson, Donald: De la Verdad y la Interpretacin: Fundamentales contribuciones a la Filosofa del Lenguaje. Barcelona, Gedisa, 1990. Tr. Guido Filippi.

9. Gamut, L. T. F. Logic, Language and Meaning. Vol. 1. Chicago, The University of Chicago Press, 1991. TRAD. Gamut, L.t.F. Introduccin a la lgica. Buenos Aires, Eudeba, 2002. Tr. Cecilia Quirn.

10. Gotlieb, Dale. Ontological Economy: Substitutional Quantification and Mathematics. Oxford, Oxford University Press, 1980.

11. Luna Luna, Natalia. Quantification and ontological commitment. University of Leeds, 2007.

12. Mc Farlane. What does it mean that a Logic is formal. 2000, PhD Thesis, University of Pittsburg. http://sophos.berkeley.edu/macfarlane/diss.html

13. Melia, Joseph, Truth without truthmakers en Bebee, Helen

14. Melia, Joseph, Review of Defleating Existential Consequence: A Case for Nominalism by Jody Azzouni. Azzounni. Notre Dame Philosophical Reviews, 2005. [http://ndpr.nd.edu/review.cfm?id=3621]

15. Lycan, William: Philosophy of Language. London, Routledge, Col. Routledge Contemporary Introduction to Philosophy, 2000.

16. Rayo, Agustn, Ontological Commitment, Philosophy Compass. 2/3, 2007.

17. Simons, Peter Higher-order logic and ontological Commitment. Dialectica, Vol. 51, Fasc. 4, 1997.

18. Tharp, Leslie Which logic is the right logic?, Synthese, 1975.

19. Varzi, Achille & Carrara, Massimiliano, On Logical Relativity, Philosophical Issues, 12, 2002 (volume on "Realism and Relativism").

20. Williams, C.F.J. What is existence? Oxford, Clarendon Press, 1981.

21. Wright, Crispin: Truth and Objectivity. Oxford: Harvard University Press, 1994.

22. Bricker, Phillip: Ontological Commitment en Stanford Encyclopedia of philosophy 2014.

23.Strawson, Peter. Philosophical Logic. Oxford: Oxford University Press, 1967.

24.Tarski, Alfred, The Semantic Conception of Truth: and the Foundations of Semantics" en Philosophy and Phenomenological Research, Vol. 4, No. 3. (Mar., 1944), pp. 341-376.

25.Weston, Anthony. The Rulebook of argumentation.