Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
• Razón
LOGOS
• Discurso
ACTOS DE
• Lógica PENSAR • Concepto
Aristotélica • Estructura • Juicio
• Forma • Razonamiento
ESTUDIA
2.2. LÓGICA
PROPOSICIONAL
Lógica de enunciados
Lógica de proposiciones sin analizar
PROPOSICIÓN:
V
SUJETO + CÓPULA + PREDICADO
F
2.3. LÓGICA
CUANTIFICACIONAL
Lógica de predicados.
Estudia la proposición en su composición
(x) [(Ax Λ Bx)] cuantitativa
CUANTIFICADOR
() [(Mx→¬Sx)]
Extensor de cantidad (cantidad de sujetos)
PREDICADO
Propiedad o característica del sujeto.
2.4. LÓGICA DE CLASES
Las relaciones
entre clases en
las
proposiciones
categóricas Objetos
con alguna
ESTUDIA CLASE
propiedad
La pertenencia en común
o no
pertenencia del
sujeto al
predicado
2.5. LÓGICA TRIVALENTE
P Q
Luckasiewics propone un tercer valor
1 1
veritativo.
1 ½
1 0
½ 1
½ ½ V 1
½ 0
0 1 PROPOSICIÓN ? 1/2
0 ½
0 0
F 0
2.6. LÓGICA MODAL
Estudia los operadores modales de
◊p = ¬¬p
“posibilidad”, “contingencia”, “necesidad”
p = ¬◊¬p etc. de los razonamientos, asociadas a las
teorías de los mundos posibles (Lewis).
◊p
◊¬p
¬◊pΛ¬p
◊pV¬p
3. HISTORIA DE LA LÓGICA
3.1. EDAD ANTIGUA I
PROTÁGORAS (Sofista)
Estudió las oraciones en el plano sintáctico.
“Homo Mensura”
SÓCRATES
Modelo argumentativo (Mayéutica).
Estudió las definiciones y los conceptos.
Método inductivo
3.1. EDAD ANTIGUA II
PLATÓN (Idealista objetivo)
Método dialéctico. / Principio de no contradicción.
Clasificó las oraciones (A – N).
ARISTÓTELES
Método deductivo. / Principio del tercio excluido.
Clasifica las proposiciones (cantidad-calidad)
Categorías,
Sobre la interpretación,
Órganon Primeros Analíticos,
Segundos Analíticos,
Tópicos y
Refutaciones sofísticas
3.2. EDAD MEDIA I
PORFIRIO
Publicó la obra “ENEADAS” de Plotino.
Presenta un estudio, denominado ISAGOGE:
Clasificar las
ARBOR cualidades de las
PORPHYRIANA cosas en términos:
ESPECÍFICOS Y
GENERALES
3.2. EDAD MEDIA II
BOECIO
Filósofo ecléctico
Tradujo “Categorías y Peri hermaneáis”
“Isagoge de Porfirio”
“Uno”
MONADOLOGÍA
Fundamento de todo
Prop. categóricas
Propuso gráficas
Silogismo
Introdujo
El concepto de función
• Signo – Cosa lógica y cuantificador
Distinguió • Constante – Variable
3.4. EDAD CONTEMPORÁNEA II
B. RUSSELL (Lógica matemática y de relaciones)
Perfeccionó el lengua
lógico (de G. Peano).
“Principia Mathematica”,
Junto a Alfred Whitehead.
Trató de demostrar que la
matemática no es perfecta
(usando contradicciones).
3.4. EDAD CONTEMPORÁNEA III
L. WITTGENSTEIN (Filosofía del lenguaje)
1º Wittgenstein: “Tractatus Logico Philosophicus”
2º Wittgenstein: “Investigaciones filosóficas”
Mundo = hechos atómicos / Lenguaje = mapa de la realidad
Redujo: L. Predicados y Matemáticas al Cálculo prop.
Aportó con el método de evaluación de tablas de verdad
Artificial, diseñado
Histórico
simbólico
Oral, escrito o gestual Solamente escrito
Expresan hechos, Expresan ideas,
sentimientos, etc. conocimiento: Ideográfico
Ambiguo y con reglas Univoco, claro y preciso
generales
4.3. FALACIAS
Ignoratio elenchi
Non causa pro causa
Ad Populum
ATINGENCIA Ad Hominem
FALACIAS
Ad Ignorantiam
F. FORMALES
Ad Baculum
F. NO FORMALES
Ad Verecundiam
Equívoco
AMBIGÜEDAD Anfibología
Énfasis
- FALACIAS FORMALES
Si cruzas la pista, el
semáforo esta en
Infringe una rojo.
ley lógica
FALACIAS No cruzas la pista.
FORMALES El semáforo no esta
en rojo.
- FALACIAS NO FORMALES
Ignoratio Intenta probar una premisa con
elenchi una conclusión diferente.
No causa pro Atribuir una causa errónea a un
Premisas no causa evento sucesivo.
pertinentes a la Despertar emociones (+/-) en las
conclusión Ad Populum
personas (propaganda).
Ataque contra las personas, o a
ATINGENCIA Ad Hominen
sus convicciones.
Ad Afirmar la V/F porque no se ha
Ignorantiam demostrado lo contrario.
Apelar a la fuerza o amenaza
Ad Baculum
para conseguir aceptación.
Ad Utilizar a la “autoridad” fuera
Verecundiam de su especialidad.
- FALACIAS NO FORMALES
AMBIGUEDAD
Contiene palabras
ambiguas
Lenguaje
natural
Verdadera
Proposición
o falsa
Lenguaje
formalizado
PREDICATIVAS RELACIONALES
Atribuye una cualidad al Relacionan sujetos
sujeto
Venus gira alrededor del
Los planetas son esferas Sol
5.2. PROPOSICIONES COMPUESTAS I
Unen proposiciones simples a través de conectores lógicos.
- Conjuntivas “y“
(además, empero, pero, sin embargo, pues, no obstante)
La Tierra es un planeta y la Luna es un satélite.
- Disyuntivas “o”
INCLUSIVA Caronte o Luna son satélites.
EXCLUSIVA La Luna es un satélite o es un planeta.
5.2. PROPOSICIONES COMPUESTAS II
- Condicionales “implicativas” (causa efecto)
DIRECTA Si un cuerpo celeste opaco gira alrededor de un
planeta, entonces es un satélite.
INVERSA La Luna brilla puesto que recibe luz solar.
El Sol no es un planeta
El Sol es un planeta
Margen Cuerpo
𝒏
𝑪=𝟐
“C” = # combinaciones
“n” = # variables
6.2. PRINCIPALES ESQUEMAS
TABLAS DE
PROPOSICIÓN COMPUESTA SÍMBOLO
VERDAD
Conjuntiva “y” ∧ VV = V
Disyuntiva
“o” ∨ FF = F
Débil
Disyuntiva VV = F
“O… o…” ↮
Fuerte FF = F
“Si…,
Condicional → VF = F
entonces…”
“…si y solo VV = V
Bicondicional ↔
si…” FF = V
V=F
Negación “No” ~
F =V
6.3. LÓGICA PROPOSICIONAL Y
CIRCUITOS LÓGICOS
INTERRUPTORES: Permiten el fluido o la interrupción de la corriente
eléctrica:
ABIERTO
CERRADO
CIRCUITOS EN PARALELO
6.4. SIMPLIFICACIÓN DE CIRCUITOS
LEY EQUIVA A
~(p∨ q) ~p ∧ ~q
- Ley de Morgan:
~(p∧ q) ~p ∨ ~q
- Ley de la equivalencia: p↔q (p → q) ∧ (q → p)
7. RAZONAMIENTOS
VÁLIDOS EN LA LÓGICA
PROPOSICIONAL
7.1. MODUS PONENDO PONENS
p q
“Si solea, entonces hace calor. - p → q
Sucede que solea. FORMALIZANDO - p
Por lo tanto hace calor.” ∴q
p q
“Hago las diapositivas o duermo. - p v q
Esta vez no duermo. FORMALIZANDO - ~q
Entonces hago las diapositivas.” ∴p
7.4. SILOGISMO HIPOTÉTICO PURO
p q
“Si estudias lógica, podrás deducir argumentos. - p→q
q r - q→r
Si puedes deducir argumentos, puedes plantear argumentos. ∴ p→r
Si estudias lógica, podrás plantear argumentos.”
“Las plantas poseen cloroplastos si y solo poseen absorben luz solar. - p↔q
q r
- q↔r
Las plantas absorben luz solar, si y solo si realizan fotosíntesis.
∴ p↔r
Las plantes poseen cloroplastos si y solo si realizan fotosíntesis”
7.6. DILEMAS CONSTRUCTIVO - DESTRUCTIVO
p q
“Si estudias en la universidad, entonces serás profesional.
r s
Si trabajas, entonces tendrás dinero.”
- p→q - p→q
CONSTRUCTIVO
DESTRUCTIVO
- r→s - r→s
- p v r - ~q v ~s
∴qvr ∴ ~p v ~r
~p ~q
“La leyes no son justas y no son verdaderas.” - ~p ^ ~q
“Es falso que las leyes sean justas o sean verdaderas.” ∴ ~(p v q)
8. PRINCIPIOS DE LA LÓGICA
FORMAL Y LEYES DE LA
LÓGICA DIALÉCTICA
8.1.PRINCIPIOS LÓGICOS
PRINCIPIOS DE LA
LÓGICA CLÁSICA
Verdades evidentes,
tautologías
COMPRENSIÓN: Captar
la esencia o calidad del Si aumenta la
PROPIE concepto. comprensión
disminuye la
DADES EXTENSIÓN: Captar la extensión y
viceversa
totalidad o calidad del
concepto.
9.2. LA DEFINICIÓN:
Marca los
límites del MAMÍFERO: CONCEPTO
concepto. Animal vertebrado
caracterizado por
DEFINICIÓN
Significado presentar glándulas
de una mamarias.
palabra.
9.3. EL JUICIO
CANTIDAD UNIVERSAL : Todo mamífero es vertebrado.
(EXTENSIÓN) PARTICULAR : Algunos vertebrados son acuáticos.
INDIVIDUAL : El delfín es un animal mamífero.
CALIDAD AFIRMATIVO : Los animales son vertebrados
(VERBO NEGATIVO : Las aves no son mamíferos.
COPULATIVO) INDEFINIDO : Los delfines son no peces.
Premisa(s) Premisa(s)
Premisa Universal
Particular(es) Particular(es)
Conclusión(es) Conclusión(es)
Conclusión Universal
Particular(es) Particular(es)
“Inducción
imperfecta”
9.5. JUICIOS CATEGÓRICOS TÍPICOS – CUADRO
DE BOECIO
TODO S ES P
(UNIVERSAL AFIRMATIVO) A CONTRARIAS
E NINGÚN S ES P
(UNIVERSAL NEGATIVO)
SUBALTERNACIÓN
SUBALTERNACIÓN
ALGÚN S ES P
ALGÚN S NO ES P
(PARTICULAR AFIRMATIVO)
I SUBCONTRARIAS
O (PARTICULAR NEGATIVO)
10. INFERENCIAS
10.1. INF. INMEDIATAS POR OPOSICIÓN
CONTRADICTORIAS A E I O
(CANTIDAD/CALIDAD) O I E A
A CONTRARIAS
E CONTRARIAS A E
(CALIDAD) E A
SUBALTERNACIÓN
SUBALTERNACIÓN
SUBCONTRARIAS I O
(CALIDAD) O I
I SUBCONTRARIAS
O SUBALTERNAS A E
(CANTIDAD) I O
SUBALTERNANTES I O
(CANTIDAD) A E
10.1. INF. INMEDIATAS POR OPOSICIÓN
s p
Algún artrópodo no es crustáceo
A E
“O”
SUBALTERNACIÓN
(particular negativa)
I SUBCONTRARIAS
O SUBCONTRARIA : Algún artrópodo es crustáceo (I)
CX
s p
CONTRAPUESTA TOTAL:
“O”
Algunos mamíferos no son terrestres
Obversa s p
Algunos mamíferos son no-terrestres.
Conversa s no-p
Algunos no-terrestres son mamíferos. Contrapuesta Parcial
no-p s
Obversa
Algunos no-terrestres no son no-mamíferos. Contrapuesta Total
no-p no-s
10. 5. INF. MEDIATAS: EL SILOGISMO
REGLAS:
1. Los términos del silogismo son solo tres.
2. El término menor no debe entrar jamás en la conclusión
3. El término menor debe ser tomado por lo menos una sola vez en
toda su extensión.
4. Ningún término puede figurar en la conclusión con mayor
extensión que en las premisas.
5. De premisas negativas no se sigue conclusión.
6. Una conclusión negativa no puede ser generada por premisas
afirmativas.
7. La conclusión sigue siempre a la parte más débil.
8. De premisas particulares no se infiere conclusión.
10. 5. INF. MEDIATAS: EL SILOGISMO
P = Término mayor, se encuentra en la primera
premisa y va de predicado en la conclusión.
M = Término medio, se encuentra en ambas
premisas y no aparece en la conclusión.
S = Término menor, se encuentra en la segunda
premisa y va de sujeto en la conclusión.
M es P P es M M es P P es M
S es M S es M M es S M es S
S es P S es P S es P S es P
10. 5. INF. MEDIATAS: EL SILOGISMO
M P
PA (I) Algunos mediadores son pacifistas M P
S M
MODO UN (E) Ningún socialistas es mediadores S M FIGURA
PN (O) Algunos socialistas no son pacifistas S P
S P
IEO-1
(MODO Y FIGURA)
11. LÓGICA DE CLASES
11.1. REPRESENTACIÓN DE CLASES
UNIVERSAL VACÍO PARTICULAR
U SS S
x
COMPLEMENTO
S S
S=Ø S≠Ø
11.2. RELACIÓN ENTRE CLASES
INCLUSIÓN IGUALDAD EXCLUSIÓN
P
S SP S P
S≠Ø S=Ø
A E
TODO S ES P NINGÚN S ES P
S∩P=Ø S∩P=Ø
I O
ALGÚN S ES P ALGÚN S NO ES P
S∩P≠Ø S∩P≠Ø
12.4. DIAGRAMAS PARA PROP. ATÍPICAS
No es cierto que unos no-transeúntes sean no-despistados.
Negación (~) no-S no-P
Particular Afirmativa
DIAGRAMA ATÍPICO :
12.5. DIAGRAMAS PARA EL SILOGISMO CAT.
Todo académico es agradecido MaP = Ø
Algunos jóvenes son académicos S iM≠Ø
Algunos jóvenes son agradecidos S iP ≠Ø
MaP=Ø SiM≠Ø SiP≠Ø
P S S P
M M M Válido
12.5. DIAGRAMAS PARA EL SILOGISMO CAT.
M i P ≠ Ø (2º graficamos la particular)
M e S = Ø (1º graficamos la universal)
S o P ≠ Ø (Leemos la conclusión, debería haber “x”en “S”)
MeS=Ø M i P≠ Ø SoP≠Ø
S P S P
x
M M M No válido