Está en la página 1de 41

4/14/12

Filosofa II Lgica

Haga clic para modificar el estilo de subttulo del patrn

4/14/12

Primera unidad
Elementos bsicos de la lgica

Haga clic para modificar el estilo de subttulo del patrn

4/14/12

Lgica como ciencia formal(1.1)

En lo general, se ocupa de caracterizar principios, reglas y criterios para clasificar los razonamientos correctos o incorrectos

4/14/12

Definicin de la lgica (1.1.1)


Es

la disciplina que se encarga de estudiar cual es la estructura correcta del pensamiento humano, es decir, es una ciencia que nos muestra las leyes, principios o reglas para construir razonamientos correctos

4/14/12

Divisin de la lgica (1.2)


Lgica formal Correcto incorrecto

Lgica

Lgica material

Verdadero

4/14/12

Lgica formal (1.2)


Es

la disciplina que propicia las condiciones para que la estructura del pensamiento sea correcta

4/14/12

Lgica dialctica (1.2.1)


Estudia

la evolucin y las leyes des del pensamiento humano, del conocimiento y de la existencia objetiva, as como las interrelaciones que se manifiestan entre ellos.

4/14/12

Formas del pensamiento (1.3)

Concepto Juicio

Formas del pensamiento

razonamiento

4/14/12

El concepto (1.3.1)
Es

una idea o representacin mental que hace el individuo de un objeto sin emitir ninguna afirmacin o negacin de el.

4/14/12

El juicio (1.3.2)
Es

una proposicin enunciada de tal manera que afirmamos o negamos algo acerca del objeto . Es obligadamente falso o verdadero.

Proposicin , clasificacin y cuadro de oposicin.


v

4/14/12

Proposicin Clasificacin

Elementos bsicos de la lgica

Cuadro de oposicin
v

4/14/12

Las proposiciones (1.4)


Es

un enunciado en el que se acerva algo en torno a algo o alguien.

Clasificacin de las proposiciones (1.4.1)


Bajo el criterio de cualidad

4/14/12

Clasificacin de las proposiciones

Bajo el criterio de cantidad

4/14/12

Cuadro de oposicin (1.4.2)


l rsa Todo ive tiva Un rma afi V
Un ne ive Ninguno ga rs tiv al a

V Part i afirm cular Alguno ativ a

Fla icu art P iva Alguno r gat ne no

4/14/12

El razonamiento (1.5)
Es

la forma en la que vinculamos a los juicios entre si, para obtener nueva informacin , llamada conclusin.

4/14/12

Leyes bsicas del silogismo (1.6)


1.

2.

3. 4. 5. 6. 7. 8.

El silogismo consta de tres y solo tres trminos que son mayor, medio y menor Ningn termino debe tener mayor extensin en la conclusin que en las premisas El termino medio jams pasa a la conclusin El termino medio debe ser universal por lo menos una vez Dos premisas negativas no dan conclusin Dos premisas afirmativas no dan conclusin negativa Dos premisas particulares no dan conclusin La conclusin siempre sigue la parte mas dbil.

4/14/12

Figuras del silogismo


Primera figura
Premisa 1 M T

Segunda figura
Premisa 1 T M

Tercera figura
Premisa 1 M T

Premisa 2

Premisa 2

Premisa 2

Conclusin

Conclusin

Conclusin

Cuarta figura
Premisa 1 T M

Premisa 2

Conclusin

4/14/12

Modos del silogismo


Primera figura
BARBARA CELARENT DARII FERIO

Segunda figura
CECARE CAMESTRES FESTINO BAROCO

Tercera figura
DARAPTI FELAPTON DISAMIS DATISI BOCARDO

Cuarta figura
BAMALIP CALEMES DIMATIS FESAPO FRESISON

FERISON

4/14/12

segunda Unidad
Lgica proposicional.

Haga clic para modificar el estilo de subttulo del patrn

4/14/12

2.1 Lgica proposicional.

Se refiere al estudio de las formas de relacionar las proposiciones. Sustenta su estudio en dos elementos fundamentales, las proposiciones y las conectivas lgicas.

4/14/12

2.1.1 Tipos de preposiciones


Proposiciones.

simples

compues tas
Si tiene conectivos logicos: no, y, o, sientonces y solo y solo si entonces

No tienes conectivos lgicos : y, o, si entonces

4/14/12

Proposiciones simples

Es

una oracin declarativa, que tiene un sujeto y un predicado, y que no tiene conectivos o conexiones lgicas de la forma y, o, sientonces.

4/14/12

Proposiciones compuestas
Son

las proposiciones formadas por proposiciones simples asociadas mediante conectivos lgicos. Estos conectivos lgicos pueden ser no, y, o, sientonces y si y solo si entonces.

4/14/12

2.2 Tablas de verdad


Son

graficas que contienen la informacin completa de todas las posibles combinaciones de valores y sus respectivos resultados para una proposicin compuesta en particular.

4/14/12

2.2.1 Lgica Natura y Lgica simblica


La

lgica simblica es la disciplina encargada del estudio sistemtico del razonamiento correcto a travs de la manipulacin de los smbolos.

4/14/12

2.2.2 tablas de verdad


Conectivas

lgicas Nombre Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Significado No,ni,nada y o oo Sientonces

Conectivo
~ ^ v

V _

bincondicion Si y solo si al entonces

4/14/12

Reglas de las conectivas


Conectiva

^ v V _

Regla Para que la relacin sea verdadera ambas deben ser verdaderas. Con una que sea verdadera la relacin es verdadera. Si son desiguales la relacin es verdadera y si son iguales la relacin es falsa. Si el antecedente es verdadero y el consecuente es falso la

4/14/12

2.3 Resolucin de problemas lgicos


Construccin 1

de tablas de verdad.

Cada columna corresponde a los valores que adopta cada proposicin en particular Los renglones describen las combinaciones de valores correspondientes a dichas preposiciones. P V V F F Q V F V F

Regla para construir las columnas de las tablas de verdad .


N=2n

4/14/12

Donde: n: N:

Numero de proposiciones presentes. Numero de combinaciones posibles.

4/14/12

Tercera Unidad
Demostracin de argumentos lgicos

Haga clic para modificar el estilo de subttulo del patrn

4/14/12

3.1 leyes de implicacin


La

validez de un argumento tiene que ver solamente con la forma en que se construye las tablas de verdad y las leyes nos dan elementos para decir si es valido o no

4/14/12

3.2 validez tablas de la verdad


La

validez lgica nos permite decir si nuestra proposicin es correcta o incorrecta por que la elaboracin de tablas de la verdad nos permite clasificar a las proposiciones en tres tipos

Tautologa, contradictorias e indeterminadas


Tautologa:

4/14/12

nicamente resultados verdaderos nicamente resultados falsos al menos un resultado verdadero

Contradictorias:

Indeterminada:

4/14/12

Traduccin de argumentos a smbolos

4/14/12

3.2.2 leyes de implicacin


Modus

ponendo ponens (M.P.P)

es una proposicin condicional siempre que se afirma el antecedente podemos afirmar el consecuente q (1, 2, mpp)

1)p 2)p 3)q

4/14/12

Modus tollendo tollens


Es

una proposicin condicional siempre que se niegue el consecuente se puede concluir con una negacin q q p(1, 2, TT)

1)p 2) 3)

4/14/12

Modus tollendo ponens


Es

una disyuncin siempre que se niegue uno de sus miembros podemos concluir con la afirmacin del otro miembro Vq p q

1)p 2) 3)

4/14/12

3.2.3 Leyes de equivalencia


Ley

de la doble negacin :

Indica

que una doble negacin es igual a una afirmacin

~~(p

v q)

l(p v q)

4/14/12

Ley de la conmutacin
Nos

permite cambiar de posicin las preposiciones

(P l(Q

^ Q) ^P

4/14/12

LEY DE MORGAN
En esta ley nos permite cambiar de lugar los conectivos de la disyuncin y la conjuncin y la negacin

~(p ^ q) l~p v~ q

4/14/12

Ley de la distribucin
Las

proposiciones que estn unidas por estas conectivas pueden ser distribuidas segn lo que se indica en el conectivo

P^(q l(p

v r)

^ q) v (p^r)