teorico logica formal 2016

12
Lógica FORMAL Lógica FORMAL Silogismos Categóricos y Cuadro de oposición

Upload: rorro-mc

Post on 12-Apr-2017

93 views

Category:

Education


0 download

TRANSCRIPT

Page 1: Teorico logica formal 2016

Lógica FORMALLógica FORMALSilogismos Categóricos y Cuadro de oposición

Page 2: Teorico logica formal 2016

Silogismos Silogismos CategóricosCategóricos

Page 3: Teorico logica formal 2016

T M PM Toda difamación es una injusticia.

tPm Toda injusticia es un acto malo.

M---------------------------------------C Todo acto malo es una difamación.

t T

A este Sujeto se le llama

TERMINO MENOR (t)

A este Predicado se

le llama TERMINO

MAYOR (T)Termino Medio (M)

A este enunciado se lo llama Premisa

Mayor (PM)

Termino Medio (M)

Por lo tanto

A este enunciado se lo llama

Premisa menor (Pm)

A este enunciado se lo llama

Conclusión (C)

Page 4: Teorico logica formal 2016

Ahora… !CONCENTRATE!Ahora… !CONCENTRATE!Existen 4 figuras del silogismo:

◦Primera Figura.-M – T Ningún alumno es profesor.t – M Algunos estudiosos son alumnos.------- ------------------------------------------------t – T Algunos estudiosos no son

profesores.

◦Segunda Figura:T – M Ningún profesor es alumno.t – M Algunos estudiosos son alumnos.------- ------------------------------------------------ t – T Algunos estudiosos no son profesores.

Page 5: Teorico logica formal 2016

◦Tercera Figura:M – T Ningún alumno es profesor.M – t Algunos alumnos son estudiosos.------- -------------------------------------------------t – T Algunos estudiosos no son

profesores.

◦Cuarta Figura:T – M Ningún profesor es alumno.M – t Algunos alumnos son estudiosos.------ -------------------------------------------------t – T Algunos estudiosos no son

profesores.

Page 6: Teorico logica formal 2016

MODOSMODOSUniversal Afirmativo --------- (A)Universal Negativo --------- (E)Particular Afirmativo --------- (I)Particular Negativa --------- (O)

A = TODO ( s ) ___ ES (son )___E = NINGUN ( nos ) ___ ES ( son )___I = ALGUN (nos ) ____ ES ( son ) ____O= ALGUN (nos ) ____ NO ES( no son )____

(E) NINGUN HEROE ES COBARDE.(I) ALGUNOS SOLDADOS SON COBARDES. -----------------------------------------------------(O) ALGUNOS SOLDADOS NO SON HEROES.

Page 7: Teorico logica formal 2016

Reglas de los SilogismosReglas de los SilogismosReglas de los términos:

1.El silogismo debe tener únicamente tres términos.2.Ninguno de los términos debe tener mayor extensión en la conclusión que en las premisas.3.El término medio no debe aparecer en la conclusión.4.El término medio debe ser por lo menos una vez universal.

Reglas de las premisas:

1.Dos premisas afirmativas no dan conclusión negativa.2.Dos premisas negativas no dan conclusión.3.Dos premisas particulares no dan conclusión.4.La conclusión debe seguir la parte más débil (la particular a la universal, la negativa a la afirmativa, el t al T).

Page 8: Teorico logica formal 2016

Los Modos Validos según cada Figura

Page 9: Teorico logica formal 2016

Cuadro de Cuadro de OposiciónOposición

Page 10: Teorico logica formal 2016

Reglas del Cuadro de Reglas del Cuadro de OposiciónOposición

Page 11: Teorico logica formal 2016

Leyes de verdad de proposiciones opuestas- De las definiciones que acabamos de ofrecer se deducen una serie de leyes relativas a la verdad y falsedad de las proposiciones opuestas:

- Dos proposiciones contradictorias no pueden ser simultáneamente verdaderas, ni simultáneamente falsas. En otras palabras, si una es verdadera, la otra es falsa, y viceversa. Esta ley es la fórmula lógica del principio de no contradicción.

- Dos proposiciones contrarias no pueden ser simultáneamente verdaderas, pero pueden ser simultáneamente falsas. Así pues, si una es verdadera, la otra es falsa, pero si una es falsa, también la otra puede serlo.

- Dos proposiciones subcontrarias no pueden ser simultáneamente falsas. Así pues, si una es falsa, la otra es verdadera. Pero si una es verdadera, la otra puede ser también verdadera.

En cuanto a las proposiciones subalternas, si la universal es verdadera, la particular también lo es. Si la particular es falsa, también lo es la universal. Pero el universal puede ser falso, y el particular, en cambio, verdadero: lo que es verdad de algunos puede no serlo del todo.

Page 12: Teorico logica formal 2016

CALCULADORA

A E I O

A es verdadero V F V F

A es falso F Ind. Ind. V

E es verdadero F V F V

E es falso Ind. F V Ind.

I es verdadero Ind. F V Ind.

I es falso F V F V

O es verdadero F Ind. Ind. V

O es falso V F V F

V= Verdadera F=Falsa Ind.= Indeterminada