Logica Formal

la lógica sirve para explicar fenómenos de la vida cotidiana, basándose en la razón como principal interviniente en este proceso; el pensar lógicamente ayuda a el hombre a interrogare por el funcionamiento de todo lo que nos rodea, la lógica sirve para argumentar y es de cierta manera un pensamiento una idea que nos fuye por una acción que realizamos en nuestra vida diaria. 

Lógica formalSaltar a: navegación, búsqueda
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 estructurasformales y susceptibles 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 declases | 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. | Al contrario que la lógica de predicados, esta atribuye individuos y clases a lascaracterísticas. | Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para expresar un enunciado. |
Concepto de lógica formal
La lógica se divide en lógica formal y lógica material. La primera se encarga de estudiar las condiciones (osea las leyes) para que un pensamiento sea correcto (especialmente, cuando se trata del raciocinio).la segunda se encarga de estudiar lascondiciones para llegar a pensamientos verdaderos.
Otras definiciones de lógica formal:
  * Estudia a los elementos y estructuras de los pensamientos en general
  * Estudia los modos o “formas” como se realizan los razonamientos
  * Estudia el pensamiento y las condiciones ideales que hacen posible el conocimiento progresivo en orden a la verdad
  * Estudia las estructuras fundamentales delpensamiento, especialmente las estructuras del pensamiento científico
  * Es la filosofía normativa de las formas mentales
  * Estudia cómo sacar a la luz las estructuras lógicas de nuestro pensamiento
  * Estudia el pensamiento en cuanto que lo analiza para descubrir sus formas y condiciones de corrección
  * Es la ciencia de los pensamientos en cuanto tales
Lógica formal
Las formas de lospensamientos
conceptos
juicios
Enunciados declarativos=proposiciones
razonamientos
Se expresan por medio de argumentos
estudia
estudia
Que son
Reciben el nombre de
que
Que son

Características
Primera: que es una ciencia que trabaja con ideas
Segunda: es una ciencia formal porque estudia las formas validas de razonar y expresar esos razonamientos a través de sus respectivos argumentos, nosobre los contenidos   de ellos.
Tercera: es una rama de la lógica general   a la cual se le divide en: lógica formal o dialéctica, lógica material o crítica, y lógica metodológica o lógica aplicada a cada una de las ciencias particulares. Desde luego que esta clasificación ya no se usa. Hoy se habla de lógica moderna, lógica matemática, lógica de clases, lógica borrosa, lógica jurídica, lógicatemporal, lógica modal, lógica bivalente, lógica trivalente, lógica intuicionista, lógica no monótona.

Objeto de estudio de la lógica formal

La Lógica en la vida cotidiana (I)
Sergio Centeno García

Tradicionalmente, se entiende a la Lógica como la disciplina que estudia el pensamiento en cuanto a sus formas mentales (concepto, juicio y raciocinio) con la finalidad de elaborar...