Lógica formal 2

NOMBRE DEL TRABAJO: Lógica Formal

















NOMBRE: Heidy Vanessa González Tiguila
NO. DE CARNE: 201323590
FECHA: 20 de abril de 2013








INTRODUCCION


Al hablar de lógica hablamos de la actividad del cerebro de organizar en forma racional o presentar los suficientes argumentos para afirmar o negar una cosa, es decir cuando usamosla lógica nuestra mente razona y a través de pensar emitimos juicios. Para estudiar más a cera de esto veremos la lógica formal que, es aquella ciencia, que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez.
La lógica formal erróneamente se puede confundir con la lógica matemática, pues son parecidas ya que la lógicamatemática es una disciplina de la lógica formal.

En este tema encontramos áreas y subtemas de lógica forma muy importantes como lo son las inferencias inmediatas y los silogismos, se distinguen también dos diagramas muy conocidos que implican la validez o invalidez de los silogismos.


LOGICA FORMAL
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica alestudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones 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 realizar demostraciones rigurosas sobre ellas.
Se acostumbra adefinir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando con laintroducción, a lo largo del siglo XIX y XX. Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo que actualmente constituyen expresiones prácticamente sinónimas
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.
Tipos de lógica formal
Dentro de la lógica formal clásicapodemos distinguir cuatro tipos:
Lógica de enunciados
Lógica de
predicados
Lógica de clases
Lógica de relaciones
Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente.
Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto.
Alcontrario que la lógica de predicados, esta atribuye individuos y clases a las características.
Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado.


INFERENCIAS INMEDIATAS
inferencias inmediatas: aquellas que pueden obtenerse directamente a partir de la relación que establece un juicio[7] respecto a los términos, sujeto y predicado, que leconstituyen, en función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del mismo.
Aristóteles estudió con detalle ciertas operaciones que permitían tales inferencias inmediatas o directas. Para ello elaboró el llamado cuadro de oposición de los juicios, en el que dadas las relaciones que cada juicio aristotélico, A,E,I,O, lleva implícitas se pueden establecer ciertasinferencias directas.
CUADRO DE OPOSICION
Se llama cuadrado de oposición al esquema mediante el que se estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos.
Cuando las proposiciones mantienen el mismo sujeto y el mismo predicado, pero difieren en cantidad (universal o singular), en cualidad (afirmativo,...