Tema 1. Introducción a la lógica Un robot jugando al pig.pong. Imágen 1. Autor: Lylodo. Licencia Creative Commons by-sa 3.0.

Slides:



Advertisements
Presentaciones similares
¿Qué diferencia a las ciencias del resto de conocimientos?
Advertisements

Antonella Ruffa Ahumada Irene Morales Jiménez
Introducción al Teorema de Gödel
Historia de la Inteligencia Artificial
Dos figuras antagónicas
Tema: Decibilidad Integrantes: Ileana Rdguez Soto
Introducción a la máquina
5 Mente disciplinada Mente sintetizadora Mente respetuosa Mente ética
Analogías Analogía significa comparación o relación entre varias razones o conceptos; comparar o relacionar dos o más objetos o experiencias, 
Curso de lógica Marco conceptual.
Ejemplos de configuraciones epistémicas
¿Cuánta metalógica introducir en un primer curso de lógica simbólica?
El impacto de la noción de sistema lógico en la ensenanza de la lógica
Universidad Técnica Particular de Loja Nombre: Javier Coronel Burneo Carrera: Ingeniería Agropecuaria.
El razonamiento: Razonamientos inductivos, falacias y paradojas.
CAPITULO 2 La Representación del Conocimiento
¡Esbozo histórico! Argumentación A partir de 1945 a la fecha encontramos:  Los refundadores(1950) con Curtius en Alemanía que investiga sobre el TOPOS.
PROGRAMACIÓN LÓGICA.
La iglesia como comunidad de creyentes, no es algo que descansa sobre si misma, esta debe estar trascendiendo constantemente a la persona de Jesucristo.
Fundamentos filosóficos de la democracia Fundamentos filosóficos de la democracia Filosofía política II: Fundamentos filosóficos de la democracia Imagen.
Tema 6 Razonamiento aproximado
HISTORIA DE LA LÓGICA.
1.9 fronteras y perspectivas
SISTEMAS EXPERTOS 3 créditos. General Entender que es la Inteligencia Artificial y que son los Sistemas Expertos y porque es necesaria esta ciencia y.
PROGRAMA DE LA ASIGNATURA DE RAZONAMIENTO PROFESORES: CARLOS SANTAMARÍA. ORLANDO ESPINO.

Universidad Autónoma San Francisco CARRERA PROFESIONAL: Lengua, Traducción e Interpretación Asignatura: MATEMÁTICA Tema: “SISTEMA FORMAL”
Tema 3: Lógica Prof. Pablo Adarraga
INTRODUCCIÓN A LA FÍSICA
La Ciencia como explicación del mundo La Ciencia como explicación del mundo La ciencia en el mundo actual: La Ciencia como explicación del mundo.
2º BACHILLERATO HISTORIA DE ESPAÑA
INTRODUCCIÓN A LA LÓGICA
Gramáticas Formales Cadenas y Lenguajes.
Universidad Popular Autónoma de Veracruz
Las Falacias Integrantes: María Paula Perdomo Medina
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
¿Qué matemáticas están presentes en la aplicación de la computación en el ámbito científico? César Fernández R. Hipótesis cognitiva: La matemática que.
Teoría de Autómatas y Lenguajes Formales Informática Técnica de Gestión ESCUELA SUPERIOR DE INFORMATICA Universidad de Castilla-La Mancha Tema 1. Introducción.
METODOS DE LA CIENCIA!<3
Que tanto sabes de la historia de la lógica
El razonamiento: La lógica
EJERCICIO DE BONIFICACIÓN GRADO SÉPTIMO
LÓGICA DE PROGRAMACIÓN LSC. Susana Alejandra López Jiménez.
La cocina es algo que existe desde siempre. La buena cocina parte de una buena compra de productos y de aprender las técnicas básicas.
Consta de 5 preguntas de selección múltiple con única respuesta. ¡MANOS A LA OBRA! BIENVENIDO A LA PRUEBA INTERACTIVA SOBRE LA LÓGICA.
Filosofía política II: Los Derechos Humanos
Matemáticas Jornadas sobre el siglo XIX. En capítulos anteriores... Concepto de demostración ( paso a paso a través de la LÓGICA) Necesidad de AXIOMAS.
Autor: Erwin L. Cotes Año:2011 Autor: Erwin L. Cotes Año:2011.
Conjuntos Introducción a la Teoría Axiomática de Conjuntos.
Filosofía de la Lógica María José Frápolli
Facultad de Ciencias de la Computación - BUAP Introducción a los Algoritmos M.C. Pedro Bello López.
Unidad 6: Lógica Filosofía I. 1 Unidad 6 Lógica 6.1 Noción, objeto y clases de lógica Nociones y clases Inferencia Formal Clases TradicionalFormal Enunciados.
Introducción Mayo 16, 2012 Análisis y Diseño de Sistemas.
El mundo inspira al hombre y el hombre transforma su mundo
Unidad Repaso de guías.
Autor: Harriet Moore. Licencia: dominio público
Imagen 1. Autor: Rama. Licencia Creative Commons
Tema 1. La Ciencia como explicación del mundo. El ser humano necesita resolver las preocupaciones que le afectan en su vida cotidiana., Las explicaciones.
Tema 2. Los Derechos Humanos 1.
Tema 2. Mecanismos de defensa orgánica interna
1 ESPACIOS VECTORIALES ESPACIOS VECTORIALES. 2 Aunque históricamente el primer trabajo de Álgebra Lineal consistió en resolver sistemas de m ecuaciones.
UNIDAD I: MODERNIDAD, CIENCIAS SOCIALES Y LA INSTITUCION DE LAS CIENCIAS ECONOMICAS TEMA: MODERNIDAD Y CIENCIAS SOCIALES. Visión estándar y visión crítica.
 La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. ciencia formalfilosofíademostracióninferenciaválida.
CURSO DE ELECTRÓNICA PARA NEOTEO Electrónica Introducción y Conceptos.
Filosofía Tema: Diagnóstico y Presentación del plan de trabajo de filosofía. Objetivo: Realizar el taller diagnóstico y Presentar el plan de trabajo del.
PONENCIA: III ENCUENTRO VIRTUAL DE DOCENTES CON EXPERIENCIAS DE AULAS DE INNOVACIONES PEDAGOGICAS 2013 “MEGATENDENCIAS EN EDUCACIÓN”
Principios lógicos Los “principios lógicos” constituyen las verdades primeras, “evidentes” por sí mismas, a partir de las cuales se construye todo el edificio.
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Tercera parte.
¿Por qué estudiar lógica matemática?
Un Recuento de Lógica José de Jesús Lavalle Martínez
Transcripción de la presentación:

Tema 1. Introducción a la lógica Un robot jugando al pig.pong. Imágen 1. Autor: Lylodo. Licencia Creative Commons by-sa 3.0.

¿Puede pensar una máquina?  Sí: en caso de superar la prueba de Turing.  No: en caso de no superar la prueba de Turing. La respuesta la encontramos en la lógica.

 Lógica aristotélica (siglo IV a. C.- siglo XIX d.C.). Estudia los silogismos.  Lógica moderna (desde el siglo XIX hasta hoy). Es un Sistema Formal Axiomático que consta de: ─ Símbolos. ─ Reglas. ─ Axiomas. Historia de la lógica

 Lógica clásica: se centra en enunciados y predicados.  Lógica no clásica: no respeta ninguno de los principios básicos de la lógica clásica.  Lógica modal: incluye nociones como “necesariedad” y “probabilidad”.  Lógica informal: estudia las falacias y paradojas.  Metalógica: investiga las propiedades de los sistemas lógicos. Ramas de la lógica actual

─ Símbolos (M,I,U). ─ Reglas (de formación y de transformación de frases). ─ Axioma (MI). Un ejemplo de Sistema Formal Axiomático El acertijo MU consta de: La palabra japonesa MU. Imagen 2. Autor: Michelet. Dominio Público