Tipos De Conocimientos

EL PENSAMIENTO LOGICO ESTUDIAREMOS CÓMO ENFOCA LA LÓGICA AL PENSAMIENTO Y LA PROFUNDIDAD DE DICHA CIENCIA DE LA LÓGICA, EN LOS TÉRMINOS MAS GENERALES. ESTE ARTICULO PRETENDE SER UN RESUMEN Y RECOLECCION DE LOS TEMAS MAS IMPORTANTES DE LA LOGICA BÁSICA.

________________________________________

EL PENSAMIENTO

"Pensamiento. Término genérico que indica un conjunto de actividades mentales tales como el razonamiento, la abstracción, la generalización, etc. cuyas finalidades son, entre otras, la resolución de problemas, la adopción de decisiones y la representación de la realidad externa." (PROYECTO SALÓN-HOGAR)

La corriente mas aceptada en el tiempo actual es considerar que el pensamiento es posible en diversas especies de seres vivos, y que dicha función está directamente relacionada con la complejidad del sistema nervioso en dichas especies. Se sabe que los delfines, los perros, los caballos, los primates superiores (antropoides) y el homo sapiens, por supuesto, son poseedores de las habilidades típicas del pensamiento.

EL LENGUAJE

El lenguaje es el método mas natural para la transmisión del pensamiento. Esto sucede no solo en el ser humano. Algunos experimentos científicos han logrado enseñar "lenguaje de señas" a gorilas, y en otros se pretende descifrar el lenguaje de los delfines, ballenas y otros mamíferos de gran capacidad cerebral.

Entre los primates ya se observa una diversificación en cuanto a tipos de lenguaje; el chillido, su modulación, está asociado a distintos eventos del entorno natural; los gestos, rascarse, mostrar los dientes de cierta forma, blandir cosas, constituye otro sistema de signos muy útil.

El homo sapiens dió un salto cualitativo al inventar el lenguaje escrito, el arte, y en consecuencia logró formar la cultura. A partir de la formación de las culturas humanas, podemos enterarnos de las PREOCUPACIONES que han sido centro de debate en las distintas sociedades y civilizaciones del pasado y del presente.

JUICIO LOGICO

Se le llama JUICIO a la parte mental del pensamiento lógico. Un JUICIO es parte de una actividad mas general que anteriormente hemos llamado PENSAMIENTO. Al decir que es la parte mental del pensamiento, estamos expresando que el JUICIO todavía no ha sido expresado en ninguna forma perceptible por los demas individuos, no ha sido hablado, escrito o representado de ninguna forma.

PROPOSICION LOGICA

Se le llama así, a una parte estructural del juicio, esencialmente a un razonamiento que puede aislarse y estudiarse, tanto en su forma (que es lo que pretende la LOGICA) como en su sintaxis dentro del proceso mas general del juicio (lo cual es estudiado por la METODOLOGIA CIENTIFICA).

ENUNCIADO LOGICO

Se le llama así, a una proposición lógica que ha sido simbolizada e incorporada dentro de un todo lógico, para su análisis. Un enunciado lógico puede tener solamente dos valores: VERDADERO o FALSO. Dicho valor debe ser independiente de su forma y de su relación con los demás enunciados.

A la inversa, un enunciado lógico debe tener una forma tal, que pueda ser reducido a dos clases de elementos constituyentes: sus PARTICULAS LOGICAS (conectivas, cuantificadores) y sus PARTICULAS FACTICAS.

LOGICA SENTENCIAL

Es la rama de la lógica que considera a los enunciados (o sentencias) como unidades, y estudia sus combinaciones, las cuales vienen a ser representaciones de los JUICIOS LÓGICOS.

La lógica sentencial utiliza un lenguaje lógico que contiene símbolos para representar enunciados, símbolos para representar funciones y relaciones entre enunciados, tablas para el cálculo de los valores de verdad de las combinaciones de enunciados, partículas lógicas que permiten la combinación de enunciados, y una jerarquía mínima de dichas combinaciones o fórmulas lógicas.

Esta jerarquía mínima aplicada sobre las fórmulas lógicas tiene tres categorías: TAUTOLOGIAS (fórmulas que son verdaderas en todas sus posibilidades), CONTINGENCIAS (fórmulas que pueden ser verdaderas o falsas en todas sus posibilidades), y CONTRADICCIONES (fórmulas que son falsas en todas sus combinaciones).

El propósito de la lógica científica es el hallazgo primario de TAUTOLOGIAS dentro de los discursos.

ANÁLISIS DEDUCTIVO

Es el proceso lógico para comprender y explicar cómo y cuándo pueden unas fórmulas lógicas derivarse de otras. Se llama PRUEBA al proceso por el cual unas fórmulas se combinan con otras, para formar una última.

Una PRUEBA es un procedimiento mímino, en el cual pueden visualizarse varias reglas, que se llamarán REGLAS DE INFERENCIA. De acuerdo a estas reglas se tendrán PRUEBAS CORRECTAS y PRUEBAS INCORRECTAS.

Se llaman FALACIAS a las combinaciones incorrectas de fórmulas lógicas dentro de un proceso de PRUEBA.

Las REGLAS DE INFERENCIA establecen como puede concluir una PRUEBA a partir de las características de sus enunciados premisas. Estas reglas se han llamado: REGLA DE LA SEPARACION, REGLA DE LA UNION, REGLA DE LA INSERCION, REGLA DEL INTERCAMBIO.

ESQUEMAS CUANTIFICACIONALES

Hagamos distinción entre dos clases de enunciados: los que contienen un solo argumento, y los que contienen dos o mas argumentos. El primer tipo se llama ESQUEMA MONÁDICO, y el segundo tipo se llama POLIADICO.

Fx, o F(x), es el símbolo de un esquema monádico, en el cual F es una letra predicado, que contiene una propiedad, y x es la letra argumento, que contiene el ente sobre el cual cae la propiedad.

• Por ejemplo: "TIKAL ES UNA URBE MAYA", enunciado en el cual F = "SER UNA URBE", mientras que x = "TIKAL", es el argumento.

Fxyz..., o F(x, y, z, ....), es la símbologia usual de un esquema poliádico, en el cual F es la letra predicado, que contiene una propiedad, y x, y, z son las letras argumentos, sobre las cuales recae la propiedad.

• Ejemplo: "TIKAL, CARACOL Y COPAN SON URBES MAYAS", F vuelve a ser el predicado "SER UNA URBE", mientras que TIKAL, CARACOL Y COPAN son los argumentos, representados por x, y, z.

Algunos esquemas cuantificacionales MONADICOS, no podrán extenderse para ser POLIADICOS. Por ejemplo: "PEDRO DE ALVARADO CONQUISTO A LOS QUICHES". Esto es así porque la propiedad "CONQUISTAR A LOS QUICHES" se aplica únicamente a PEDRO DE ALVARADO.

Algunos esquemas cuantificacionales POLIADICOS, no podran reducirse para ser POLIADICOS. Por ejemplo: "LOS ORGANISMOS EJECUTIVO, LEGISLATIVO Y JUDICIAL GOBIERNAN EL PAIS", la propiedad "GOBERNAR EL PAIS" no puede reducirse a la posesión por un solo organismo, sea el que fuere, pues es una propiedad compartida en todo tiempo.

Sin embargo, la propiedad "SER UNA URBE MAYA", si puede reducirse o extenderse para formar esquemas ya sea MONADICOS o POLIADICOS.

CUANTIFICADORES

Se llaman CUANTIFICADORES UNIVERSALES a partículas como "TODOS...", "NINGUN...", "PARA TODO...".

Se llaman CUANTIFICADORES EXISTENCIALES a partículas como "ALGUNOS...", "EXISTE ALGUN...".

Los cuantificadores permitieron a los primeros lógicos establecer diversos tipos de enunciados o sentencias, de la siguiente forma:

1. TIPO A: "TODOS LOS S SON P", que es el modelo de un enunciado universal afirmativo

2. TIPO E: "NINGUN S ES P", que es el modelo de un enunciado universal negativo.

3. TIPO I: "ALGUN S ES P", que es el modelo de un enunciado particular afirmativo.

4. TIPO O: "ALGUN S NO ES P", que es el modelo de un enunciado particular negativo.

Si en LOGICA SENTENCIAL, el propósito es encontrar las fórmulas que siempre son verdaderas o TAUTOLOGIAS, en la LÓGICA CUANTIFICACIONAL se pretende encontrar los ESQUEMAS VALIDOS y sus negaciones, que serán llamados ESQUEMAS CONTRA-VALIDOS.

Dichos esquemas son análogos a las fórmulas lógicas, y de hecho pueden traducirse a fórmulas lógicas que tienen cierta forma constante. Entre estos esquemas válidos, se encuentran los llamados SILOGISMOS CATEGÓRICOS. Estos los enfocaremos posteriormente. Insertando los distintos tipos de enunciados cuantificados, A, E, I, O, se obtienen distintos "modos" del silogismo categórico. Estos modos fueron inicialmente el objeto de estudio de la lógica clásica.

Estos "modos" contienen el orden en que se pueden combinar estos enunciados cuantificados.

Los "modos" así establecidos se arreglan en "figuras":

1. PRIMERA FIGURA

BARBARA

CELARENT

DARII

FERIO

2. SEGUNDA FIGURA

CESARE

CAMESTRES

FESTINO

BAROCO

3. TERCERA FIGURA

DATISI

FERISO

DISAMIS

BOCARDO

4. CUARTA FIGURA

CALEMES

FRESISON

DIMATIS

Esta lista debe leerse como este ejemplo: BARBARA:

BARBARA contiene las letras A, A, A, que corresponden al TIPO A: "TODOS LOS S SON P". El silogismo tiene la forma "SI A Y A, ENTONCES A".

LA IDENTIDAD

Al introducir el signo de identidad "=", es posible aplicar todas las leyes de la lógica de los cuantificadores, aunque la lectura de ambos grupos de enunciados (de identidad contrastados con los de cuantificación) no pueden considerarse derivado el uno del otro.

Existen muchas interpretaciones para el signo "=": en algunos casos el discurso que lo usa habla de la propiedad de IDENTIDAD TOTAL, en otros casos se usa en el sentido de la PERTENENCIA

...