logica formal

LOGICA FORMAL

La lógica formal es la parte de la ló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 estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales ysusceptibles de análisis matemático, permiten realizar demostraciones 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.

Tipos de lógica formal:
Dentro de la lógica formal clásica podemos distinguir cuatro tipos:
Lógica de enunciados Lógica de predicados
Lógica de clasesLó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. Al contrario que la lógica de predicados, esta atribuye individuos y clases a las características. Incorporaa su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado.




Pensamiento y obras
La piedra angular de la filosofía kantiana (en ocasiones denominada "filosofía crítica") está recogida en una de sus principales obras, Crítica de la razón pura (1781), en la que examinó las bases del conocimiento humano y creó una epistemología individual. Al igual que losprimeros filósofos, Kant diferenciaba los modos de pensar en proposiciones analíticas y sintéticas. Una proposición analítica es aquella en la que el predicado está contenido en el sujeto, como en la afirmación "las casas negras son casas". La verdad de este tipo de proposiciones es evidente, porque afirmar lo contrario supondría plantear una proposición contradictoria. Tales proposiciones sonllamadas analíticas porque la verdad se descubre por el análisis del concepto en sí mismo. Las proposiciones sintéticas, en cambio, son aquellas a las que no se puede llegar por análisis puro, como en la expresión "la casa es negra". Todas las proposiciones comunes que resultan de la experiencia del mundo son sintéticas.
Las proposiciones, según Kant, pueden ser divididas también en otros dos tipos:empíricas (o a posteriori) y a priori. Las proposiciones empíricas dependen tan sólo de la percepción, pero las proposiciones a priori tienen una validez esencial y no se basan en tal percepción. La diferencia entre estos dos tipos de proposiciones puede ser ilustrada por la empírica "la casa es negra" y la a priori "dos más dos son cuatro". La tesis sostenida por Kant en la Crítica de la razónpura consiste en que resulta posible formular juicios sintéticos a priori. Esta posición filosófica es conocida como transcendentalismo. Al explicar cómo es posible este tipo de juicios, consideraba los objetos del mundo material como incognoscibles en esencia; desde el punto de vista de la razón, sirven tan sólo como materia pura a partir de la cual se nutren las sensaciones. Los objetos, en símismos, no tienen existencia, y el espacio y el tiempo pertenecen a la realidad sólo como parte de la mente, como intuiciones con las que las percepciones son medidas y valoradas.
Además de estas intuiciones, afirmó que también existen un número de conceptos a priori, llamados categorías. Dividió éstas en cuatro grupos: las relativas a la cantidad (que son unidad, pluralidad y totalidad), lasrelacionadas con la cualidad (que son realidad, negación y limitación), las que conciernen a la relación (que son sustancia-y-accidente, causa-y-efecto y reciprocidad) y las que tienen que ver con la modalidad (que son posibilidad, existencia y necesidad). Las intuiciones y las categorías se pueden emplear para hacer juicios sobre experiencias y percepciones pero, según Kant, no pueden aplicarse...