Logica

Introducción
Nuestro proyecto llevara la modalidad de monografía donde investigaremos sobre el tema planteado. Para ello investigaremos en revistas, páginas de internet y cualquier otro medio de quenos pueda llegar a dar una correcta información. Esperando hacer de este un medio de información para el lector.









a) ¿Qué es la lógica formal?
La lógica formal es la parte de lalógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estasconstrucciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizardemostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Dentro de lalógica formal clásica podemos distinguir cuatro tipos:
Lógica de enunciados: Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciadotomando los enunciados en bloque sin analizarlos previamente.
Lógica de predicados: Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto.
Lógica de clases: Alcontrario que la lógica de predicados, esta atribuye individuos y clases a las características.
Lógica de relaciones: Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresarun enunciado.
b) ¿Que es la lógica simbólica?
La lógica simbólica es un sistema formal que analiza los signos y lo que designan. El positivismo lógico entiende que el significado es la relación queexiste entre las palabras y las cosas, y su estudio tiene un fundamento empírico: puesto que el lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos....