Areas De La Logica

Diferentes áreas que ocupa la Lógica

Relación de la Lógica con la Gramática:

La gramática tiene afinidad con la lógica porque ambas estudian la palabra, pero la gramática estudia su fonología,morfología y sintaxis en cambio la lógica le interesa el proceso por el cual se da origen a la palabra. Ambas estudian la palabra, y tiene relación con la matemática porque ambas son cienciasformales y estudian relaciones y estructuras.

Relación de la lógica con la Semántica:
La lógica de predicados de primer orden es el tipo de sistema lógico-matemático más sencillo donde aparece elconcepto de interpretación semántica. Dicha lógica está formada por:
1. Un conjunto de signos (conectivas, paréntesis, cuantificadores,...).
2. Un conjunto de variables y constantes.
3. Un conjunto depredicados sobre las variables.
4. Un conjunto de reglas de buena formación de expresiones a partir de expresiones sencillas.
En la lógica de primer orden el conjunto de variables y constantes juega unpapel similar al lexicón de las lenguas naturales, ya que bajo una interpretación semántica son los elementos que admiten referentes. A su vez, el conjunto de reglas de buena formación de expresioneshace el papel de la sintaxis en las lenguas naturales. Para interpretar semánticamente las expresiones formales de un sistema lógico de primer orden necesitamos definir un modelo o conjuntoestructurado sobre el que interpretar los enunciados formales del sistema lógico. Un modelo de acuerdo con la teoría de modelos es un conjunto con cierta estructura junto con una regla de interpretación quepermite asignar
a cada variable o constante un elemento del conjunto y cada predicado en el que intervienen un conjunto de variables puede ser juzgado como cierto o falso sobre el conjunto en el quese interpretan las proposiciones del sistema lógico formal.
En lógica matemática se suelen dividir los axiomas en dos tipos:
• Axiomas lógicos, que definen básicamente las reglas de deducción y...