PENSAR Y RAZONAR

Pensar es un complejo proceso que se inicia con la creación de imágenes mentales en nuestro cerebro. Eso significa ¿Razonar Correctamente o Equivocarnos?
que construimos secuencias tempo- ralizadas de imágenes o conceptos que representan simbólicamente cosas o
eventos y que podemos poner en movimiento para producir -simbólicamente- lo que aún no ha acontecido. Esos
elementos, que nos permiten razonar, también nos permite ir de lo dado a que todavía no sabemos o no ha ocurrido.

RAZÓN

RAZONAMIENTO LÓGICO
Un razonamiento lógico, en definitiva, es un proceso mental que
implica la aplicación de la lógica. El proceso mental de análisis puede
desarrollarse de distintas maneras y convertirse en un razonamiento
inductivo, un razonamiento deductivo, etc. Según la clase de
razonamiento empleada, la conclusión tendrá mayor o menor
posibilidad de resultar válida.
El resultado del razonamiento tendrá un cierto grado de probabilidad
en cuanto a su veracidad, siempre que los razonamientos lógicos
sean válidos.
Razonando, es decir, encadenando juicios conocidos podemos llegar
a obte- ner nuevos conocimientos, prever situaciones, tomar
decisiones, etc. Pues bien, esa es la idea de Razón. Pues bien, en lo
que sigue nos vamos a ocupar del razonamiento lógico, de cómo
relacionar juicios de tal manera que si fueran verdaderos los juicios de
los que partimos, no nos podríamos equivocar nunca en los nuevos
juicios que obtu- viéramos.
La lógica es una norma para el razonamiento correcto. Como hemos visto, un cálculo lógico
es una herramienta que nos permite decidir si un razonamiento es formalmente correcto o no.
Para solucionar esto se han desarrollando otras lógicas que exploran otro tipo de discurso y
otras formas de razonamiento.
Por otro lado, la lógica es el fundamento de la matemática y resulta fun- damental a la hora
de producir teorías elaboradas como pueden ser las teorías científicas. Pero, para lo que nos
interesa en nuestro curso de filosofía, la lógica es una norma para pensar, para producir
nuevo conocimiento y hacerlo de manera co- rrecta.

Lógica Proposicional o de Enunciados Introducción al cálculo de Predicados FALACIA PARADOJA

LÓGICA FORMAL

La lógica formal se dedica a investigar las
diversas formas de los juicios humanos, de
los argumentos, interesándose sólo por si
están o no construidos en consonancia con
las reglas de la lógica. La lógica dialéctico-
materialista parte del criterio de que las
formas del raciocinio y las reglas, las leyes de
la lógica, deben concordar con la materia, con
la Naturaleza y sus leyes.
DIVISIÓN DE LA LÓGICA
La lógica de enunciados o lógica de proposiciones es un lenguaje
simbólico que se ocupa del estudio de los razonamientos formalmente válidos
del lenguaje natural. Como todo lenguaje tiene un alfabeto, una sintaxis y una
semántica.
La lógica de enunciados solo traduce al lenguaje simbólico las oraciones del
lenguaje natural con un sentido completo de tipo enunciativas, declarativas o
descriptivas, que tienen un valor de verdar o falsedad.
La lógica de predicados es utilizada para expresar el significado de un
amplio alcance de proposiciones en matemáticas y ciencias de cómputos.de
manera que nos permite razonar y explorar relaciones entre los objetos. Estos
predicados no tienen valor de verdad si no se especifica valores a la variable.
Es una lógica categorial, porque la deducción se efectúa según se puedan
establecer o no relaciones de pertenencia o de posesión de propiedades de
los individuos con las categorías en lo que se agrupan.
LA NOCIÓN DEL CALCULO
Si, como hemos definido, la Lógica intenta establecer un catálogo de
es- tructuras o esquemas de razonamiento que no nos lleven a error a
la hora de ob- tener una conclusión a partir de una premisas, cabe
preguntarse cómo se puede hacer esto. De la misma manera, lo que
hacen los matemáticos es proporcionarnos un cálculo que podemos
usar cuando queremos sumar dos números. Analicemos ahora la
noción de cálculo. Un cálculo es una mera estructura sintáctica, un
sistema de relaciones. Visto así preguntémonos de qué se compone
todo juego, todo cálculo. Esto se consigue, aceptando sólo co- mo
elementos del cálculo, fórmulas bien construidas y reglas de
inferencia que sean lógicamente válidas, así cada nuevo paso
deductivo tendrá que ser inevita- blemente también válido, bien
porque sea una premisa, o un supuesto hipotético o el resultado de la
aplicación de una regla.
Vocabulario básico o elementos
primitivos.
Reglas de Formación
Algunas paradojas son razonamientos en apariencia válidos, que parten de
En lógica, una falacia es un argumento que parece válido, pero no lo
premisas en apariencia verdaderas, pero que conducen a contradicciones o
es.​​ Algunas falacias se cometen intencionalmente para persuadir o
Variables y valores de verdad: En lógica, un valor de verdad es un valor que situaciones contrarias al sentido común. Las paradojas son estímulo para la
manipular a los demás, mientras que otras se cometen sin intención
indica en qué medida una declaración es verdad. En lógica clásica bivalente los •
Permite acceder a los componentes de una aserción individual. reflexión y a menudo los filósofos se sirven de ellas para revelar la complejidad de
debido a descuidos o ignorancia.
valores de verdad solo son dos, usualmente designamos verdadero y falso (y a •
Las expresiones pueden contener variables, que permiten establecer aserciones la realidad.
veces representados por pares como (1,0) o (V,F), etc.). Sin embargo la lógica generales acerca de clases de entidades.
polivalente el conjunto de valores de verdad incluye otras posibilidades, e incluso •
SIMBOLOS DEL CALCULO DE PREDICADOS El alfabeto que configura los símbolos del
en lógica modal la descripción del valor de verdad requiere la noción más
cálculo de predicados consiste en: 1.- El conjunto de letras, mayúsculas y minúsculas,
compleja de mundos posibles. En lógica difusa el valor de verdad es cualquier
del alfabeto inglés 2.- El conjunto de dígitos 0,1, 2,….9 3.- El subrayado Los símbolos en
número real en el intervalo cerrado [0,1].
el cp comienzan con una letra, seguida por una secuencia cualquiera de caracteres
Las falacias de ambigüedad: Son argumentos
legales. deductivos que parecen válidos pero que no lo son porque
•
Los símbolos son elementos sintácticos irreducibles. hay una modificación en el significado de alguno de los
•
Los símbolos se utilizan para denotar objetos, propiedades o relaciones en el mundo términos.
del discurso.
Conectivas y sus interpretaciones semánticas: En lógica, una conectiva lógica,
•
El único significado que las expresiones del cp. puede decirse que tienen es a través de
o también conectiva es un símbolo o palabra que se utiliza para conectar dos
su semántica formal.
fórmulas bien formadas o sentencias , de modo que el valor de verdad de la
•
Los paréntesis, comas y puntos se utilizan únicamente para construir expresiones bien
fórmula compuesta depende del valor de verdad de las fórmulas componentes.
Las conectivas lógicas son, junto con los cuantificadores, las principales formadas y no denotan ni objetos ni relaciones en el mundo. Son símbolos impropios. Las falacias materiales: Consiste en defender una
constantes lógicas de muchos sistemas lógicos, principalmente la lógica •
Símbolos: variables, constantes, funciones o predicados. conclusión simplemente porque alguien a quien se
proposicional y la lógica de predicados. •
Constantes: dan nombre a los objetos específicos o propiedades en el mundo. Las considera una autoridad ha dicho lo mismo (es el llamado
constantes true y false se reservan como símbolos de verdad. "argumento de autoridad").
•
Variables: se utilizan para designar clases generales de objetos o propiedades en el
mundo.
•
Funciones: Denotan una correspondencia de uno o más elementos de un conjunto
(dominio de la función) en un único elemento o conjunto (rango de la función). Los
elementos del dominio y el rango son objetos en el mundo del discurso. Aridad. El nº de
elementos del dominio en correspondencia con cada elemento del rango. Expresión de Las falacias de datos insuficientes:
Reglas de Formación: Una fórmula lógica, es decir, una formula bien formada función. símbolo de función seguido de sus argumentos encerrados entre paréntesis y Son razonamientos inductivos incorrectos, porque en ellos
(FBF) es una cadena de símbolos construida según reglas establecidas por la separados por comas. Evaluación. reemplazar una función por su valor. se presentan las premisas como base para la
sintaxis lógica. Puede ser de dos tipos: atómica y molecular. •
Un predicado denomina una relación entre cero o más objetos en el mundo. El número generalización, cuando en realidad no la tie- nen. Este
Una fórmula atómica es aquella que no contiene entre sus símbolos ningún de objetos relacionados es la aridad del predicado. tipo de falacias son muy comunes cuando generalizamos
operador y puede ser representada por una variable proposicional, mientras que •
Cuando un símbolo de predicado se utiliza en sentencias de aridades diferentes, se a partir de sólo varios casos conocidos.
una fórmula molecular contiene entre sus signos, al menos, un operador.
considera que representa dos relaciones diferentes.
La sintaxis lógica es una disciplina metalógica que estudia el lenguaje de la lógica
desde el punto de vista normal, es decir, sin interesarse más que por las
relaciones entre los símbolos.

Las falacias de pertinencia: A menudo, son meros

argumentos retóricos o entimemas, que tienen el objetivo
A la unión del cálculo proposicional y del cálculo de predicados es a lo que de convencer a alguien apelando a argumentos o razones
llamamos lógica de 1er orden. Este cálculo tie- nen la restricción de que sólo En lógica, una regla de inferencia, o regla de transformación es una forma lógica
que no son lógicamente pertinentes.
podemos utilizar los cuantificadores con elementos individuales. Es decir, no que consiste en una función que toma premisas, analiza su sintaxis, y devuelve
Reglas de Transformación una conclusión (o conclusiones). - El cálculo de
podemos hablar de todas o de algunas de las clases de algún tipo. Sobre la
lógica de primer orden, según admitamos cuantificar sobre propiedades o enunciados como sistema de deducción natural: Una derivación es una
Definición (predicados y sentencias atómicas)
predicados, o predicados de predica- dos, iremos subiendo de orden. secuencia de transformaciones desde las premisas de las que partimos a la
Los símbolos predicado son símbolos que comienzan por minúscula
conclusión que queremos obtener. -Un sistema Los predicados tienen asociado un entero positivo referenciado como aridad o "nº de
axiomático procede deduciendo todas las verdades, a las que llamamos args" para el predicado.
teoremas, de un conjunto lo más sencillo e independiente de axiomas, que Una sentencia atómica es una constante predicado de aridad n, seguida de n
aceptamos como verdaderos sin prueba, por su autoevidencia. El sistema términos, t1,t2,...,tn encerrada entre paréntesis y separada por comas
LÓGICA NO posee también un mecanismo de inferencia en forma de reglas, pero mu- cho Los valores de verdad true y false son también sentencias atómicas.
LÓGICA CLASICA más simplificado que en los sistemas de deducción natural.
CLASICA

Ciencia de los principios formales y normativos del

razonamiento (series de sistemas lógicos
bivaluados).
• Centra su atención en la forma lógica que
adoptan los pensamientos para construir
lenguajes formales con claridad y precisión.
• La lógica matemática como subsistema de
la lógica y las matemáticas, es el estudio
matemático de la lógica aplicada a otras
áreas de las matemáticas.
• La lógica clásica se caracteriza por utilizar
un lenguaje formalizado o simbólico para
evitar ambigüedades.
• Estudia las formas del pensamiento para
darle validez formal al conocimiento.
Surgen por la limitación expresiva de la lógica
de 1er orden. Esto es, el cálculo de 1er orden
es un cálculo construido con muchas Semántica lógica: Sección de la lógica, que estudia la significación de las
restricciones para poder satisfacer ciertas expresiones del lenguaje; en un sentido más exacto, sección de la metalógica,
propiedades metalógicas, que veremos más que estudia las interpretaciones (Interpretación y modelo) de los cálculos lógicos
tarde, y en consecuencia su capacidad (Lenguaje formalizado). En el caso del estudio metateórico (Metateoría) de los
expresiva también resulta muy limitada. Se lenguajes formalizados, hay que recurrir necesariamente al análisis semántico,
han desarrollados estos otros cálculos lógicos puesto que muchos hechos sustanciales (por ejemplo, los relativos a los
como herramientas de análisis de ámbitos problemas de la plenitud y del carácter no contradictorio) no pueden ser
temporales, mo- dales, probabilísticos o establecidos en el marco del examen puramente sintáctico (Sintaxis lógica). La
inciertos. investigación de las propiedades semánticas del lenguaje de la ciencia y de los
lenguajes naturales adquiere una significación aplicada cada vez mayor, en virtud
del desarrollo de la lingüística matemática: traducción mecanizada.

Metalógica: Teoría que investiga los sistemas y conceptos (Metateoría) de la

La Lógica trivalente: contempla tres lógica formal moderna. Estudia los problemas de la teoría de las demostraciones,
La lógica clásica trabaja con
valores de verdad, lo verdadero, lo de la determinabilidad de los conceptos, de la verdad en los lenguajes
valores de verdad y sus principios
falso y lo que no es verdadero ni falso, formalizados, la interpretación, el sentido, &c. La metalógica se divide en dos
son particularmente tres:
por desconocido o incierto. secciones: sintaxis lógica y semántica lógica. El desarrollo de la metalógica está
enlazado con la estructuración y el estudio de las propiedades de los lenguajes
formalizados. Los principales trabajos en la esfera de la metalógica pertenecen a
Las lógicas polivalentes: son Frege, a los representantes de la Escuela Lvoviano-Varsoviana, a Hilbert, Gödel,
Identidad: establece que toda fundamentalmente lógicas Carnap y a otros).
cosa/proposición es idéntica a si probabilísticas en las que los valores
misma (A=A) de verdad se corresponden con el
intervalo [0,1].

No Contradicción: ninguna
cosa/proposición puede tener y no
tener una propiedad al mismo La lógica modal: incorpora como
tiempo y bajo el mismo respecto (A y operadores los modificadores lo
su negación ~ A), es decir que no necesario y lo posible.
pueden ser verdaderas
las dos.

Tercero
excluido: establece que una cosa/
proposición tiene una propiedad o no La Lógica temporal: incorpora
la tiene y no existe una parámetros temporales. Para
tercera posibilidad (si A es falsa, muchas oracio- nes su verdad
necesariamente ~ A es verdadera, o a depende del momento en que se
la inversa); basta con produce.
reconocer la falsedad de una para
afirmar la verdad de la otra.

La lógica epistémica: es una

lógica intensional que pretende
formalizar enunciados de
creencia, opinión, etc.

La lógica nomonotónica: pretende

formalizar situaciones reales en las
que decidimos sin una total
información y que posteriormente
admite, conforme se prueben o
refuten creencias, revisar el sistema
total de creencia.