FICHA DE APRENDIZAJE DEL TEMA 1

1. ¿DE QUÉ TRATA LA LÓGICA FORMAL DE PRIMER ORDEN? ¿CUÁLES SON LOS SISTEMAS FORMALES EN ESTA TEORÍA?
Es la parte de la lógica que se dedica al estudio de la validez de los razonamientos deductivos desde el punto de vista de su análisis formal mediante la construcción de un sistema formado por lenguajes formales, sistemas deductivos y semánticas formales.

En esta teoría los sistemas formales son:
(1) Lógica de proposiciones o lógica de predicados de orden cero.
(2) El sistema formal de la Lógica de Primer Orden (Lógica de predicados de primer orden).


2. ¿QUE ES UN RAZONAMIENTO DEDUCTIVO Y CUÁLES SON SUS COMPONENTES?
El razonamiento deductivo se caracteriza porque permite hacer afirmaciones sobre casos particulares partiendo de casos generales. Es una forma de razonamiento donde se obtiene una conclusión a partir de una o varias premisas, entendiendo éstas como la información previa conocida y la conclusión como la información que se afirma a partir de dichas premisas entendiendo éstas como la información previa conocida y la conclusión como la información que se afirma a partir de dichas premisas.

Sus componentes son:
(1) Un conjunto de proposiciones iniciales, llamadas premisas, que declaran información sobre el problema que se debe resolver.
(2) Reglas de inferencia que nos permiten obtener conocimiento a partir de otro conocido.
(3) Una proposición llamada conclusión del razonamiento que da respuesta al problema y que indica que el proceso ha terminado.

3.- UN PAR DE EJEMPLOS DE RAZONAMIENTOS DEDUCTIVOS:
3.1 Par de razonamientos deductivos que parezcan correctos pero que no lo son:
- P1: Si EE.UU es una democracia entonces sus ciudadanos pueden votar.
P2: Los ciudadanos de EE.UU pueden votar.
Q: EE.UU es una democracia
(El razonamiento no es correcto porque la conclusión no es consecuencia de sus premisas).

- P1: Si nado entonces tengo los ojos cerrados.
P2: Tengo los ojos cerrados.
(No podemos inferir que tenga los ojos cerrados, porque no se especifica en qué situación me encuentro.

3.2 Par de razonamientos deductivos que sean correctos:
- P1: Miguel y Ana son hermanos de Pepe.
Q: Miguel es hermano de Pepe.

- P1: Todos los canguros viven en Australia.
P2: Los peces son canguros.
Q: Luego, los peces viven en Australia.
(Aunque las premisas sean falsas conceptualmente, la conclusión es verdadera conceptualmente).

4. DETECTA DE MANERA INTUITIVA DÓNDE "FALLAN" LOS RAZONAMIENTOS DE OTROS COMPAÑEROS Y EXPLÍCALO.
De forma general, podría decir que mis compañeros fallan en negar el antecedente o en afirmar el consecuente.

5. ESCRIBE ALGÚN LINK QUE PUEDA ACLARARNOS UN POCO MÁS ESTE TEMA O QUE APORTE ALGO DIFERENTE Y QUE CONSIDERES IMPORTANTE O CURIOSO.
http://es.wikipedia.org/wiki/Lógica_de_primer_orden
http://es.wikipedia.org/wiki/Lógica_proposicional
http://es.wikipedia.org/wiki/Lógica_aristotélica
http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Lógica_de_predicados