Documentos de Académico
Documentos de Profesional
Documentos de Cultura
diferentes modalidades del pensamiento con el objetivo de que sea capaz de reconocer
diferentes menciones.
busca incentivar a los estudiantes a realizar ejercicios dentro del salón de clases que
lógica.
lógica tradicional.
educador.
METODOLOGÍA:
El proceso para la realización de este curso tendrá como fundamento los siguientes
factores:
EVALUACIÓN:
2
ULA - MÉRIDA
Lógica
Programa de Lógica
Unidad Objetivo Temas Evaluación
1. ¿Qué es la lógica?
1.1. Distintas
definiciones de lógica a
Adentrar a los lo largo de la historia
I. Introducción a la estudiantes en los (Pensadores). Exposición
lógica conocimientos más 1.2. Estructura de la
generales que lógica.
componen la lógica. 1.3. Reglas de la lógica
2. Tipos de oraciones.
2.1. Oraciones simples.
2.2. Oraciones
compuestas.
3. Argumentos
Examinar los proposicionales.
II. Lógica Tradicional postulados de la vida 3.1. Argumentos
cotidiana mediante la deductivos. Taller I
implementación de la 3.2. Argumentos
lógica tradicional. inductivos.
3.3. Verdad y Validez
3
ULA - MÉRIDA
Lógica
9. Operadores lógicos.
10. Tablas de verdad.
4
ULA - MÉRIDA
Lógica
UNIDAD I.
INTRODUCCIÓN A LA LÓGICA
1. ¿Qué es la lógica?
que estudia las reglas y los principios del razonamiento. Por su peculiar cometido, la
necesario control de calidad que la inteligencia ejerce sobre sí misma. A través de ella,
- Aristóteles:
define la lógica como todo aquello que se desprende de las premisas y proporciona la
conclusión.
- Escuela Megárico-Estoica:
5
ULA - MÉRIDA
Lógica
- Descartes:
- Hegel:
Para él, la lógica “es la ciencia de la idea pura, de la idea en el elemento abstracto
del pensamiento.”
- Husserl:
solamente de los métodos del saber que se presentan en las ciencias, sino de aquellas
- Conceptos:
Un concepto es una imagen mental de una esencia. Podemos tener, por ejemplo,
la totalidad, de la unidad.
6
ULA - MÉRIDA
Lógica
Ejemplo:
- Juicios:
El juicio lo podemos representar por dos círculos, en donde cada uno de ellos
simboliza un concepto.
Triángulo Cuadrado
7
ULA - MÉRIDA
Lógica
- Razonamientos:
entre dos o más hechos. Un razonamiento es la comparación entre dos o más juicios lo
cual da como resultado un tercer juicio llamado conclusión, es decir, premisa más
Ejemplo:
Hoy es domingo
Estructura de la Lógica
8
ULA - MÉRIDA
Lógica
b. Principio de Contradicción: Una cosa no puede ser y no ser a la vez y bajo el mismo
aspecto.
c. Principio del Tercero Excluido: Entre dos cosas contradictorias no cabe término
medio.
2. Tipos de Oración
en general, un acto ilocutivo que incluya algún tipo de predicación. Los tipos de
Las oraciones simples son las que constan de sujeto y predicado, y se refieren a
una sola acción o descripción. El sujeto es simple, y el predicado describe una acción o
Ejemplos:
9
ULA - MÉRIDA
Lógica
Oraciones Compuestas por Yuxtaposición: Son las que tienen una relación en su
de puntuación.
Jorge viene mañana, Alberto llega hoy, Miguel está desde ayer.
10
ULA - MÉRIDA
Lógica
3. Argumentos Proposicionales
verdadera debido a que las otras frases no suministran evidencias suficientes para
afirmarlo. La frase que es afirmada, en virtud de las otras, se llama conclusión, y las
llaman premisas. A estas frases que tienen sentido y de las cuales puede decirse que
Ejemplo:
a. Si las almas son entes que pueden recordar y existen antes de estar encarnadas
cuerpo.
c. Por lo tanto, las almas no son entes que pueden recordar ni existen antes de
tenemos que afirmar que la proposición “c” también lo es sin objeción. Pero alguien
11
ULA - MÉRIDA
Lógica
aquello que tal vez nos gustaría que fuera de otra manera.
virtud de la cual se afirma que es verdadera la proposición 3. No hay aquí nada que
discutir; si son verdaderas las premisas, necesariamente tiene que ser verdadera la
conclusión.
Por ejemplo: 1. Solo hemos encontrado vida en la Tierra, donde hay agua; 2. No
puede llevar a creer que la conclusión, la frase 3, es verdadera. Sin embargo, aunque
asumiéramos que las proposiciones 1 y 2 son verdaderas, aún podría haber vida en
12
ULA - MÉRIDA
Lógica
Marte, pues, por un lado, el hecho de que en la Tierra sólo hayamos encontrado vida
donde hay agua no es razón suficiente para afirmar que sólo existe vida donde hay
agua. Por otro lado, el hecho de que no hayamos encontrado indicios de agua en Marte
no implica necesariamente que no la haya. Por ello resulta apropiado haber usado la
expresión “improbable”, en vez de la expresión “imposible”, pues hasta ese punto nos
indica que, si fueran verdaderas las premisas, la conclusión debería serlo también. Ello
no significa que las premisas realmente son verdaderas; de tal manera que un
argumento puede ser válido aunque tenga premisas y una conclusión que sabemos
falsas, pues la validez sólo nos habla de una relación entre las proposiciones, y no de
si esas frases corresponden a algo real, que es lo que aludimos cuando calificamos a
Hay casos en los que podemos suponer qué pasaría si esas premisas fueran
13
ULA - MÉRIDA
Lógica
No creemos que sea verdadera la proposición “a”, pero si lo fuera ¿debería ser
4. PARADOJAS SEMÁNTICAS
El interés de los lógicos modernos por los problemas del lenguaje se acentúa con
14
ULA - MÉRIDA
Lógica
Se dice que todos los hombres de Creta son mentirosos, no hay un solo cretense que
pronuncie una sola verdad. Ahora bien, Epiménides, que es un cretense dice: “Todos
Ahora se pregunta: ¿lo afirmado por Epiménides, o sea, “Todos los cretenses son
Veamos:
Si decimos que es verdadero, entonces, todo lo dicho por los cretenses, incluso lo
dicho por Epiménides es falso; por lo tanto “todos los cretenses son mentirosos” dicho
verdad, entonces miente. Por otra parte, si decimos que lo afirmado por Epiménides es
falso, entonces lo dicho por los cretenses es verdadero, incluso lo dicho por
Epiménides. Luego, lo dicho por Epiménides, es verdadero por ser falso. Como se
paradojas semánticas.
Estas paradojas, que vistas superficialmente parecen un juego, son, sin embargo,
graves dificultades que amenazan los mismos fundamentos del razonar correcto, y, por
lo tanto, de la lógica, y que han obligado a los lógicos a realizar un estudio profundo del
lenguaje que les permita dar una explicación satisfactorias de las mismas.
15
ULA - MÉRIDA
Lógica
lenguaje. Veamos que quiere decir esto. A veces empleamos un lenguaje para explicar
que significa la frase anglosajona: “With this sign in your shields, you´ll win the war”, la
investiga el inglés. Hay pues, un lenguaje que es explicado y otro lenguaje con el cual
se explica ese lenguaje. Pues bien, el lenguaje que es “objeto” de mi explicación al cual
interesa en este caso. Sirvámonos del siguiente ejemplo: «Un profesor, escribe en la
profesor empieza a explicar lo que significa esa oración, y entre otras cosas dice: “Por
desarrollados. Dependientes quiere decir, que estos países están dominados… etc.”»
explicable (primer nivel): “la oración escrita en el pizarrón”, y hay un lenguaje con el
cual se explica el lenguaje anterior (segundo nivel): “las palabras empleadas por el
16
ULA - MÉRIDA
Lógica
Lenguaje Objeto siempre hay otro lenguaje (Metalenguaje) que lo explique o investigue,
y en ese caso nunca se puede dar el uno sin el otro. Para finalizar, debemos hacer
Esto tiene lugar cuando se emplea un nuevo nivel (tercer nivel) para referirse, explicar
o investigar el Metalenguaje.
6. USO Y MENCIÓN
Muy relacionado con el lenguaje objeto y el metalenguaje está la teoría del Uso y
Mención de las palabras. Esta teoría hunde sus raíces en la Edad Media. Los filósofos
formal. Esta teoría cayó en desuso siglo después hasta que fue redescubierta por la
lógica simbólica a partir del siglo pasado. A lo que los filósofos del Medioevo llamaban
tiene tres sílabas”, la palabra “Caracas” está empleada de manera muy distinta. En la
17
ULA - MÉRIDA
Lógica
último caso “Caracas” es una palabra de otra palabra. (A esta distinta manera de
palabra Caracas se dice que está mencionada. La palabra que está mencionada se
suele escribir comillas simples, mientras que la palabra que esta usada se escribe
primera aparición de la palabra Venus se refiere al planeta Venus, y, por lo tanto, está
está mencionada, puesto que se refiere a la palabra “Venus”, y, por eso, aparece
señalar la diferencia entre una palabra usada y una palabra mencionada, es suficiente
18
ULA - MÉRIDA
Lógica
pues está mencionada. Un último ejemplo: «Algunos escriben mal “prohibir”». Aquí la
por lo tanto, mencionada, y por eso aparece en el ejemplo entre comillas simples.
7. FALACIAS
como la “falacia” de creer que todos los hombres son honestos. Pero los lógicos usan
argumentación.
psicológicamente persuasivos.
Por lo tanto definimos falacia como una forma de razonamiento que parece
19
ULA - MÉRIDA
Lógica
atinencia1 es que sus premisas carecen de atinencia lógica con respecto a sus
racionales.
amenaza de los métodos de “mano fuerte” para doblegar a los opositores políticos
racionales de intimidación puede ser, naturalmente, más sutil que el uso abierto o la
1
Excepto para la falacia de petitio principii o petición de principio.
20
ULA - MÉRIDA
Lógica
se afirma, se ataca al hombre que hace la afirmación. Así, por ejemplo, podría argüirse
Argüir que una proposición es mala o una afirmación falsa porque es propuesta o
(ofensivo).
persona y las circunstancias que la rodean. En una discusión entre dos personas, una
Por ejemplo, si uno de los contendientes es un sacerdote, el otro puede argüir que
debe aceptar una determinada aserción porque su negación es incompatible con las
Escrituras. Esto no es demostrar su verdad, sino argüir su aceptación por ese individuo
filiación religiosa.
21
ULA - MÉRIDA
Lógica
porque nadie ha podido demostrar nunca que no los hay. Se comete esta falacia
verdad.
señalar que existe un contexto especial en el cual no lo es, a saber, la Corte de justicia.
veredicto de inocencia.
los hechos que atañen al caso y trata de lograr la absolución de su cliente despertando
caso del joven que fue juzgado por un crimen particularmente brutal, el asesinato de su
22
ULA - MÉRIDA
Lógica
“al pueblo” o “a la galería” con el fin de ganar su asentimiento para una conclusión que
gente por las personas famosas, para ganar asentimiento a una conclusión. Este
Pero, cuando se apela a una autoridad en cuestiones que están fuera del ámbito
discusión sobre religión uno de los antagonistas apela a las opiniones de Darwin, una
gran autoridad en biología, esa apelación es falaz. De igual modo, apelar a las
opiniones de un gran físico como Einstein para dirimir una discusión sobre política o
23
ULA - MÉRIDA
Lógica
h. Falacia de Accidente
Esta falacia consiste en aplicar una regla general a un caso particular cuyas
República, encuentra una excepción a la regla general de que uno debe pagar sus
armas para que se las tenga, y me las pide cuando no está en su sano juicio; ¿debo
devolvérselas? Nadie dirá que debo hacerlo o que yo obraría bien al hacerlo…” Lo que
es verdad “en general” puede no serlo universalmente y sin reservas, porque las
excepciones son formuladas sin reserva, o bien porque no se conocen las condiciones
que las hacen inaplicables surgen tan raramente que son despreciables. Cuando se
prestar atención sólo a algunos de ellos. Pero los casos examinados deben ser típicos,
accidente inverso.
24
ULA - MÉRIDA
Lógica
médico para aliviar los dolores de quienes están gravemente enfermos, podemos llegar
efecto del alcohol sólo sobre los que abusan de él, podemos concluir que todos los
licores son dañinos y requerir que su venta y su uso sean prohibidos por la ley. Tal
generalización apresurada.
j. La causa falsa
maneras en el pasado y ha recibido distintos nombres latinos, tales como non causa
pro causa y post hoc ergo propter hoc. El primero de éstos es más general e indica el
error de tomar como causa de un efecto algo que no es su causa real. El segundo
25
ULA - MÉRIDA
Lógica
palabras como premisa y como conclusión, el error será tan manifiesto que no
engañara a nadie.
para oscurecer el hecho de que una y la misma proposición aparece como premisa y
Whately: “Conceder a todo hombre ilimitada libertad de expresión debe ser siempre, en
conjunto, ventajoso para el Estado; pues es sumamente benéfico para los intereses de
la comunidad que todo individuo goce de una posibilidad, absolutamente sin trabas, de
l. La pregunta compleja
abandonado usted sus malo hábitos?”, o “¿Ha dejado usted de pegarle a su mujer?” No
son preguntas simples, a las que sea posible responder con un directo “si” o “no”. Las
preguntas de este tipo suponen que se ha dado ya una respuesta definitiva a una
pregunta anterior, , que ni siquiera ha sido formulada. Así, la primera, supone que se ha
pregunta no formulada. Una pregunta de este tipo no admite un simple “si” o “no” como
26
ULA - MÉRIDA
Lógica
respuesta, porque no es una pregunta simple o única, sino una pregunta compleja, en
supone dirigido a establecer una conclusión particular es probado para usar una
conclusión diferente. Por ejemplo, cuando se halla bajo consideración una propuesta
para hablar a favor de la ley y argumentar que todo el mundo debe tener viviendas
cuyos significados oscilan y cambian de manera más o menos sutil en el curso del
a. El Equívoco
equívoco. La mayoría de las palabras tienen más de un significado literal; por ejemplo
27
ULA - MÉRIDA
Lógica
confundimos los diferentes significados que puede tener una palabra o frase y la
usamos dentro del mismo contexto con distintos sentidos sin darnos cuenta de ello,
la palabra “fin”. Esta puede significar “objetivo” o “último acontecimiento”. Por supuesto
que ambos significados son legítimos, pero lo que es ilegítimo es confundirlos, como en
el razonamiento mencionado.
diferentemente en cada una de ellas en esta forma: “El objetivo de una cosa es su
premisa poco verosímil “el último acontecimiento de una cosa es su perfección” o bien
28
ULA - MÉRIDA
Lógica
b. La Anfibología
expendía en los oráculos de la antigüedad. Creso, rey de Lidia, planeaba una guerra
Delfos sobre la cuestión, recibió la siguiente respuesta: “Si Creso emprende la guerra
Encantado con esta predicción, de la que infirió que destruiría al poderoso reino
de Persia, Creso inició la guerra y fue rápidamente derrotado por Ciro, rey de los
persas. Como éste le perdono la vida, Creso después escribió al oráculo una carta en
29
ULA - MÉRIDA
Lógica
c. El Énfasis
según las diferentes palabras que se subrayen. Considérese, por ejemplo, los
diferentes significados que resultan de la siguiente prohibición, según cuales sean las
mal de cualquiera que no sea nuestro amigo, entonces esta conclusión deriva de la
premisa solamente si ésta tiene el significado que adquiere cuando se subrayan las dos
últimas palabras. Pero, en este caso, ya no es aceptable como ley moral, tiene un
significado diferente y es, de hecho, una premisa diferente. Este razonamiento sería
d. La composición
inválidos íntimamente relacionados entre sí. El primero puede describirse como llevar el
30
ULA - MÉRIDA
Lógica
propiedades del todo mismo. Un ejemplo muy evidente de esta falacia consistiría en
argüir que, dado que todas las partes de una cierta máquina son livianas de peso, la
que una máquina muy pesada puede estar compuesta por un gran número de partes
livianas.
pasar a las propiedades poseídas por la colección o la totalidad de esos elementos. Por
ejemplo, sería falaz argüir, que puesto que un ómnibus gasta más nafta que un
automóvil, todos los ómnibus gastan más nafta que todos los automóviles. Esta versión
e. La división
división consiste en argumentar falazmente que lo que es cierto de un todo, debe serlo
también de cada una de sus partes. Sostener que, puesto que una sociedad comercial
es muy importante y el señor Pérez es funcionario de esta sociedad, por tanto el señor
31
ULA - MÉRIDA
Lógica
una colección de elementos las propiedades de los elementos mismos. Argüir que,
odontología y arquitectura, por lo tanto cada uno de ellos, o algunos de ellos, estudian
de falacia de división.
8. MATEMATIZACIÓN DE LA LÓGICA
La lógica formal nació, hace aproximadamente dos mil quinientos años, con el
filósofo griego Aristóteles. Desde entonces hasta el siglo XIX no experimentó ningún
la misma a la precisión del método propio de las matemáticas. En este sentido se dice
representándolas por las letras A, B, C, D, etc., pero no simbolizó las constantes, como
“todo”, “si-entonces”, “algunos”, etc. Esto se va a lograr en el año 1847 por el lógico
inglés Boole. Este logro constituye la clave del desarrollo de la lógica formal que, desde
lógica moderna. Por ejemplo, desde la antigua Grecia existía el siguiente esquema de
razonamiento:
32
ULA - MÉRIDA
Lógica
entonces…” por una especie de herradura “ᴝ”; la partícula “no” con el símbolo “~”; la
partícula “por tanto” por el símbolo “Ͱ”, y la “y” la sustituimos por una coma “,”; el
A ᴝ B, ~ B Ͱ ~ A
razonamiento.
lógica permite: estudiar sus estructuras con la misma objetividad y exactitud que la
La lógica que estudio Aristóteles (s. IV a.C) hasta G. Boole (s. XIX d.C) recibe el
33
ULA - MÉRIDA
Lógica
realizar. Sin embargo a pesar de las diferencias anotadas entre ambas lógicas, la
mayoría de las lógicas modernas consideran que la lógica simbólica se sitúa en una
9. Operadores lógicos
la capital del Estado Mérida y forma parte de los Andes venezolanos” es una
conjunción.
Si sustituimos “Mérida es la capital del Estado Mérida” por “p”, “forma parte de los
Andes venezolanos” por “q” y el conectivo “y” por el conjuntor “ʌ”, la forma
proposicional es:
pʌq
34
ULA - MÉRIDA
Lógica
disyunción.
nació en Caracas” por “q”, y el conectivo “o” por la disyunción “v”. Esto se simboliza de
la siguiente manera:
pvq
manera que la primera está precedida por el condicional “si” y la segunda por la palabra
“entonces” se llama implicación. Por ejemplo, la proposición “Si se logra castigar a los
anterior implicación “p” representa “se logra castigar a los corruptos” y “q” “se fortalece
pᴝq
35
ULA - MÉRIDA
Lógica
ejemplo la proposición: “La matemática es una ciencia formal, si, y sólo si opera con
formal” por “p”, “opera con formas” por “q” y el conectivo “si, y sólo si” por el conectivo
p≡q
~p
36
ULA - MÉRIDA
Lógica
Cuadro Resumen
truena
sol
entonces
truena
sólo si truena
- Conjunción
verdadera es que ambas sean verdaderas. Esto se muestra así en una tabla de verdad:
37
ULA - MÉRIDA
Lógica
p ʌ q
v v v
v f f
f f v
f f f
- Disyunción
p v q
v v v
v v f
f v v
f f f
- Implicación
p ᴝ q
v v v
v v f
38
ULA - MÉRIDA
Lógica
f f v
f v f
- Equivalencia
p ≡ q
v v v
v f f
f f v
f v f
39
ULA - MÉRIDA
Lógica
REFERENCIAS BIBLIOGRÁFICAS
40