Geovany Quintero Gmez

INSTITUTO MISIONERO SAN JUAN EUDES

CONTENIDO
1. Conceptos bsicos de lgica.
1.1 Definicin
1.2 objeto de la lgica
1.3 Divisin de la lgica
1.4 Principios de la lgica
2. Lgica formal
2.1 El concepto
Expresin del concepto.
2.3 La definicin.
2.4 El juicio.
2.5 Las proposiciones
2.4 El raciocinio
2.5 El silogismo.
3. Lgica del signo.
3.1 La semntica.
Conceptos bsicos de lgica
CONCEPTOS DE LGICA
Aristteles: la ciencia de la demostracin se preocupa por formular reglas para
alcanzar verdades por medio de la demostracin.
Lgica es la ciencia que expone las leyes, modos y formas del conocimiento
cientfico. Se trata de una ciencia formal que no tiene contenido, sino que se
dedica al estudio de las formas vlidas de inferencia. Es decir, se trata del
estudio de los mtodos y los principios utilizados para distinguir el razonamiento
correcto del incorrecto.
Ciencia que da a conocer la estructura de la razn y el pensamiento, generando de
esta manera, normas para la investigacin cientfica.
El origen de la lgica est vinculado a del arte de razonar y de argumentar, cuyo
objetivo sera el de aprender a argumentar correctamente.
CONCEPCIN ARISTOTLICA
Las obras de lgica de Aristteles (Categoras, Sobre la interpretacin, Primeros
analticos, Analticos posteriores y Tpicos) fueron agrupadas en un conjunto
llamado Organon, que los filsofos interpretaron tradicionalmente como una
propedutica, una preparacin para la filosofa.
Conceptos bsicos de lgica
OBJETO DE LA LGICA
Estudia nuestros pensamientos (conceptos, juicios y
raciocinios)
Desde su estructura (formal)
El objeto sobre el cual trabaja la lgica es el pensamiento, sus formas, es
decir la manera como la mente consigna y ordena los datos provenientes de
la naturaleza. Posteriormente, dichos datos sern expresados de acuerdo
con las reglas o formas asignadas por la disciplina en mencin.
Estructura del pensamiento
Proceso de conocimiento generalizado de la realidad.
Proceso de pensar Formamos conceptos reflejan objetos
Formacin del concepto= separacin de los rasgos esenciales del objeto
dentro del conjunto de propiedades generales.
Los pensamientos que surgen en nuestra mente necesitan ser comprobados.
Su veracidad ha de ser fundamentada. A travs del juicio (discurso en el cual
se afirma o se niega algo)
Conceptos bsicos de lgica
El pensamiento no slo llega a conocer slo con los rganos de los sentidos. El
pensamiento tambin nos permite juzgar acerca de hechos que no son objetos de
percepcin inmediata pero que guardan relacin con otros (humo)
Experiencia (indispensable)
Conocimientos
previos/anteriores
Al analizar el contenido de estos conocimientos anteriores y relacionarlo con los
nuevos hechos podemos inferir un conocimiento nuevo sin recurrir a la
experiencia directa
El pensamiento est indispensablemente unido al lenguaje (requisito necesario)
Las formas principales del pensamiento son el concepto, el juicio y el raciocinio
Conceptos bsicos de lgica
Divisin de la lgica.
Lgica formal
La lgica formal es una ciencia abstracta que tiene por objeto el anlisis
formal de los argumentos, haciendo abstraccin (prescindiendo) de su materia y
contenido. Por esto, la lgica es formal, es decir, carece de referencias sobre el
significado, y verstil. Esto la hace adecuada para justificar tanto razonamientos
filosficos como matemticos.
Lgica simblica
Expresin empleada para referirse a aquellos conocimientos lgicos dotados de
potentes lenguajes formalizados. Tambin se la denomina lgica matemtica.
Sistema Formal que analiza los signos y lo que designan.
Principios de la lgica
La exigencia fundamental de la actividad del pensar es, en realidad, la coherencia
entre los elementos del pensamiento.
1. Principio de Identidad
Afirma que: toda cosa es lo que es. A es A
Tomemos en consideracin los siguientes ejemplos el crculo es redondo; el
hombre es un animal racional. Tanto en el primero como en el segundo
ejemplo, el predicado esta implcito en el sujeto. En efecto, es inconcebible un
crculo que no fuere redondo, y que el hombre no fuese un animal racional.
Estas dos proposiciones presentan una identidad entre el sujeto y el
predicado. Crculo es lo mismo que redondo, y el hombre es lo mismo que un
animal racional.
En este sentido, podramos reducir a la formula A es A.
Esta identidad lgica indica al mismo tiempo que el crculo implica el ser
redondo, y el hombre implica ser animal racional, lo cual expresado en frmula
sera A implica A. De esto se sigue que: De lo verdadero se deriva siempre lo
verdadero, nunca lo falso.
(Juicio tautolgico=no aporta ningn conocimiento)
Principios de la lgica
Principio de Contradiccin A es B A no es B
El principio de la contradiccin afirma que: es imposible que algo sea al mismo
tiempo verdadero y falso. Consideremos los siguientes ejemplos: el crculo no
es redondo; el hombre no es un animal racional. Ambas proposiciones son
falsas porque son ambas contradictorias. En efecto, es falso que el crculo no sea
redondo y que el hombre no sea un animal racional. Si es un crculo es imposible
que no sea redondo, y si es un hombre es imposible que no sea animal racional.
Como es inadmisible que sea algo y no sea al mismo tiempo y en el mismo sentido,
amabas proposiciones son contradictorias. La contradiccin puede aparecer
tambin entre dos proposiciones contradictorias entre s. Por ejemplo: El
tringulo tiene tres lado. Ahora si es verdadero que el tringulo tiene tres lados,
es automticamente falsa la otra que afirma que no tiene tres lados. Luego, dos
proposiciones contradictorias entre s contribuyen a una contradiccin.
La contradiccin expresada en frmula sera: tanto si una proposicin predica
que algo es y no es como si dos proposiciones son contradictorias entre s,
hay una contradiccin.
Principios de la lgica
Principio del Tercer Excluido
3.Principio del tercero excluido: A es B o A no es B; una cosa es o no es
tal o cual cosa, o de un mismo sujeto podemos afirmar o negar una
cualidad, pero no hay una tercera posibilidad.
El principio del tercero excluido, nos dice que nosotros solamente,
tenemos dos opciones en cuanto al ser, podemos afirmar o negar la
identidad del ser, pero nunca podemos pensar en una posicin
intermedia, dicha posicin solo se admite en la mente como duda, pero no
es una posicin posible entre la afirmacin, y la negacin del ser.
Consideremos el siguiente ejemplo: el sol es una estrella. Por el principio
de contradiccin no podemos considerar ambas como verdaderas, y por el
principio del tercer excluido no podemos aceptar que ambas son falsas.
Luego, se sigue que si una es verdadera la otra es falsa y viceversa. Su
expresin formal sera: A, o es A o no es A.
De esto se sigue que: entre dos proposiciones contradictorias, si la
primera es verdadera, la segunda ser falsa, y si la segunda es
verdadera la primera ser falsa.
Principios de la lgica
Principio de la Razn Suficiente
El principio lgico de la razn suficiente no fue enunciado por Aristteles sino
posteriormente por el filsofo y cientfico alemn Guillermo Leibniz (1.646-
1.716), y se refiere a que para nuestro pensamiento slo son verdaderos
aquellos conocimientos que podemos probar con un nmero suficiente de
razones, para que lleven al convencimiento de la verdad de lo afirmado.
Esto quiere decir que, "Todo objeto debe tener una razn suficiente que lo
explique". O lo que es, es por alguna razn.
Este principio por referirse al problema de la verdad lo encontraremos tanto en el
campo de la gnoseologa como en el de la lgica, ya que el estudio de la verdad
compete a la Gnoseologa.
Dejemos claro que existe un gran nmero de conocimientos cuya verdad
adquirimos a travs de nuestros sentidos, mientras que existen otros que deben ser
admitidos como el caso de los axiomas de las matemticas.
LGICA FORMAL
EL CONCEPTO
Es la representacin mental de un objeto sin afirmar ni negar nada de el. //
Representacin mental, superior a la simple imagen. // No afirma ni niega, es neutra,
no se refiere a la existencia del objeto; en eso difiere del juicio. // Es una
representacin, expresin o significado.
Pensamiento lgico- no ideas particulares aisladas, sino de ideas ordenadas
sistemticamente.
Primera funcin del concepto= condicin necesaria para la comprensin de los
juicios.
Un concepto es una unidad cognitiva de significado, una idea abstracta o
mental que a veces se define como una "unidad de conocimiento".
Los conceptos son construcciones o imgenes mentales, por medio de las
cuales comprendemos las experiencias que emergen de la interaccin con
nuestro entorno, a travs de su integracin en clases o categoras relacionadas
con nuestros conocimientos previos.
La formacin del concepto est estrechamente ligada al contexto.
El concepto surge de la necesidad de generalizar, o clasificar los individuos,
cualidades y casos concretos conocidos en la experiencia agrupando las cosas o
los aspectos y cualidades comunes.
LGICA FORMAL
concepto se relaciona con los dems conceptos
Cardiologa corazn
CRITERIOS
RACIONALIDAD
UNIVERSALIDAD: doble significado: de un objeto podemos tener un solo concepto,
mientras q imgenes y representaciones podemos tener muchas.
Ejemplo: pirmides =colores tamaos, pero el concepto es slo uno.
El concepto de universalidad: el concepto vale para todos los objetos a que hace
referencia.
CARACTERSTICAS
COMPRENSIN: Conjunto de elementos que constituyen un concepto.
ej: mamifero: sus cualidades constitutivas son: reproducirse por cra viva, alimentarse,
en la primera, edad de leche y tener sangre roja y caliente
EXTENSIN: el nmero de clases de elementos a los que aplica el objeto.
Ejemplo: la vaca, el perro, el caballo, la ballena
A mayor comprensin menor extensin - A mayor extensin menor comprensin
Cuanto mayor sea el nmero de caractersticas que contiene un concepto, menor ser el
nmero de sujetos a los que pueda aplicarse, y viceversa.
LGICA FORMAL
Un concepto expresado de forma lingstica se llama trmino.
El concepto universal, puede ser:
Unvoco: se atribuye de manera absolutamente idntica a diversos sujetos.
Ejemplo: palacio: Nario, Versalles, hroes.
Equvoco: trminos con los que podemos expresar distintos conceptos,
aplicndose en cada caso con un sentido distinto.
Ejemplo: Pedro sufri dolores en su radio. La circunferencia posee un radio de cinco
centmetros.
Anlogos: aqul que se atribuye a varios sujetos en sentido ni totalmente
idntico ni totalmente diferente.
Ejemplo: la mujer vieja, la vieja reliquia, la imagen vieja.
el hombre sano, los alimentos sanos.
LGICA FORMAL
CATEGORIAS O PREDICAMENTOS
Las categoras o predicamentos.- Aristteles redujo todas las ideas universales a diez
tipos, denominados categoras (gr. kategoreo, enunciar, afirmar), o
predicamentos.
DEFINICIN: gneros supremos a los que pueden reducirse todas las cosas que
podemos predicar de una cosa.
CATEGORAS:
Sustancia, Cantidad, Cualidad, Relacin, Accin, Pasin, Lugar, Tiempo,
Situacin, Hbito
Todo lo que se puede decir de una cosa est incluido en estas diez categoras
Una sustancia: todo ser que existe en s
Nueve accidentes: todo lo que no puede existir en
s sino en otro
LGICA FORMAL
Sustancia: Jos
Cantidad: ha estudiado varias especializaciones
Cualidad: es arquitecto
Relacin: es hijo de Pedro y Mara
Accin: estudioso
Pasin: Le gusta el futbol
Lugar: vive en Bogot
Tiempo: hace cinco aos
Situacin: es soltero
Hbito: fuma
LGICA FORMAL
EL JUICIO:
El juicio es un pensamiento en el que se afirma o se niega algo de algo.
Segn Aristteles, el juicio es el "pensamiento compuesto de ms de una idea, pero
dotado, a la vez, de una unidad especial que se logra por medio de la cpula".
Los juicios expresan conocimiento en diferentes grados. Son producto del trabajo de la
Razn y pueden ser verdaderos o falsos.
ELEMENTOS DEL JUICIO
Sujeto: es el concepto del objeto del juicio, es decir, es el concepto de quien se
predica o se dice algo.
Predicado: es el concepto que se aplica al sujeto, es decir, es lo que se afirma o
niega acerca del sujeto.
Cpula: aquello que establece que lo pensado en el predicado es propio o no es
propio del objeto del juicio.
Ejemplo:
Juicio: El hombre es racional.
Sujeto: "El hombre"
Predicado: "racional"
Cpula: "es", establece que el contenido pensado en el predicado es propio del objeto
del juicio, establece que al hombre le es propio el carcter de racional.
LGICA FORMAL
Kant, en su cuadro sistemtico clasific los juicios en cuatro categoras: segn su
cantidad, segn su cualidad, segn su relacin, y segn su modalidad, a
continuacin vamos a tratar de estudiar cada uno de ellos:
Segn su Cantidad: Entendemos por cantidad de el juicio la mayor o menor
extensin en que se toma el concepto sujeto en este juicio. En razn a la cantidad
los juicios se dividen en universales, particulares y singulares.
Los Juicios Universales son cuando el concepto-sujeto es un trmino comn
tomado universalmente en toda su extensin, lo cual se denota por la palabra todo
o ninguno. Por ejemplo: Todo animal es irracional.
Los Juicios Particulares son cuando el concepto-sujeto se toma slo en parte de
su extensin, lo que expresamos por la voz algunos, como cuando decimos:
Algunos hombres son sabios.
Los Juicios Singulares son cuando el concepto-sujeto se toma en su mnima
expresin es decir, cuando el sujeto es un trmino singular: Napolen fue Militar.
LGICA FORMAL
Segn su Cualidad: Se llama cualidad del juicio a la conveniencia
o no en que se encuentra el concepto-predicado con respecto al
concepto-sujeto, de acuerdo con ello pueden ser: afirmativos,
negativos e infinitos.
Los juicios afirmativos son cuando hay conveniencia entre el
sujeto y le predicado es juicio es afirmativo, ejemplo: La Luna es
un satlite.
Los juicios negativos son cuando el concepto-predicado no
conviene al concepto-sujeto, ejemplo: La Luna no es un planeta.
Los juicios infinitos son aquellos en los que no se dice el sujeto lo
que es, sino lo que no es. Kant seala que no deben confundirse
con los juicios negativos, ya que los negativos afectan
siempre a la cpula, mientras que los infinitos slo afectan al
predicado
Ejemplo; El alma no es mortal aqu estamos ante un juicio negativo,
en cambio si decimos El alma es no mortal si estamos en
presencia de un juicio infinito.
LGICA FORMAL
Segn su Modalidad: El Concepto de modalidad est referido a la
intensidad con que la cpula ejerce su afirmacin, la relacin
entonces ser fuerte o dbil. Hay tres clases de juicios por la
modalidad.
Los juicios Asertricos que son aquellos que enuncian una relacin
entre le concepto-sujeto y el concepto-predicado de hecho, con validez
efectiva, es decir aqu el concepto-predicado conviene al concepto-
sujeto. Su formula es S es P Ejemplo: El Araguaney es un rbol.
Los juicios Apodcticos que son aquellos que enuncian una relacin
entre el concepto-sujeto y el concepto-predicado, necesaria, forzosa,
es decir lo que se asegura o niega tiene que ser as y no puede ser
de otro modo. Su formula es S debe ser P ejemplo: 1+1=2; es decir
todos los axiomas matemticos.
Los juicios Problemticos son los que enuncian una relacin
entre el concepto-sujeto y el concepto-predicado como posible,
probable o dudosa. Su frmula es S puede ser P Ejemplo: La
envidia puede ser daina.
LGICA FORMAL
Segn su relacin: Se llama relacin de los juicios, el modo o la
manera en que se efecta el carcter aseverativo del juicio, es la
propiedad que tiene de enunciar con o sin ninguna restriccin, y
puede ser de tres clases.
Los juicios Categricos son aquellos en los que la afirmacin es
absoluta, puesto que no depende de ninguna condicin. Ejemplo:
Yo maana ir a Caracas.
Los juicios Hipotticos son aquellos cuando la aseveracin no
esta sometida a una condicin, por Ejemplo: si maana llueve
entonces no ir a Caracas, su forma tpica es la expresin entonces.
Los juicios Disyuntivos son aquellos que enuncian una
alternativa entre dos o ms posibilidades, en ellos encontramos la
partcula o u otro equivalente por Ejemplo: este cuadriltero es
rectngulo o paralelogramo este tringulo es equiltero o
issceles o escaleno.
LGICA FORMAL
CLASIFICACIN DE LOS JUICIOS (Kant)
Kant clasifica los juicios segn dos criterios que resultan sumamente lgicos, y,
adems, que se complementan de modo que uno de ellos suple las carencias del
otro.
SEGN LA RELACIN DEL PREDICADO CON EL SUJETO
Si para clasificar los juicios empleamos como criterio la relacin de atribucin o
predicacin, esto es, la relacin que guarda el predicado con el sujeto,
obtenemos los dos tipos siguientes: juicios analticos y juicios sintticos.
Juicios analticos. Son aquellos en los que el predicado est contenido en el
sujeto, es decir, aquellos en los cuales el predicado no aporta nueva
informacin con respecto a la expresada en el sujeto. Por ejemplo: Todos los
solteros son no-casados o Todos los cuerpos son extensos. (tautologas=
enunciados que son verdaderos en todos los casos, por la sencilla razn de que su
verdad viene dada por definicin (o por su forma o estructura). Kant dice que en
ellos, a lo sumo, el predicado aclara o explica un poco ms al sujeto. Les llama, por
tanto, juicios de explicacin. Son juicios necesarios (pues todas las ciencias los
contienen) pero en absoluto suficientes para aumentar el conocimiento cientfico
del mundo.
LGICA FORMAL
Juicios sintticos. Son aquellos en los que el predicado aporta nueva informacin
respecto a la expresada por el sujeto.
En ellos existe una ampliacin real del campo de la experiencia, y por tanto,
del conocimiento. Por ejemplo: Todos los cuerpos son pesados o El agua
hierve a 100. Juicios sintticos son los que hacemos los seres humanos la mayor
parte del tiempo, puesto que son relativos a nuestra experiencia cotidiana del
mundo. Los juicios sintticos, Kant los llama juicios de ampliacin.
SEGN LA RELACIN CON LA EXPERIENCIA
Si para clasificar los juicios empleamos como criterio la relacin con la
experiencia, obtenemos los dos tipos siguientes: juicios a priori y juicios a
posteriori.
Juicios a priori. Son aquellos que no tienen su fundamento en la experiencia, pues
son anteriores e independientes de ella, sino en la razn pura. Son universales y
necesarios. Por ejemplo "El todo es mayor que las partes que lo componen" o
Todo cambio tiene su causa. Los juicios analticos, explicados antes, son todos a
priori, puesto que la idea de un juicio analtico a posteriori es en s misma una
contradiccin.

LGICA FORMAL
Juicios a posteriori. Son aquellos que dependen de
la experiencia y, por tanto, se verifican recurriendo
a ella; son juicios empricos, se refieren a hechos.
Son particulares y contingentes. Ejemplos: "Todos
los cuervos son negros", "Mis alumnos son los
mejores del instituto".
Segn el empirismo, todos los juicios habran de
ser de este tipo. Por lo tanto, aunque expresen una
generalidad inductiva, los juicios a posteriori, por s
solos, nunca podran fundamentar una idea de
verdad universal.

LGICA FORMAL
CUADRO RESUMEN DE LAS CLASES DE JUICIOS:

Por su Cantidad

Por su Cualidad

CLASES DE JUICIOS

Por su Modalidad

Por su Relacin

LGICA FORMAL
Las proposiciones
Es la expresin de un juicio. La proposicin lgica corresponde en el nivel lingstico
a la oracin.
Llegamos al pensamiento y al juicio a travs de las proposiciones.
Proposicin = el exterior juicio= el exterior.
El juicio no est formado de palabras sino de conceptos, en la proposicin si.
Puede ser considerado como proposicin lgica cuando es susceptible de ser
verdadero o falso.
Una proposicn consiste en un sujeto y un predicado, y el nexo entre los dos se llama
cpula (verbo ser).
La nieve es blanca (2 conceptos =nieve blanco)
Oraciones que no son proposiciones:
Esta casa hermosa y grande de mi to=le falta el predicado.
Los marcianos son verdes =no tiene ni el valor lgico verdadero ni el falso.
Quieres jugo de naranja o de papaya? Las preguntas nunca son proposiciones.
Ven aydame! tampoco las rdenes
Maana va a llover---no se puede determinar su valor lgico.
LGICA FORMAL
Tipos de proposiciones.
Se pueden calificar segn la cantidad, la calidad y la modalidad.
Cantidad: conjunto de entes (objetos) de los cuales se dice algo.
a) Si el sujeto es un solo individuo=proposicin singular (Juan es alto). (el
sujeto no es un concepto sino un nombre).
b) Si el sujeto consta de algunos entes, pero no todos (de una clase)
se llama particular. El sujeto es un concepto cuantificado. Algunos
hombres son varones . Hombres = concepto universal cuantificado.
c) Si el sujeto incluye todos los entes de una cierta clase=proposicin
universal.el sujeto es un concepto cuantificado pero con un
cuantificador universal (todos) El hombre es mortal.
c)
LGICA FORMAL
En cuanto a la calidad se considera el valor de la afirmacin o negacin que lleva
una proposicin (negativas y afirmativas)
a) afirmativa: expresa su predicado en forma afirmativa.
todos los hombres son mortales
b) negativa: niega un predicado de un sujeto. Todos los hombres no son mujeres.
Algn hombres no es arquitecto.
Para determinar la modalidad se considera el valor modal de las proposiciones.
a) Real o asertrica: afirma o niega aun predicado de un estado actual o real.
Bogot es mas grande que Ocaa.
b) Posible o problemtica: afirma o niega un predicado en forma de posibilidad.
Una empresa puede ser mas rica que un pas.
c) Necesaria o apodctica: se afirma o se niega un predicado en forma de
necesidad. Dos por dos es igual a cuatro
LGICA FORMAL
EL RACIOCINIO
El Raciocinio es aquella operacin de la mente por la cual, establecida la
comparacin de dos ideas con una tercera, conoce la identidad o diversidad de ellas
entre s. Y ms brevemente: es la operacin de la mente por la cual de dos
juicios se deduce un tercer juicio.
Raciocinio: operacin lgica por medio del cual obtenemos un conocimiento nuevo,
inferido, partiendo de otro conocimiento.
Para que exista un raciocinio es necesario que un juicio sea consecuencia de otro.
En un raciocinio es necesario diferenciar;
a) El conocimiento inicial, expresado en una premisa o premisas(Se denomina
premisa a cada una de las proposiciones de un razonamiento).
b) El conocimiento inferido, expresado en la consecuencia o conclusin.
c) El conocimiento especificado en funcin de la disciplina.
Todo animal es viviente
El caballo es un animal
El caballo es viviente
LGICA FORMAL
Deduccin e induccin en el raciocinio
El raciocinio consiste en inferir de uno o de varios juicios, otro juicio nuevo que es la
conclusin.
Cuando de un juicio universal llegamos a una conclusin particular
= Razonamiento deductivo.
Desempea dos funciones:
1. Encontrar el principio desconocido de un hecho conocido.
2. Se establece al poder descubrir la consecuencia desconocida de principio
desconocido.
LA DEDUCCIN: MTODO DEDUCTIVO
La argumentacin deductiva, llamada tambin Silogstica, procede
partiendo de una premisa universal para llegar a una conclusin particular,
o menos universal.
Esta argumentacin parte de verdades ciertas y necesarias, para llegar a
conclusiones tambin ciertas y necesarias.
LGICA FORMAL
Cuando de un juicio particular llegamos a una conclusin
universal
Razonamiento inductivo
1. Caracterizacin de ciertos hechos para pasar a un
cierto grado de generalizacin.
LGICA FORMAL
Reglas del raciocinio.
a) Cuando hay inferencia, y sta es vlida, se infiere una conclusin necesariamente verdadera,
siempre que las premisas sean verdaderas.
a. Todo animal es viviente
b. El caballo es un animal
x. El caballo es viviente
A y B son verdaderas, entonces tambin la conclusin.
Regla: Slo hay certeza en inferir vlidamente una conclusin verdadera, si todas las premisa son
verdaderas
b) Cuando las premisas son falsas, la conclusin puede ser verdadera.
a. Todo hongo es venenoso
b. Alguna serpiente es un hongo
c. Alguna serpiente es venenosa
Regla : Una conclusin verdadera no supone necesariamente que el antecedente sea verdadero.
a. Todo pino es un arbusto
b. Juan es un pino
c. Juan es un arbusto
Una conclusin falsa supone necesariamente que las premisas de las cuales parte, una o varias falsas,
siempre que la inferencia sea vlida.
LGICA FORMAL
El silogismo
Estructura sistemtica de un razonamiento deductivo.
Silogismo es la Argumentacin en que se comparan dos extremos con un tercero
para descubrir la relacin que tienen entre s.
En este ejemplo, los dos extremos comparados son: promulgada y ley de fuga (P-S)
y el tercero con el que se comparan es: ley positiva (M).
Al comparar dos trminos con un tercero, percibe el entendimiento si esos dos
trminos convienen o no entre s. Si ambos convienen con un tercero, tambin
convendrn entre s. No convendrn, en cambio, si los dos no convienen con un
tercero.
Consta de tres juicios relacionados de tal forma que, identificados los primeros,
se sigue necesariamente el tercero.
Dinmica estructural= aquello que est contenido en el gnero est tambin en la
especie.
Ningn crculo es cuadrado,
Todo rectngulo es cuadrado
Ningn rectngulo es crculo.
LGICA FORMAL
Materia Prxima al Silogismo:
La materia prxima del Silogismo son las tres proposiciones que lo componen.
Todo hombre es pensante: Premisa mayor
Lus es hombre: Premisa menor
Luis es pensante: La conclusin
La premisa mayor es Universal o de mayor extensin, mientras que la mayor es la particular o de
menor extensin, en el caso de que tambin sea Universal. La conclusin ser siempre una
proposicin particular; y si es Universal, tendr siempre menor extensin que la premisa mayor.
Dicho ms concisamente: Las premisas unen los extremos con el medio, y la conclusin une los
extremos entre s.
Pero, en el caso de que una de las premisas sea negativa, su misin ya no consistira en unir, sino
en separar, expresndose en la conclusin la repugnancia entre los dos extremos. Modifiquemos
, para este caso, el ejemplo anterior y digamos:
Toda ley es obligatoria;
La compasin no es ley,
Luego la compasin no es obligatoria.
Aqu, las premisas separan los dos extremos, obligatoria y compasin, del medio ley, para
concluir que dichos extremos no convienen entre s.
LGICA FORMAL
Trmino menor: el sujeto de la conclusin.
Trmino mayor: el predicado de la conclusin.
Trmino medio: se repite en las premisas pero no en la
conclusin.
LGICA FORMAL
El valor de todo silogismo se especifica a travs de tres
principios:
a) Principio lgico de identidad. Dos cosas iguales a una
tercera son iguales entre s.
b) Principio lgico de discrepancia. Dos cosas, una de las
cuales es idntica a una tercera y la otra no, son
distintas entre s.
c) Todo lo que se dice de lo universal hay que afirmarlo en
cada individuo.
Propiedades del silogismo
Formula= todos los M son P; S es M; luego S es P.
La base de los razonamientos silogsticos se halla en la
compatibilidad o incompatibilidad de los objetos y, al
igual, en la agrupacin o separacin de los objetos o de
las clases de los objetos.
LGICA FORMAL
Para que el silogismo sea correcto debe someterse a determinadas reglas. Cuatro para
los trminos y cuatro para las proposiciones. Ocho son la leyes del Silogismo,
distribuidas en dos grupos: cuatro para la materia remota y otras cuatro para la
prxima. He aqu la de la materia remota
A) Reglas para los trminos.
1.No puede haber mas de tres trminos.
Los trminos deben ser tres; medio, mayor y
Esta primera ley estatuye que los trminos no pueden ser ni ms ni menos que tres.
Para ello es necesario que sean unvocos o, de no serlo, que conserven cada uno el
mismo sentido en todo el Silogismo. La razn de esta ley se desprende de la misma
naturaleza del Silogismo, en que se comparan dos extremos con un medio:
Toda ley debe sancionarse;
La gravitacin es una ley,
Luego la gravitacin debe sancionarse.
El error de este silogismo radica en que el trmino medio ley se toma en cada
premisa en sentido diferente, lo que hace que se introduzca un cuarto trmino, es
decir, el de la ley en sentido fsico.
LGICA FORMAL
FIGURAS Y MODOS DEL SILOGISMO
2. Los trminos no pueden tener mayor extensin en la conclusin que en las
premisas.
Todos los jueces administran justicia;
Todos los jueces son hombres,
Luego todos los hombres administran justicia.
Como puede verse, el trmino hombres est tomado en sentido particular en la
premisa menor y universal en la conclusin. Por consiguiente, se toma el mismo
trmino en dos sentidos, con lo que se peca tambin contra la primera regla.
LGICA FORMAL
3. El trmino medio se ha de tomar en toda su extensin al menos en una
premisa.
Quiere decir esta regla que el trmino medio debe necesariamente ser universal al
menos en una de las premisas, sin perjuicio de lo que pueda ser en ambas. As se
evidencia en este ejemplo:
Algunos jueces son corruptos;
Algunos honestos son jueces,
Luego algunos honestos son corruptos
4. El trmino medio no debe entrar en la conclusin.
Todo contrato se firma;
La compraventa es un contrato,
Luego la compraventa es un contrato que se firma.
Es evidente la superfluidad del trmino contrato en la conclusin
LGICA FORMAL
LEYES DE LA MATERIA PRXIMA DEL SILOGISMO:
Las restantes cuatro reglas son las que se refieren a las
proposiciones, o materia prxima.
1. De dos premisas afirmativas no se puede inferir una
conclusin negativa De no ser as, no se podra cumplir en el
silogismo el dictumde omni, adems de que se quebrantara el
principio de contradiccin. Igualmente, se pasara por alto el
principio de igualdad de dos cosas con una tercera. Esta regla es tan
evidente de s, que apenas es posible hallar ejemplos aceptables que
lo contradigan, a menos que se acuda a expresiones negativas
equivalentes a una afirmativa, como ocurre en este ejemplo:
Todos los jueces deben ser veraces;
Pedro es juez,
Luego Pedro no puede dejar de ser veraz.
No es necesario demostrar que esta conclusin es afirmativa.
LGICA FORMAL
2. De dos premisas particulares no se infiere nada .
La conclusin sigue siempre la peor parte.
Esta regla establece que, si una de las premisas es particular, la conclusin debe ser particular, y que si
una es negativa, la conclusin debe serlo tambin. En lgica ha sido tradicin decir que la premisa
particular y negativa es la peor parte del silogismo, porque la particularidad se ve como una
debilidad de la cantidad y la negacin como una debilidad de la cualidad. Veamos la razn de estos
dos aspectos.
Si una premisa es particular, debe serlo tambin la conclusin, porque en el silogismo se quiere
mostrar que los trminos de la conclusin forman parte, es decir, son particularidad, del todo
universal o general que se antepone en la premisa mayor. Y por esto mismo, si las dos premisas son
universales, la conclusin seguir la suerte de la que sea menos universal.
Si una de las premisas es negativa, deber serlo tambin la conclusin, porque en un silogismo de
esta caracterstica hay una premisa afirmativa que afirma la conveniencia de un extremo con un
medio, y otra negativa que la niega; ahora bien, sabemos que de dos cosas, una de las cuales
conviene con una tercera y otra no, no pueden convenir entre s, y esta repugnancia es
precisamente lo que se manifiesta en la conclusin negativa. Explicado de otra manera, la
conclusin debe seguir la suerte de las premisas, la igualdad que se niega en las premisas no puede
resultar afirmada en la conclusin.
Esta regla nos advierte, en fin, que todos los errores de las premisas se recogen en la conclusin.
Como corolario general, podemos decir que estas ocho reglas se encaminan a preservar los
principios de la conveniencia y de la discrepancia en que se funda el silogismo; y cada una de ellas
nos indica que es lo que hay que hacer o evitar para que tales principios no se quebranten.
LGICA FORMAL
FIGURAS Y MODOS DEL SILOGISMO
Es la estructura del silogismo que depende de la posicin del trmino medio en las
premisas.
a) Primera figura, que se da cuando el trmino medio ocupa el lugar del
sujeto en la premisa mayor y el del predicado en la menor.
M P Todo hombre es pensante
S M Lus es hombre
S P Lus es pensante.
b) Segunda figura, que se da cuando el trmino medio desempea el papel de
predicado en ambas premisas.
P M
S M
S - P
NINGN HOMBRE VUELA
ALGUNOS ANIMALES VUELAN
ALGUNOS ANIMALES NO SON HOMBRES
LGICA FORMAL
c) Tercera figura, que se da cuando el trmino medio desempea el papel de sujeto
en ambas premisas.
M P Algn emperador es pobre.
M S Todo emperador es racional.
S P Algn racional es pobre.
d) Cuarta figura, que se da cuando el trmino medio desempea el papel de
predicado en la premisa mayor y el sujeto en la menor.
P M
M S
S - P
TODO LEN ES CUADRPEDO
NINGN CUADRPEDO ES HOMBRE
NINGN HOMBRE ES LEN
LGICA FORMAL
1. Regla de la primera figura
Su premisa Mayor debe ser Universal
Le sigue una Premisa Menor que es siempre un enunciado en donde se afirma que
algo cumple una determinada condicin.
TODO MAMFERO ES VERTEBRADO
ALGN ANIMAL ES MAMFERO
ALGN ANIMAL ES VERTEBRADO
2. Regla de la segunda figura.
La premisa mayor ha de ser universal.
Una de las dos premisas ha de ser negativa.
TODO HOMBRE ES BPEDO
NINGN LEN ES BPEDO
NINGN LEN ES HOMBRE
NINGN HOMBRE VUELA ALGUNOS
ANIMALES VUELAN ALGUNOS
ANIMALES NO SON HOMBRES
LGICA FORMAL
Regla de la tercera figura
La premisa menor ha de ser afirmativa.
La conclusin ha de ser particular
ALGUNOS HOMBRES SON NEGROS
TODOS LOS HOMBRES SON MORTALES
ALGUNOS MORTALES SON NEGROS.
Regla de la cuarta figura
si la mayor es afirmativa, la menor debe ser universal
Si la menor es afirmativa, la conclusin debe ser particular.
Si alguna premisa es negativa, la mayor debe ser universal.
TODOS LOS LEONES SON CUDRPEDOS
TODOS LOS CUADRPEDOS SON MORTALES
ALGUNOS MORTALES SON LEONES
TODO ARGELINO ES AFRICANO
ALGN ARGELINO ES ALTO
ALGN ALTO ES AFRICANO
LGICA FORMAL
CLASES DE SILOGISMO
SILOGISMOS HIPOTTICOS. El silogismo hipottico se caracteriza por estar formado por juicios
hipotticos
1. Silogismo hipottico conjuntivo.
La premisa mayor es una proposicin hipottica copulativa. S no es P y R.
Alfredo no puede manejar carro y dormir
Alfredo maneja
Luego alfredo no duerme.
2. Silogismo hipottico disyuntivo.
La premisa mayor es una proposicin hipottica disyuntiva. S es P o R.
Lus est en clase o est afuera
Luis est en clase
Luego Lus no est afuera.
3. Silogismo hipottico condicional. -La premisa mayor es una proposicin hipottica condicional.
Si M es R, S es P
Si hace buen tiempo va al campo
Hace buen tiempo
Luego va al campo.
LGICA FORMAL
2. Silogismo disyuntivo.
Tiene como premisa una proposicin disyuntiva. La menor es afirmacin o negacin
de uno o muchos miembros; la conclusin es la afirmacin o negacin de uno o
muchos miembros que quedan en la meno.
Einstein es cientfico o gobernante
Einstein es cientfico
Luego no es gobernante.
3. Silogismo condicional
Tiene una proposicin condicional como premisa mayor, y una proposicin
categrica como premisa menor. Adems, su premisa menor es una proposicin
categrica.
Si un hombre camina, entonces se mueve.
Un hombre se mueve.
Entonces, un hombre camina.
LGICA FORMAL
FORMAS ESPECIALES DE SILOGISMO
ETINEMA. es un silogismo abreviado en que, prescindiendo de una de las
premisas, se va directamente a la conclusin
Pienso luego existo.
Pedro cometi un delito en Venezuela, luego debe ser castigado segn la ley
Venezolana.
El silogismo abreviado es de gran fuerza persuasiva, ya que presenta de un solo
trazo todo un conjunto de proposiciones tcitas y evidentes en s mismas.
En unas ocasiones se omite la premisa menor, como en el ejemplo dado, y en otras
la mayor, como lo es el caso del clsico entimema de Descartes: cogito, ergo sum
(pienso, luego existo).
LGICA FORMAL
EPIQUEREMA: es el silogismo en que una o ambas premisas justifican su verdad por
medio de una prueba causal.
Silogismo en que una o varias premisas van acompaadas de una prueba.
Incluye en su estructura una demostracin de alguna o de las dos premisa
Ejemplo:
Todo trmino medio es ptimo porque conduce a la virtud;
La Justicia es un trmino medio,
Luego la justicia es ptima.
Es digno de notar que cada una de las premisas seguidas de prueba causal es, a su vez, convertible en un silogismo completo.
Con la primera premisa del ejemplo dado lo haramos as:
Todo trmino medio es ptimo;
La Justicia es un trmino medio,
Luego la justicia es ptima.
Igualmente con la segunda premisa:
Toda Justicia est en un trmino medio;
Dar a cada uno lo suyo es justicia,
Luego, dar a cada uno lo suyo est en un trmino medio.
LGICA FORMAL
SORITES
argumento del montn, es una argumentacin que consta de proposiciones
concatenadas de tal manera, que siempre el predicado de la precedente pasa a
ser sujeto de la siguiente, hasta formar una conclusin en que el sujeto es el de
la primera premisa y el predicado el de la ltima.
La virtud est en el trmino medio;
El trmino medio es un equilibrio,
Un equilibrio es una perfeccin,
Una perfeccin es un ideal cumplido,
Luego la virtud es un ideal cumplido.
Toda virtud es un trmino medio,
El trmino medio es un equilibrio,
Un equilibrio es una perfeccin,
Una perfeccin es un ideal cumplido,
Luego la virtud es un ideal cumplido.

LGICA FORMAL
DILEMA
En lgica, un dilema es un problema que puede resolverse mediante dos soluciones, ninguna de las cuales es
completamente aceptable.
El dilema (dis= dos veces + lemma= ganancia 0 doble ganancia), es un silogismo hipottico en que la premisa
mayor es una proposicin disyuntiva, y la menor son dos condicionales, a travs de las cuales, de las dos
partes de la disyuntiva se deduce la misma conclusin. En consecuencia, el adversario dialctico, atacado
con este silogismo, quedar doblemente vencido por ambas partes algunos casos histricos.
El emperador Trajano public un decreto en que se prohiba interrogar a los cristianos, pero se mandaba a
condenarlos tan slo si aparecan ante el tribunal; a cuyo decreto respondi Tertuliano con este dilema:
O son culpables los cristianos o son inocentes;
Si son culpables, Por qu prohbes interrogarles?
Y si son inocentes, Por qu mandas a condenarlos?
Luego el decreto es injusto.
Cuando el califa Omar hubo tomado la ciudad de Alejandra, mand a quemar su biblioteca aduciendo el
siguiente dilema:
El contenido de esos libros, o est en el Corn o no est;
Si est en el Corn son intiles, pues el Corn basta;
Y si no est, son nocivos, pues no hay salvacin fuera del Corn;
Luego todos esos libros deben ser quemados.