Resumen IPC

Aristóteles:
 Fue un filósofo griego el cual nació en el año 384 a.C en la ciudad de Estagira
 Vivió en la antigua Grecia hasta su muerte en el año 322 a.C.
 Aristóteles compartió su época con varias personalidades históricas como
Platón, quien fue su maestro, Alejandro Magno quien fue su aprendiz, etc
 Aristóteles hizo contribuciones significativas a la lógica y el pensamiento
científico. En el ámbito lógico desarrollo el sistema conocido como lógica
aristotélica. La cual abordaba temas como la deducción, la inferencia y la
clasificación, estableciendo reglas para el razonamiento valido.
Definiciones:
 Termino = palabra
 Alcance de un termino = que cosas involucra un termino
 Proposición = Una proposición es una idea, una afirmación sobre determinado
sujeto. Puede ser verdadera o falsa, positiva o negativa y particular o general.
 Significante = ente (algo) que adquiere significado
 Significante + significado (que adquiere de un contexto determinado) = signo
 Razonamiento = proceso mental en el cual se vinculan ideas previas (premisas)
y que concluye en una conclusión. Estas ideas deben cumplir con las reglas de
inferencia para elaborar una conclusión.
 Lógico = algo que cumple con las reglas de inferencia
 Lógica = disciplina que aborda los métodos y procedimientos para distinguir un
razonamiento de uno que no lo es; es el estudio de los enunciados, de lo que se
dice. Primera ciencia axiomatizada (Aristóteles)
 Logos = explicación de algo, le da significado
 Negación = no aceptación de un significado de una acción o una palabra
 Premisa = forma parte de un razonamiento, son proposiciones iniciales previas a
la conclusión del argumento.
 Disciplina = conjunto de reglas
 Razonamiento = es una estructura lógica que consta de premisas y conclusión,
siempre se llega a una conclusión única. No cualquier pensamiento constituye un
razonamiento.
LÓGICA CLÁSICA O ARISTOTÉLICA:

Proposiciones categóricas:
Existen 4 proposiciones diferentes:
 por un lado, están las generales o universales, que hablan del todo o ninguno,
siendo A positiva (todos) y E negativa (ningún)
 Luego están las particulares, que se refieren a alguno o algunos, siendo I
positiva (alguno/s es/son…) y O negativa (alguno/s no es/son…)
Vínculos entre proposiciones:

Existen diferentes modos de pensamiento:
 De generales a general: deductivo (matemática)
 De general a particular: deductivo
Es un razonamiento deductivo, tiene validez lógica. Para que sea deducción: si o si tiene
que haber un general.
 De particulares a general: inducción (química, física)

 De particulares a particular: analogía (economía, psicología)
Estas hacen posible el avance del conocimiento, agregan información. No tiene validez
lógica y no son un razonamiento deductivo, sino que son un pseudo razonamiento
Cuadro de oposición:
El cuadro de oposición de las proposiciones categóricos establece que:
 A y E son contrarias, esto implica que no pueden ser ambas verdaderas, pero si
ambas falsas
 I y O son subcontrarias, esto implica que no pueden ser ambas falsas pero sí
verdaderas
 A y O, y, E y I son contradictorias, es decir que no pueden ser ambas
verdaderas o ambas falsas
 A y I son subalternas (I es un subconjunto de A), es decir que si A es
verdadera, I va a ser verdadera, y si I es falsa, A va a ser falsa. (Si no, V/F) (Lo
que ocurre al universal baja al particular, pero lo que le ocurre al particular no
necesariamente le sucede al universal)
 E y O son subalternas (O es un subconjunto de E), es decir que si E es
verdadera, O va a ser verdadera, y si O es falsa, E va a ser falsa. (Si no, V/F)
La diferencia entre VALIDEZ y VERACIDAD:

 La validez corresponde al silogismo completo, depende de si cumple o no las
reglas de inferencia, si las cumple será VÁLIDO sino será FALAZ.
 La veracidad corresponde a las premisas o a la conclusión, y se sabe debido a la
contrastación con el afuera, así se sabrá si es VERDADERO o FALSO.
Razonamiento valido:
 Existen 64 posibles opciones, pero solo 9 de ellas son válidas (AAA, AEE, AII,
AOO, OAO, EAE, EIO, IEO, IAI). Esto va a depender de si cumplen o no las
reglas de inferencia.
 Un razonamiento válido está compuesto por 3 proposiciones; 2 premisas y 1
conclusión. Las cuales van a estar formadas por el término mayor (lo que
abarca más o lo que se dé antes, o el predicado de la conclusion), el término
menor (lo que abarca menos o lo observable, o el sujeto de la conclusion) y el
término 1⁄2 (debe estar distribuido SI o SI en las premisas, en una deberá ser
sujeto y en el otro predicado, o al revés; si no hay término 1⁄2, la conclusión
no existe)
Reglas de inferencia:
 Debe estar compuesta por 3 términos
 De 2 premisas particulares no se infiere conclusión
 Si 1 premisa es particular, la conclusión deberá ser particular
 Si 1 premisa es negativa, la conclusión deberá ser negativa
 De 2 premisas positivas, la conclusión sólo puede ser positiva
 De 2 premisas generales, la conclusión deberá ser general
 De 2 premisas negativas no se infiere conclusión
 El T1⁄2 debe estar distribuido
 De premisas verdaderas, solo conclusión verdadera (no al contrario)
Lógica proposicional/simbólica:
Bertrand Russell: siglo XIX
 decía que las palabras “molestaban”, ya que el alcance de estas dependía de la
historia de cada individuo, es decir de cómo habían incorporado el término.
 Por ende, había que vaciar de contenido las proposiciones y usar variables o
símbolos. Hay que analizar sólo el resultado final de la operatoria.
Conectores: Tipos de razonamiento.

 La conjunción expresa el Y, E y el PERO, Conecta proposiciones. Su
código es: ∧
 La disyunción incluyente expresa el O y U. Su código es ∨. La O se
encuentra siempre en el medio. Acepta el Y (es decir que admite
intersección), ambas proposiciones pueden ser verdaderas al mismo tiempo.
 La disyunción excluyente expresa el O y U. Su código es ⊻. La O puede
encontrarse tanto en el medio como al principio y en el medio. No acepta el
Y, es decir que solo una de las proposiciones puede ser verdadera, pero no
ambas al mismo tiempo
 El condicional expresa ENTONCES, POR LO CUAL, POR LO TANTO,
PUESTO, YA QUE. Se usa para implicar algo entre proposiciones. Su
símbolo es ⇒ / ⊃.
 El bicondicional expresa SÍ Y SÓLO SÍ, SOLAMENTE SÍ. Se usa para
referirse a una doble implicación entre afirmaciones. Su símbolo es ⇔ / ≡ .
Verdad o falsedad de los conectores:
 Conjunción: el enunciado resultará verdadero cuando ambas proposiciones sean
verdaderas
 Disyunción incluyente: el enunciado siempre resultará verdadero, salvo cuando
ambas proposiciones sean falsas
 Disyunción excluyente: el enunciado resultará verdadero cuando solo una de las
proposiciones sea verdadera
 Condicional: el enunciado resultará verdadero siempre y cuando antecedente
verdadero no corresponda consecuente falso
 Bicondicional: el enunciado será verdadero cuando ambas proposiciones sean
verdaderas o ambas falsas
Tablas de verdad:
 Para saber cuál será el resultado del enunciado se necesita realizar una tabla de
verdad.
 Dependiendo la cantidad de proposiciones la fórmula será 2n → Ej: si tus
proposiciones son P, Q y R = 2 elevado 3 = 8 → Deberás realizar 8 columnas.
 Siempre se resuelven primero los paréntesis, luego los corchetes y últimas las
llaves.
 Si el valor de verdad del enunciado fuera siempre VERDADERO,
independientemente del grado de verdad de las proposiciones, el enunciado sería
una TAUTOLOGÍA
 Por el contrario, si el valor de verdad del enunciado fuera siempre FALSO,
independientemente del grado de verdad de las proposiciones, el enunciado sería
una CONTRADICCIÓN
 Por último, si el resultado de tu tabla de verdad varía entre VERDADERO o
FALSO (siguiendo un orden o no), será una CONTINGENCIA (Puede ser
verdadero o falso dependiendo de las proposiciones que lo definan)
Formas de razonamiento o reglas de inferencia:

Todo razonamiento que al ser codificado tenga alguna de las siguientes estructuras será
considerado válido ya que manifiesta ser tautológico:
MODUS PONENS (afirmativo): [ ( P ⇒ Q ) ∧ P ] ⇒ Q
 Se forma por un condicional y su antecedente, dando como conclusión su

consecuente.
 Según ésta, puede afirmarse el consecuente de un condicional si se afirma su
antecedente.
MODUS TOLLENS (negativo): [ ( P ⇒ Q ) ∧ ∼ Q ] ⇒ ∼ P
 Se forma por un condicional y la negación de su consecuente, dando como

conclusión la negación de su antecedente.
 Según ésta puede negarse el antecedente de un condicional si se niega su
consecuente.
SILOGISMO DISYUNTIVO: [ ( P ∨ Q ) ∧ ∼ P ] ⇒ Q
 Se compone de una premisa disyuntiva y una premisa que niega una de las
opciones presentadas en la disyunción, concluyendo así el otro disyunto.
SILOGISMO HIPOTÉTICO: [ ( P ⇒ Q ) ∧ ( Q ⇒ R ) ] ⇒ ( P ⇒ R )
 Se basa en proposiciones condicionales para establecer relaciones entre

variables.
Falacias formales:
Son contingencias
AFIRMACIÓN DE CONSECUENTE: [ ( P ⇒ Q ) ∧ Q ] ⇒ P
 Se basa en modus ponens pero nos da como conclusión el antecedente, no el

consecuente.
 Esta falacia se basa en un razonamiento erróneo al invertir la relación lógica
establecida por la afirmación condicional.
NEGACIÓN DE ANTECEDENTE: [ ( P ⇒ Q ) ∧ ∼ P ] ⇒ ∼ Q
 Se basa en modus tollens pero nos da como conclusión la negación del

consecuente.

Resumen IPC

Cargado por

Copyright:

Formatos disponibles

Resumen IPC

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Resumen IPC

Cargado por

Copyright:

Formatos disponibles

Aristóteles:

LÓGICA CLÁSICA O ARISTOTÉLICA:

Vínculos entre proposiciones:

 De particulares a general: inducción (química, física)

La diferencia entre VALIDEZ y VERACIDAD:

Conectores: Tipos de razonamiento.

Formas de razonamiento o reglas de inferencia:

MODUS PONENS (afirmativo): [ ( P ⇒ Q ) ∧ P ] ⇒ Q

 Se forma por un condicional y su antecedente, dando como conclusión su

MODUS TOLLENS (negativo): [ ( P ⇒ Q ) ∧ ∼ Q ] ⇒ ∼ P

 Se forma por un condicional y la negación de su consecuente, dando como

 Se basa en proposiciones condicionales para establecer relaciones entre

 Se basa en modus ponens pero nos da como conclusión el antecedente, no el

 Se basa en modus tollens pero nos da como conclusión la negación del

También podría gustarte