Rodrigo A.

Torres Rosas Introduccin al estudio de la lgica

1
INTRODUCCIN AL ESTUDIO DE LA LGICA


DEFINICIN DE LGICA

Definicin nominal de la Lgica
1. La palabra lgica proviene del trmino griego oo, que se entiende como razn o
entendimiento. La lgica es una capacidad natural, inherente en la mente del hombre;
por la lgica establece condiciones para actuar y pensar ejerciendo sus facultades
principales. Es imposible el conocimiento y la interaccin del hombre con la realidad sin
esta capacidad. La lgica es, nominalmente, la capacidad racional del hombre que
condiciona su accin y pensamiento en relacin con la realidad.
2. Sin condiciones de conocimiento, el hombre errara por consecuencia y concebira
una realidad arbitraria. Esta arbitrariedad del conocimiento hara imposible cualquier
forma de comunicacin en el hombre y, por tanto, se negara la racionalidad como una
de sus facultades naturales.

Definicin real de la Lgica
1. Por establecer las leyes que fundamentan la conducta cognitiva y volutiva del hombre,
la lgica es considerada una ciencia formal. El objeto material de la lgica, el contenido
de la ciencia, son los pensamientos humanos. El objeto formal, los aspectos estudiados,
son las estructuras mentales y la correccin del pensamiento.

Divisin de la lgica
1. Lgica formal: Estudia los actos mentales en su recto ordenamiento. Llamada
tambin lgica menor.
2. Lgica matemtica: Estudia las relaciones de los actos mentales con smbolos
matemticos.
3. Lgica crtica: Estudia la capacidad de la mente humana para conocer la verdad.
Llamada tambin Teora del conocimiento o lgica mayor.
4. Metodologa: Estudia los medios del recto aprendizaje.

Utilidad de la lgica formal en la investigacin cientfica y en la vida cotidiana
1. La necesidad de una ciencia no se justifica por su utilidad o por su aplicacin. Una
ciencia se justifica y es valiosa simplemente porque responde a la necesidad que tiene
nuestro intelecto de descubrir los secretos del universo.
2. Ahora bien, si cualquier ciencia perfecciona nuestro intelecto al someternos al rigor de
sus mtodos y objetivos, ninguna ciencia proporcionar mayor beneficio a nuestro
intelecto que aquella ciencia que trata, precisamente, del pensamiento y de sus leyes de
validez y correccin.
3. Al estudiar los principios y reglas que rigen al pensamiento, la lgica proporciona a
nuestra mente eficaces herramientas para alcanzar claridad, profundidad y orden.

a) Con el ejercicio de la lgica se fortalece la facultad de razonamiento del
educando y prepara el camino para hacer de l un hombre capaz de abrirse a la
cultura.
Introduccin al estudio de la lgica Rodrigo A. Torres Rosas
2
b) La lgica es un instrumento indispensable en el ejercicio de toda actividad
racional.
c) El cultivo de la lgica predispone para discernir los valores.
d) Es un instrumento racional capaz de sembrar en el alumno las condiciones que
permitan, junto con las dems asignaturas, orientar crticamente las relaciones
concretas de la vida social cotidiana.
e) La lgica, al estar subyacente en todo razonamiento correcto, es condicin
indispensable para la formacin intelectual del futuro profesionista.

4. Existe una lgica natural anterior a toda cultura y que llamamos sentido comn. Este
buen sentido con el que nacemos, es suficiente para la vida diaria e incluso para el
desarrollo de las ciencias, pues, generalmente, ni el bilogo, ni el qumico empiezan sus
investigaciones por el estudio de la lgica. Los cientficos confan en el funcionamiento
natural de su razn. Este buen sentido nos lleva espontneamente a decir es lgico o no
es lgico.
5. La lgica, al establecer los principios sobre los que descansa toda ciencia, los
llamados primeros principios, sostiene a manera de poderoso cimiento todo el edificio
del conocimiento. A continuacin se sealaran algunos puntos que indican la utilidad
indiscutible de la lgica en el conocimiento cientfico.

a) La lgica refiere el pensamiento cientfico a proposiciones evidentes y le da a
la ciencia un carcter demostrativo.
b) Auxilia en los mtodos de investigacin mediante el recurso a las operaciones
conceptuadotas, como lo son la definicin, la divisin, y la clasificacin.
c) Ensea los correctos procedimientos de razonamiento deductivo, inductivo y
analgico.
d) Orienta en la identificacin de falacias y sofismas que se puedan filtrar en sus
argumentos y demostraciones.

Grados de abstraccin
1. Tanto Aristteles y Toms de Aquino explicaron la triple graduacin de la abstraccin
formal.

a) En el primer grado, que corresponde a la Fsica, se prescinde de la materia
individual, y se estudia al ente mvil.
b) En el segundo grado se prescinde de la materia sensible, y se estudia al ente,
quantum, cantidad. En este nivel est la Matemtica.
c) En el tercer grado se prescinde de toda materia, y se estudia al ente en cuanto
tal, en el ms amplio horizonte posible, que se llama trascendental, y que abarca
a todo cuanto existe. Este tercer grado de abstraccin formal es el que
corresponde a la Metafsica, ncleo de toda la Filosofa y sus disciplinas como la
Lgica.

2. En consecuencia, las ciencias particulares pertenecen a un nivel categorial,
particularizado, y solamente la Metafsica se remonta al nivel trascendental,
completamente universal.

Rodrigo A. Torres Rosas Introduccin al estudio de la lgica
3
Relaciones y diferencias de la lgica formal frente a la teora del conocimiento,
psicologa, gramtica y matemtica

1. Lgica formal y teora del conocimiento

a) La lgica es una ciencia puramente formal y la teora del conocimiento, no.
b) La teora del conocimiento investiga la verdad de un juicio, recurriendo a la
relacin que existe entre el sujeto y los objetos conocidos.
c) La lgica estudia los pensamientos en cuanto tales prescindiendo de la relacin
sujeto objeto que se da en el conocimiento.
d) La teora del conocimiento estudia directamente el tema de la verdad.
e) La lgica no trata directamente las cuestiones relacionadas con la verdad-
falsedad.
f) La teora del conocimiento va ms all que la lgica, al considerar la relacin
que se da entre sujeto y objeto.
g) La lgica es anterior a la teora del conocimiento y a las dems ciencias, pues
trata de la materia prima de toda ciencia que es el pensamiento.
h) La teora del conocimiento presupone a la lgica, pero la lgica no necesita de
la teora del conocimiento.
i) Lgica y teora del conocimiento son independientes y tienen su objeto de
estudio claramente delimitado; debemos aclarar, sin embargo, que no se trata de
una independencia absoluta.

2. Lgica y psicologa

a) Ambas ciencias estudian el pensamiento humano es decir, ambas tienen el
mismo objeto material.
b) La psicologa estudia la u_q, psique, o alma como sede del entendimiento;
analiza la naturaleza de la conciencia, de la inteligencia, las pasiones, los afectos,
etc.
c) La lgica estudia las formas, estructuras y enlaces de los pensamientos.
d) La psicologa estudia el pensar y el objeto pensante.
e) La lgica estudia la validez y correccin del pensamiento, estableciendo leyes
para obtener un pensamiento libre de contradiccin.
f) La psicologa estudia el pensar sin atenerse a la validez de los pensamientos.
Las leyes lgicas son ideales, universales, necesarias y evidentes. Las leyes de la
psicologa son empricas y contingentes. Las proposiciones lgicas pretenden una
certeza absoluta.
g) Las proposiciones psicolgicas estn sujetas a comprobacin.

3. Lgica y gramtica

a) La gramtica es la teora del lenguaje y se divide principalmente en morfologa
y sintaxis. Al igual que la lgica, la gramtica estudia el logos, slo que la lgica
se refiere al logos como pensamiento y la gramtica al logos como expresin del
lenguaje, es decir, como palabra. Reducir la lgica a la gramtica sera
gramaticismo y eso equivaldra a reducir las leyes del pensamiento a las leyes del
Introduccin al estudio de la lgica Rodrigo A. Torres Rosas
4
lenguaje. La estructura del pensamiento no puede identificarse con la estructura
del lenguaje. Si esto fuera as, habra un estricto paralelismo entre cada palabra y
cada pensamiento.
b) La lgica prescinde de las fluctuaciones del lenguaje y toma en cuenta
nicamente los elementos estructurales del pensamiento: el pensamiento es
anterior al lenguaje y por eso mismo, la gramtica debe estar al servicio de la
lgica.
c) Es un hecho, por otra parte, que hay una notable relacin entre gramtica y
lgica, y que en diversos momentos, las fronteras de ambas ciencias se tocan; sin
embargo, lgica y gramtica mantienen su debida autonoma.

4. Lgica y matemticas

a) Aunque la lgica y la matemtica sean ambas ciencias formales y deductivas,
no podemos, sin embargo, identificarlas.
b) Los problemas que trata la lgica sobre la estructuracin de los conceptos,
juicios y raciocinios, no se pueden reducir a las operaciones elementales de la
aritmtica, ciencia formal que estudia relaciones de cantidad. La lgica no puede
reducir su objeto de estudio a relaciones numricas, pues, como bien apunta
Raluy en su Lgica, los nmeros no pueden aplicarse en la interpretacin de
complejidades del pensamiento. Pensar, dice el mismo autor, no es slo calcular.
c) Es un hecho que la lgica y la matemtica emplean simbolismos, pero esto no
es razn suficiente para identificar ambas ciencias; adems, la funcin de los
smbolos lgicos es diferente a la de los smbolos matemticos; por otro lado,
hay muchas otras ciencias que se valen de simbolismos y no se reducen a las
matemticas.
d) Reducir la lgica a la matemtica se suele llamar matematicismo, fenmeno
que se intensific con el desarrollo de la lgica simblica de Bertrand Rusell. A
pesar de sus notables semejanzas con la matemtica, la lgica ha mantenido su
autonoma.

EL CONOCIMIENTO LGICO

Factores del pensamiento
1. Sujeto: El sujeto pensante es aquel que produce el pensamiento. Aunque sin el sujeto
pensante no puede existir el pensamiento, sin embargo, se puede dar el caso de un sujeto
pensante que no est pensando. No obstante, no hace falta que el sujeto piense para
existir; el sujeto puede existir sin pensar. Esto nos indica que el sujeto posee cierta
libertad frente al pensar. Por otro lado, no se puede dar el pensar sin el sujeto, pues se
trata de un proceso indisolublemente vinculado a ste. En conclusin: el sujeto pensante
es la nica fuente del pensar.

2. Pensar: El pensar es un acontecimiento que se lleva a cabo en el sujeto pensante. Es
un proceso que pertenece en cada caso a un solo sujeto pensante. Es un evento personal
e individual que comienza en un momento determinado y se prolonga por cierto tiempo;
es un fenmeno temporal. Todo pensar lleva siempre consigo un contenido; un pensar
"vaco" es imposible. Los productos del pensar pueden ser separados del pensar mismo
Rodrigo A. Torres Rosas Introduccin al estudio de la lgica
5
ya que son de naturaleza diferente; en otras palabras, pensar y representar es diferente.
Ahora bien, el pensar no se da aisladamente en la mente del sujeto, ya que,
generalmente, se presenta acompaado de percepciones y de otras especies de
conciencia. Pero el proceso del pensar no pertenece en cada caso ms que a un solo
sujeto pensante.

3. Pensamiento: Aunque pensamiento y pensar se hallan en ntima relacin, los
pensamientos son distintos del pensar. Los pensamientos son el contenido del pensar y
slo existen cuando son pensados por un sujeto pensante. No son procesos, ni
operaciones sujetas al tiempo, sino productos intemporales de ese acontecer anmico que
es el pensar. Son productos espirituales que pertenecen a una esfera puramente ideal.
Hay que aclarar que los pensamientos no estn vinculados necesariamente a alguna
expresin lingstica, pues se da un pensar silencioso que no se expresa en ningn tipo
de lenguaje ya externo o interno.
El pensar no puede ser fijado, fundado, probado o refutado. En cambio, el pensamiento
s se puede fundar, probar y refutar. Para la lgica, los pensamientos slo tienen
importancia como tales pensamientos. A la lgica le es indiferente el modo como estos
pensamientos son pensados.

4. Expresin: La formulacin verbal se suele producir despus de que el pensamiento
ha sido pensado. Esta formulacin, ya sea oral o escrita, es un fenmeno que se da en el
tiempo. El pensamiento no est vinculado necesariamente a una determinada expresin
verbal: podemos escoger entre muchas palabras para expresar un mismo concepto. Por
otro lado, buena parte de los pensamientos se quedan sin expresin y, aunque el sujeto se
exprese mediante sentencias completas, stas no manifiestan totalmente lo pensado.
Los pensamientos, por tanto, poseen un cierto grado de libertad con respecto a las
formas mentales. Y es que los pensamientos son distintos de su expresin verbal: hay
sonidos llenos de pensamientos y sonidos vacos de significado.

5. Objeto: Pensar y pensamiento se refieren siempre a un objeto. No hay pensamiento
sin objeto o sin relacin al objeto. Ahora bien, el campo de los objetos es ilimitado. En
esta categora entran todas las cosas, estados, propiedades, procesos, actividades,
efectos, relaciones, circunstancias; el mundo material, psquico, social, cultural,
religioso, ideal e imaginario. No hay nada que no pueda ser objeto del pensar; un mismo
objeto puede ser objeto de un nmero ilimitado de pensamientos. Por otra parte, el
pensamiento en s en nada afecta a los objetos; es ms, los pensamientos referidos a
objetos pueden modificarse sin que el sujeto sufra alteracin. La relacin entre
pensamiento y objeto es una relacin intencional, es decir, una mera referencia y no un
contacto real. Por ello, consideramos a los objetos como trascendentes, es decir, como
entidades que se encuentran "ms all" de los pensamientos y que no forman parte de los
pensamientos que se refieren a ellos.

Principios lgicos supremos
1. Principio: Es aquello de donde algo procede, es un punto de partida no reducible a
otros puntos de partida. Los primeros principios son las proposiciones ms generales;
son juicios sobre los cuales se apoyan las diversas operaciones del entendimiento y las
ciencias en general. Aristteles sostiene que estas proposiciones son verdades evidentes,
Introduccin al estudio de la lgica Rodrigo A. Torres Rosas
6
necesarias e indemostrables. Son evidentes porque el intelecto las capta de manera
inmediata. Son necesarias porque todo conocimiento parte de ellas. Son indemostrables,
pues se autojustifican en el mismo acto del conocer.

I Principio de identidad
Formulacin ontolgica: Este principio se suele simbolizar con la
frmula A = A o es A es A y declara que toda cosa es idntica a s
misma
1
.
Formulacin lgica: Son juicios cuyo concepto predicado es total o
parcialmente idntico a su concepto sujeto. Los juicios fundados en el
principio de identidad son analticos y necesariamente verdaderos.
Tenemos como ejemplo las definiciones esenciales, las cuales son
plenamente convertibles con el sujeto.

II Principio de no-contradiccin, o de contradiccin
Formulacin ontolgica: Es imposible que una cosa sea y no sea al
mismo tiempo y bajo el mismo aspecto
2
. Aristteles lo presenta como una
nocin comn que sirve de premisa para toda demostracin.
Formulacin lgica: Es imposible que las afirmaciones opuestas sean
verdaderas al mismo tiempo respecto del mismo ser
3
.

III Principio de tercero excluido
"Cuando dos proposiciones estn opuestas contradictoriamente, no
pueden ser ambas falsas". Este principio excluye la posibilidad de que
pueda ser verdadero un tercer juicio, tal y como lo ensea Aristteles: Los
opuestos por contradiccin no tienen intermedios. La contradiccin es, en
efecto, la oposicin de dos proposiciones en las que no hay medio
4
.

IV Principio de razn suficiente
Este principio, formulado por Leibniz, dice as: Consideramos que ningn
hecho puede ser verdadero o existente y ninguna enunciacin verdadera
sin que haya una razn suficiente para que sea as y no de otro modo.
Los juicios, como aspiran a la verdad, tienden todos a su razn suficiente.
Este principio es lgico y ontolgico y se impone a todo pensar; todo
pensamiento como pensamiento tiene su origen en este principio.
Heidegger ha descubierto en este principio una parte negativa: no hay
nada sin razn y una parte afirmativa, todo tiene una razn. Para este
autor el aspecto negativo es ms iluminador.





1
Aristteles, Metafsica, Libro X, Porra, Mxico, 1960.
2
dem.
3
dem.
4
dem.
Rodrigo A. Torres Rosas Introduccin al estudio de la lgica
7
Los trascendentales
1. En la filosofa escolstica, unidad, verdad y bondad, y posteriormente belleza, esto es,
aquellos conceptos que competen a todo ser y que no son ms que modificaciones o
maneras de ser fueron considerados como los principios en los que la mente humana
piensa el ser.
2. Se consideran propiedades convertibles: el ser es uno, verdadero, bueno y bello, y
todo lo que es uno, verdadero, bueno o bello es tambin ser.

a) Unidad: La unidad trascendental es la indivisin propia del ente, esto permite
la aprehensin del ente y la posibilidad de un conocimiento claro y distinto
respecto a cada ente de la realidad.
b) Verdad: La verdad trascendental es la propiedad del ente de ser inteligible por
la mente humana. Si el ser no tuviera esta verdad ontolgica no sera posible su
conocimiento.
c) Bondad: La bondad trascendental es el acto que provoca el ente de ser deseado
como un fin. Los entes no son buenos por que nosotros los queramos, sino los
queremos por que son buenos.
d) Belleza: La belleza trascendental es el efecto que provoca el conocimiento del
ente de agrado al ser contemplado y satisfacer el apetito intelectivo o sensitivo.

Diferencia entre Verdad lgica y Verdad ontolgica
1. La verdad lgica es una caracterstica semntica que incumbe a una proposicin o
enunciado en virtud de su forma lgica o su estructura lgica. Se puede definir de dos
maneras:

a) Un enunciado o una forma proposicional es una verdad lgica si resultan
siempre verdaderos cualesquiera que sean las interpretaciones que hagamos
como ejemplos de sustitucin de las variables o de los enunciados primitivos.
b) Un enunciado es una verdad lgica si es una inferencia vlida sin premisas,
esto es, una tautologa o un teorema semntico o lgico.

2. Las verdades lgicas son proposiciones verdaderas en cualquier mundo posible o en
cualquier universo de discurso, pero no dicen nada acerca de los hechos.
3. La verdad lgica se asienta en la correccin, que es el uso adecuado de la semntica
para expresar el ser. Si no se aplican las leyes semnticas lgicas, se dice que el
enunciado es falso.
4. La verdad ontolgica es definida por el aquinate en De veritate: Veritas est adequatio
rei et intellectum, La verdad es la adecuacin de la cosa y el entendimiento.
5. Cuando se expresa la verdad ontolgica, la mente humana la expresa en la definicin
de la esencia mediante un trmino. Si la mente no posee la esencia del ente no esta
adecuada la imagen mental con el objeto, por tanto, se dice que la expresin es un error.
6. En conclusin, la verdad lgica es la adecuacin de la expresin semntica y la
imagen mental del sujeto, asentado en la correccin. La verdad ontolgica es la
adecuacin de la mente y el objeto, asentada en la validez.



Introduccin al estudio de la lgica Rodrigo A. Torres Rosas
8
Estados de la mente frente a la verdad
1. Certeza: La certeza es la firme adhesin de la mente al ser. Se pueden distinguir tres
tipos de certeza.

a) Certeza ontolgica: Es la expresin de la esencia de un ente sin temor a
equivocarse.
b) Certeza cientfica: Es la expresin de un ente basado en la verificacin y
demostracin de sus efectos, formulados en leyes.
c) Certeza moral: Es la expresin sobre la conducta del hombre que lo orienta a
un bien final.

2. Opinin: Es realizar un juicio con temor a equivocarse. La opinin se funda en la
probabilidad.
3. Duda: Sucede cuando la mente detiene un proceso de juicio por no encontrar razones
para afirmar o negar categricamente. Se distinguen varios tipos de duda:

a) Universal: En la cual se suspenden todos los juicios de la mente.
b) Parcial: En la que se suspenden slo algunos juicios.
c) Metdica: Usada como camino para conocer la verdad.
d) Escptica: En la que se acepta la duda como un fin en s misma.
e) Real: Es la experiencia en la conducta humana de la duda.
f) Ficticia: Slo es concebida en la mente humana.

4. Error: Consiste en la adhesin de la mente a un juicio verdadero, cuando realmente
es falso o en considerar que es falso siendo verdadero.
5. Ignorancia: Consiste en la ausencia de conocimiento de algn ente. Se diferencia de
la necedad por que la ignorancia implica una responsabilidad de conocer mientras que la
necedad no establece una necesidad de conocer.