Concepto de la logica formal

1. Concepto de la logica formal

La logica forma es la parte de la logica que,a diferencia de la logica informal,se dedica al estudio de la inferencia mediante la construciòn de lenguajes formales,sistema deductivo y semanticas formales.La idea es que estas construciones capturen las caracteristicas esenciales de las inferencias vàlidas en los lenguajes naturales,pero que al ser estructuras formales y susceptibles de analisis matemàtico,permiten realizar demostraciones rigurosas sobre ellas. La lògica formal no debe ser confundida con la logica matemàtica,antes llamada lògica simbòlica,que es una subdisciplina de la loguca formal.

1.2. Objeto de estudio de la logica formal

Se dedica al estudio de la inferencia mediante la construccion de lenguajes formales, sistemas deductivos y semanticas formales.

1.3. Factores del pensamiento su forma y contenido

Como ya habíamos visto, el pensamiento es cualquier proceso que tiene lugar en la mente, así pues, uno puede pensar sin hacer razonamientos. Podemos imaginar, recordar o lamentarnos de algo, sin necesariamente hacer razonamientos. Podemos hacer asociaciones libres de pensamientos y dejar que sigan su curso en un estado de ensueño. Pensamos en mil cosas: imágenes, sentimientos, hechos, recuerdos, voliciones, razonamientos, objetos, personas, etc. Todo esto se puede agrupar de la siguiente forma: a) Objetos reales: todo lo que ocupa un lugar en el espacio. b) Objetos ideales: conceptos abstractos (no ocupan un lugar en el espacio). c) Objetos ficticios: inventados por el hombre. d) Sentimientos o hechos de la conciencia: experiencias privadas y exclusivas del sujeto que las padece (dolor/placer, emociones, etc.). A la lógica no le importa saber qué o por qué pensamos lo que pensamos, sino cómo obtuvimos conclusiones, a partir de qué pensamientos, conceptos, juicios y razonamientos.

1.4. Diferencias entre logica formal y teoria del conocimiento

La teoria del conocimiento advierte que los elementos fundamentales para que se de el conocimiento son: sujeto, objeto y la relaciòn de ambos; la logica estudia a las formas del conocimiento y sus leyes asi que es anterior a la teoria del conocimiento.

1.5. Relaciones y diferencias de la logica formal con la psicologìa, la gramatica y la matematica

Cuando los psicólogos examinan el proceso del razonamiento, lo encuentran sumamente complejo, emocional en alto grado y moviéndose por medio de desmañados procedimientos de ensayo y error iluminados por repentinos chispazos de comprensión, a veces inconexos en apariencia. Éstos son de la mayor importancia para la psicología. Pero no son en absoluto de la incumbencia del lógico los oscuros caminos por los cuales la mente llega a sus conclusiones durante los procesos reales de razonamiento. Solo le interesa la corrección del proceso, una vez terminado. La psicología: tiene afinidad con la lógica porque ambas tienen como objeto de estudio el pensar. La lógica explica la estructura del pensar en cambio la psicología estudia la naturaleza del pensar y sus consecuencias en la conducta humana. 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. Matemática: tiene afinidad con la lógica porque ambas son ciencias formales estudian estructuras y relaciones. Se distingue de ella porque a la lógica le interesa la estructura del pensar y a la matemática las relaciones entre números

1.6. Utilidades de la logica formal en la investigacion cientifica y en la vida cotidiana

La lógica ocupa un lugar central en la división de la filosofía, y se interesa en el pensamiento que se aplica tanto en la vida diaria como en la ciencia y en la filosofía. Es la ciencia que estudia el pensamiento y sus leyes, para conducirlo a la verdad. Lógica formal es una disciplina científica con su objeto de estudio particular - las formas del pensamiento así como la validez de los razonamientos-, que por ellos se distingue de otras ciencias, que aunque parezcan abordar el mismo campo de estudios, lo hacen desde perspectivas diferente. Aunque la lógica formal es una ciencia particular, subyace en todas las ciencias y sirve de principio orientador en la construcción de las teorías, en ese sentido, toda ciencia es lógica. La lógica te ayuda a resolver los problemas de forma instantánea, sin tener que pedir pistas, ni consejos de nadie. Es cuestion de emplear un poco el sentido común en tu cotidianidad. Saber que todo cae por su propio peso y que no es necesario inventar cosas, ilusiones, sino que solo algo cierto y muy lógico, predomina ante todo.

1.7. Principios logicos supremos( identidad no contradiccion, tercer excluido y razon suficiente)

Son los fundamentos que determinan ciertas reglas a seguir, para lograr la coherencia y sistematicidad de los pensamientos en las formas y contenidos. En otras palabras, los principios lógicos son las leyes del pensamiento que nos aseguran su validez. a)Principio de identidad

Este principio expresa igualdad de la idea consigo misma. Este principio se representa mediante la fórmula “X es X”. Ejemplo: Juan es Juan. A = A Si P entonces P(P2P)

...