Compendio

de lgica

Pedro Chvez Caldern

PRIMERA EDICIN EBOOK

Mxico, 2014

GRUPO EDITORIAL PATRIA

Para establecer
comunicacin con
nosotros puede
Grupo Editorial Patria
utilizar estos
medios: Divisin Bachillerato, Universitario y Profesional

correo:
Direccin editorial: Javier Enrique Callejas
Coordinacin editorial: Ma. del Carmen Paniagua Gmez
Supervisin de produccin: Gerardo Briones Gonzlez
Renacimiento 180,
Col. San Juan Tlihuaca, Revisin tcnica: Javier A. Surez Ruiz
Azcapotzalco, 02400,
Mxico, D.F.
Diseo de interiores y portada: Juan Bernardo Rosado Sols
Diagramacin: Jorge A. Martnez Jimnez/Gustavo Vargas Martnez
Ilustraciones y fotografa: Thinkstock, Jos Contreras Zemat, Jorge Gonzlez Rodrguez,
Perla Alejandra Lpez Romo, Gerardo Daz
e-Mail:

info@editorialpatria.com.mx
Compendio de lgica
Serie Bachiller

Fax pedidos: Derechos reservados:

2014, Pedro Chvez Caldern
2014, GRUPO EDITORIAL PATRIA, S.A. DE C. V.
Renacimiento 180, Col. San Juan Tlihuaca
Del. Azcapotzalco, Cdigo Postal 02400, Mxico, D. F.
(0155) 5354 9109
5354 9102 Miembro de la Cmara Nacional de la Industria Editorial Mexicana
Registro nm. 43

ISBN ebook: 978-607-438-961-6

sitio web:

Queda prohibida la reproduccin o transmisin total o parcial del contenido de la presente obra en cualesquiera formas,
www.editorialpatria.com.mx sean electrnicas o mecnicas, sin el consentimiento previo y por escrito del editor.

Impreso en Mxico Printed in Mexico

telfono:

Primera edicin ebook: 2014

53 54 91 02

iv
PRLOGO

Qu es el hombre?
En sus obras El Discurso del mtodo y Meditaciones metafsicas, Ren Descartes mencio-
na que:

En lo que toca a la razn o al sentido (comn), siendo, como es, la nica cosa que
nos hace hombres y nos distingue de los animales, quiero creer que est entera en
cada uno de nosotros
Qu soy pues? Una cosa que piensa. Qu es una cosa que piensa? Es una cosa
que duda, entiende, concibe, afirma, niega

Hemos iniciado este proemio con los textos de Ren Descartes para, de inmediato,
poner de relieve la importancia de aquello que ser el tema de estudio, a saber,
los pensamientos como producto especfico de la esencia misma del hombre.

El razonar y su correccin
Todos los seres humanos estamos dotados de razn, la cual nos permite tener pen-
samientos en cualquiera de sus formas; es decir, podemos:

1. adquirir conceptos acerca de la realidad.

2. formular proposiciones (afirmaciones) acerca de lo que nos rodea.
3. inferir conclusiones partiendo de los datos adquiridos, o sea, construir razona-
mientos.

Sin embargo, no debemos confundir entre:

1. el hecho de que por naturaleza estamos capacitados para producir pensamien-

tos, y
2. el tener conciencia de la estructura lgica de dichos pensamientos, de manera
que podamos reconocerlos como correctos o incorrectos.

De estas dos actividades, la primera se desarrolla mediante la simple lgica natural,

mientras que la segunda requiere reflexin y estudio.

La lgica: su objeto y su actitud

La lgica como ciencia, esto es, la disciplina que aqu estudiaremos, se ocupa de la
segunda actividad mencionada.
La lgica no estudiar el contenido de tal o cual pensamiento, es decir, no se preocu-
pa por aquello a lo que se refieren los pensamientos; sino que exclusivamente se

v
Grupo Editorial Patria
COMPENDIO DE LGICA
interesa por este problema: el pensamiento x (cualquier pensamiento) es correcto
o incorrecto?, es vlido o invlido?

De lo anterior se deriva la utilidad general de la lgica porque:

1. nadie, que est cuerdo, podr afirmar que en nada le afecta el hecho de que sus
pensamientos sean correctos o incorrectos.
2. las definiciones o eficiencias que haya en los razonamientos de un gobernante o
burcrata, dirigente o guerrero, obrero o profesionista, se traducirn respectiva-
mente en perjuicios o beneficios para las personas que con ellos se relacionen.

Terminaremos este prlogo con una frase que se encuentra en las conversaciones
de Epicteto:

La lgica es tan necesaria que si nos apartamos de ella ni siquiera podemos llegar
a saber si es necesaria o no.

vi
CONTENIDO

Unidad 1 Introduccin 1
1.1 Concepto de lgica formal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
La palabra lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
La palabra filosofa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Filosofa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Conceptos de filosofa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Concepto general y caractersticas de la filosofa . . . . . . . . . . . . . . . . . . . . 3
Concepto y clases de problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Forma, correccin y verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Objeto de estudio de la lgica . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Factores del conocimiento y del pensamiento,
su forma y contenido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Descripcin del conocimiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Pensamiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Relaciones y diferencias de la lgica y las dems disciplinas . . . . 11
Naturaleza de la lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Fundacin y renovacin de la lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 Importancia de la lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7 Principios lgicos supremos: identidad, no contradiccin,
tercero excluido y razn suficiente. . . . . . . . . . . . . . . . . . . . . . . . 14
Los principios lgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Principio de identidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Principio de no contradiccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Principio de tercero excluido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Principio de razn suficiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
vii
Grupo Editorial Patria
COMPENDIO DE LGICA

Unidad 2 El concepto 23
2.1 Antecedentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Importancia de la teora de clases en lgica . . . . . . . . . . . . . . . . . . . . . . . . 24

2.2 Clases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Clases e individuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Smbolos de clase, individuo o pertenencia. . . . . . . . . . . . . . . . . . . . . . . . . 25
Dos mtodos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Especies de clases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Diagrama de clases. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Diagrama con un crculo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Diagrama con dos crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Diagrama con tres crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

2.3 Operaciones y relaciones entre clases . . . . . . . . . . . . . . . . . . . . . 29

Operacin entre clases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Interseccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Complemento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Relaciones entre clases. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

2.4 Concepto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Importancia de los conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Concepto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2.5 Propiedades del concepto: extensin y comprensin

o contenido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Variacin inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.6 Distinciones entre imagen y concepto . . . . . . . . . . . . . . . . . . . . . 33

Aclaraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

2.7 Clasificacin de los conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

Subordinados y coordinados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Individuales y generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Contrarios y contradictorios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
La contradictio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

2.8 Predicables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
viii
 CONTENIDO

2.9 Conceptos de amplia extensin . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Las categoras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2.10 Trmino . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Diagramacin de trminos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Clases de trminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Signo lingstico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.11 Operaciones entre conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . 41

Definicin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Clases de definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Elementos de la divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Clasificacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Reglas de la clasificacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Particin tradicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Particin moderna. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Explicacin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

Unidad 3 Proposicin 53
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Lgica y qumica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Comparacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Lenguaje proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

3.1 Funciones del lenguaje. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

Enunciado y proposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Elementos y formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Relacin entre sujeto y predicado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

3.2 Clasificacin de las proposiciones . . . . . . . . . . . . . . . . . . . . . . . . 59

Cantidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Cualidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
ix
Grupo Editorial Patria
COMPENDIO DE LGICA
Relacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Modalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Relacin entre el predicado y la comprensin del sujeto . . . . . . . . . . . . . . 60
Origen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Tipo de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Componentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

3.3 Diagramas y smbolos de las proposiciones . . . . . . . . . . . . . . . . 62

Proposiciones tpicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Diagramas de las proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Diagrama de la proposicin universal afirmativa . . . . . . . . . . . . . . . . . . . . . 63
Diagrama de la proposicin universal negativa . . . . . . . . . . . . . . . . . . . . . . 64
Diagrama de la proposicin particular afirmativa . . . . . . . . . . . . . . . . . . . . 64
Diagrama de la proposicin particular negativa . . . . . . . . . . . . . . . . . . . . . 65
Smbolos o frmulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

3.4 Relaciones lgicas entre las proposiciones . . . . . . . . . . . . . . . . . 65

Trminos de la proposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Distribucin de los trminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Reglas que nos permiten conocer si un trmino est o no distribuido . . . 66
Relaciones lgicas entre dos proposiciones . . . . . . . . . . . . . . . . . . . . . . . . 66
El cuadrado tradicional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Transformacin de las proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

Unidad 4 Razonamientos 85
Delimitacin del tema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Dos tareas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

4.1 Caractersticas del razonamiento . . . . . . . . . . . . . . . . . . . . . . . . . 87

Razonamiento y argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
Premisas y conclusin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
Consecuencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Forma y contenido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
x
 CONTENIDO

Verdad y validez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Reconocimiento de premisas y conclusin. . . . . . . . . . . . . . . . . . . . . . . . . . 89

4.2 Clases de razonamiento o inferencias mediatas . . . . . . . . . . . . . 90

Clasificacin principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Razonamientos categricos, hipotticos y disyuntivos . . . . . . . . . . . . . . . . 93
Inferencias inmediatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

Silogismo 101
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

5.1 Silogismo categrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Trminos y premisas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Cuasi-silogismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

5.2 Forma y validez. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

Las figuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Modos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Forma del silogismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Modos vlidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108

5.3 Axiomas y teoremas del silogismo . . . . . . . . . . . . . . . . . . . . . . . . 108

Mtodo de los axiomas y teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Principio general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Distribucin y cualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Teoremas generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Prueba del teorema general (1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Teoremas especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Aplicacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

5.4 Analoga lgica y reduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

Analoga lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Aplicacin del dictum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
xi
Grupo Editorial Patria
COMPENDIO DE LGICA
Reduccin directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Reduccin indirecta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116

5.5 Demostracin de validez mediante diagramas de Venn . . . . . . . 117

Diagramas de dos proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
Diagrama conjunto de tres proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Comprobacin de validez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

5.6 Formas especiales de silogismo . . . . . . . . . . . . . . . . . . . . . . . . . . 120

Epiquerema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Entimema. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Polisilogismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Sorites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
Dilema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

Unidad 6 Falacias y paradojas 131

Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
El hombre y la horca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Solucin de un problema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Problemas aparentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Profeca de Frege . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

6.1 Uso y formas del lenguaje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

Lenguaje y sus mltiples usos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Usos principales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Funcin mltiple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Funcin y forma. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Lgica y lenguaje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

6.2 Falacias y sofismas (nociones) . . . . . . . . . . . . . . . . . . . . . . . . . . . 136

Concepto de falacia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Paralogismo y sofismas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
xii
 CONTENIDO

Falacias formales y no formales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

Falacias no formales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Cmo evitar las falacias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141

6.3 Paradojas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141

Concepto de paradoja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Paradojas notables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
Recursos de solucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
Solucin de las paradojas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
El problema del hombre y la horca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
Advertencia final . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147

Unidad 7 Lgica simblica 151

Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
Representantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
Clculo lgico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
Objeto de estudio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153

7.1 Smbolos de la lgica proposicional. . . . . . . . . . . . . . . . . . . . . . . 153

Los enunciados y los conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154

7.2 Tablas de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156

Valores de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Enunciados extensionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Definicin de conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156

7.3 Mtodos de demostracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160

Tautologas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
Condicionales tautolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
Condicional asociado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
xiii
Grupo Editorial Patria
COMPENDIO DE LGICA
7.4 Demostracin formal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
Principales reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
Leyes de equivalencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Mtodo demostrativo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

7.5 Nociones generales de lgica cuantificacional . . . . . . . . . . . . . . 166

Enunciados singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
Funciones enunciativas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Enunciados generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169

Unidad 8 Metodologa de la ciencia 179

Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
Mtodo cientfico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
Los caminos de la ciencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180

8.1 Ciencia y su clasificacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181

Definicin de ciencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Concepto de ciencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Clasificacin de las ciencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181

8.2 Ciencias formales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182

El problema de la verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
Condiciones de verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183

8.3 Ciencias factuales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184

Observacin experimental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
Etapas del proceso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184

Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186

Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190

xiv
 La Clula:
UNIDAD 2 Unidad estructural y funcioinal de los seres vivos

Introduccin 1 UNIDAD

Propsitos
n Que el alumno identifique el aspecto formal de la lgica para que pueda distinguirla de las ciencias
no formales.
n Que el alumno obtenga el criterio suficiente para que pueda valorar el papel que desempea la lgica
formal en el quehacer racional y la vida ordinaria.
n Que el alumno aprecie la importancia de los principios lgicos supremos como bases que sustentan
a la lgica formal tradicional.

1
Grupo Editorial Patria
COMPENDIO DE LGICA

1.1 Concepto de lgica formal

Lector amigo, he aqu dos datos que te servirn como punto de partida:

1. Entre la lgica y la filosofa existe una relacin muy estrecha, de manera que
siempre que se habla de la primera, se supone la segunda.

2. La mayora de los jvenes que se inician en el estudio de la lgica no han tenido

contacto con estudios o lecturas de filosofa.

En consecuencia, es muy conveniente que comencemos esta unidad con algunas

nociones generales de la filosofa. En esta introduccin hablaremos del origen de las
dos nuevas palabras que, a partir de este instante, empezarn a formar parte de tu
lxico. Esas dos palabras son lgica y filosofa.

La palabra lgica
La palabra lgica se deriva del trmino logos; por tanto, lgica significa lo relativo al
logos. El vocablo logos se utiliz por primera vez en las teoras de Pitgoras y Hercli-
to con varios significados: palabra, medida, pero, sobre todo, razn y pensamiento.
Aristteles, fundador de la lgica, no utiliz esta palabra, sino el trmino rganon,
que significa instrumento.

Figura 1.1

La palabra losofa
La palabra filosofa est compuesta de dos vo-
cablos griegos: filos y sofia que respectivamente
significan amante y sabidura. Por consiguiente,
filosofa significa amor a la sabidura, y filsofo,
aficionado o amante de la sabidura.
Figura 1.2 Existe una ancdota (que al parecer se inici
entre los discpulos de Platn) segn la cual
Pitgoras respondi de la siguiente manera
cuando el rey Leonte le pregunt qu clase de
ciencia profesaba: yo no soy sabio (sofs), sino
solamente un amante de la ciencia (filsofos). Pitgoras. Filsofo y matemtico
As naci la palabra filosofa. griego del siglo VI a. C.

Martin Heidegger. F ilsofo
existencialista alemn (1889-1976).
Filosofa
NATURALIDAD DE LA FILOSOFA
La accin de filosofar es tan necesaria y natural en el hombre, que todos aquellos
que pretendan demostrar la inexistencia o la inutilidad de la filosofa, slo podrn
hacerlo filosofando.
Por filosofar entendemos esa inclinacin inquisitiva que impulsa a todos los hom-
bres a preguntarse el porqu y el para qu de cualquier hecho y, sobre todo, de la

2
 UNIDAD 1 Introduccin

vida misma. Refirindose a este asunto deca I. M. Bochenski: El hombre, quiera o no,
Figura 1.3
est destinado a la filosofa.

Conceptos de losofa
Al precisar el concepto de filosofa, no falta quienes asignan a esta disciplina un
objeto de estudio muy limitado. Por ejemplo, para Martin Heidegger, tal objeto sera
la existencia humana; para Ludwig Wittgestein sera el lenguaje, etc. La mayora de
los filsofos, sin embargo, defiende que el objeto de la filosofa no puede restringirse
a un solo campo.
A continuacin mencionamos algunos de los conceptos de la filosofa ms repre-
sentativos y vigentes.

Aristteles y Toms de Aquino. Conciben a la filosofa como:

Toms de Aquino. T elogo y

filsofo italiano (1227-1274).

Figura 1.4
Edmund Husserl. Define la filosofa como:

Bertrand Russell. Se dedic principalmente al campo de la lgica matemtica, sin

embargo, despus de meditar sobre la filosofa en general, la defini diciendo:

Edmund Husserl. F ilsofo alemn

(1859-1938).

Concepto general y caractersticas de la losofa

Con base en el contenido de los conceptos anteriores formularemos un concepto
general de filosofa y estableceremos sus caractersticas.

El concepto general que engloba a los dems dice:

Al comparar los conceptos de la filosofa de diferentes filsofos, descubrimos algu-

nos rasgos caractersticos de tal disciplina, a saber:

1. Universalidad, es decir, todos los campos son objeto de su estudio, pero slo en
su problemtica filosfica.

3
Grupo Editorial Patria
COMPENDIO DE LGICA
2. Fundamentalidad, lo cual significa que la filosofa investigar en todos los cam-
pos, pero nicamente en sus problemas fundamentales; por ejemplo, el proble-
ma, qu es la justicia?, en el campo del derecho.
3. Racionalidad, esto indica que las actividades de la filosofa son racionales e in-
telectuales, y que sus conocimientos estn dotados de coherencia y correccin.
4. Sistematizacin, en otras palabras, los conocimientos de la filosofa estn basa-
dos en principios explicativos y, adems, estn encadenados, formando un todo.

Concepto y clases de problemas

Una misma situacin puede ser problemtica para una persona, pero no para otra,
cuando esta ltima dispone de medios o de conocimientos para resolver la dificultad.
Los problemas cientficos son dificultades de compatibilidad entre situaciones que
ya parecen estar comprobadas, o bien, son problemas que se refieren a la relacin
entre dos variables. Si tales problemas son autnticamente cientficos, siempre es
posible que exista una solucin verificable.
Los problemas filosficos son aquellos que son fundamentales en algn sector de
la realidad, y cuya solucin slo es posible mediante una demostracin razonada.
Los problemas aparentes son enunciados que o son juegos de palabras, o bien im-
plican contradiccin.
En los siguientes ejemplos apreciamos las diferencias entre las distintas clases de
problemas:

1. Existe o no en los seres animados un principio vital llamado alma?

2. A un joyero se le encomend que hiciera una corona de oro y l la hizo. Cmo
saber si tal corona efectivamente no tiene mezcla de otro metal?
3. Cuando una persona tiene pensamientos, podramos localizar la parte exacta
donde los tiene?

El problema 1 es filosfico porque no tiene solucin verificable, sino slo mediante

una demostracin razonada.
El problema 2, que es uno de los resueltos por Arqumedes, es cientfico porque su
solucin es verificable.
El problema 3 es aparente porque su enunciado slo es un juego de palabras, ya que
los pensamientos no estn constituidos por materia y, por tanto, no son localizables.

1.2 Lgica
Una vez definida la filosofa, estamos ya en posibilidad de definir la lgica y precisar
su objeto de estudio.
Comenzaremos por mencionar algunos conceptos modernos de lgica.
1. Wesley C. Salmon dice:
La lgica trata de los argumentos y las inferencias. Su objetivo es proporcionar mtodos
para distinguir cules son lgicamente correctos y cules no.

4
 UNIDAD 1 Introduccin

La divisin
y los problemas de lgica

respecto a

permitir tratar aspectos

de los

pensamientos relacionados

con

la verdad

Hay

dos tendencias

si dice

no s

slo habr habr

lgica formal lgica material

que trata que trata

la sintaxis la semntica

de los de los

pensamientos pensamientos

sus y sus

principales
principales leyes inferencias problemas
especies vlidas
son
pueden ser

qu es causas
generales o especcas la verdad? de errores

por tanto, trata

la estructura
correcta

de los

pensamientos

5
Grupo Editorial Patria
COMPENDIO DE LGICA
2. David Mitchell dice:
La lgica es el estudio de las formas de proposiciones de implicacin verdaderas.

3. Benson Mates dice:

La lgica investiga la relacin de consecuencia, que se da entre las premisas y la conclu-
Figura 1.5 sin de un argumento correcto.

Concordamos con el contenido de las definiciones anteriores incluyendo la de Im-

manuel Kant, pero creemos que sera mejor una concepcin ms amplia que abar-
que las tres formas bsicas del pensamiento y las principales operaciones lgicas.
Proponemos la siguiente definicin:

Arqumedes. Fsico y matemtico

griego del siglo III a. C.
Figura 1.6
Forma, correccin y verdad
En la definicin de lgica hay tres trminos que es preciso aclarar:
1. Forma. Cuando decimos estas dos mesas (una de madera y otra de mr-
mol) tienen forma cuadrada, nos referimos a la forma en sentido material y
geomtrico.
Por el contrario, cuando decimos las formas de gobierno de Estados Unidos y
de Cuba fueron distintas, hablamos de una forma no material; pero en ambos
casos:
a) La forma significa el correlato de contenido.
b) La forma equivale a cierto orden o disposicin.

En resumen:

Immanuel Kant. F ilsofo alemn

(1724-1794).

2. Correccin. En cada forma de pensamiento, la correccin tendr un significado

especfico; pero por lo pronto, se puede decir que:

3. Verdad. La verdad es tan diferente de la correccin que, en muchos casos, la

una existe sin la otra. Esto se debe a que la verdad se refiere al contenido de
los pensamientos, en tanto que la correccin se refiere a su forma.

6
 UNIDAD 1 Introduccin

Dos ejemplos de pensamientos:

1. Digenes fue un filsofo que despreciaba las riquezas.

2. Si Digenes viva en un tonel, entonces no era de la Escuela Cnica. Digenes
viva en un tonel. Luego no era de la Escuela Cnica.

El pensamiento 1 es verdadero.
El pensamiento 2 es correcto, pero tiene enunciados falsos.

1.3 Objeto de estudio de la lgica

Al considerar la definicin de la lgica y la respectiva aclaracin de sus trminos,
podemos decir que:

El pensamiento

es la

representacin interna

adquirida por la

facultad cognoscitiva

llamada

inteligencia

que exige

trabajo

de

reexin combinacin inferencia

habr

representaciones previas

que tratarn de

relacionarse

con las

proposiciones

y sus

razonamientos

7
Grupo Editorial Patria
COMPENDIO DE LGICA

1.4 Factores del conocimiento y del pensamiento,

su forma y contenido
Descripcin del conocimiento
El conocimiento puede entenderse como:

1. Un proceso.

2. El resultado o producto de dicho proceso.

El conocimiento, entendido en el primero de los sentidos, pertenece al dominio de

la psicologa y se define as:

Figura 1.7 Ejemplo:

Una persona situada frente al Taj-Mahal, lo ob-

serva, y, al mismo tiempo que desarrolla dicha
actividad, va adquiriendo en su interior una
representacin de este monumento hind.

El conocimiento, en el segundo de los sentidos, pertenece

a los dominios, de la psicologa y de la lgica, en trminos
generales se define como:

Taj-Mahal. Mausoleo construido en Agra, India, en el siglo XVII.

Ejemplo:

En el caso anterior, la representacin del Taj-Mahal adquirida por

la persona en su interior, es un conocimiento en el segundo de los
sentidos.

Al reflexionar en el fenmeno del conocimiento se descubren los siguientes ele-

mentos:

1. El sujeto. Se llama sujeto del conocimiento a la persona que percibe algo a tra-
vs de sus facultades cognoscitivas, sean stas sensibles o intelectuales. En el
ejemplo del Taj-Mahal, la persona que lo observa es el sujeto del conocimiento.

2. El objeto. Se llama objeto del conocimiento al ser (material o no) percibido por
el sujeto. En el ejemplo anterior, el Taj-Mahal es el objeto del conocimiento.

8
 UNIDAD 1 Introduccin

A propsito de este elemento del conocimiento conviene hacer tres aclaraciones:

a) El ser que es objeto, lo es en virtud de que es percibido por el sujeto.

b) El objeto se llama as porque se enfrenta a un sujeto, establecindose de
esta manera una relacin entre ambos.
c) El ser que es objeto puede ser material o no. En el primer caso, el objeto es
percibido por los sentidos y, en el segundo, por la facultad intelectual.

3. La operacin. Este elemento consiste en el acto o serie de actos necesarios para

que el sujeto se ponga en contacto con el objeto y adquiera una representacin
interna de l.

En el ejemplo del Taj-Mahal, la operacin consiste en la serie de actos que la perso-

na realiza para observarlo. Tales actos culminarn con la formacin, en este caso, de
una imagen visual de dicho monumento en el interior de la persona.

Figura 1.8a

La imagen de la flor queda grabada en el cerebro.

4. La representacin interna. Este elemento consiste en una reproduccin del ob-

jeto hecha por la facultad cognoscitiva en el interior del sujeto. En el ejemplo
del Taj-Mahal, la representacin interna consiste en la imagen visual, que cier-
tamente se habr formado en el interior de la persona que estuvo observando
dicho monumento.

Figura 1.8b

Formacin de la imagen del Taj-Mahal en el cerebro de la persona.

9
Grupo Editorial Patria
COMPENDIO DE LGICA
Pensamiento
Al analizar el fenmeno del conocimiento, hemos visto que uno de sus elementos es
la representacin interna. Ahora conviene agregar que dicha representacin puede
ser sensible o intelectual.
Los pensamientos se definen como:

Los pensamientos

tienen

forma correccin verdad

que es que consiste en signica que

estructura satisfacer ciertas su contenido

de un objeto condiciones
corresponde a
resultado de de su
la realidad
la disposicin estructura interna extramental

de o que cumpla

sus elementos determinadas leyes

y puede ser

material no material

Lo especial de estas representaciones intelectuales, es decir, de los pensamientos,

consiste en lo siguiente:

1. En tanto que a las representaciones sensibles se les llama imgenes, a las inte-
lectuales se les llama pensamientos y se adquieren exclusivamente por medio
de la inteligencia.
2. Las representaciones intelectuales tienen caractersticas comunes a todos los
objetos de una clase.
3. Al relacionarse tales representaciones, forman asociaciones de ideas, pero so-
bre todo, dan lugar a proposiciones y razonamientos.
4. Los pensamientos no aparecen de manera espontnea. Cuando una persona
quiere tener pensamientos, necesita desarrollar actividades intelectuales de
reflexin, de combinacin y de inferencia. Estas actividades recaen sobre repre-
sentaciones previamente adquiridas.

10