Historia de la Lgica

Cmo Ordenar 10 Soldados

en 5 Filas de 4 soldados cada
Fila?

Historia de la
Lgica

El nacimiento de la lgica propiamente dicho

est directamente relacionado con el
nacimiento intelectual del ser humano.

La lgica emerge como mecanismo espontneo

en el enfrentamiento del hombre con la
naturaleza, para comprenderla y aprovecharla

El desarrollo de la lgica est ntimamente

ligado al de la matemtica. Se puede distinguir
las tres etapas ms importantes.
Lgica antigua o clsica.
La escolstica o medieval.
La moderna.

El iniciador de la lgica, en la etapa antigua, fue

Aristteles, quien elabor la silogstica y el
planteamiento de la investigacin segn el
mtodo deductivo.

En esta misma etapa, los estoicos se dedicaban

a una lgica de proposiciones, precursora de la
lgica proposicional actual.

En la poca medieval

contribuyeron al desarrollo de la lgica los

escolsticos, es el movimiento teolgico y
filosfico que intent utilizar la filosofa
grecolatina clsica para comprender la
revelacin religiosa del cristianismo

Domin en las escuelas catedralicias y en los estudios

generales que dieron lugar a las universidades medievales
europeas, en especial entre mediados del siglo XI y
mediados del XV.)

Duns Escoto, En su obra Tratado del Primer Principio,

utilizando la aplicacin de la lgica deductiva en el terreno
metafsico, intenta demostrar la existencia de Dios y la de
sus atributos fundamentales

Guillermo de Ockham, En sus razonamientos hizo

frecuente uso del principio de economa de entes, conocido
en el mbito cultural anglosajn como principio de
parsimonia; (segn el cual cuando dos teoras en igualdad
de condiciones tienen las mismas consecuencias, la teora
ms simple tiene ms probabilidades de ser correcta que la
compleja)

Raimundo Lulio Uno de los propsitos principales de la

actividad literaria fue sealar los errores de los racionalistas
y mostrar la verdad segn la entendan los cristianos de
una manera tan clara y meridiana que incluso los
musulmanes ms fanticos consiguieran apreciarla sin
posibilidad de error,

Opin que la doble verdad era imposible puesto que la

teologa y la filosofa eran en verdad la misma cosa.
Equiparaba de este modo e identificaba a la fe con la razn.
El descredo no era capaz de razonar, y el hombre de fe
aplicaba una razn perfecta

Lgica Moderna, Sigue predominando el silogismo de

Aristotlico

Francisco Bacon (1561-1626), en cuyos trabajos

reivindica la importancia del mtodo inductivo dndole
nuevos fundamentos (la induccin incompleta), en su obra
Novum Organum. la fuente del conocimiento no era la fe
sino la experiencia, la observacin y la experimentacin.

EN LA EDAD MODERNA:.

Leidniz (1646-1716), quien fue el primer en formular la idea

de un clculo lgico.

Posteriormente los filsofos y matemticos ingleses

George Boole y de Morgan crean el lenguaje formalizado
y revoluciona la teora de la inferencia.

EDAD CONTEMPORANEA:
En la primera dcada presente siglo aparecen los filsofos:
Bertrand, Russell, Alfredo Whiteheard quienes sistematizaron
todos los tipos de inferencia descubiertos, en su obra
principia methematica.
Por ultimo aparece David Hilbert, que perfecciono los trabajos
de Russel y Whitehead.

David Hilbert

(1862-1934), luego de analizar Principia mathematica y

detectar algunos defectos en ella cometidos por Russell y
Whitehead, debido a la falta de rigor en el lenguaje usado al
estudiar la inferencia, cre un nuevo mtodo, actualmente
conocido como metateorao metalenguaje
(Una

metateora es una teora que se dedica al

estudio de otra teora o conjunto de teoras. En
sentido general podra ser llamada teora de las
teoras. Si A es una teora de B y B es en smisma
una teora, entonces A es una metateora. Sin
embargo, una teora general no puede ser una
metateora desde que no se dedica en particular a
una o a un conjunto de teoras)

Qu es la Lgica Formal

Por su Objeto de Estudio

Ciencia que se ocupa de las relaciones entre

premisas y conclusiones, esto es, establecer las
reglas generales de cmo de una o varias
premisas podemos concluir acertadamente en una
conclusin.

Por su Mtodo

La forma de estudiar su objeto: relacin establecida entre

premisas y conclusin.
Si A mayor que B y B mayor que C, por lo tanto Aa es mayor
que C
La ciencia formal que estudia las leyes o formas ms
generales del pensar.

Como Ciencia:

Ciencia en tanto que sistematiza todas las formas de

pensar para estudiarlas y establecer, de esta manera, en
una forma ms clara, cmo debemos razonar
correctamente y evitar el razonamiento incorrecto.

Estudia los mecanismos y leyes que rigen las distintas

formas de razonamiento que a su vez determinan lo que se
considera falso y lo que se considera verdadero, correcto o
incorrecto, vlido o invlido.

El Concepto
Definicin: Producto mental de un proceso lgico que consiste
en sintetizar las caractersticas comunes de una clase de
objetos, relaciones , procesos o fenmenos.
Sntesis lgica de caractersticas comunes.

De acuerdo a su extensin

Conceptos Universales

Totalidad de elementos de una clase (Mamfero)

Conceptos Particulares

Clase formada por algunos elementos de la totalidad.

( Algunos Mamferos, Gatos)

Conceptos Individuales

Clase que forma un solo elemento (Guatemala)

Caractersticas del concepto

Esenciales: Caractersticas que necesariamente deben

poseer los elementos de una clase.
Tringulos: Tener 3 lados y 3 ngulos
Accidentales:
No necesarias para la pertenencia a una clase.
Tener 3 lados iguales y 3 ngulos iguales.

Comprensin o intensin del concepto

Formada por todas las caractersticas esenciales que

pertenecen a los elementos de una clase.
Polgonos: superficie limitada por lneas rectas.

Extensin del concepto

Formada por cantidad de objetos de una clase a la que se

refiere el concepto.
Infinita: Nmeros, Finita: mamferos.

Relacin reciproca entre la intensin y comprensin

y la extensin del concepto.

Cuando la comprensin aumenta, disminuye la extensin.

( Ms caractersticas esenciales, menos elementos)
Disminuye la comprensin, Aumenta la Extensin.
( Menos caractersticas esenciales, ms elementos)

Relacin Gnero-especie de los conceptos

Generalmente el concepto de mayor extensin es el

concepto genrico y el de menor extensin es el especfico.
Alimentos Productos Nitrogenados
Genrico: alimentos ( incluye productos no nitrogenados,
-aceite, papasEspecifico: Productos nitrogenados
Productos nitrogenados, carne est incluida en alimentos
nitrogenados.

Proposicin o Juicio

Se da en la oracin gramatical, pero no se agota en ella, pues

una proposicin es el significado lgico de lo que se dice
en la oracin, es el significado de una oracin
declarativa, se necesita que la oracin nos d una
informacin.
Slo la informacin puede ser catalogada como verdadera o
falsa.

La oracin gramatical no es la proposicin aunque se d a

travs de ella. Dos oraciones gramaticalmente distintas
pueden tener un mismo significado lgico. Verbigracia

Los griegos y romanos llamaban brbaros a los pueblos que

no pudieron dominar.
Los brbaros eran aquellos pueblos que los griegos y los
romanos no pudieron dominar.
-Aunque el sujeto es distinto, el significado lgico es el mismo,
nos proporcionan la misma informacin.

Clasificacin de los juicios o proposiciones

Por su cantidad
-Universales, cuando se refieren a la totalidad de los
elementos involucrados en l.
Todos los mamferos son vertebrados
-Particulares, cuando se refieren a una parte del todo.
Ciertos mamferos son herbvoros
-Individuales, los referidos a un solo elemento del conjunto.
El planeta Tierra es el tercero del sistema solar.

Por su cualidad

Sealan si un atributo o concepto le corresponde o no a

otro concepto.

Afirmativos, expresan que un concepto o conceptos

pertenece a otro u otros.
Arco es una porcin cualquiera de la circunferencia.
Negativos, expresan que un concepto o conceptos no
pertenecen a otro u otros.
Ningn trapezoide tiene sus lados iguales

Indeterminados, se denominan as porque no afirman ni

niegan algo especfico, sino que dejan la relacin de un
concepto con otro que pertenece a una esfera ilimitada de
conceptos indeterminada.
Algunos cuerpos son no-solidos
Algunas personas son no indgenas

Juicios por modalidad

Problemticos, nos dan una informacin cuya negacin o
afirmacin es nicamente posible, que puede ser.
La neumona puede causar la muerte
Los tringulos pueden ser rectngulos
Asertricos, describen cosas reales, dan informacin de
cmo son los elementos de las clases que describen.
Los animales herbivoros se alimentan de plantas.

Apodcticos, establecen una necesidad en la relacin entre

los conceptos. No hay posibilidad. Por lo general , se dan en
las matemticas.

La circunferencia est dividida en 360 grados.

Dos paralelas cortadas por una secante suman ocho

ngulos

Juicios por relacin

Categricos, son los juicios que enuncian la relacin entre
dos conceptos, es decir entre sujeto y predicado.
El hgado es la glndula ms voluminosa del cuerpo.
La ontologa es una disciplina de la filosofa.

Hipotticos, La relacin aqu se establece tanto entre

conceptos como entre juicios. La relacin es de carcter
condicional donde un juicio o concepto condiciona a otro juicio
o concepto.
Si un animal tiene un cuerpo formado por anillos y respira por
la piel, entonces es un gusano.
Si un animal se alimenta de hierbas, entonces es un herbvoro.

Disyuntivos, La relacin se da entre dos o ms proposiciones

entre s, no de consecuencia, sino de oposicin lgica, en
tanto que la esfera de una excluye a la de la otra.
Las pirmides son regulares e irregulares.
Los animales son unicelulares o pluricelulares.

La Definicin
Es una operacin lgica que tiene como propsito el dar los
caracteres esenciales de un objeto y las diferencias que lo
especifican dentro de la totalidad de los objetos.

La Definicin
Toda definicin es un juicio que trata de delimitar
a un objeto o concepto con el propsito de
expresar lo que ese concepto u objeto es y que lo
diferencia de otros.
Es un proceso lgico que consiste en dar las
caractersticas esenciales de un concepto, objeto,
fenmeno o proceso las cuales diferencian a stos
dentro de un contexto determinado.

Definicin denotativa, consiste en sealar lo que se quiere

definir.

Enumerativa, no se dice lo que es sino se muestra una serie

que se relacionan con ese concepto.
Pronombres personales son: yo, t, el, ella, nosotros,
ustedes, vosotros, ellos y ellas.
Etimolgica, consiste en averiguar las races de los
conceptos, sean estas, griegas, latinas, etc.

del griego Filos: amor, Sophia:

Sabidura
Filosofa,

Empirismo, del griego empiria:

experimentos.

Problema

En una prisin el Alcaide decide dejar libre a uno de tres

prisioneros, pero antes debe solucionar un acertijo. El
Alcaide tiene 5 sombreros, 2 negros y 3 rojos, de estos,
3 sern colocados a cada uno de los tres prisioneros, estos
deben adivinar el color del sombrero que tienen,
nicamente pueden observar los sombreros de los otros
dos prisioneros, no el suyo propio.

Adems uno de los tres prisioneros tiene sus dos ojos, el

segundo solamente un ojo, y el tercero es ciego.

Puede el prisionero ciego saber que color de sombrero

tiene? Y de que color es?

Estipulativa, consiste en acordar lo que se quiere dar a

entender con una determinada figura, signo o smbolo.
El signo = connota la relacin igual que.
El signo ? connota interrogacin.

Por gnero prximo y diferencia especfica, es una

operacin que consiste en primer lugar en dar, en primer
lugar, una caracterstica lo ms general posible y prxima del
concepto a definir para situarlo dentro de un gnero, pero,
como todava es muy general, es necesario proporcionar una
caracterstica que lo diferencie dentro del contexto de ese
gnero.

Esta definicin, consta de dos elementos importantes: la

connotacin y la denotacin.

La connotacin est constituida por los elementos

esenciales asignados al concepto, es pues la intensin del
concepto.
La denotacin es la que designa a los elementos significados
dentro de la connotacin.
Movimiento de rotacin: es el que realiza la Tierra sobre su eje
en 24 horas, presentando sucesivamente su superficie a la luz
solar.

Reglas para la definicin

Para definir no debemos en lo posible usar sinnimos.

Toxico: alimento que contiene toxinas.

Se debe hacer en trminos afirmativos, siempre que sea lo

ms apropiado

Pronombre personal, es aquel que no es posesivo, ni

indefinido.

En la definicin se debe observar el gnero prximo no

debe ser tan general que se vuelva indeterminado.

Semilla es un vulo fecundado, desarrollado y maduro.

Semilla es un vulo vegetal fecundado, desarrollado y maduro.

Premisa

Es una proposicin o juicio del cual se infiere otra proposicin

o juicio que se designa como conclusin.
En trminos generales es la razn que se da para una
conclusin. En ella se dan los datos que nos permiten llegar
a una conclusin.
El lugar de la premisa o de las premisas en el razonamiento o
argumento no es fijo, puede ser al final o al principio del
razonamiento.

Lo que la diferencia de la conclusin es que en ella

encontramos razones o motivos que permiten inferir la
conclusin. Es decir, el lugar de la premisa no es fsico ni
gramatical, sino lgico.
La premisa es, entonces el origen del razonamiento o
principio, sea que ocupe el primer lugar o el intermedio o el
ltimo.
Las premisas en tanto juicios pueden ser verdaderas o
falsas

Los microorganismos se alimentan de sustancias orgnicas;

por lo tanto, los seres vivos se alimentan de sustancias
orgnicas.

El caracol est protegido por una cubierta calcrea lo que

lo hace ser un molusco, pues los moluscos son animales de
cuerpo blando envueltos en un manto o piel mucosa
protegidos por una cubierta calcrea.

La conclusin
La conclusin es una proposicin o juicio que se
Infiere de la o las premisas. Al igual de stas,
Puede ubicarse en cualquier lugar del
razonamiento o argumento. Puede ir separada
de la o las premisas por un adverbio, como, por
tanto, en consecuencia, etc.
A diferencia de las premisas la conclusin es
solo una.
La conclusin en tanto juicio puede ser
verdadera o falsa

Ejemplos:
El numero dos es nmero primo, pues los nmeros primos
tienen dos divisores, ellos mismos y la unidad.
La tierra es el planeta que habitamos, el tercero por el orden
de su distancia al Sol , del cual recibe luz y calor. Por lo
tanto, la tierra est situada en el sistema solar.

El Razonamiento o Argumento
Es una estructura lgica formada por premisas o premisas y
conclusin.
Si una estructura no posee conclusin , sea explicita o no,
entones no es un argumento.
De igual manera, si slo tenemos conclusin sin premisa
entonces, tampoco es un argumento.
Los razonamientos pueden ser vlidos o invlidos.

Ejemplo
Los espejos son superficies que reflejan la luz y
reproducen la luz y las imgenes de los objetos
colocados delante de ellos. Por lo tanto, los
espejos planos reflejan imgenes de las mismas
dimensiones de los objetos reflejados.
Conclusin: los espejos planos reflejan imgenes
de las mismas dimensiones de los objetos
reflejados.

Funciones del Lenguaje

El lenguaje como medio de comunicacin, tiene
diferentes funciones: ya sea para informar,
deleitar o persuadir.
Podemos diferenciar la clase de discurso que
llevamos a cabo examinando la funcin que est
desempeando el lenguaje de que hacemos uso.

Clasificacin del
Lenguaje

Lenguaje

Informati
vo

Directiv
o

Expresi
vo

Mixto

Lenguaje informativo:
Es el lenguaje que nos trasmite alguna
informacin acerca del mundo de las cosas y,
por lo tanto es el nico lenguaje que le interesa
a la lgica, pues se puede catalogar como
verdadero o falso.
Slo la informacin puede ser verdadera o falsa,
ya que es la nica que se puede constatar en la
realidad.

Ejemplo:
El valor de uso es la capacidad de un bien de satisfacer una
necesidad determinada.
Los griegos descubrieron Amrica.

En el primer caso, la informacin que se nos

proporciona es verdadera. Puede constatarse en
la realidad. En el segundo caso, la informacin
es falsa y puede ser verificada en la historia.
En ambos casos , la lgica se interesa , pues slo
en stos se puede aplicar el criterio de verdad.

Lenguaje expresivo
Es el lenguaje que tiene como propsito ya sea
el de deleitarnos o de alguna manera afecta
nuestra afectividad; en este caso a la lgica no le
interesa, pues lo que se transmite a travs de
este lenguaje no es informacin, no puede ser
verdadero o falso, sino que se utilizan valores
como bello, feo, etc.
Oh azules altos montes, o bellos Horizontes, odme desde all
Diguez Olaverri, los cuchumatanes

Lenguaje Directivo.
A travs de este lenguaje no se pretende dar ni
informacin ni despertar o motivar nuestros
sentimientos, sino de dar rdenes, instrucciones
normas, etc.
En esta clase no se pude utilizar valores como verdad o
falsedad, bello o no bello, sino ms bien se puede decir que
una norma o una orden son arbitrarias o no.

Ejemplo:
Debe poner la basura en su lugar.
Los menores de 18 aos no deben votar.

En el primer caso se esta transmitiendo una orden de forma

afirmativa, y en el segundo ejemplo se manifiesta de forma
negativa.
De manera evidente se puede decir que el depositar la basura
indique que es verdadero o falso, bello o no bello, sino que
se puede decir que se arbitrario o no.

Lenguaje Mixto
Cuando nos expresamos a travs de cualquier lenguaje
( escrito, oral, mmico, etc.), no lo hacemos dando
exclusivamente dando informacin, mandamientos
morales o exaltando sentimientos, en ciertas
ocasiones, combinamos todas o algunas de estas funciones,
por lo que estamos utilizando en este caso el lenguaje
mixto.
Este es, entonces, la utilizacin simultanea de a algunas o
todas las funciones del lenguaje.

Ejemplo:
Dialogo es una conversacin entre varias personas que hablan
alternativamente acerca de un asunto determinado. Y debe
ser una conversacin alterna, pues, de otro modo no puede
haber dialogo.
Tumulto de pequeos colegiales
que al salir en desorden de la escuela
llenan el aire de la plaza en sombra
con la algazara de sus voces nuevas.
Antonio Machado

En el primer caso, se hace una descripcin informativa acerca

de lo que es dilogo y, a continuacin, se establece una
norma, la conversacin debe ser alterna.
En el segundo caso se describe un hecho, es decir se da una
informacin, y se trata de provocar un sentimiento acerca
de dicho acontecer.

Falacias no Formales
La falacia no formal es un razonamiento invalido que pretende
su validez a partir de elementos psicolgicos,(intimidacin,
la amenaza, el insulto, la apelacin a los sentimientos
humanos, la retrica) se pretende validar el razonamiento,
cuando las nicas razones que se deben atender
para la validez de un razonamiento tienen que ser
lgicas.

Son adems , falacias no formales porque constituyen

razonamientos no formales, no faltan a leyes formales, sino
a contenidos

En lgica: Falacia es un razonamiento y no tiene la

connotacin de mentira o engao. Falacia es una
operacin mental que consiste en aducir elementos
ajenos a la lgica y sustituirlos por elementos
psicolgicos.
Ejemplo:
El agua es indispensable para todo ser humano, por lo tanto
debe ser econmicamente factible el que todo habitante de
la ciudad tenga agua potable en su casa.

Se dividen en:
Falacias de Atingencia
Falacias de Ambigedad
De Atingencia: Cuando no existe ninguna atingencia (Relacin,
conexin, correspondencia) lgica, aunque si psicolgica
entre las premisas y la conclusin. La verdad o falsedad de
las premisas no tiene ninguna relacin con la verdad o
falsedad de la conclusin, pero si existe un nexo, aunque de
carcter psicolgico.

Ejemplo:
Se da el caso de que la drogadiccin es perniciosa y un
elemento antisocial, lo cual puede ser probado como
verdadero. Pero no constituye elemento de juicio para
condenar a alguien por tal delito. Se puede probar que este
elemento de juicio es verdadero, pero no se sigue que
alguien acusado de ello sea culpable.

De ambigedad
Se cometen cuando los trminos, frases o construcciones
gramaticales cambian de significado o posicin en el
transcurso del razonamiento, volvindole ambiguo y poco
claro, pero que sin embargo, encuentran alguna relacin
psicolgica que los hace persuasivos.
Ejemplo: Aristteles fue un filsofo genial, por tanto pudo
haber sido un gobernante, igualmente genial.

Observacin
Para establecer una discusin sana y constructiva es preciso
recordar que debemos evitar el insulto, la calumnia, la
fuerza, la intimidacin, el subterfugio, los sentimientos de
las personas, la autoridad sin fundamento, etc. Y
concentrarnos en las ideas expuestas para poder refutarlas
o validarlas. El propsito fundamental de la discusin de
tesis y teoras consiste en dilucidar su validez o invalidez,
por tanto, cualquier otra razn no tiene ninguna relacin, es
decir, es inatingente.

Lgica de Clases o Aristotlica

Se denomina lgica de clases porque las funciones que
estudia son las relaciones entre grupos de objetos que
tienen o no iguales caractersticas , y ver si se incluyen
unas en otras o si se excluyen, distribuyen o indistribuyen
entre si.
La concepcin aristotlica del mundo consista, en parte, en
verlo como un conjunto formado de clases y subclases,
gneros, especies, etc.

La lgica de clases parte de dos elementos originantes: la

clase y el juicio
Clase : conjunto formado por objetos, fenmenos, o hechos
que tiene caractersticas comunes.
Juicio: relacin entre clases, se puede decir lo que es
verdadero o falso.
El silogismo es el razonamiento de la lgica de clases.

Relaciones lgicas de clase pueden ser:

De inclusin
Que la totalidad de una clase est incluida en otra o
parcialmente incluida
De exclusin
Que una clase est totalmente excluida o parcialmente
excluida.
De Distribucin
Que una clase distribuye a otra
De Indistribucin
Que una clase no distribuye a otra.

Todo el sujeto es o est en el predicado.

Todo S es P
Ningn elemento del sujeto es o est en el predicado.
Ningn S es P
Algn elemento del sujeto es o est en el predicado. Algn S
es P
Algn elemento del sujeto no est o est en el predicado.
Algn S no es P

Todo S es P = Es universal ( todo elemento de S)

Es afirmativo
Categrico (existe relacin entre Sujeto y Predicado)
Ningn S es P = Es universal (se refiere a ningn S)
Es negativo
Es Categrico ( se relaciona sujeto y predicado)

Algn S es P = Es particular ( se refiere a slo algunos y no

a todos S)
Es Afirmativo
Es categrico ( se relaciona sujeto y predicado)
Algn S no es P = Es particular ( se refiere a slo algunos S
y no a todos)
Es negativo
Es categrico ( existe una relacin entre sujeto y
predicado)

Ejemplos:

Todo plano se desplaza en el espacio

Ninguna parbola es un crculo

Algunos poliedros son slidos

Algunas lneas no son curvas

La inclusin y la Exclusin
La inclusin puede ser: total La exclusin puede ser: total

Parcial
-

Parcial

La inclusin total slo se da en la universal afirmativa.

Todo S es P

p
S

Expresa que todos los elementos del sujeto estn incluidos

totalmente en la clase del predicado.
EJ. Toda pirmide es una figura geomtrica.

La exclusin total slo puede darse en la universal negativa.

Ningn S es P

Expresa que no existe ningn elemento de la clase del sujeto

en la clase del predicado
EJ. Ningn nmero impar es divisible por dos

La inclusin Parcial se da nicamente en la particular

afirmativa
Algn S es P

X
S
P
Ej. Algunos verbos son regulares

La Exclusin parcial se da en la Particular Negativa

Algn S no es P

S
P
EJ. Algunas palabrasXno son tonas.

La distribucin y la Indistribucin
Esta relacin lgica expresa si la proposicin se refiere o no
a todos o algunos miembros de la clase a la cual est
referida. De acuerdo a lo anterior, las proposiciones
categricas establecen las siguientes relaciones.
La proposicin A, Todo S es P, se refiere a la totalidad de su
sujeto, pero no a la totalidad de su predicado,
necesariamente.
Ej. Todos los issceles son tringulos

Es cierto que todos los issceles son tringulos, no quiere

decir que todos los tringulos sean issceles. As, el sujeto,
issceles, est totalmente comprendido en lo que expresa
la proposicin por medio del predicado, tringulos. En
consecuencia podramos decir:
En la Proposicin A: Sujeto Distribuido y el Predicado
Indistribuido.
Formalmente: A: SDPI

En la proposicin E, Ningn S es P, la proposicin se refiere

tanto a la totalidad del sujeto como a la del predicado,
aunque negativamente
Ej. Ningn espongiario es terrestre.
La proposicin expresa negativamente que no existe ningn
elemento de la clase del sujeto, espongiario en la clase
del predicado, terrestre. As, tanto el sujeto como el
predicado estn totalmente distribuidos.
Formalmente, E: SDPD

La proposicin I, Algn S es P, tanto la clase S como la del P,

estn indistribuidos, porque se refiere nicamente a
algunos elementos de la clase del S y, en consecuencia , a
algunos de la clase del P, estn ambos indistribuidos. No se
refiere a la totalidad, ni de S ni de P.
Algunos celenterados son de cuerpo blando
En esta proposicin la clase S. celenterados , se refiere slo
a algunos y no a todos, de igual manera la clase P, cuerpo
blando, se refiere nicamente a algunos, no a todos, de
cuerpo blando, en consecuencia.
La proposicin I: SIPI

En la proposicin O Algunos S No son P, en tanto que se

refiere solamente a algunos de la clase S, ste est
indistribuido. No sucede lo mismo con la clase P, pues la
proposicin indica que ninguno de los P admite a algunos
de S, as la clase P est, negativamente, predicando
totalmente a algunos de S.
Ej. Algunos moluscos no estn protegidos por una cubierta
calcrea.

La proposicin se refiere solamente a algunos moluscos que

no estn en la clase de los que estn protegidos por una
cubierta calcrea, pues existen algunos que si lo estn. La
clase P, los que estn protegidos por una cubierta calcrea
distribuyen total y negativamente, a algunos moluscos. En
consecuencia.
La proposicin O: SIPD

En sntesis, podramos esquematizar la distribucin e

indistribucin de la manera siguiente:
A: SD

PI

E: SD

PD

I:SI

PI

O: SI

PD

El silogismo:
Es el razonamiento de la lgica de clases; a travs de l se
establece la validez de los razonamientos que se efectan
por medio de clases. Este razonamiento se construye a
partir de las proposiciones categricas, que son los juicios
de la lgica de clases. Su validez o invalidez se relaciona a
que si cumple o no las reglas del silogismo.

Reglas del Silogismo:

a)

Debe tener tres trminos.

b)

Debe tener dos premisas y una conclusin.

c)

De los tres trminos, uno es el menor, el otro es el mayor

y el restante es el medio.

d)

El termino medio no debe aparecer en la conclusin.

e)

El termino medio debe estar distribuido al menos una vez

en las premisas.

f)

Debe por lo menos haber una premisa universal.

g) Debe por lo menos haber una premisa afirmativa.

h) Si hay una premisa particular, la conclusin debe ser
particular.
i)

Si hay una premisa negativa, la conclusin debe ser

negativa.

j) Si hay un termino distribuido en la conclusin debe estarlo

en la premisa en la que aparece.
El Termino menor es el sujeto (S) de la conclusin, el trmino
mayor es el predicado (P) de la conclusin. El trmino
medio puede ir como sujeto o como predicado de las
premisas.

Ejemplo:
Ningn vertebrado es insecto.
Ningn acutico es insecto,
Por lo tanto los acuticos son vertebrados.
Termino menor: acuticos.
Termino Mayor: Vertebrados
Termino medio: Insecto
Premisa menor: ningn acutico es insecto.
Premisa Mayor: ningn vertebrado es insecto.
Conclusin: Los acuticos son vertebrados.

Ejemplo:
Todos los mamferos tiene pulmones
Este animal no tiene pulmones
Luego este animal no es mamfero
Termino menor: animal.
Termino Mayor: mamferos
Termino medio: pulmones
Premisa menor: este animal no tiene pulmones.
Premisa Mayor: todos los mamferos tienen pulmones.
Conclusin: este animal no es mamfero.

Ejemplo:
El futuro de subjuntivo enuncia un hecho como no acabado, y
el futuro subjuntivo forma parte del modo subjuntivo. Por lo
tanto, el modo subjuntivo enuncia hechos como no
acabados.
Termino menor: modo subjuntivo.
Termino Mayor: enuncia hechos como no acabados
Termino medio: futuro de subjuntivo
Premisa menor: el futuro de subjuntivo es parte del modo
subjuntivo.

Premisa Mayor: El futuro del subjuntivo enuncia un hecho

como no acabado.
Conclusin: El modo subjuntivo enuncia hechos como no
acabados.
La Estructura lgica se resumira a lo siguiente:
Todo M es P
Todo M es S
Por lo tanto, Todo S es P.

Hay que priorizar a la gente antes

que a las ganancias.
Noam Chomsky

La reduccin de la pobreza
beneficia a todos, tanto a ricos
como a pobres.
Luis Ignacio Lula da Silva

El Razonamiento.
Se denomina razonamiento a la operacin discursiva por
medio de la cual obtenemos un conocimiento nuevo ,
inferido partiendo de otro conocimiento.
En todo razonamiento es necesario diferenciar:
1) el conocimiento inicial, expresado en las premisas ( o en la
premisa) ;
2)El conocimiento fundamentador, expresado en la regla del
razonamiento;
3) El conocimiento inferido, expresado en la consecuencia o
conclusin.

A es igual a B
B es igual a C.
.... ............. ............. ...........
Luego A es igual a C
En este razonamiento, las premisas son los juicios A es
igual a B y B es igual a C, la regla del razonamiento
consiste en el principio de que si dos objetos son iguales a
un tercero en algn aspecto, son iguales entre si en lo
tocante a dicho aspecto; la conclusin es el juicio
A es igual a C

La conclusin de todo razonamiento nos proporciona un

conocimiento nuevo en relacin con el que se expresa en
las premisas.
Por la orientacin del proceso discursivo, los razonamientos se
dividen en deductivos, inductivos y traductivos.
En los razonamientos deductivos el proceso discursivo va de
un conocimiento de determinado grado de
universalidad a un conocimiento nuevo de
universalidad menor.

As en el raciocinio deductivo.
Las grasas no se disuelven en el agua.
El aceite es una grasa.
.... ............. ............. ......
Luego el aceite no se disuelve en el agua
Se llega a la conclusin yendo de un conocimiento de
determinado grado de universalidad ( es decir de la clase
de objetos) a un conocimiento de menor grado de
universalidad ( es decir, a un ejemplar aislado de dicha
clase de objetos).

En los razonamientos inductivos el proceso discursivo va de

un conocimiento de determinado grado de
universalidad a un conocimiento nuevo de mayor
grado de universalidad.

En el razonamiento inductivo
Una lnea recta no puede cortar a la circunferencia
ms que en dos puntos
Una lnea recta no puede cortar a la elipse ms que
en dos puntos
Una lnea recta no puede cortar a la parbola ms
que en dos puntos
Una lnea recta no puede cortar a la hiprbola ms
que en dos puntos
La circunferencia, la elipse, la parbola y la
hiprbola constituyen todas las especies de
secciones cnicas
.... ............. ............. ......
Luego, una lnea recta no puede cortar a ninguna seccin cnica ms
que en dos puntos.

Se llega a la conclusin yendo de un conocimiento de

determinado grado de universalidad ( es decir, el
conocimiento de ciertas especies de secciones cnicas) a
un nuevo conocimiento de mayor grado de
universalidad ( es decir, a un conocimiento acerca de
toda la clase de secciones cnicas)

En los razonamientos traductivos el proceso discursivo va

de un conocimiento de determinado grado de
universalidad a un conocimiento nuevo del mismo
grado de universalidad.
En el razonamiento traductivo
A es mayor que B
B es mayor que C
.... ............. ............. ......
Luego A es Mayor que C

Se llega a la conclusin yendo de un determinado grado de

universalidad ( es decir, del conocimiento de que el objeto
A se halla en determinada relacin con el objeto B) a un
conocimiento nuevo del mismo grado de universalidad ( es
decir, el conocimiento de que este mismo objeto A se halla
en la misma relacin con otro objeto C).

Razonamiento de Probabilidad, es aquel cuya conclusin

nos proporciona un conocimiento probable. Ej.
El planeta Marte es parecido a la Tierra en muchos sentidos,
En Marte hay atmsfera, agua; la temperatura del aire es
semejante a la del aire de la Tierra, etc. En la tierra hay
vida orgnica. Luego es probable que tambin en Marte
haya vida orgnica.

Razonamiento de certidumbre, es aquel cuya conclusin

nos proporciona un conocimiento cierto. Ejemplo:
Todos los metales son conductores de electricidad, el
mercurio es un metal; luego el mercurio es un conductor de
electricidad.
Los razonamientos de certidumbre se emplean para
fundamentar la veracidad o la falsedad de los juicios.
Si las premisas del razonamiento de certidumbre son juicios
verdaderos, observando la regla de dicha especie de
razonamientos obtendremos en la conclusin un juicio
tambin verdadero.

Induccin:
Se llama induccin al razonamiento mediante el cual pasamos
del conocimiento de un determinado grado de
generalizacin a un nuevo conocimiento de mayor grado de
generalizacin.
Razonamiento en virtud del cual se pasa de lo particular a lo
general.

Deduccin:
Se llama deduccin al razonamiento mediante el cual
pasamos del conocimiento de un determinado grado de
generalizacin a un nuevo conocimiento de menor grado de
generalizacin.
Razonamiento en virtud del cual se pasa de lo general a lo
particular.

Hiptesis

Conjetura que se hace sobre un hecho que, en un momento

dado y por unas u otras causas, no est al alcance de
nuestro conocimiento, pero que podemos conocer sin
necesidad de especiales investigaciones .

Suposicin de tipo especial que se aplica en la investigacin

cientfica.

En la ciencia se llama hiptesis a la suposicin que se

hace respecto a un hecho que no puede observarse
directamente o acerca de un orden regular conjeturado, no
observado directamente que explica un conjunto de
fenmenos conocidos por la experiencia.

La necesidad de la hiptesis se debe al mismo progreso de

la ciencia, al descubrimiento de nuevos contenidos que
contradicen la explicacin anterior de hechos ya conocidos,
pertenecientes a la misma esfera de fenmenos.

La suposicin es hiptesis, en el sentido lgico de

la palabra si rene las siguientes condiciones:

a)

No ha de hallarse en contradiccin con ningn dato de la

ciencia. Por su contenido, no ha de contradecir la
concepcin cientfica del mundo, ni los conocimientos
ciertos existentes cuando se formula la hiptesis.

b)

Ha de ser suficiente para poder explicar todos los hechos

que motivan su formulacin.

c) Ha de explicar mejor que ninguna otra suposicin los

fenmenos o hechos a que se refiere.
d) Es, por tanto, evidente que no puede considerarse la
hiptesis como una suposicin fantstica, arbitraria. La
hiptesis ha de articularse orgnicamente, en la rama de la
ciencia en que ha de ser aplicada. Lo importante es que la
hiptesis explique no una parte de los hechos o fenmenos
que necesitan ser aclarados, sino todo su contenido.

Desarrollo de la hiptesis
Toda hiptesis est sujeta a un determinado proceso de
desarrollo de tres fases.
1)

Aparicin de la hiptesis fundada en unos u otros hechos y

principios de la ciencia.

2)

En el anlisis de la suposicin fundamental y en el estudio

de las consecuencias que de ella se desprenden.

3)

Comparacin de los resultados obtenidos analticamente

al investigar la suposicin fundamental de la hiptesis,
con los datos que nos proporcionan la observacin y la
experiencia. Esto demuestra que la hiptesis es o no
probable

Comprobacin de la hiptesis

Toda hiptesis ha de ser necesariamente comprobada.

o

Nmero mayor de conclusiones que se desprendan de la

suposicin fundamental de la hiptesis que se acaba de
formular.

Por la va experimental de un fenmeno no observado en

ninguna parte antes de adoptar la hiptesis.

Transformacin de la hiptesis en conocimiento

cierto.

La hiptesis acerca de un hecho pasa a ser verdad

demostrada si resulta que del hecho supuesto, y slo de l,
se sigue una consecuencia cuya validez se averigua
mediante la experiencia.
La suposicin o hiptesis se transforma en conocimiento
cierto si se logra demostrar que es necesario excluir todas
las causas supuestamente originarias de un hecho dado,
por no demostradas, menos una, que implica
obligatoriamente la aparicin del hecho en cuestin.

Valor cognoscitivo de la hiptesis.

La hiptesis constituye el primer grado de la investigacin que

lleva de lo que se observa directamente en los fenmenos
al conocimiento de las leyes internas de su desarrollo.
Es condicin previa de la hiptesis cientfica aspirar a conocer
la esencia intima de los fenmenos, las leyes objetivas de
su desarrollo.