Lógica Formal

Lógica Formal















RESUMEN

Teniendo como consigna la investigación de la Lógica Formal, comencé a interiorizar en el tema buscando la definición y la etimología de la palabra “Lógica”, las deficiones y relaciones que tiene con las demás ciencias. Luego, me avoque a investigar como se nos presentan mediante ejemplos breves y reales, posteriormente desarrolle elementosque me ayudarían a tener un acercamiento y una mejor comprensión sobre el tema en desarrollo y finalmente investigue, reconocí la importancia tiene en la vida diaria.
Obtuve un resultado muy positivo al finalizar la monografía, debido a que incorporamos gran cantidad de nuevos conocimientos y también descubrimos una nueva manera de enfrentar problemáticas en campos donde creíamos que la lógicaera inutil.
Desde el punto de vista personal, creo que la Lógica ha facilitado la labor en muchas ciencias y son sumamente necesarias para obtener resultados precisos para cada situación.


INDICE

INTRODUCCIÓN
1.- Esbozo histórico
2.- Etimología
3.- Definición
3.1.- Posibles definiciones
3.1.1.- La lógica como ciencia:
3.1.2.- La lógica como proceso.
3.1.3.- La lógica matemática.4.- Principios de la Lógica formal
5.- Lógica informal y lógica formal
6.- Falacias
6.1. Falacias formales
6.1.1. Razonamientos con premisas contradictorias
6.1.2. Petición de principios
6.1.3. Afirmación del consecuente
6.2. Falacias informales
6.2.1. Falacia ad baculum (al bastón)
6.2.2. Falacia ad hominem (contra el hombre)
6.2.3. Falacia ad verecundiam (de apelación a la autoridad)6.2.4. Falacia ad ignorantiam (recurso a la ignorancia)
6.2.5. Falacia Ad populum (al pueblo)
6.2.6. Falacia del Tu quoque (tu también) o (mira quien habla)
6.2.7. Parte de la inducción
6.2.8. Falacia de la falsa causa
6.2.9. Falacia de división
6.2.10. Falacia del falso dilema
6.2.11. Falacia Ex populo (desde el pueblo)

7.- Lógica proposicional
7.1.- Definición del Lenguaje de la LógicaProposicional
7.2.- Lógica proposicional: Conectores básicos.
CONCLUSIONES









Lógica
Formal
















Introducción

La lógica es la ciencia formal que estudia las leyes y métodos para determinar cuando una inferencia es válida. En tal sentido se dice que la lógica es la disciplina que trata de la teoría de la inferencia o razonamiento. Lainferencia es una estructura de proposiciones que consiste en pasar de unas, llamadas premisas, a otra proposición llamada conclusión.
El objetivo de la Lógica Formal o Lógica Matemática es proporcionar un sistema formal único en el que la producción de palabras a partir de axiomas dé lugar a deducciones válidas en contextos arbitrarios.
Hay varios sistemas lógicos formales que son capaces de formalizarcualquier razonamiento válido.
Un sistema lógico formal se puede ver como un sistema formal deductivo universal.
La lógica formal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente,razonamientos más complejos que no se utilizan normalmente en la vida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.1.- Esbozo histórico
En el siglo IV aC, Aristóteles clasificó los distintos tipos de razonamiento.
En el siglo XVII, Arnold y Locke destacaron la importancia de estudiar las ideas asociadas a cada afirmación lógica (su interpretación).
También en el siglo XVII, Descartes y Leibnitz destacaron los aspectos algebraicos de la manipulación formal de las fórmulas lógicas.
En el siglo XIX, Frege...