Conocimiento, concepto, proposición y lógica formal: resumen de epistemología

El Conocimiento y sus Formas

El conocimiento se manifiesta principalmente de dos maneras:

• Conocer: Se refiere al conocimiento por experiencia directa de cosas o hechos ("conocer a"). El conocer típico es la percepción.
• Saber: Es el conocimiento de verdades ("conocer que"), propio del saber científico.

El conocimiento implica siempre una intuición y un concepto.

La Intuición

Se define como cualquier forma de conocimiento directo o inmediato. Existen dos formas principales:

• Intuición sensible: Es la contemplación por medio de los sentidos.
• Intuición intelectual: Aquella donde lo que se intuye es la verdad de una proposición.

El Concepto

Es la representación intelectual que se expresa mediante términos generales. Posee dos aspectos fundamentales:

• Comprensión: El conjunto de características o notas que lo definen.
• Extensión: El conjunto de individuos a los que se aplica dicho concepto.

Proposición, Pensar y Abstracción

Proposición

Es un pensamiento en el que se afirma o niega algo; su expresión verbal es el enunciado.

Pensar

Consiste en considerar ideas en la mente ("pensar en" o "pensar que"). Es posible pensar en algo o alguien sin conocerlo, así como pensar que algo es de cierta forma sin saberlo con certeza.

La Abstracción

Es la operación mental consistente en considerar por separado aquello que realmente no lo está, prescindiendo del resto de sus características.

Categoría

Se define como un concepto considerado como predicado (es decir, algo que se puede afirmar o predicar de una cosa).

Lógica y Razonamiento

La Lógica es la ciencia formal que se ocupa de establecer la validez de los razonamientos.

• Razonamiento: Es el proceso mental por el cual, partiendo de unas premisas, obtenemos una conclusión.
• Validez: Se refiere a un razonamiento correcto o válido, es decir, un razonamiento bien formulado estructuralmente.

Tipos de Razonamiento

• Inducción: Proceso que va de lo particular a lo general. Se basa en la generalización y, aunque es propio de las ciencias empíricas, se considera formalmente incorrecto pues genera inseguridad.
• Deducción: Proceso que va de lo general a lo particular. Es un razonamiento correcto, propio de las ciencias formales, que aporta seguridad.

Partes de la Lógica

• Lógica simbólica: Ciencia que utiliza un lenguaje formal o simbólico para establecer las leyes del razonamiento válido.
• Lógica natural: Es la lógica de la vida cotidiana; un saber informal que utiliza el lenguaje ordinario con el fin de persuadir.

Variables y Constantes Lógicas

Variables

Cada oración enunciativa se simboliza con una letra entendida como una variable proposicional. Cada enunciado puede tener dos valores: falso o verdadero.

Las Constantes

Son símbolos que sirven para conectar dos o más variables:

• Negador: ¬
• Conjuntor: ∧
• Disyuntor: ∨
• Condicional: →
• Bicondicional: ↔

Falacia

Se denomina falacia a aquellos razonamientos que resultan inválidos debido a defectos en su forma o estructura.