1.- ¿De qué trata la lógica formal de primer orden? ¿Cuáles son los sistemas formales en esta teoría?
Trata del estudio de las deducciones en los lenguajes de primer orden desde el punto de vista de su análisis formal, mediante la construcción de un sistema formal formado por:
Lenguajes formales, sistemas deductivos y semánticas formales.
2.- ¿Qué es un razonamiento deductivo y cuáles son sus componentes?
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.
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.
Un par de ejemplos de razonamientos deductivos que parezcan correctos pero que no lo sean y otros dos que sí lo sean.
Razonamientos incorrectos:
- Nadie ha podido demostrar que no existan los extraterrestres, luego están ahí fuera.
- Si voy a la Universidad cojo el coche. Como cojo el coche voy a la Universidad.
Razonamientos correctos:
- Todos los pájaros tiene plumas, el mirlo es un pájaro luego los mirlos tiene plumas.
- Todos los coches tienen motor, todos los motores consumen combustible, luego los coches necesitan combustible.
Si escribes en blog: detecta, de manera intuitiva, dónde “fallan” los razonamientos de otros compañeros (al menos de dos), y explícalo:
Si delatas a tus compañeros te "canean", delatar a los compañeros da 2,5 puntos, si lo haces te canean y te dan 2,5 puntos, por lo tanto no voy a hacerlo.
La conclusión se deduce de datos que no nos dan en las premisas.
Link Interesante:
Silogismos para pasar el rato.
