Person: Benítez López, Antonio
Loading...
First Name
Antonio
Last Name
Benítez López
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Filosofía
Department
Area
Lógica y Filosofía de la Ciencia
Identifiers
4 results
Search Results
Now showing 1 - 4 of 4
Item Inteligencia Artificial: la intrahistoria(2014) Benítez López, AntonioItem Introducción a la programación en Inteligencia Artificial. Una introducción para estudiantes de Humanidades.(2010) García Buendía, Emilio; Aroztegui Vélez, Javier; Benítez Escario, José María; Benítez López, AntonioTexto pensado como una introducción básica a la programación en general y en especial a la programación en Inteligencia Artificial. Es resultado de un Proyecto de Innovación y Mejora de la Calidad Docente (nº 58) financiado por el Vicerrectorado de Desarrollo y Calidad de la Docencia. Universidad Complutense de Madrid. Madrid, 2009-10Item Fundamentos de Inteligencia Artificial. Archivos de código(2013) Benítez López, AntonioHe reunido en este documento los códigos de los ejemplos propuestos en los tres libros de mis Fundamentos de Inteligencia Artificial. El lector puede servirse de ellos como mejor le convenga, si bien agradecería una mención de mi autoría.Item ¿Hay una lógica o dos lógicas clásicas?(2021) Benítez López, AntonioA veces se escucha que el nombre «Lógica clásica» corresponde a la lógica de raigambre aristotélica, mientras que la lógica que se enseña mayoritariamente en las asignaturas de Lógica son «Lógica matemática» o «Lógica simbólica». Marquemos esta afirmación como [A1]. A esta afirmación se añade, no siempre, que ambas lógicas son igualmente válidas. Incluso que la llamada «Lógica clásica» es más idónea para hacer filosofía, ya sea Epis- temología ya sea Ontología. Marquemos esta nueva afirmación como [A2]. Voy a intentar haceros comprender que A1 no es sostenible. Consecuencia de que no lo sea es que tampoco lo es A2. Ambas lógicas se mueven y son en el ámbito de un lenguaje de símbolos, artificial. Por ello, ambas son formales. Os recordaré el lenguaje propio de la Lógica de conectivas, que probablemente estéis estudiando, y a continuación os presentaré Λ, el lenguaje de la Silogística de Aristóteles.