Archivo de la etiqueta: lógica formal

Fundamentos de Lógica Formal: Sintaxis, Semántica y Sistemas de Prueba

Posted on por

Sintaxis y Semántica en Lógica Formal

Sintaxis

Un lenguaje formal en lógica puede definirse sin referencia a ninguna interpretación, es decir, de modo puramente sintáctico. Esto implica especificar un alfabeto del lenguaje (el conjunto de símbolos permitidos) y un conjunto de reglas de formación para construir secuencias de símbolos llamadas fórmulas bien formadas (FBFs). La sintaxis se completa al añadir un mecanismo deductivo (un conjunto de axiomas y/o reglas de inferencia) que permita Sigue leyendo →

Introducción a la Lógica Formal: Pensamiento, Conocimiento y Verdad

Posted on por

Introducción a la Lógica Formal

La lógica formal es la aptitud que todos tenemos para pensar con orden, ilación y coherencia.

La lógica es una ciencia de tipo: formal.

Es parte de la lógica científica que estudia todas las condiciones, leyes o reglas para pensamientos verdaderos: lógica formal.

Concepciones del Mundo y de la Vida

Son diferentes maneras de actuar, sentir y conocer de un individuo en su vida social: concepciones del mundo y de la vida.

Concepción del mundo y la vida que considera Sigue leyendo →

Introducción a la Lógica: Conceptos, Razonamiento y Conocimiento

Posted on por

La Lógica

Es la parte de la filosofía que estudia la estructura y las reglas del pensamiento y razonamiento. Como veremos, todo razonamiento consta de proposiciones o juicios, y a su vez, las proposiciones constan de conceptos. Por este motivo, iremos estudiando: 1) los conceptos, 2) los juicios o proposiciones y, por último, 3) los razonamientos. La lógica fue descubierta por primera vez por Aristóteles, quien se dio cuenta de que para no cometer errores en el razonamiento era necesario conocer Sigue leyendo →