Glosario F

Una falacia es un argumento inválido, pero que parece válido. Hay quien distingue entre “falacia” y “sofisma”, argumentando que mientras que los sofismas son intencionales, las falacias se caracterizan simplemente por ser errores o descuidos en el razonamiento. Se suelen distinguir dos grandes grupos de falacias: las formales y las informales. En el caso de las falacias formales la no validez del argumento se debe a razones puramente formales, sintácticas, de estructura del argumento: ningún argumento de su misma forma es válido. Aprende Lógica hemos examinado las falacias formales de negación del antecedente y de afirmación del consecuente.

Para la distinción entre falacias formales e informales puede consultarse: http://www.usoderazon.com

Uno de los dos posibles valores de verdad que puede tener una proposición; el otro es el de verdad. Una proposición es falsa cuando no es verdadera, cuando no es el caso.

(v. verdad, valor de verdad)

Acrónimo de ‘fórmula bien formada’. Es una cadena de símbolos del alfabeto del lenguaje formal que forma la gramática del lenguaje formal, y que cumple con los requisitos que establece dicha gramática como adecuados para las fórmulas bien formadas.

(v. fórmula, lenguaje formal)

Referencias en el texto:

• Reglas de formación de fórmulas

Formalizar un lenguaje equivale a especificar su estructura mediante un metalenguaje (un lenguaje que se usa para hablar sobre otro).

En Aprende Lógica formalizamos cuando traducimos expresiones del lenguaje natural al lenguaje formal de la lógica proposicional.

(v. lenguaje formal, lenguaje natural, lenguaje objeto, metalenguaje)

Una fórmula es una cadena de símbolos del alfabeto del lenguaje formal. Puede o no adecuarse a la gramática de dicho lenguaje, en caso de que sí se adecúe, hablamos de fórmulas bien formadas o fbf.

Referencias en el texto:

• Reglas de formación de fórmulas

Una función es una regla que sirve para asociar un miembro o una secuencia de miembros de un conjunto con otro miembro de otro conjunto.

(v. función veritativa)

Una función veritativa es una asignación de valores de verdad con valores de verdad. Las cinco funciones veritativas que hemos estudiado en Aprende Lógica son: ¬p, p∧q, p∨q, p→q, p↔q.

Las funciones veritativas de las expresiones anteriores vienen definidas por sus respectivas tablas de verdad.

(v. bicondicional, conjunción, disyunción, implicación, negación, tabla de verdad)