Respuestas (breve) a las siguientes preguntas:
1.- ¿De qué trata la lógica formal de primer orden? ¿Cuáles son los sistemas formales en esta teoría?
Trata de estudiar la validez de los razonamientos deductivos en base a su análisis formal realizando la construcción de un sistema formado por los lenguajes formales, sistemas deductivos y semánticas formales.
Lógica de proposiciones y lógica de predicados.
2.- ¿Qué es un razonamiento deductivo y cuáles son sus componentes?
Es una forma de razonamiento en la que se obtiene una conclusión a partir de una o varias premisas, en las que las premisas son la información conocida y la conclusión es la información que afirma a las premisas.
Un par de ejemplos de razonamientos deductivos que parezcan correctos pero que no lo sean y otros dos que sí lo sean.
Razonamiento incorrecto
P1. “Si voy al cine me pican los ojos”
P2. “Me pican los ojos”
Q. “He ido al cine”
P1. “Si el móvil se cae se estropea”
P2. “El móvil esta estropeado”
Q. “El móvil se ha caído”
Razonamiento correcto
P1. “Andrés y Fran son amigos de José”
Q. “Fran es amigo de José”
P1. “Si voy al cine me duele la cabeza”
P2. “Voy al cine”
Q. “Me duele la cabeza”
Escribe algún link “interesante” que pueda aclararnos un poco más este tema o que aporte algo diferente y que consideres importante o curioso.
http://psicopedagos.wordpress.com/2010/02/23/razonamiento-deductivo-e-inductivo/