Guía de Lógica y Filosofía Ecuador
Guía de Lógica y Filosofía Ecuador
Filosofia
ib
oh
id
a
su
co
m
er
ci
al
iz
ac
ió
n
2
BGU
PRESIDENTE DE LA REPÚBLICA EDITORIAL DON BOSCO
Lenín Moreno Garcés OBRAS SALESIANAS DE
COMUNICACIÓN
MINISTRA DE EDUCACIÓN
Monserrat Creamer Guillén Marcelo Mejía Morales
Gerente general
n
Mariano Eduardo López Rosa Mariela Lucero
Creación de contenidos
ió
Directora Nacional de Currículo
Graciela Mariana Rivera Bilbao la Vieja nuevos
ac
Ángel Gonzalo Núñez López Coordinación de estilo
Directora Nacional de Operaciones Luis Felipe Sánchez
y Logística Marcia Lorena Peña Andrade
iz
Carmen Guagua Gaspar Revisión de estilo
al
Rosmary Ch.
ci
Andrés Villamil
Primera impresión Alexandra Veintimilla
Marzo 2020 Diagramación
er
Impreso por:
Diego Rivera Cedeño
Marco Antonio Ospina Belalcazar
Ilustración
m
co
EDITORIAL
DON BOSCO
ISBN 978-9942-23-318-9
Primera impresión: Agosto 2016
su
Quito-Ecuador
[Link]
oh
ADVERTENCIA
Un objetivo manifiesto del Ministerio de Educación es combatir el sexismo
y la discriminación de género en la sociedad ecuatoriana y promover, a
través del sistema educativo, la equidad entre mujeres y hombres. Para
alcanzar este objetivo, promovemos el uso de un lenguaje que no
reproduzca esquemas sexistas, y de conformidad con esta práctica
preferimos emplear en nuestros documentos oficiales palabras neutras,
tales como las personas (en lugar de los hombres) o el profesorado (en
lugar de los profesores), etc. Sólo en los casos en que tales expresiones no
existan, se usará la forma masculina como genérica para hacer referencia
tanto a las personas del sexo femenino como masculino. Esta práctica
comunicativa, que es recomendada por la Real Academia Española en su
Diccionario Panhispánico de Dudas, obedece a dos razones: (a) en español
es posible <referirse a colectivos mixtos a través del género gramatical
masculino>, y (b) es preferible aplicar <la ley lingüística de la economía
expresiva> para así evitar el abultamiento gráfico y la consiguiente
ilegibilidad que ocurriría en el caso de utilizar expresiones como las y los,
os/as y otras fórmulas que buscan visibilizar la presencia de ambos sexos.
Índice
Lógica aristotélica
un
1 Contenidos ¿Qué es la lógica? (16 - 17)
temidad
átic
a El concepto (18 - 19)
• 2.1. Definición de concepto
• 2.2. Clasificación de los conceptos
• 2.3. La definición
El juicio (20 - 23)
n
• 3.1. Definición de juicio
• 3.2. Elementos y tipos de juicio
ió
• 3.3. La escolástica
• 2.3. Las proposiciones
ac
El razonamiento (24 - 27)
• 4.1. Definición de razonamiento
iz
• 4.2. Elementos y maneras de razonamiento
• 4.3. Verdad y validez
al
• 4.4. Ciencias formales y ciencias fáctica
El silogismo (29 - 34)
ci
• 5.1. Definición de silogismo
er
• 5.2. Estructura del silogismo
• 5.3. Las reglas del silogismo
• 5.4. Figuras de silogismo
m
• 5.5. Modos de silogismo
Falacias y paradojas (35 - 39)
co
2
Lógica moderna de clases
a
id
un
temidad Contenidos:
átic
a
ib
• 1.1. Características
• 1.2. Lenguaje y metalenguaje
Pr
iz
al
• [Link].F.5.1. Desarrollar mecanismos intelectuales que otorgan las lógicas polivalentes sim-
bólicas contemporáneas para el análisis argumentativo y para el conocimiento del len-
ci
guaje humano, a través del combate a las falacias, contradicciones, juicios a priori, etc.,
en función de desarrollar en el estudiante una ética del razonamiento fundamentado y
er
argumentado racionalmente.
m
• [Link].F.5.1.2. Analizar, comprender y valorar la complejidad histórica del pensamiento la-
co
ci
cipios y las implicaciones que se anudan en ellas en la vida cotidiana y en los grandes
proyectos históricos.
er
• [Link].F.5.1.5. Conocer y aplicar las reglas de la argumentación lógica para validar razo-
m
namientos que contribuyan al desarrollo de la argumentación, la deliberación y la per-
suasión, en función de una forma democrática de comunicación.
co
su
a
id
ib
oh
Pr
Destrezas con criterios de desempeño Unidades
1 2 3 4 5 6
• Analizar las estructuras y los principios generales de la argumentación
lógica (lógica aristotélica, silogismos) para cultivar un pensamiento ✓
coherente y riguroso.
n
ió
• Diferenciar el concepto de verdad en las ciencias formales y en las
ciencias fácticas, como antecedente para abordar el estudio de las ✓
ac
ciencias.
• Diferenciar la verdad de la validez, mediante el uso de ejemplos en la
iz
discusión de un tema generador y la aplicación de los conocimientos ✓
adquiridos.
al
• Analizar la presencia de las principales falacias en textos académi-
ci
✓
cos y de la prensa nacional e internacional.
er
• Diferenciar las falacias de las paradojas, en función de un ejercicio
m
✓
válido de razonamiento.
co
de comunicación de masas.
oh
n
✓
tuales, en función de identificar la tendencia filosófica y su autor.
ió
• Analizar las características del pensamiento filosófico latinoamerica-
✓
ac
no, sus temas centrales y dudas sustanciales.
• Analizar las diferencias entre el pensamiento filosófico occidental y el
iz
pensamiento social latinoamericano, mediante la lectura compara- ✓
da y crítica de textos fundamentales.
al
• Identificar los métodos de comprensión de la realidad en la filosofía
latinoamericana a partir de sus formas de tratamiento de conceptos ✓
ci
como libertad y liberación. er
• Discutir los grandes temas críticos vinculados a la identidad y la cul-
tura, a partir del descubrimiento de elementos de análisis propios en ✓
m
autores latinoamericanos.
• Identificar las relaciones de poder que legitima o cuestiona la filoso-
co
ciedad.
• Ejercer el pensamiento filosófico en la elaboración de preguntas
ib
✓
complejas en función de ensayar respuestas significativas.
oh
n
ió
ac
iz
al
ci
er
m
co
su
CONTENIDOS:
a
5. El silogismo
2.2. Clasificación de los
conceptos 5.1. Definición de silogismo
oh
10
Noticias:
En tiempos que se privilegian las ciencias y las tecnologías
[Link]
como instrumentos del mercado, el filósofo González
Rojo destaca la relevancia de las humanidades, para
las cuales el catedrático no es un dueño de la verdad,
sino un incitador a que los otros piensen. Toda enseñanza
genuina es autoaprendizaje.
Mientras lo oíamos, una paradoja cristalizaba en el
ambiente. El virtuoso de la argumentación pedía que
los demás se expresaran a su modo. Facultado para
guiarnos, invitaba a pensar y discrepar.
n
En su extenso poema Empédocles, González Rojo narra
cómo el filósofo enseñó a su discípulo Pausanias a no
ió
temerle a los resplandores: «Déjame poner las manos en
tus ojos para que la luz, y su extranjería de ultratumba, no
los cohíba». El gran maestro no se limita a mostrar lo que
ac
ve, permite que el alumno abra los ojos.
iz
[Link]
Películas:
al
En el nombre de la rosa (1986), de Jean-Jacques
Annaud, es una película que se centra en dos
ci
personajes, el franciscano Guillermo de Baskerville
y su discípulo, el joven novicio Adso de Melk,
quienes llegan a una abadía benedictina en las
er montañas italianas, famosa por su biblioteca, llena
de obras únicas, restringidas a los especialistas.
m
Guillermo ha venido a la abadía para participar
en una reunión entre los delegados del papa y
los líderes de la orden franciscana, para resolver
co
Web:
En los siguientes sitios de Internet encontrarás recursos
ib
En contexto:
Pr
11
1. ¿Qué es la lógica?
Entendemos el pensamiento lógico y racional como
distinto o contrario al pensamiento mítico y religioso. De
manera que su historia se encuentra estrechamente li-
gada al aparecimiento de la filosofía.
La lógica es un ejercicio racional. Podemos definir a
la lógica como el conocimiento de la estructura de la
n
razón y del pensamiento correcto, o también como la
ciencia que nos ayuda a razonar y pensar de manera
ió
rigurosa, válida y correcta para alcanzar la verdad y un
certero conocimiento de todas las cosas. La lógica exa-
ac
yl
iz
/goo.g
al
Breve historia
Los Diálogos de Platón son una fuente
ci
El interés por establecer una ciencia de las formas lógi-
de estudio para la lógica.
er
cas surge desde el comienzo mismo de la filosofía occi-
INGENIO
YR
ESUELVO
MI dental, en la Grecia de los siglos V y IV a. C.
m
TRABAJO
ANALIZO
Para Aristóteles, la lógica es una cos relacionados con la metafísica y la ética. Sócrates,
rama de la filosofía que, como por ejemplo, indagaba sobre cuál es el conocimiento
ciencia de la demostración, for- válido y certero, y establece el método mayéutico que
mula reglas para alcanzar verda-
su
_____________________________________
oh
_____________________________________
_____________________________________
Pr
_____________________________________
_____________________________________
Prohibida su reproducción
_____________________________________
Sócrates es célebre por su
_____________________________________ método mayéutico y su
capacidad de identificar
_____________________________________ la falsedad en el discurso
_____________________________________ de sus interlocutores. GT
q
Ry
l/u
oo.g
ht tp://g
12
Para Aristóteles (384 - 322), la lógica es una rama de
la filosofía que, como ciencia de la demostración, se
preocupa de formular reglas para alcanzar verdades
de la realidad concreta.
El «Estagirita» estableció los tres principios esenciales
de esta ciencia:
• El principio de identidad, el cual formula que el
ser es, es decir, que «todo objeto es idéntico a sí
n
mismo», formulado de la siguiente manera; «A=A».
ió
• El principio de no contradicción, que es funda-
l
l/kDrEy
mental en la lógica clásica, formula que si el ser
ac
/goo.g
es, no puede no ser, formulado de la siguiente ma-
nera, «A = A y A ≠ A no pueden ser ambos verda-
https:/
deros».
iz
• El principio del tercero excluido, complemento ne-
al
cesario del principio de no contradicción, estable-
ce que no hay término medio entre el ser y el no
ci
ser, su fórmula: «A=A y A ≠ A no pueden ser ambos er
falsos».
Por su parte Gottfried Leibniz (1646 - 1716) formuló el
m
principio de razón suficiente, según el cual «Nada UP
O IÉN S BL
ES
DO
RA
Y TAMB
REC RTA
TIC
LCULA
EN GR
Aristóteles es considerado
es sin una razón suficiente», es decir, nada puede ser
O
co
el padre de la lógica.
CA
considerado verdadero si no tiene las razones sufi-
cientes que lo justifiquen.
Leibniz aplicó a la lógica el método matemático y su Trabajo mi ingenio
su
teoría del sistema infinito decimal facilitó el cálculo y Según el principio de no contradic-
luego el descubrimiento de la calculadora y la com- ción, una cosa no puede ser y no ser
putadora. al mismo tiempo. Da varios ejemplos
a
de este principio.
id
________________________________________
O ES RA
Según John SStuart MillBL (1806 - 1873), la lógica es la cien-
N
UP IÉ DO
Y TAMB
REC RTA
TIC
LCULA
EN GR
________________________________________
O
Prohibida su reproducción
13
2. El concepto
2.1. Definición de concepto
Pensemos un momento cómo nos representamos un ob-
jeto cualquiera en nuestra mente. ¿Es una imagen, un
símbolo o una palabra?
En filosofía llamamos concepto a la representación que
n
nos hacemos en nuestra mente de un objeto cualquiera.
[Link]
ió
que tenemos de algo. Sin embargo, no lo podemos con-
ac
fundir con una simple imagen, un recuerdo o una mera
percepción. Estas son formas de conocimiento sensitivo,
mientras que el concepto es una forma de conocimiento
iz
intelectual y racional producto de nuestro entendimiento.
al
¿Cómo generamos entonces conceptos? Primeramente,
captamos mediante los sentidos al objeto en sí, para lue-
ci
O ES RA
UP IÉN S BL DO
go abstraerlo, es decir, interiorizarlo en nuestra mente y
Y TAMB
REC RTA
TIC
LCULA
EN GR
___________________________________
co.
___________________________________
oh
REC RTA
TIC
LCULA
EN GR
___________________________________
O
CA
14
de ser el cuidador de un edificio o el que • Definición esencial: Decir lo más impor-
cuida un arco de fútbol. Mientras que los tante que exprese la esencia de un con-
equívocos se aplican a objetos diferentes, cepto, por ejemplo, el ser humano es un
por ejemplo, muñeca, que puede ser la animal racional.
parte de la mano, pero también el jugue- • Definición accidental: Se dan las caracte-
te, o radio, que puede ser el hueso, el apa- rísticas del objeto, por ejemplo, el ser hu-
rato electrónico o la parte de la circunfe- mano es un ser bípedo.
n
rencia.
• Definición teleológica: Se especifica cuál
ió
2.3. La definición es la finalidad o propósito del concepto, por
Consiste en delimitar, precisar y aclarar bre- ejemplo, el ser humano existe para ser feliz.
ac
vemente las notas esenciales de un concep- • Definición causal: Se especifica cuál es el
to, o la significación misma del término. Te- origen y causa del concepto, por ejemplo,
iz
nemos algunos tipos de definiciones para los el ser humano es producto de la selección
conceptos: natural y la evolución.
al
ci
Diferentes percepciones
er
m
co
su
a
id
Actividades
ib
4. Determina tres conceptos claros, tres conceptos oscuros, tres conceptos universales, tres particula-
res, tres singulares, tres conceptos unívocos, tres análogos y tres equívocos.
5. Comenta el siguiente texto de José Ortega y Gasset:
«Vida es lucha con las cosas para sostenerse entre ellas. Los conceptos son el plan estratégico
que nos formamos para responder el ataque. Por eso, si se escucha bien la entraña última de
cualquier concepto, se halla que no nos dice nada de la cosa misma, sino que resume lo que un
hombre puede hacer con esa cosa o padecer en ella».
15
3. El juicio
3.1. Definición de juicio
Cuando negamos o afirmamos algo estamos ela-
borando un juicio, que consiste en la composición
sistemática y coherente de conceptos con un sen-
tido propio.
El juicio supone la relación y comparación de con-
n
ceptos o ideas. Cuando son compatibles afirma-
ió
mos algo, cuando no son compatibles negamos
algo.
ac
Aristóteles define al juicio como el discurso en el cual
se afirma o se niega algo. Al juicio lo podemos llamar
iz
también proposición cuando forma parte de un ra-
[Link]
al
zonamiento, y enunciación cuando es su expresión
verbal.
ci
3.2. Elementos y tipos del juicio
er
Mediante el juicio podemos crear pensamientos, En el juicio encontramos tres elementos:
ideas, y transformar nuestra realidad.
m
co
Representado el sujeto por S y el predicado por P, el juicio puede adquirir doble forma:
a
id
S es P = juicio afirmativo
Ejemplo: La filosofía es apasionante.
ib
S no es P = juicio negativo
oh
16
Tipos de juicios
De acuerdo con la cantidad
Ejemplo: La música clásica es aburrida.
• Universales: Cuando el concepto sujeto • Apodícticos: Expresan una certeza, una
se toma en toda su extensión. necesidad de conocimiento, como las le-
Ejemplo: Todos los seres humanos son yes de la matemática o la física.
terrícolas. Ejemplo: En todo triángulo rectángulo el
• Particulares: Cuando el concepto sujeto cuadrado de la hipotenusa es igual a la
suma de los cuadrados de los catetos.
n
se toma en una parte de su extensión.
ió
Ejemplo: Algunos seres humanos son urba- De acuerdo con la relación
nos.
• Categóricos: Enuncian una verdad, una
ac
De acuerdo con la cualidad afirmación absoluta.
• Afirmativos: Establecen compatibilidad Ejemplo: Todo lo que sube tiene que bajar.
iz
entre el sujeto y el predicado. • Hipotéticos: Expresan una condición de
al
Ejemplo: La guerra es violencia. posibilidad de cualquier cosa, relaciones
entre causa y efecto.
ci
• Negativos: Establecen una incompatibili-
dad entre el sujeto y el predicado. er Ejemplo: Si te dedicas, triunfarás.
Ejemplo: El calor no es frío. • Disyuntivos: Expresan una doble o múlti-
ple posibilidad.
m
• Indefinidos: Ni afirman ni niegan nada.
Ejemplo: Los gobiernos pueden ser justos o
Ejemplo: Quizá vivamos en paz.
injustos.
co
REC RTA
TIC
LCULA
EN GR
otro juicio.
O
ib
CA
Trabajo mi ingenio
[Link]
Pr
_____________________________________________________
_____________________________________________________
_____________________________________________________
17
3.3. Las proposiciones
Una proposición es un juicio u oración con un valor referencial o informativo, del cual se
puede desprender su veracidad o falsedad, puede ser falsa o verdadera, pero no las dos al
mismo tiempo. Las cuatro proposiciones básicas se combinan por su cantidad (universales
y particulares) y por su cualidad (afirmativas y negativas) y se les asigna una letra con una
vocal mayúscula:
n
A Universal Afirmativa Todos los hombres son mortales.
ió
E Universal Negativa Ningún pez vuela.
ac
I Particular Afirmativa Algunos libros cambian la vida.
iz
O Particular Negativa Algunos artistas no son bohemios.
al
Estas cuatro proposiciones básicas se relacionan como muestra el siguiente gráfico:
ci
A E
er
Todo estudiante Ningún estudiante
m
contrarios
es romántico es romántico
co
C
O S
su
N O
TR RI
A
subalternos D CTO subalternos
I
a
D CTO
A
id
TR RI
O
N
I O
O S
ib
C
oh
[Link]
18
Contradictorios son los juicios que difieren
en cantidad y en cualidad. No pueden ser
Fuente primaria
ambos verdaderos ni ambos falsos, en virtud
del principio lógico de no contradicción. La
proposición A es contradictoria a la O.
Contrarios son los juicios universales que
difieren por la cualidad, no pueden ser ambos
verdaderos, pero sí pueden ser ambos falsos.
La proposición A es contraria la E.
n
Subcontrarios son los juicios particulares que
ió
[Link]
difieren por la cualidad, pueden ser ambos
ac
verdaderos, pero no pueden ser ambos falsos.
La proposición I es subcontraria a la O.
iz
Subalternos son los juicios que difieren por la
cantidad, pueden ser verdaderos o falsos los En la lógica clásica se prefiere aquella
al
dos, pero necesariamente, de la verdad de unión de palabras que manifieste mejor
lo universal se sigue la verdad del particular, las ideas. Y tal forma es la proposición.
ci
Solo la forma de proposición interviene,
no al contrario. Asimismo, de la falsedad del con derechos propios a la lógica: dos y
particular se sigue la verdad del universal,
er dos son cuatro. Cuando la palabra toma
y no al contrario. Las proposiciones A e I son la forma de proposición es cuando, para
subalternas, lo mismo que E y O. la lógica clásica, llega al máximo de
m
claridad, al ápice de su uso perfecto, a
aquello para que está hecha la palabra.
co
Actividades
ib
6. Señala las siguientes proposiciones, según su cantidad y su cualidad, con las vocales correspon-
dientes:
oh
19
[Link]
4. El razonamiento
4.1 Definición de razonamiento
El razonamiento es un proceso mental del
que, partiendo de una verdad conocida, se
obtiene otra, en virtud de una estrecha cone-
xión entre ambas. También podemos llamar-
lo inferencia, una combinación ordenada y
concatenada de juicios.
n
4.2 Elementos y maneras de
ió
razonamiento
ac
Cuando razonamos, estamos ejercitando nuestra
El razonamiento supone dos elementos esen-
mente para resolver problemas, sean estos mate- ciales:
iz
máticos, lógicos o filosóficos.
• Obtención de una verdad desconocida.
ESUELVO INGENIO
YR MI
• Dicha verdad se obtiene por su enlace y
al
TRABAJO
ANALIZO
ci
Podemos reconocer cuatro maneras de ra-
Frank Sinatra decía que «el miedo es el enemigo
zonamiento o formas de inferencia:
de la lógica». ¿Por qué crees que cuando tene-
er
mos miedo no pensamos con claridad y tende-
mos a cometer errores?
Inferencia deductiva: Es el razonamiento que
m
obtiene un juicio particular a partir de una
____________________________________________________ verdad universal o más general. Ejemplo:
co
____________________________________________________
Todo hombre es mortal,
____________________________________________________ Sócrates es hombre,
por lo tanto, Sócrates es mortal.
su
____________________________________________________
____________________________________________________
La pelota cae,
____________________________________________________ la piedra cae,
ib
____________________________________________________
todos los objetos caen.
oh
O ES RA
UP IÉN S BL DO
Ningún hombre es árbol,
Y TAMB
REC RTA
TIC
LCULA
EN GR
y también:
O
n
pende de que la conclusión sea verdadera. lógicamente inválido, pero puede ser verda-
dero en su contenido material:
ió
Un argumento puede tener premisas verda-
deras y conclusión verdadera, y aun así ser Si solo los que miden más de 1,80 juegan al
ac
inválido lógicamente. Por ejemplo: baloncesto,
Kant es un filósofo, y Antonio mide más de 1,80,
iz
Hegel es un filósofo, entonces Antonio juega al baloncesto.
al
por lo tanto, Marx es un filósofo. Antonio puede jugar al baloncesto o no,
ci
En este argumento, tanto las premisas como porque su verdad o falsedad depende de la
la conclusión son verdaderas; sin embargo,
er experiencia, no de la forma argumentativa,
el argumento no es válido, porque la conclu- puesto que es un argumento inválido.
sión no se sigue de las premisas. Puede ser
m
que las premisas sean todas verdaderas, y la
conclusión falsa. En cualquiera de estos ca-
co
Hegel es un filósofo,
id
21
Actividades
10. Elabora cinco ejemplos de razonamientos verdaderos, pero inválidos.
12. En los siguientes textos encuentra los razonamientos, enuméralos, clasifícalos, reconoce si son váli-
dos o inválidos, determina su verdad así como validez, y por último, conversa con tus compañeros
y compañeras sobre lo que has identificado:
n
Cuando mencionó la labor de Estados Unidos dentro de la ONU, el presidente de EE. UU.,
ió
Barak Obama, en un discurso por los setenta años de la Organización, dijo: «Creando un sis-
tema internacional que impone un costo a aquellos que escogen el conflicto por encima de
ac
la cooperación, un orden que reconoce la dignidad y el valor igual para todas las personas,
este orden ha creado una economía global que ha sacado a más de mil millones de perso-
nas de la pobreza (…). Es este principio internacional el que ayuda a impedir que los países
iz
mayores impongan su voluntad a los más pequeños y avance la democracia, el desarrollo y
la libertad individual en cada continente.
al
El discurso de Obama en ONU el 28 /9/2015. (2016). América Latina en movimiento.
ci
Recuperado el 7 de julio de 2016 desde: [Link]
er
m
Alerta que no todos los partidos ni los presidenciables tienen el mismo nivel de compromiso
en materia de lucha contra el crimen organizado, por lo que a los votantes les corresponde
co
un discurso en el que admitió que varios lugares del país viven una «dramática situación de
inseguridad» y afirmó que de no haber emprendido un combate frontal, se corría el riesgo de
ib
22
4.4. Ciencias formales y ciencias fácticas
Para comprender la relación de la lógica con las ciencias y sus metodologías, las podemos
clasificar en:
Ciencias formales son la lógica y las
matemáticas, ya que tratan de objetos
ideales, entes que no se encuentran ni
en el espacio ni en el tiempo y están
sometidos a la relación de implicación.
n
Estos objetos ideales son obtenidos por
ió
una abstracción de la realidad, por
ejemplo, los números naturales pue-
ac
den ser generados al comparar con-
juntos diversos en otros aspectos, pero
que tienen igual número de elementos.
iz
Así, cuando la matemática dice que
[Link]
al
«1 – 1 = 0» no se preocupa si tengo una
manzana o si me la como y no me que-
ci
da nada, pues lo que le importa son los
entes ideales. Por lo tanto, las ciencias er
formales se ocupan de la validez de las
formas y no de su verdad. Las proposi-
m
ciones de las ciencias formales como
las leyes lógicas son tautológicas, son formales, proporciones analíticas, cuya validez depende
co
la biología se ocupan de los hechos naturales que están en el espacio y en el tiempo, en este
caso, las ciencias fácticas se ocupan de verdades de hecho.
a
La sociología y la economía tratan de otro tipo de hechos producidos por los seres humanos
id
como integrantes de una sociedad. Las proposiciones fundamentales de las ciencias fácticas
son proposiciones contingentes, proposiciones sintéticas, cuya verdad o falsedad se determi-
ib
Prohibida su reproducción
23
Mientras tanto en el mundo...
Esta pregunta de lógica en un examen arrasa
en las redes sociales de Asia
Un problema de matemática tiene intriga-
dos a miles de internautas por el mundo. Se
n
trata de una pregunta de lógica en un exa- Albert: Yo
ió
men realizado en Singapur. no sé cuándo es el
cumpleaños de Cheryl,
ac
pero sé que Bernard
Tratándose de un problema con un plantea-
tampoco lo sabe.
miento complejo, miles de personas inten-
tan averiguar la solución.
iz
Bernard: Al
principio, yo no
Los países orientales tienen una larga tradi- sabía cuándo era el
al
ción educativa en el estudio y la práctica in- cumpleaños de Cheryl,
pero ahora lo sé.
tensiva de los juegos matemáticos en el co-
ci
legio. Territorios como Shangai o Hong Kong Albert: Entonces,
yo también sé cuándo
(China), Corea del Sur y Singapur suelen
er es el cumpleaños de
ocupar las primeras plazas en rendimiento Cheryl. Así que, ¿cuándo
académico escolar, especialmente en Ma-
m
es el cumpleaños de
Cheryl?
temática.
co
desde: [Link]
24
5. El silogismo
5.1. Definición de silogismo
El silogismo puede ser definido como la estructu-
ra del razonamiento deductivo. Para Aristóteles, el
silogismo es un razonamiento formado por tres jui-
cios tales que, dados los dos primeros, el tercero
resulta necesariamente, por ejemplo:
n
Todas las aves vuelan,
ió
el cóndor es un ave,
ac
por lo tanto, el cóndor vuela.
[Link]
iz
En este ejemplo, el nexo que hay en los dos primeros
juicios (llamados antecedentes) y el último juicio (lla- UP
O IÉN S BL
ES
DO
RA
al Y TAMB
REC RTA
TIC
LCULA
EN GR
mado consecuente), es tal que de los antecedentes
CA
se sigue necesariamente el consecuente.
ci
ESUELVO INGENIO
YR MI
5.2. Estructura del silogismo
TRABAJO
ANALIZO
er Analizo y resuelvo
El silogismo consta de tres proposiciones. De las dos
m
primeras, la de mayor extensión se llama premisa El silogismo de inclusión contiene el
mayor; la de menor extensión, premisa menor; la ter- primer término en el segundo, y el
segundo en el tercero.
co
_______________________________________
presenta por S.
id
25
5.3. Las reglas del silogismo
El incumplimiento de las reglas del silogismo Los hombres no son árboles,
origina su incorrección. Hay cuatro reglas los hombres no son plantas,
para los términos y cuatro para las proposi- luego… ¿Qué? No se concluye nada.
ciones.
• De dos premisas afirmativas no puede de-
Reglas para los términos:
ducirse una conclusión negativa.
• Cada silogismo debe constar solo de tres • Si una premisa es particular también lo
términos: mayor, menor y medio. El silogis-
n
será la conclusión. Jamás pueden ir dos
mo es incorrecto cuando tiene cuatro tér- premisas particulares, como en el siguien-
ió
minos como en el siguiente caso: te caso:
ac
Tauro es un monte, Algún hombre es sabio,
Tauro es una constelación, algún hombre es rico,
luego una constelación es un monte.
iz
luego algún rico es sabio.
• Los términos no deben tener mayor exten-
al
• Si una premisa es negativa, también lo
sión en la conclusión que en las premi-
será la conclusión, por ejemplo:
ci
sas. Se prohíbe que los términos extremos
tengan en la conclusión mayor extensión er El cedrón es una planta,
que en las premisas, como en el siguiente los fideos no son plantas,
caso: luego el cedrón no es fideo.
m
Todo círculo es redondo,
todo círculo es una figura,
co
l/Y
su
Ws
figuras y no a todas las figuras.
QN
q
• El término medio no debe entrar en la
a
conclusión.
id
http
como en el siguiente caso: ://g
o o.g
x
iR2
26
5.4. Figuras de silogismo Ejemplo: Todo mármol es piedra,
alguna sustancia no es piedra,
Podemos distinguir cuatro figuras de silogis- luego, alguna sustancia no es mármol.
mo. Llamamos figura a la forma que adquie-
re el silogismo, según el puesto que el térmi- Tercera figura: El término medio es el sujeto
no medio ocupa en las premisas. de las dos premisas.
Ejemplo: Ningún ecuatoriano es italiano,
1.a figura
todos los ecuatorianos son americanos,
luego, algunos americanos no son italianos.
M es P
n
Cuarta figura: El término medio es predicado
ió
S es M de la mayor y sujeto de la menor.
ac
S es P Ejemplo: Todos los perros son mamíferos,
todos los mamíferos son vertebrados,
2.a figura luego, todos los perros son vertebrados.
iz
5.5. Modos de silogismo
al
P es M
S es M Combinando las proposiciones básicas de
ci
acuerdo con su cantidad y cualidad para
S es P hacer silogismos, obtendremos matemática-
er
mente 64 silogismos o modos posibles, pero
3.a figura solo 19 son correctos y legítimos, los demás
m
quebrantan alguna regla del silogismo. En
P es M este cuadro tenemos 10 modos de silogismo
co
S es P
su
1 2 3 4 5 6 7 8 9 10
4. figura
a
A E I I O I O A A A
a
P es M A A I O I A A E I O
id
M es S
A I I O O I O E I O
ib
S es P
oh
de la menor.
Ejemplo: Ningún cuerpo es espíritu,
Prohibida su reproducción
MX
27
Clasificación de los silogismos
Podemos clasificar a los silogismos como re- O de inferioridad:
gulares (que siguen las reglas del silogismo)
Tatiana es más pequeña que Luisa,
e irregulares (no las siguen). Entre los regula-
res tenemos a los siguientes: Luisa es más pequeña que María;
• Silogismo categórico: Se basa en las pro- por lo tanto, Tatiana es más pequeña que
posiciones básicas y cumple con regula- María.
ridad las reglas de los silogismos tanto de Silogismos de inclusión: Cuando el primer
n
los términos como de las proposiciones. A término está incluido en el segundo, y el
ió
su vez, este tipo de silogismo se subdivide segundo en el tercero. Ejemplo:
en:
Pomasqui está en Pichincha,
ac
Silogismos de identidad: Nos permite
Pichincha en Ecuador;
identificar los tres términos unos con otros.
iz
Ejemplo: por lo tanto, Pomasqui está en Ecuador.
Silogismos de exclusión:
al
Pedro es hermano de María,
María es hermana de Juan; Felipe estudia Filosofía,
ci
por lo tanto, Pedro es hermano de Juan. er en Yachay no estudian Filosofía,
Silogismo de comparación: Felipe no estudia en Yachay.
m
Pueden ser de superioridad:
Venezuela es más grande que Ecuador,
co
htt
p:/
28 /g
oo
.gl
/nv
B8
BI
• Silogismo hipotético: Por otra parte, están los silogismos hipotéticos, que solo observan
las reglas de las premisas y no las de término. Su premisa mayor es hipotética, es decir,
es una condición. Por ejemplo:
Si estudias, aprobarás el año.
Has estudiado, por lo tanto, pasarás el año.
Hay cuatro formas posibles de silogismo hipotético que resultan de la negación o
afirmación del antecedente o del consecuente:
Afirmación del antecedente
n
ió
Si estudio lógica, tendré éxito en defender mi punto de vista. p q
Estudié lógica. P
ac
Tengo éxito en defender mi punto de vista. q
iz
Es un silogismo hipotético válido, pues la conclusión se
extrae necesariamente de las premisas.
al
Afirmación del consecuente
ci
Si estudio lógica, tendré éxito en defender mi punto de vista.
er p q
Tuve éxito en defender mi punto de vista. q
m
Estudié lógica. p
co
Si estudio lógica,
tendré éxito en defender mi punto de vista. p q
a
No estudié lógica. -p
id
No estudié lógica. -p
Es un silogismo hipotético válido.
Actividades
13. Elabora dos silogismos hipotéticos válidos y dos silogismos hipotéticos inválidos.
29
n
[Link]
ió
ac
iz
Silogismos irregulares Lo que es simple no tiene partes.
al
El alma humana es simple,
Los silogismos irregulares no cumplen con luego, no tiene partes,
ninguna regla del silogismo; sin embargo,
ci
y lo que no tiene partes es incorruptible.
son razonamientos válidos. Entre ellos tene- er Luego, el alma humana es incorruptible.
mos:
Dilema: Argumento que arranca de una pro-
Entimema: Se omite una de las premisas por- posición disyuntiva y demuestra que los dos
m
que se sobreentiende. Por ejemplo: miembros llevan a una misma conclusión,
co
Estoy cansado, por lo tanto, voy a dormir. como el famoso dilema de Tertuliano contra
el decreto de Taciano:
Epiquerema: La premisa que le acompaña
a la anterior la justifica. Po ejemplo: Los cristianos o son culpables o son inocen-
su
luego, soy un ser único. 15. Construye dos silogismos válidos para
esta conclusión: «Algunos políticos son
Prohibida su reproducción
30
¿Podemos dejar nuestro
gran país en las
n
de rigurosidad en el pensamiento.
ió
Una falacia formal se produce cuan-
do un argumento no respeta las for-
ac
mas válidas de razonamiento. Por
ejemplo:
iz
Si es arroz de cebada, Algunos políticos utilizan falacias en sus discursos.
al
entonces es una sopa típica ecuatoriana.
Es una sopa típica ecuatoriana, por lo tanto, se trata de arroz de cebada.
ci
Este argumento no respeta las formas de razonamiento válidas, por lo tanto, es una falacia
er
formal.
Tipos de falacias formales
m
Afirmación del consecuente: Llamada también confirmación sistemática, es el equivalente
co
forma anacrónica.
31
Por otra parte, una falacia informal no Señor policía, por favor, no me multe,
tiene la forma de un razonamiento, se mi papá se enterará que saqué el carro
da con expresiones comunes apoya- sin su permiso
das en ideas claras, pero no sirven para y me va a castigar.
apoyar la conclusión.
Falacia ad ignorantiam (a la ignoran-
Tipos de falacias informales cia): Apela a la falta de información
como premisa y en la ignorancia del
Falacia de equívoco: Consiste en usar interlocutor. Ejemplo:
en el argumento un mismo término con
n
significados diferentes. Por ejemplo: Los extraterrestres existen porque
ió
nadie ha probado que no existen.
En el banco hay mucho dinero,
Falacia de la división: Atribuye por se-
ac
en la plaza hay bancos,
luego en la plaza hay mucho dinero. parado atributos que solo unidos pue-
Es incorrecto tomar de una forma uní- den convenir. —Por ejemplo:
iz
voca (en un solo sentido) el significado
de «banco». Los latinoamericanos se están
al
enriqueciendo,
Falacia ad hominem (contra el hom- Remigio es latinoamericano,
ci
bre): Busca desacreditar al interlocutor, luego, Remigio se está enriqueciendo.
atacarle para invalidar su argumento, er
en vez de cuestionar las premisas del Falacia Petitio principii (Petición de prin-
argumento. Ejemplo: cipio): Cuando se usa lo que se quiere
m
demostrar como la demostración mis-
No podemos creer en él, ma. Ejemplo:
porque es de la oposición.
co
32
O ES RA
UP IÉN S BL DO
Y TAMB
REC RTA
TIC
LCULA
EN GR
CA
ESUELVO INGENIO
YR MI
TRABAJO
ANALIZO
[Link]
Analizo y resuelvo
Las falacias son razonamien-
tos no válidos o incorrectos,
pero con apariencia de ra-
zonamientos correctos que
vulneran alguna regla.
n
qué:
ió
Será mejor que estés de
acuerdo con las nuevas po-
ac
líticas educacionales si quie-
res seguir en tu cargo.
iz
_______________________________
al
_______________________________
_______________________________
ci
er _______________________________
_______________________________
m
_______________________________
_______________________________
co
su
Actividades
18. Identifica cuáles de los siguientes razonamientos son válidos o falacias. Si son falacias indica qué
a
tipo son:
id
No vengas a trabajar con esa apariencia, recuerda que quien paga, manda.
ib
Según el alcalde, lo mejor para cuidar la salud de los ciudadanos es asfaltar todos los rincones de
la ciudad.
oh
Entre más bomberos trabajan en controlar un incendio, más daños causa el incendio. Por lo tanto,
los bomberos causan daños.
A los judíos generalmente no les gustan los musulmanes. Tú eres es judío, así que no te gustan los
Pr
musulmanes.
El vestido rojo es el responsable de mi mala suerte. El primer día que me lo puse, me caí y me rompí
una pierna. El segundo día que lo llevé, fue cuando mi novio me dejó plantada. Y la tercera vez
Prohibida su reproducción
33
6.2. Las paradojas
Una paradoja es un hecho o frase
que desafía al sentido común, consis-
te en el uso de expresiones que en-
cierran una contradicción. A pesar
de las condiciones contradictorias,
los hechos presentados resultan váli-
n
dos, reales o verosímiles, por ejemplo,
ió
la expresión «el infierno está empe-
drado de las mejores intenciones».
ac
La paradoja estimula de gran ma-
nera la reflexión y sirve para desa-
iz
rrollar las capacidades analíticas y
al
la comprensión de ideas abstractas,
así como desarrolla destrezas intelec-
ci
tuales. Por este motivo, encontramos
er paradojas en distintas disciplinas de
conocimiento, como la matemática,
la filosofía, la psicología, la física, la
m
lógica, etc.
co
[Link]
en grupo
Busquen en medios de comunica-
su
La paradoja de Aquiles
ib
Aquiles, el atleta más veloz, capaz de correr los 100 m en 10 segundos, no podrá alcanzar a una
oh
lenta tortuga, diez veces menos rápida que él. Ambos disputan una carrera, concediendo Aquiles
una ventaja de 100 m a la tortuga. Cuando Aquiles ha cubierto esos 100 m, la tortuga se ha despla-
zado 10 m. Al cubrir Aquiles esos 10 m, la tortuga se ha desplazado 1 m. Mientras cubre ese metro
Pr
cubrir una distancia infinita, para lo cual necesitará un tiempo infinito. De tal manera que el desgra-
ciado Aquiles nunca alcanzará a la tortuga.
Adaptado de:
Aquiles y la tortuga. [Link]. Extraído el 7 de julio de 2016,
desde [Link]
34
La paradoja Buridán
n
los dos montones será su comida.
ió
Esta paradoja fue nombrada en homenaje al filósofo
ac
[Link]
francés Jean Buridan; sin embargo, la paradoja no fue original de Buridán sino de Aris-
tóteles, que ejemplifica el pensamiento ante una decisión con opciones equilibradas o
iz
demasiado balanceadas, con un hombre que permanece inmóvil con tanta sed como
hambre entre dos mesas. Una con bebidas y otra con comida. La paradoja es que la
al
igualdad de condiciones puede condenar a elegir cualquier opción, aunque la idea
principal no era esa, sino la de elegir siempre la mejor opción. Habiendo dos opciones
ci
igual de mejores o peores, entramos en paradoja. er
La paradoja de Zenón de Elea
m
Si lanzamos una flecha y tomamos en cuen-
co
[Link]
La paradoja de Russell
Pr
Prohibida su reproducción
35
ZONA U1
Lógica aristotélica
BLOG APLICACIÓN
[Link]
El topo lógico es un blog
desarrolló gran canti-
con suficientes recursos
n
dad de aplicaciones
para profundizar la re-
ió
móviles en el campo de
flexión filosófica sobre la ló-
la educación. Su princi-
gica y las matemáticas:
ac
pal misión es enrique-
[Link] cer o facilitar el proceso
de aprendizaje de los
iz
estudiantes, así como
al
convertirse en herra-
[Link]
ci
el cuerpo docente. Son
diversas las funciones
er
que cumplen estas apli-
caciones; algunas fue-
m
ron diseñadas para pro-
mover la lectura, otras
co
namiento lógico.
id
[Link]
oh
ARTÍCULO
://[Link]/OSkjxa
El pensamiento paralelo
https
Pr
36
eto
Descubrir las falacias en textos académicos y en los
medios masivos de información
n
ió
Vivimos sobreexpuestos a un excesivo
bombardeo de información de todo
ac
tipo, que por la rapidez con que se
nos presentan no somos capaces
de discernir, analizar, reflexionar, o
iz
interpretar.
al
Todo queda registrado en nuestro
inconsciente. Sin embargo, gracias a la
ci
filosofía (y a la lógica especialmente), er
tenemos a nuestro alcance una
herramienta perfecta para identificar
m
aquellos razonamientos engañosos
para no quedar atrapados en las redes
co
de la desinformación.
Este reto consiste en identificar, en al
menos cinco medios masivos impresos
su
• Escoge cinco medios de información las posibles motivaciones que tuvo medio o
digitales o impresos. Identifica al menos una el autor para utilizar falacias.
ib
falacias.
• Elabora un cuadro con dos columnas, en la
[Link]
Prohibida su reproducción
37
1
Resumen
Lógica aristotélica
n
ió
ac
Concepto Juicio Razonamiento Silogismo
iz
al
ci
Clasificación
Formas válidas Estructura
er
Elementos
Perfección
m
co
Exactitud
Falacias y paradojas
a
Definición Predicado
id
ib
Falacias formales
oh
Falacias informales
Pr
Prohibida su reproducción
38
Para finalizar
1. Lee y analiza el siguiente texto:
n
problema a esclarecer, sino una perplejidad frente a la recursividad del lenguaje y al
ió
principio de información faltante, un agujero en el centro de nuestra lógica. Por ello
la emancipación de la razón posmoderna requiere nuevas lógicas, polivalentes, de
ac
la vaguedad o paraconsistentes, para habérselas con los sistemas complejos y los
desafíos a la que nos enfrentan la física cuántica, retos que exigen nuevas discursivi-
dades, así como cartografías lo suficientemente plásticas para desplazarse en medio
iz
de un universo de espejos, cuerdas y agujeros negros. Así las paradojas pueden ser
al
pensadas como un inevitable «nudo gordiano cognitivo», imposible de desatar en las
condiciones y con los modos de pensar con que lo creamos, pero que se desvanece
ci
en otro espacio conceptual.
Adaptado de:
er
m
(2017). Lo que Alicia vio al otro lado del espejo; modelos para armar mundos. Paradojas y lógica paraconsis-
tente. Revista Observaciones filosóficas.
co
2. Responde:
su
• ¿En qué medida la paradoja pone en duda la capacidad de la razón y la lógica para
captar la realidad?
a
• Investiga sobre al menos dos fenómenos de la física cuántica que desafían a la lógica.
ib
• Elabora tu propia opinión crítica sobre los límites de la lógica para alcanzar un conoci-
oh
miento verdadero.
Pr
EVALUACIÓN
Prohibida su reproducción
n
ió
ac
iz
al
ci
er
m
co
su
a
id
ib
CONTENIDOS:
oh
1. Lógica simbólica
1.1. Características
Pr
40
Noticias:
[Link]
El desarrollo moderno de la lógica simbólica se
inició con el matemático inglés George Boole.
En 1847, publicó el panfleto Análisis matemático
de la lógica, en el que sostenía que la lógica
se debía aliar con la matemática en lugar
de la filosofía. Observando la relación entre
el razonamiento deductivo y los símbolos del
álgebra, ideó un lenguaje algebraico, con
tres operaciones básicas: Y, O y NO. Estas tres
funciones formaron la base de su premisa.
Eran, y siguen siendo, las únicas operaciones
necesarias para realizar comparaciones o
n
funciones matemáticas básicas.
ió
(2016). ¿Qué es la lógica simbólica? (adaptación). Lógica
simbólica. Extraído el 7 de julio de 2016 desde:
[Link]
ac
Películas:
En la película Una mente maravillosa se
presenta la biografía de John Forbes Nash, un
iz
genio matemático contemporáneo. Comienza
con sus estudios en Princeton y la génesis de
al
sus ideas principales, hasta conseguir una beca
de investigación. Ya instalado como profesor
ci
universitario, peculiar en sus clases, comienza
a tener alucinaciones vinculadas con la
criptografía en las tramas de espionaje de la
er Guerra Fría. En 1959 es diagnosticado como
esquizofrénico paranoico y llega a ser recluido
para recibir tratamientos de electroshock.
m
Asistimos a su sufrimiento personal y familiar,
así como a una lucha constante intentando
co
Web:
a
[Link]
En contexto:
oh
41
O ES RA
UP IÉN S BL DO
Y TAMB
REC RTA
TIC
LCULA
EN GR
CA
s://[Link]/Hce
http 9 JT
n
perfeccionamiento de la silogística, ya que crea medios e instru-
_____________________________
ió
mentos más rigurosos y adecuados para verificar la validez de los
_____________________________ argumentos.
ac
_____________________________
Características de la lógica simbólica
_____________________________
iz
• Formalización: En los signos del lenguaje podemos distinguir
_____________________________ tres dimensiones: la sintaxis que es la relación de un signo con
al
_____________________________ los demás signos del mismo sistema; la semántica, que es la
relación de un signo con su significado; y la pragmática, que
ci
_____________________________
es la relación de un signo con lo que el ser humano quiere
comunicar. Cuando a un lenguaje lo empleamos solo en su
_____________________________
er
aspecto sintáctico, prescindiendo de su dimensión semántica
_____________________________
y pragmática, obtenemos un lenguaje formalizado. Ejemplos
m
_____________________________ de este tipo de lenguaje los encontramos en matemática,
especialmente en álgebra. Una ecuación, por ejemplo, es
co
_____________________________
un lenguaje formalizado, pues prescinde de todo contenido
significativo y solo se atiene a unas reglas.
su
La proposición es un modelo de la
realidad tal como la pensamos.
debe ajustarse, podemos operar
id
proposición —tal como está impre- hacer con los signos, como la
sa en papel— sea una figura de la
transformación de expresiones
oh
42
O ES RA
UP IÉN S BL DO
Y TAMB
REC RTA
TIC
LCULA
EN GR
CA
ESUELVO INGENIO
YR MI
TRABAJO
ANALIZO
Analizo y resuelvo
La lógica simbólica, al igual
que la silogística, es formal; es
decir, no se centra en el con-
tenido de los términos o sen-
tencias, sino en la estructura
formal de las relaciones entre
n
los términos.
ió
XE 7p
ac
o.g
/go
________________________________
s:/
http
iz
________________________________
________________________________
al
________________________________
ci
• Axiomatización: A este respecto, escribe
er • En el primer nivel, el del plano de signos,
M. Sacristán: nos encontramos en el nivel básico del
m
El sistema axiomático es, desde los tiempos lenguaje.
co
los cuales se obtienen todas las demás ser humano como sujeto del juicio el
id
aceptadas sin demostración las llamamos nivel del metalenguaje, es decir, en este
axiomas o postulados. El conjunto de los segundo caso, ser humano es un signo
oh
axiomas, más la definición de enunciado o que representa a otro signo. Los signos
fórmula de sistema y el conjunto de reglas forman el lenguaje, también llamado
Pr
43
1.3. Conectores lógicos
En lógica simbólica las proposiciones atómicas no son afectadas por ningún conector y
son simbolizadas con las letras p, q, r… Los conectores lógicos son operadores que permiten
formar proposiciones compuestas a partir de estas proposiciones atómicas. A continuación,
un cuadro con los conectores, sus respectivos símbolos, esquemas y significados.
Conector
Operación lógica Esquema Significado
lógico símbolo
¬ Negación ¬p «no» p
n
^ Conjunción p^q p «y»q
ió
˅ Disyunción p˅q p «o»q
ac
Conjunción negativa p q «ni» p «ni»q
⊻ Disyunción exclusiva p⊻q o p o q , pero no ambas
iz
→ Condicional o implicación p → q si p entonces q
al
↔ Bicondicional p↔q p si solo si q
ci
Ejemplos
er
p: la ética es necesaria; ¬p: la ética no es necesaria.
m
p: La ética es necesaria; q: la ética es importante; p^q: la ética es necesaria e
importante.
co
sobre los conectores lógicos y su función en la las proposiciones atómicas. Estas expresiones
lógica simbólica. Puedes utilizar este enlace: tienen un comportamiento constante, son par-
tículas sintácticas o lógicas.
Pr
[Link]
________________________________________________
________________________________________________
________________________________________________
[Link] /WNj0gI
________________________________________________
.gl
________________________________________________
44
Mientras tanto en el mundo...
Los humanos y las máquinaS
[Link]
Desde la Antigüedad, los humanos han perseguido que las
máquinas les sustituyan en algunas de las tareas que les llevan
mucho tiempo y esfuerzo.
En el caso de tareas que involucran razonamiento, esto no es
n
una excepción. A lo largo del siglo pasado se acometió un pro-
ió
ceso sistemático de preparación de la sintaxis lógica de mane-
ra que pudiera ser tratada por una computadora.
ac
La reducción de los formatos de fórmulas a una forma normali-
zada y la reunión de las reglas de inferencia en un formato úni-
iz
co, llamado de resolución, permitió este proceso. Consecuen-
al
cia de ello fue la transformación de la lógica en un lenguaje
de programación y, por tanto, la involucración de la informáti-
ci
ca en la lógica.
er
El llamado lenguaje prólogo inauguró una era donde la re-
presentación del conocimiento en informática pasaba por
m
hacerlo con una lógica más eficaz conocida como lógica de
predicados. Pronto se observó que esta forma de trabajar era
co
U6
/29g
DL sistematiza las reglas correctas, usadas para re-
[Link] presentar y validar el conocimiento que se
bi /
p:/
Prohibida su reproducción
45
2. Lógica matemática
2.1 Cálculo de proposiciones
En lógica, el cálculo es un sistema de signos no interpre-
tados, esto significa que en un cálculo es posible realizar
operaciones sin saber qué significan los símbolos. En este
sentido, el cálculo difiere del lenguaje que es un sistema
de signos interpretados.
n
El cálculo de proposiciones consiste en pasar de una
ió
proposición a otra, generalmente más compleja, a partir
de una o más proposiciones no descompuestas en sus
ac
elementos y no interpretadas.
La lógica matemática representa las proposiciones me-
iz
diante letras. En el cálculo proporcional se busca su valor de
al
verdad, es decir, si es verdadero o falso. Estamos pues en una
lógica bivalente (se admiten dos valores: V = verdadero y
ci
F = falso). También hay lógicas polivalentes que tienen
varios valores de verdad. A la proposición verdadera o
er
falsa la simbolizamos con una sola letra: p, q, r…, etc.
m
Actividades
1. Explica por qué decimos que la lógica simbó- 4. Responde: ¿Cuál es la diferencia entre el cálcu-
co
_________________________________________________ _________________________________________________
su
_________________________________________________ _________________________________________________
_________________________________________________ _________________________________________________
_________________________________________________
bivalente y lógica polivalente?
2. Elabora dos ejemplos de lenguaje y dos
id
_________________________________________________ _________________________________________________
oh
_________________________________________________ _________________________________________________
_________________________________________________
a. El libro de Kant no es para principiantes. _____
3. Investiga cuáles son los principales filósofos
de la lógica simbólica. b. O logramos ganar el partido o nos vamos
Prohibida su reproducción
a la B. _____
_________________________________________________
c. El ingeniero acepta el contrato solo si le
_________________________________________________ pagan el anticipo. _____
d. El día está triste entonces está gris. _____
_________________________________________________
e. El espacio brindado es bueno solo si po-
_________________________________________________ nen un letrero. _____
46
2.2. Operaciones fundamentales
Las operaciones lógicas fundamentales son p q p˅q
aquellas mediante las cuales delimitamos
V V V
los alcances de un término así como su signi-
ficado, al emplear los conectores lógicos ya V F V
mencionados:
F V V
Negación: Es la operación lógica que, a par-
tir de una proposición dada, forma una nue- F F F
n
va proposición que niega a la inicial. Su sím-
ió
bolo es «¬p». La ley que define la negación
es: si p es verdadera, ¬p es falsa; y viceversa, Implicación: La expresamos en nuestro len-
ac
si p es falsa, ¬p es verdadera. A la tabla de guaje cotidiano por medio de las palabras
verdad de la negación la determinamos así: «Si…entonces…» y otras construcciones pare-
cidas, por ejemplo, «si hace sol, entonces ire-
iz
p ¬q mos al campo». El signo con que se simboli-
za es «→». Así «p→q» leemos: «p implica q».
al
V F En la implicación es muy necesario tener
ci
presente el orden en que aparecen las pro-
F V er posiciones. A la que precede el signo la lla-
mamos antecedente; y a la que sigue, pre-
Conjunción: Es la operación de unión de dos cedente. La tabla de verdad de la
proposiciones. En el lenguaje común la ex-
m
implicación es la siguiente:
presamos con la letra Y, cuyo símbolo lógi-
co es ^. Únicamente es verdadera esta ope-
co
p q p→q
ración cuando las proposiciones que la
forman son ambas verdaderas, y es falsa V V V
cuando una de ellas es falsa. Su tabla de
su
V F F
verdad es la siguiente:
F V V
p q p^q
a
F F V
V V V
id
47
Contradicción: Dos proposiciones son lógi-
Fuente primaria
[Link]
camente contradictorias cuando no pue-
den ser ni ambas verdaderas, ni ambas fal-
sas. Por ejemplo: O bien llueve o bien hace
frío y llueve si y solo si hace frío, porque si una
es verdadera, la otra es falsa y viceversa.
p ¬q p ^ ¬p
n
V F F
ió
F V F
ac
Ludwig Wittgenstein fue uno de los
filósofos que estableció el método
2.3. Las tablas de verdad de tablas de verdad para verificar
iz
el valor de verdad de los razona-
Las tablas de verdad son un método de mientos.
al
prueba del cálculo proposicional, se ba-
san en una concepción según la cual
ci
Trabajar en filosofía —como trabajar
el objetivo del cálculo es determinar las en arquitectura, en muchos senti-
condiciones necesarias y suficientes de la
er dos— es en realidad un trabajo sobre
uno mismo. Sobre la propia interpre-
verdad de una proposición o enunciado.
tación. Sobre el propio modo de ver
Cada renglón de la tabla que hace verda-
m
las cosas y lo que uno espera de ellas.
dero al enunciado en cuestión determina
una condición suficiente para su verdad. En
co
cada renglón, los valores asignados a cada Wittgenstein, L. (2007). Aforismos cultura y valor.
1.a ed. Madrid (España):
variable proposicional determinan una con- Espasa-Calpe.
dición necesaria del renglón. Pongamos un
su
Si no pasas la prueba,
estarás en graves problemas.
id
enlace: [Link]
Luego podemos formalizar como (-p)→q y,
por último, construimos su tabla: Responde: ¿Cuáles son los tipos
Pr
____________________________________________
V V V
____________________________________________
V F V
____________________________________________
F V V
____________________________________________
F F F
48
ZONA U2
Lógica moderna de clases
BLOG APLICACIÓN
n
encuentran problemas que pondrán Android desde la Play Store: [Link]
a prueba tu capacidad de razo-
ió
namiento para hallar soluciones a
situaciones que parecen ilógicas o
[Link]
ac
absurdas. Apunta al desarrollo del
pensamiento creativo y su solución
implica un mínimo de conocimiento
iz
y un máximo de raciocinio mental.
Para resolver estos tipos de proble-
al
mas debes sacar conclusiones con
solamente criterio lógico.
ci
er
[Link]
m
co
su
a
DOCUMENTAL
id
¿Qué rayos
ib
sabemos?
oh
da a comprender cómo se
da el entendimiento. Lo po-
drás ver en:
[Link]
[Link]
49
2.4. Tautologías, contradicciones y contingencias
Las tautologías son formas proposicionales que corresponden a proposiciones lógicamente
válidas que se repiten innecesariamente en un solo razonamiento.
Ejemplo: No es cierto que Pedro viajó a Perú, y no viajó a Perú.
D. Echave en su libro Lógica, proposición y norma, dice que:
n
No por ser vacías de contenido, las tautologías son inútiles: en mu-
ió
chos casos su verdad formal no es evidente, y se requiere un de-
tenido examen para advertirla. Además, si descubrimos que un
ac
enunciado encierra una tautología dejamos de inmediato de dis-
cutir sobre ella, perderemos interés en la averiguación de sus presu-
iz
puestos empíricos (ya que no los tiene) y —lo más importante— po-
dremos utilizarla como puente para razonamientos más complejos.
al
Por esto, la lógica trata muy especialmente sobre tautologías y, por
esto, empleamos hoy máquinas —las computadoras— que son for-
ci
midables constructoras de relaciones tautológicas: dados un pro-
grama y los datos con que se la alimenta, la máquina produce una
er
respuesta que resulta formalmente verdadera bajo condición de la
verdad de aquellas premisas.
m
co
Su tabla de verdad:
su
O ES RA
UP IÉN S BL DO
Y TAMB
REC RTA
TIC
LCULA
EN GR
y también:
O
oh
CA
50
Las contingencias son formas proposicionales que corresponden a proposiciones lógica-
mente indeterminadas, es decir, proposiciones que son verdaderas o falsas por razones
fácticas, pero no por su sola forma lógica. Por ejemplo, «¬p ∧ q» constituye una forma pro-
posicional contingente, puede ser verdadera o falsa, (combinación entre tautología y con-
tradicción) según los valores de las proposiciones que la integran. Ejemplo: Camus no nació
en Francia, pero Sartre sí nació en Francia. Su tabla de verdad:
n
V V V V V Busquen quince pares de
ió
proposiciones en los que
V V F V V se verifiquen las relaciones
ac
V F V V V lógicas estudiadas. Cinco
en los que se dé implica-
V F F F F ción, cinco en los que se
iz
dé equivalencia, y cinco
F V V V F
en los que se dé contradic-
al
F V F V F ción. Simbolicen las pro-
ci
posiciones y verifiquen por
F F V V er F tablas de verdad el cum-
plimiento de las relaciones.
F F F F F
m
V V V F F V F
F V V F F V V
V F F F V V F
F V F V V V V
51
Lecturas sobre el concepto
Desde la Historia de lógica matemática
El nacimiento de la lógica
propiamente dicho está «Nada impide, pues, utilizar los
3
dSI7
directamente relacionado símbolos de la lógica moderna
.gl/Z
con el nacimiento intelec- para expresar las relaciones de
o
://go
tual del ser humano. La
la lógica tradicional… Con ello
ht t p
lógica emerge como me-
canismo espontáneo en el no se perseguirá ciertamente
enfrentamiento del hombre el reemplazar el lenguaje, ex-
n
con la naturaleza, para com- presión directa del trabajo del
ió
prenderla y aprovecharla. Poncairé destaca cin- pensamiento, sustituyéndolo por un
co etapas o revoluciones en ese proceso que se
álgebra lógica que nos dispense del
ac
presentan entre dos grandes tópicos: del rigor y la
formalidad, a la creatividad y el caos. Las etapas pensar. De lo que se trataría sería de
se identifican como: revolución matemática, revo- facilitar la labor de la reflexión lógi-
iz
lución científica, revolución formal y revolución di- ca traduciendo proposiciones del
gital, además de la próxima y prevista revolución lenguaje en un sistema de signos
al
lógica.
técnicos más completos y precisos….
Adaptado de: La fructífera aplicación de Descartes
ci
(2017). Breve Historia de la Lógica. [Link]. Recupe- de métodos algebraicos al estudio
de la geometría realzó la reputación
er
rado el 7 de julio de 2016 desde: [Link]
de tales métodos y a algunos se les
ocurrió la idea de que el campo
m
RA
UP
O IÉN S BL
ES
DO
del razonamiento general, formal o
Y TAMB
REC RTA
TIC
LCULA
EN GR
TIC
O
rigor, sino también por su mayor riqueza lógica matemática otra lógica formal es
al permitir analizar adecuadamente un tratar de conservar artificialmente algo
Pr
cional y la lógica matemática no tienen res, tiene un contenido más noble que
nada irreconciliable; representan dos los descubrimientos hechos en nuestro
momentos de un mismo desarrollo. La tiempo. Y esto último es una aberración.
lógica matemática continúa una tra-
A. Moreno. (1967). ¿Qué es la lógica
dición que inauguró Aristóteles en mo-
matemática?
52
Ya en la lógica tradicional aristotélica hemos encon-
[Link]
trado la utilización de signos (en ese caso letras),
para reemplazar las proposiciones en su aspecto
meramente formal. Hemos visto como ciertas letras
(A-E-I-O) representaban los juicios según su cualidad
y cantidad.
Igualmente vimos que se utilizan ciertas combina-
ciones de letras para las distintas figuras y modos de
silogismo. En todos los casos, lo que se buscaba con
n
esa nomenclatura formalizada era a la vez volver
ió
más sencillos y más fácilmente intuibles y recordables
dichas figuras y modos. La lógica formalista contem-
ac
poránea ha logrado el reemplazo total de las formas
del lenguaje común por un sistema de signos... Pero
iz
lamentablemente no hay todavía unidad absoluta
con respecto a esos signos. Aunque en lo que están
al
de acuerdo es en la necesidad de formalización total
de esta disciplina, los signos utilizados por la nueva
ci
lógica según las escuelas y los distintos autores.
er
A. Castex. (1965) Curso de Filosofía.
m
Actividades
7. Define qué es en lógica el valor de verdad.
co
son válidos:
Si Bernardo fue a clase, se encontró con Cristina. Pero no se encontró con Cristina; por lo tanto,
Bernardo no fue a clase.
Prohibida su reproducción
53
eto
Dominar la simbología de las proposiciones
1. Establece la forma lógica a las siguientes proposiciones:
p: Estudio con conciencia.
n
q: Obtendré buenas calificaciones en Filosofía.
ió
r: Voy a hacer deporte todos los fines de semana
ac
s: Me sentiré con muchas ganas.
2. Escribe con palabras las siguientes proposiciones compuestas:
iz
r⇒s
al
q ⇔p
p⇒( q ∧ s)
ci
(¬ p ∧ r )⇒ ¬ q er
p⇒( q ∧r )
m
¬ ( q ∧r )
¬ ( p⇒r )
co
¬ p ⇒( – q ∧– r )
3. Elabora las tablas de la verdad de las siguientes
su
proposiciones:
p: Los bancos hipotecarios bajan al 6 % los
intereses de los préstamos.
a
casas y departamentos.
oh
TIC
Pr
[Link]
54
2
Resumen
n
Lógica moderna de clases
ió
ac
iz
al
ci
Lógica simbólica er Lógica matemática
m
Cálculo de
co
Operaciones
Formalización
fundamentales
a
conectores verdad
lógicos
ib
Simbolización
Tautologías,
oh
contradicciones
Axiomatización y contingencias
Pr
Prohibida su reproducción
55
Para finalizar
1. Determina la forma lógica de cada uno los siguientes razonamientos. Guíate por el
ejemplo:
n
Los días soleados son perfectos para ir a la playa, hoy no
ió
es un día soleado, hoy día no es perfecto para ir a la playa:
(p ^ ¬q) → ¬p.
ac
• No todos los filósofos fueron expresión de su tiempo, pero
iz
Sócrates fue filósofo y expresó su tiempo.
al
• Los filósofos son empiristas o racionalistas. Hume era filósofo
y no era racionalista, por lo tanto, Hume era un filósofo em-
ci
pirista. er
• Si algunos países americanos van a la guerra, Venezuela se
m
armará. Si Venezuela se arma, Colombia refuerza su fronte-
ra. No es cierto que ningún país americano va a la guerra.
co
filosofía.
oh
56
2. Responde las siguientes cuestiones.
n
enunciado (p v q), ¿qué valor de verdad tiene p?
ió
c. Si es falso el siguiente enunciado «p→q», ¿cuál de los dos términos p o q es
ac
falso?
iz
d. Si el enunciado p es falso, determina el grado de verdad del siguiente
razonamiento (-p)⇒q.
al
ci
3. Dada las siguientes formas lógicas, determina un ejemplo con razonamientos
de la vida cotidiana: er
• [ (p → q ) ∧ ¬q] → ¬q
m
• (p→ (q∧¬p) →¬p
co
• (p∧q) →¬q
su
• (p v q) ∧ (p∧q)
• (¬p→q) → (q v p)
id
ib
oh
Pr
EVALUACIÓN
Prohibida su reproducción
Existe un conocimiento inmediato de la verdad como es, nos permite aprehender al ser que es
que se destaca por encima del proceso devenir, duración, por lo que solo la intuición por
cognoscitivo de la conceptualización, el lenguaje, aprehensión inmediata es capaz de captar.
la interpretación, la correspondencia, perspectiva Según Bergson, la intuición es una conciencia
n
o juego de poder. A este conocimiento se lo llama inmediata, «el instinto desinteresado y consciente
ió
intuitivo, es decir, se trata de un conocimiento de sí mismo». Es la percepción directa de la
inmediato. realidad; por lo tanto, no requiere de un lenguaje
ac
La intuición nos permite aprehender el objeto tal o una conceptualización, aunque Bergson no
como es. Por ejemplo, los principios lógicos se nos niega la necesidad de estos elementos para el
presentan intuitivamente en nuestro conocimiento conocimiento filosófico.
iz
sin mediación entre el objeto y sujeto. Por otro lado, afirma el filósofo francés, el
Estos principios llegan a nuestra mente gracias pensamiento conceptual es incapaz de captar
al
a la intuición. Henry Bergson, filósofo francés del la realidad en sí tal como lo hace la intuición,
siglo XX, desarrolla en su pensamiento filosófico mientras debemos reconocer la intuición como
ci
el conocimiento intuitivo y afirma que, gracias a er una función de nuestras capacidades cognitivas
la intuición, podemos aprehender la realidad tal que funciona callando la mente y dejando que
como es. esa «corazonada» sobre cualquier asunto se
presente como una visión, como una imagen
m
Según Bergson penetramos en el interior de la vida
con la intuición, esta es la clave de la metafísica directa, que sabemos que es certera.
puesto que nos permite conocer la realidad tal
co
En acción
su
Trabajo cooperativo
1. Investiga en Internet algunos de los princi- Hagan una exposición sobre el intuicionismo
pales aportes científicos a los que sus auto- siguiendo estos pasos:
a
____________________________________________________ tegrantes.
____________________________________________________
c. Preparen presentaciones en Prezi para proyec-
oh
____________________________________________________
tarlas como material de apoyo.
____________________________________________________
____________________________________________________ d. Utilicen este enlace a un tutorial para diseñar
Pr