Magistrales

María Manzano Arjona

http://logicae.usal.es/mara/

María ManzanoMaría Manzano es catedrática de Lógica y Filosofía de la ciencia en la Universidad de Salamanca. Becaria Fullbright senior el curso 1977-1978, en Berkeley, y profesor visitante en la Universidad de Stanford.

Fue la coordinadora del Máster en Lógica y Filosofía de la ciencia en la Universidad de Salamanca.

Autora de múltiples publicaciones, tanto de libros, como capítulos de libro o artículos, todos vinculados con el área de Lógica. Algunas de sus publicaciones son:

Algunos libros

  • The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I., Alonso, E. (eds) Springer. 2014.
  • Lógica, Lógicas y Logicidad. College Publications. London [en preparación].
  • Extensions of First-Order Logic. Cambridge University Press. Cambridge: U.K., 2005 (paperback).
  • Lógica para principiantes, con Antonia Huertas. Alianza Editorial, S.A. Madrid, España, 2004, 2005 y 2006.
  • Model Theory. Oxford University Press. Oxford: U.K., 1999.
  • Teoría de Modelos. Alianza Editorial, S.A. Madrid, España, 1989 (agotado).
  • Teoría de Tipos. Ediciones Universidad de Barcelona Barcelona, España, 1980.
  • Sistemas Intermedios. Fundación Juan March: Serie Universitaria. Madrid, España, 1978

Algunos artículos y capítulos de libros

  • “A Semantics for Equational Hybrid Propositional Type Theory”. [2014]. con Martins, M. y Huertas, A. Bulletin of the Section of Logic. Łódź University Press. 43:3/4 Páginas 121-138
  • “Visions of Henkin”. [2014], con Alonso, E. Synthese. Editorial: Springer. (DOI) 10.1007/s11229-013-0389-7
  • “Completeness of Hybrid Type Theory”. [2014], con Areces, C. Blackburn, P. y Huertas, A. doi.org/10.1007/s10992-012-9260-4. Journal of Philosophical Logic. Editorial: Springer.
  • “Completeness: from Gödel to Henkin”. [2013], con Alonso, E. DOI: 10.1080/01445340.2013.816555. History and Philosophy of Logic. Editorial: Taylor and Francis.London. U.K.
  • “Hybrid Type Theory, A Quarted in Four Movements”, con Areces, C. y Blackburn, P. Huertas. Principia: an international journal of epistemology, ISSN 1808-1711, Vol. 15, Nº. 2, 2011 , págs. 225-247
  • “Argumentos ontológicos” [2010], con Moreno, M.C. BAJO PALABRA. Revista de Filosofía. II Época, nº 5 ISSN 1576-3935 (2010: 433-448)
  • “Logic and Fiction”. Henrique Jales Ribeiro (Ed.) [2012]. Inside Arguments: Logic and the Study of Argumentation. Newcastle upon Tyne(UK): Cambridge Scholars Publishing. ISBN
  • (10): 1-4438-3880-2, ISBN (13): 978-1-4438-3880-1
  • "Lógica de orden superior" [2008], en Filosofía de la Lógica. María José Frápolli, editora. Tecnos. Madrid. España.
  • "Teoría de Modelos" [2010] en Diccionario de Lógica, Argumentación y Retórica. Luis Vega Reñón, editor. Editorial Trotta.
  • "Magical Diagonalisation", con Enrique Alonso [2009]. En Dimensions of Logical Concepts. J.-Y. Béziau and A. Costa-Leite, eds. Coleção CLE, v.54, UNICAMP.
  • "León Henkin", con Enrique Alonso [2007], en Lógica, Filosofía del Lenguaje y de la Lógica. A. Nepomuceno, F. J. Salguero, F. Soler editores. Mergablum. Sevilla.
  • "Razonamiento formal" [2006], en 50 años de la Inteligencia Artificial. Antonio Fernández Caballero y Sergio Miguel Tomé eds. Albacete: España.
  • "Diagonalization and Church's Thesis: Kleene's Homework", con Enrique Alonso. [2005] HPL (History and Philosophy of Logic) Taylor & Francis. U.K.
  • "Introduction to Many-sorted logic" en Many Sorted Logic and its Applications. Tucker and Meinke eds. John Wiley and Sons. Chichester: U.K.
  • "Divergencia y rivalidad entre lógicas". En Enciclopedia Iberoamericana de Filosofía. Volumen 27 de Filosofía de la Lógica. Raúl Orayen y Alberto Moretti eds. Trotta. España.
  • Editorial "Tools for Teaching Logic" con Hans van Ditmarsch, en Special issue Logic Journal of the IGPL. Oxford University Press
  • "¿Qué es esa cosa llamada lógica?”. En Representación y logicidad. A. Nepomuceno ed. Fénix Editora. Sevilla.
  • "A fashionable Partial and Heterogeneous mirror for Modality", con Antonia Huertas en JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay. Jelle Gerbrandy et alt eds. Amsterdam University Press. Amsterdam
  • "The Little Mermaid" [1998], en Truth in Perspective. Concepción Martinez, et alt, eds. Ashgate. Aldershot (U.K).
  • "Descriptive Dynamic Logic and and its Applications to Reflective Architectures” [1998], con Sierra, L. Godo, R. Lopez de Mantaras. In: Handbook of Fuzzy Computation. Oxford University Press,
  • "Life, Work and some Miracles of Alonzo Church" [1997] En The Journal of History and Philosophy of Logic. Taylor and Francis.London. U.K

Beatriz Diana Frenkel

Beatriz DianaProfesora en Enseñanza Media y Superior en Filosofía. Orientación Epistemología y Lógica. Facultad de Filosofía y Letras, Universidad de Buenos Aires.

Ha impartido los siguientes cursos:

EN INSTITUTOS DE FORMACIÓN DOCENTE

  • Lógica II, Profesorado en Filosofía, I.E.S. Nº 1 “Dra. Alicia Moreau de Justo”, 2006 a la actualidad.
  • Seminario de Epistemología, Profesorado en Letras, I.E.S. Nº2 “Mariano Acosta”, Ciudad de Buenos Aires, 2009- 2013.
  • Lógica I y Teoría de la argumentación, I.S.P. “Joaquín V. González”. Profesorado en Filosofía. Profesorado en Psicología y Ciencias de la Educación. Ciudad de Buenos Aires, 2012 a la actualidad.

EN UNIVERSIDAD

  • Ayudante de Primera de Lógica I. Facultad de Filosofía y Letras, UBA, 2013 a la actualidad.
  • Auxiliar docente del curso de ingreso del Eje Lógico, Universidad Nacional de Quilmes, 2009 – 2011.
  • Ayudante de Primera de Introducción al Pensamiento Científico, UBA XXI, UBA, 1998 a la actualidad.

Dentro de su actividad académica, ha participado en distintos congresos y jornada, algunos de ellos son:

  • Frenkel, Beatriz y Kakazu, Gabriel. “Distintos enfoques hacia una teoría de la formalización en Lógica”. X Jornadas de Investigación en Filosofía, 19 al 21 de agosto de 2015, Facultad de Humanidades y Ciencias de la Educación de la Universidad Nacional de La Plata, Provincia de Buenos Aires, Argentina.
  • “Acerca de la Deducción Natural”. IX Jornadas de Investigación en Filosofía, 28 al 30 de agosto de 2013, Facultad de Humanidades y Ciencias de la Educación de la Universidad Nacional de La Plata, Provincia de Buenos Aires, Argentina.
  • ¿Cómo se leen los gráficos existenciales alfa?. V Jornadas “Peirce en la Argentina”, 23 y 24 de agosto de 2012, Grupo de Estudios Peirceanos, Academia Nacional de Ciencias de Buenos Aires. Ciudad Autónoma de Buenos Aires, Argentina.
  • “¿La lógica clásica es tópicamente neutral?”. II Jornadas de Lógica Informal y Argumentación, 26 y 27 de mayo de 2011, Universidad de General Sarmiento, Provincia de Buenos Aires, Argentina.
  • “La noción de consecuencia lógica y los obstáculos epistemológicos”. XVII Jornadas sobre Enseñanza de la Filosofía. Coloquio internacional 2011, 12, 13 y 14 de mayo de 2011, Ciudad Autónoma de Buenos Aires, Argentina.
  • “Experimentos, lógica clásica y otras lógicas”. XV Congreso Nacional de Filosofía AFRA, 5 al 10 de diciembre de 2010, Facultad de Derecho, Universidad de Buenos Aires, Argentina.
  • “Propuesta para la enseñanza de la lógica y su vinculación con la Argumentación filosófica en el ciclo medio” elaborado por los miembros del equipo de investigación F124 (UBA), XVI Jornadas sobre Enseñanza de la Filosofía. Coloquio internacional 2009. 26, 27 y 28 de noviembre de 2009. Ciudad Autónoma de Buenos Aires, Argentina.
  • Palau, Gladys y Frenkel, Beatriz. “Falacias y no-monotonía”. I Jornada de Lógica Informal y Argumentación, 6 y 7 de agosto de 2009, Universidad de General Sarmiento, Provincia de Buenos Aires, Argentina.
  • Palau, Gladys y Frenkel, Beatriz. “Didáctica de la matemática y didáctica de la lógica”. XV Jornadas sobre Enseñanza de la Filosofía. Coloquio internacional 2008. 16, 17 y 18 de octubre de 2008. Ciudad Autónoma de Buenos Aires, Argentina.
  • Palau, Gladys y Frenkel, Beatriz. “La representación del lenguaje jurídico en PROLOG”, Congreso Internacional de Informática y Derecho, l6 al l9 de octubre de1990, Facultad de Derecho, UBA, Buenos Aires, Argentina.

También ha colaborado en los siguientes Proyectos de Investigación:

  • Investigador de apoyo del proyecto: Problemas teóricos en torno a la formalización en lógica primer orden y sus implicaciones pedagógicas, Secretaría de Ciencia y Técnica de la Universidad de Buenos Aires, 2014-2017. Directores: Dra. Gladys Palau y Dr. Carlos Oller.
  • Investigador de apoyo del proyecto: Deducción natural y argumentación: algunos problemas teóricos y sus consecuencias pedagógicas, Secretaría de Ciencia y Técnica de la Universidad de Buenos Aires, 2011-2014. Directora: Dra. Gladys Palau.
  • Investigador de apoyo del proyecto: Relaciones entre la lógica formal, la lógica informal y la argumentación filosófica: análisis crítico y consecuencias pedagógicas, F124, Secretaría de Ciencia y Técnica de la Universidad de Buenos Aires, 2008-2011. Directora: Dra. Gladys Palau.
  • Investigador de apoyo del proyecto: Lógicas subclásicas y no-monotonía, F49, Secretaría de Ciencia y Técnica de la Universidad de Buenos Aires, 2007. Directora: Dra. Gladys Palau. -Ayudante de investigación del proyecto: Fundamentación de la lógica normativa sin valor de verdad, CONICET, 1990-1992. Director: Dr. Carlos Alchourrón.
  • Auxiliar de investigación del proyecto: Desarrollo e investigación de Sistemas Dinámicos de Inteligencia Artificial, Secretaría de Ciencia y Técnica de la Universidad de Buenos Aires, 1987-1990. Director: Dr. Carlos Alchourrón.

Entre los cargos de gestión ocupados se cuentan los siguientes:

  • Coordinadora del Trayecto de Formación Centrado en la Disciplina del Profesorado de Filosofía del IES Nº1 “ Dra. Alicia Moreau de Justo”, desde junio de 2012.
  • Secretaria Académica del IES Nº1 “ Dra. Alicia Moreau de Justo”, desde noviembre de 2015.