Está en la página 1de 122

CORREO PARA CADA GRUPO

CORREO
cecyt1grupo1@hotmail.com
cecyt1grupo2@hotmail.com
cecyt1grupo3@hotmail.com

GRUPO

1IV1
1IV3
1IV6

OBRA CENA DE GENIOS,


10:00AM FELIX AZUELA.

FILOSOFIA II

LOGICA
PROFRA: MARIA ANGELICA DOMINGUEZ
4
MENDEZ.
ENERO 2012

Elementos
bsicos de
la lgica
5

UNIDAD I
Competencia particular

Aplica las formas del


pensamiento (concepto, juicio
y raciocinio)`para ordenar
coherentemente sus ideas en
todos los mbitos.
6

COMPETENCIA GENERAL
Demuestra la validez formal de los
razonamientos por medio de principales
mtodos deductivos, para la construccin
del conocimiento en trminos formales ,
distinguiendo argumentos correctos e
incorrectos, en la solucin de problemas
manifestados en los mbitos: escolar,
familiar y profesional.
7

CONOCIMIENTO: PROCESO MEDIANTE EL CUAL EL HOMBRE


CONSTRUYE Y RECONSTRUYE EN SU CONCIENCIA LA REALIDAD
CONSTRUIR

RECONSTRUIR

NOMBRA

COGNOSCENTE

REPRESENTACION

SUJETO

CONCEPTUALIZA

ELEMETOS DEL
CONOCIMIENTO
OPERACIN DE
CONTACTO

ESTUDIO
OBJETO
CONOCIMIENTO

CUANDO EL SUJETO SE
ACERCA AL OBJETO
PARA ESTUDIARLO.
8

Si

Con que
facultades

Que es lo que
conocemos

Podemos
Conocer

No

- Solo con los


sentidos

- Empirismo

- Que es lo que
conocemos

- Racionalismo

- Nuestras
ideas

- Idealismo

- Los objetos

- Realismo

ESCEPTICISMO

CAPACIDAD DEL PENSAMIENTO


PARA DESCUBRIR LA REALIDAD
ESTUDIA LOS PROBLEMAS
DE FORMA GENERAL

TEORIA DEL
CONOCIMIENTO

PROBLEMA DEL METODO

ESTUDIO DEL CONOCIMIENTO


EN GENERAL RECABANDO LOS
PLANTEAMIENTOS FILOSOFICOS

PROBLEMA DEL
CONOCIMIENTO

LA CRITICA

GNOSEOLOGICO

ESTUDIA LAS DIFERENTES


TEORIAS CON BASE FILOSOFICA
PARA RESOLVER LOS P.C.

LA TEORIA DEL
CONOCIMIENTO

EPISTEMOLOGIA

ESTUDIA EL CONOCIMIENTO CIENTIFICO


PARA QUE SE INVESTIGUE CON TESIS
FILOSOFICA

CRITERIOS DE
VERDAD

POSIBILIDAD
ORIGEN

ESCENCIA

TIPOS DE
CONOCIMIENTO

10

PROBLEMAS DE CONOCIMIENTO

TEORIA DEL CONOCIMIENTO


EN QUE CONSISTEN EL CONOCIMIENTO?
GNOSEOLOGA

POSIBILIDAD
pregunta

Es posible
conocer?

ORIGEN
problema

RAZON

CONCEPTO DE
VERDAD

ESENCIA
SUJETO
EXPERIENCIA

OBJETO
concepcin

EXPERIENCIA
Trascendente

11

Inmanente

TIPOS DE CONOCIMIENTO

FILOSOFICO

CONVENCIONAL

ESPONTANEO

RACIONALMENTE
REFLEXIVO

CIENTIFICO

SENTIDO
COMN

DISPERSO

UNIFICADO

SISTEMATICO
CONVENCIONAL

PROCESO
ORDENADO

REALIDAD DIVERSA
EXPLICA LA REALIDAD
EXTERIOR.

VISION COHERENTE
DE UN TODO

PRINCIPIOS QUE TIENE


QUE VALIDAD

COMPROBACION

METODICO

LEYES GENERALES

HECHOS AISLADOS
SIN RELACION
PARA SOLUCION
INMEDIATA

VALIDACION DE
PROCESO

FACILITA
INVESTIGACION
OBSERVA
LEYES

AUNQUE EXISTA UN
NUEVO CONOCIMIENTO
EL SISTEMA NO CAMBIA POR
COMPLETO

12

Por ello, Francis Bacn defini el mtodo cientfico de la siguiente manera:

& Observacin: Observar es aplicar atentamente los sentidos a un


objeto o a un fenmeno, para estudiarlos tal como se presentan en
realidad, puede ser ocasional o causalmente.
& Induccin: La accin y efecto de extraer, a partir de determinadas
observaciones o experiencias particulares, el principio particular de
cada una de ellas.
& Hiptesis: Planteamiento mediante la observacin siguiendo las
normas establecidas por el mtodo cientfico.
& Probar la hiptesis por experimentacin.
& Demostracin o refutacin (anttesis) de la hiptesis.
Tesis o teora cientfica (conclusiones).

13

El mtodo cientfico (del griego: -meta = hacia, a lo largo- -odos = camino-; y del latn
scientia = conocimiento; camino hacia el

SENSIBLE
CIENTIFICO
INTUITIVO

OTROS TIPOS DE
CONOCIMIENTO

ARTISTICO
DEMOSTRATIVO
REVELADO

14

ELEMENTOS DEL CONOCIMIENTO

SUJETO

EL QUE EJECUTA LA
ACCION DE CONOCER

OBJETO

COSA O PERSONA
CONOCIDA POR EL S.

RELACION
S-O

COGNOSCENTE

FACULTADES
COGNOSCITIVAS

COGNOSCIBLE

Con lo que puede cono

SENTIDOS

COGNOSCENTE
EL QUE PUEDE
CONOCER

REPRESENTACION

REPRODUCEN LOS
OBJETOS EN LA MENTE

INTELIGENCIA

COGNOSCIBLE
InmanenteDENTRO

PADRE-HIJO

TRASCENDENTE

TERMINOS
CORRELATIVOS
UNO SUPONE AL OTRO

15

necesario el conocimiento matemtico. Parmenides de Elea la razn es la


nica fuente de conocimiento; Platn los sentidos no proporcionan
conocimientos, Descartes, Espinoza y Leibniz.

Racionalismo
Apriorismo
ORIGEN

Intelectualism
o

EMPIRISMO: palabra griega empeira experiencia, el origen del


conocimiento esta en la experiencia. Protgoras, Calcles, Jonh Locke,
David Hume, Berkeley.

REALISMO: la realidad es independiente de la conciencia, nuestras


percepciones son imgenes de las cosas, las cosas son como las vemos.
sentido comn.

IDEALISMO: no existen las cosas reales, independientemente de la


conciencia que conoce, Berkeley las cualidades son contenidos de nuestra
percepcin.

INTELECTUALISMO, acepta el papel de la razn pero como un elemento de


la experiencia.

APRIORIMO: acepta el papel de la experiencia y plantea que la razn es la


principal (hay que formar juicios a priori para poder conocer).

OBJETIVISMO: la verdad esta en los objetos de estudio.

DOGMATISMO: se apoya en la confianza ilimitada de la razn, podemos


conocer los objetos con solo estar frente a ellos. Aristteles, descartes,
Leibniz.

ESCEPTICISMO: es imposible conocer el conocimiento verdadero, los


sentidos y la razn no conducen a la verdad. Hume, Montaigne.

SUBJETIVISMO: el conocimiento solo se da en forma relativa, la libertad


esta condicionada por factores externos. slo hay verdades para la
poca.

PRAGMATISMO: pragma accin es posible conocimiento por lo tanto lo


verdadero es aquello que es til. Es decir aquello que nos permite actuar y
modificar de alguna manera la realidad verdades aplicables t-a.

CRITICISMO: podemos conocer (los fenmenos nomeno) la realidad


16de categoras, conceptos que
en si misma a travs de las representaciones
la mente tiene para conocer.

Empirismo

Subjetivismo

Problemas
del
Conocimiento

ESENCIA

POSIBILIDAD

Idealismo

Fenomenalismo

Objetivismo

Realismo

Subjetivismo

Dogmatismo

Critiscismo

Relativismo

RACIONALISMO, afirma que el conocimiento autntico se funda en


la razn, para que el conocimiento sea valido debe ser universal,

Pragmatismo

Escepticismo

Introduccin a la lgica
LOGOS

PENSAMIENTO

LOGICA

PENSAMIENTO

IK

REFERENCIA

CIENCIA

LEYES

PRINCIPIOS

COMO SE CONSTRUYE
LA MENTE

OBJETO

PENSAMIENTO
HUMANO

PSICOLOGA

ESTRUCTURA CORRECTA DEL


PENSAMIENTO HUMANO

ESTRUCTURA DEL
PENSAMIENTO

CORRECCION DE LA ESTRUCTURA
DE LOS PENSAMIENTOS HUMANOS

17

GRAMATICA

LA FORMA DE
EXPRESARLA

Aristtele
s

Padre de
la Lgica

18

LGICA
DEFINICIN
ETIMOLGICA

Logos =razn
ica = relacionado con

DEFINICIN FORMAL
La lgica es una ciencia que estudia las leyes
del pensamiento, su estructura, sus formas y
relaciones, as como la estructura de las
ciencias.

19

Estructuradel
del
Estructura
pensamiento
pensamiento
Psicologa
Psicologa

Lgica
Lgica

Estructuracorrecta
correctadel
del
Estructura
pensamiento
pensamiento

GRAMATICA
GRAMATICA

Formade
deestructurar
estructurar
Forma
pensamiento
elelpensamiento

Verificar
Verificar
Elprincipio
principiode
deidentidad
identidad
- -El
Elprincipio
principiode
delalano
no
- - El
contradiccindel
del
contradiccin
tercerexcluida
excluida
tercer

Formacorrecta
correctade
delos
los
Forma
Pensamientoshumanos
humanos
Pensamientos

20

LOGICA
LA CIENCIA DE LAS LEYES Y DE LAS FORMAS DEL
PENSAMIENTO, QUE NOS DA NORMAS PARA LA INVESTIGACION
CIENTFICA Y NOS SUMINISTRA UN CRITERIO DE VERDAD
TRATA DE LOS ARGUMENTOS Y LAS INFERENCIAS SU OBJETIVO
ES PROPORCIONAR MTODOS PARA DISTINGUIR CULES SON
LGICAMENTE CORRECTOS. WESLEY C. SALOMON.
ES EL ESTUDIO DE LAS FORMAS DE PROPOSICIONES DE
IMPLICACIONES VERDADERAS. DAVID MITCHELL
INVESTIGA LA RELACION DE CONSECUENCIA , QUE SE DA
ENTRE LAS PREMISAS Y LA CONCLUSION DE UN ARGUMENTO
CORRECTO. BENSON MATES.
21

CIENCIA QUE ESTUDIA LAS FORMAS DE LOS PENSAMIENTOS


COMO MEDIO PARA EL LOGRO DE LA CORRECCION Y VERDAD
DE ESTOS. KANT.
CIENCIA DE LA DESMOSTRACON , SOLO SE PREOCUPA DE
FORMULAR REGLAS PARA ALCANZAR VERDADES A TRAVS DE
DEMOSTRACION. ARISTOTELES
ARTE DE RAZONAR , ES LA PARTE DE LA CIENCIA QUE ENSEA
EL METODO PARA ALCANZAR LA VERDAD. SAN AGUSTIN
ES EL PROCESO MENTAL QUE NOS PERMITE INFERIR
PENSAMIENTOS CORRECTOS, SIEMPRE UTILIZANDO LA
CONCIENCIA Y LA INTELIGENCIA PARA PODER ESTRUCTURAR
UN PENSAMIENTO CORRECTO Y RAZONADO.
ANGELICA
DOMINGUEZ
22

IMPORTANCIA DE LA LGICA
EN INVESTIGACIN CIENTFICA
Suministrar el empleo correcto de los esquemas vlidos de
inferencia
Proporcionar la legalidad de los procedimiento deductivos,
inductivos, y analgicos
Dar bases para todas las operaciones de carcter racional.
Hacer coherente, consistente, sistemtico todo el proceso de la
investigacin cientfica

EN ACTIVIDADES NO CIENTFICAS

Poner orden en los pensamientos


Expresar con claridad lo que se piensa
Hacer interpretaciones o deducciones correctas
Asumir actitudes crticas y responsables ante situaciones
vitales
23

LOGICA COMO CIENCIA


FORMAL

INVESTIGACION

DISTINGUIR LOS
PENSAMIENTOS
CORRECTOS DE
LOS INCORRECTOS

ESTRUCTURAR
LOS
PENSAMIENTOS

VIDA
COTIDIANA

DESARROLLO DE
NUEVAS IDEAS

EN TODAS LAS
CIENCIAS

CONECTA
ADECUADAMENTE
NUESTRAS VIDAS

ESTRUCTURA LOS
CONOCIMIENTOS A
OBTENER

SABER LA
INCORRECCCION

PROPORCIONA LAS
CONCEPCIONES
METODOLOGICAS
para desarrollar
IDEAS
AFIRMACIONES

CORRECTO

VERDADES

CIERTO

INCORRECTO

RAZONAMIENTO

24

FALSO

OBJETO DE ESTUDIO DE LA
LGICA

FORMAL
TEMA

COSA

MATERIAL
Constituido por
las formas
mentales

CONTENIDO

PENSAMIENTO
CONCEPTO
REPRESENTACION
MENTAL DE OBJETOS

RAZONAMIENTO

PENSAMIENTOS VERDADEROS

PENSAMIENTOS CORRECTOS

Semntico
ANTROPOLOGIA

HISTORIA
HOMBRE

METAFISICA: ESENCIA
DEL PENSAMIENTO.

JUICIO

Sintctico
ANATOMIA

LOGICA

MATEMATICAS
NUMEROS

UN OBJETO MATERIAL PUEDE TENER VARIOS OBJETOS FORMALES Y CADA


UNA DA ORIGEN A UNA CIENCIA DIFERENTE

ANATOMIA
CONSTRUCCION FISICA
DEL HOMBRE

PSICOLOGIA
ALMA DEL
HOMBRE

HISTORIA
HECHOS
RELEVANTES
DEL HOMBRE

ASPECTO GENERAL DE LA COSA QUE SEVA A ESTUDIAR

25

DIVISION DE LA LOGICA

LOGICA FORMAL
SIMBOLICA O MATEMATICA

LOGICA DIALECTICA (TCNICA DE LA


CONVERSACIN)

Llamada lgica Aristotlica.

Utiliza un lenguaje formalizado o simblico,


su finalidad es eliminar las ambigedades del
lenguaje.
Nos permite propiciar las condiciones para
que las formas del pensamiento sea correcto.

Tiene sus antecedentes desde los griegos con


SOCRATES y PLATN quienes la concibieron como
una tcnica de discusin y de obtencin de
conclusiones, siendo la misma tambin estudiada
y empleada por algunos filsofos como KANT,
HEGEL, MARX.

Revisa
las
formas
del
pensamiento
Concepto, Juicio y Razonamiento.

Los estoicos
llaman a la lgica "dialctica"
pasando a formar parte del trvium integrado por la
gramtica, la retrica y la dialctica. silogismos

Su objetivo es la aplicacin de las reglas que


tienen como fin normar la construccin de
estructuras de pensamiento.

Estudia la evolucin de las leyes del pensamiento,


por medio de los lenguajes naturales.

Establece
las
condiciones
para
coherencia a las formas del pensamiento.
Considera la forma o estructura
razonamiento y no su contenido o materia .

de

dar
un

Estudia la realidad a travs de 3 leyes:


o Unidad y lucha de contrarios
o Cambio de lo cualitativo a lo cuantitativo PAG
o Negacin de la negacin
Le da importancia a las proposiciones
compuestas por S y P y de la forma AEIO.
o ESTUDIA ADEMAS LOS PRINCIPIO LOGICOS
SUPREMOS
o PRINCIPIO DE IDENTIDAD
o PRINCIPIO DE LA NO CONTRADICCION
o PRINCIPIO DEL TERCER EXCLUIDO
o &PRINCIPIO DE LA RAZON SUFICIENTE&

26

LOGICA FORMAL
La ms importante caracterstica de la lgica simblica es el extendido uso de smbolos especiales que le
permiten liberarse de los lenguajes naturales y la aproximan al lenguaje de la matemtica

PROPOSICIONAL
ESTUDIA LAS FORMAS EN LAS
QUE SE REALACIONAN LAS
DIFERENDTES
PROPOSICIONES,
PARA
ESTABLECER LAS REGLAS DEL
PENSAMIENTO CORRECTO.
ORGANIZA DATOS

SIMBOLICA
PLANTEA LAS REGLAS DEL
CALCULO POR MEDIO DE
SIMBOLOS.
A TRAVS DE LOS SIMBOLOS
CONSTRUYE
MODELOS
FORMALES PARA ANALIZAR LAS
FORMAS DEL PENSAMIENTO.

ANALIZA LO QUE DICE EL OTRO


PARA PODER ENTENDER LOS
PROBLEMAS HIPOTETICOS

27

Pensamiento
correcto

RAZN SIFICIENTE

Principio

IDENTIDAD

CADA COSA ES
IDENTICA ASI MISMA
Y NO CAMBIA EN SU
CONCEPCIN

A es A

NO CONTRADICCIN

UNA COSA NO ES DOS COSA


A LA VEZ
EN EL TERRENO
LOGICO DE LOS JUICIOS DICE:
DOS JUICIOS CONTRADICTORIOS
ENTRE SI NOPUEDEN SER VERDADEROS LOS DOS.

TERCER EXCLUIDO

NO HAY POSIBILIDAD
PARA UNA TERCERA
OPCIN ENTRE DOS
AFIRMACIONES
OPUETSAS

A es A

Es imposible que A
sea B y no sea B
TODOS LOS HOMBRES SON MORTALES
ALGUNOS HOMBRES NO SON MORTALES

UN PENSAMIENTO EN LA LGICA FORMAL SER 28


CORRETO SI
CUMPLE CON ESTAS REGLAS.

Lgico

Pensamiento
humano

VoF

Lgica y relacin
Con la construccin del
conocimiento
Construye
razn
EXISTEN

PENSAMIENTOS
Pensamiento
humano
Verdaderos

Correctos
Pueden ser

Realidad

Incorrecto

SE PUEDE MODIFICAR
VOF

PENSAMIENTO FORMAL

Correcto

PRINCIPIO DE IDENTIDAD

PRICIPIO DE NO CONTRADICCIN

PRINCIPIO TERCER EXCLUIDO


29

Pensamiento
Verdadero
Es aquel que concuerda
con
la
realidad
concreta y se puede
verificar. (V-F).

Correcto
Estructura
del
pensamiento
humano que no presenta
incongruencias internas y que no
esta fuera del las reglas del
pensamiento formal. (correctoincorrecto). A travs de
o
o
o
o

PRINCIPIO DE IDENTIDAD
PRINCIPIO DE LA NO
CONTRADICCION
PRINCIPIO DEL TERCER EXCLUIDO
&PRINCIPIO DE LA RAZON
SUFICIENTE&
30

Concepto de verdad
1ro. El objeto es
primero concepcin
trascendente, la
verdad del
conocimiento radica
en la concordancia
del contenido de la
idea con el objeto
que se estudia.

2do. El sujeto es
primero concepcin
inmanente y se
postula que la verdad
del conocimiento es
la concordancia del
pensamiento consigo
mismo.

31

Augustus De Morgan (27 de junio de


1806 - 18 de marzo de 1871) fue un
matemtico y lgico ingls nacido en la
India

George Boole (2 de noviembre de 1815 8 de diciembrede 1864), CONSIDERADO EL


FUNDADO DE LAS
Ciencias de la Computacin.

Intentaron expresar la forma de los


razonamientos vlidos en un lenguaje
matemtico, en el siglo XIX.
32

Giuseppe Peano
Nace el 27 de agosto de 1858
en Cuneo, Piamonte, Italia

Friedrich Ludwig Gottlob Frege (


8 de noviembre
de
1848
26 de julio de 1925), matemtico,
lgico y filsofo alemn fundador
de la moderna lgica matemtica y
la filosofa analtica. Frege es
considerado el mayor lgico desde
Aristteles.

Bertrand Arthur William Russell,


3er Conde de Russell, OM, MRS, (
18 de mayo de 1872 - 2 de febrero
de 1970) fue un filsofo,
matemtico y escritor britnico.

Alfred North Whitehead, OM (Ramsgate


,
15 de febrero
de
1861
Cambridge, Massachusetts,
30 de diciembre de 1947), fue un
matemtico y filsofo ingls.
33

LA FORMAS ELEMENTALES DEL


LOGOS

Concepto

Trmino

Juicio

Proposicin
Enunciado declarativo

Razonamiento

Argumento

La lgica no trata directamente con estas


formas sino con la expresin verbal de las
34
mismas

FORMAS DEL PENSAMIENTO


No afirma ni niega nada, solo
seala o hace referencia a un
objeto

CONCEPTO
CONCIPIO: ABARCAR O
RECOGER CON LA
MENTE

permite

tenemos

PENSAMIENTO
COMUN
VIVENCIAS

IMAGEN

necesitamos

CARACTERISTICAS
ESCENCIALES DE UN
OBJETO

PALABRA
TERMINO

CONJUNTO DE
PALABRAS POR MEDIO
DE LAS CUALES SE
EXPRESA UN
CONCEPTO

responde a

SENSACIONES

FORMA DE EXPRESION
DE UN CONCEPTO

35

DEFINICIN
ETIMOLGICA.
Concepto.- Verbo latino que
quiere decir abarcar o
recoger con la mente
DEFINICIN FORMAL..
....... es la representacin de un
objeto en el plano de la razn sin
afirmar o negar nada de l .......

36

El concepto es la forma ms simple del


pensamiento, puede entenderse como la
abstraccin y representacin que hace el sujeto de
a realidad; sobre esta se asientan las dems formas
de pensamiento: los juicios y los razonamientos

casa
energa

metales

oro

geometra
independencia

belleza
37

Cada una de las formas mentales se


puede expresar de manera oral o
escrita:
El concepto se expresa por medio del
TRMINO o PALABRA
El juicio se expresa por medio de la
PROPOSICIN
El raciocinio se expresa por medio de la
argumentacin
38

Las caractersticas ms importantes


del concepto son:
Comprensin: contenido o connotacin al
conjunto de notas o caractersticas de un
concepto

Extensin:

nmero de ejemplares a los

que se refiere.
A mayor comprensin menor extensin
39

Propiedades de
los conceptos
COMPRENSION

EXTENCION

Es la referencia que el
concepto hace a los
objetos
La comprensin del concepto
"hombre" es "animal racional".
La extensin del concepto
"hombre" est dada por
esa referencia, que el
concepto hace a todo lo
que es hombre
La
comprensin
del
concepto est dada por su
definicin;.

La extensin esta
dada
por
su
aplicacin

A mayor comprensin, menor


extensin; y viceversa.

40

Cruz
Azul
1 divisin
Profesional

Ftbol

Deporte
Actividad fsica

41

EL CONCEPTO
Es la comprensin de cualquier cosa sin afirmar o negar de l
Es la representacin abstracta, mental de un objeto.

Concepto o idea es el resultado, el producto


que la inteligencia elabora cuando se encuentra
frente a un objeto determinado
CONCEPTO = IDEA
CONCEPTO

vs

UNIVERSAL
ABSTRACTA

IMAGEN
PARTICULAR
SENSIBLE
42

Cada forma mental es producto de una


operacin mental
El concepto es el resultado de la abstraccin
o simple aprehensin
El juicio es el resultado de la operacin de
juzgar
El raciocinio es el resultado de la operacin
de razonar

43

Ordenar los siguientes conceptos de menor


comprensin a mayor

Poeta

Viviente

Mario
Benedetti

Hombre

Artista

44

Los conceptos en cuanto ideas, presentan un carcter genrico y abstracto;


adems para expresar y comunicar conceptos necesitamos:
La palabra

libro: lgica, matemticas, literatura, arte, cuentos, etc.

Las palabras que nos sirven para expresar conceptos se llaman:

TRMINOS
45

Se llama trminos a la forma de expresin de un concepto y viene a ser la


PALABRA, por medio de las cuales se expresa un concepto. Cabe mencionar
que todo concepto debe referirse a un objeto para que tenga sentido.
Por lo tanto podemos puntualizar:
El concepto es la primera forma o estructura del pensamiento
Mediante el concepto aprendemos las caractersticas esenciales de un objeto
Las caractersticas esenciales son aquellas que definen al objeto y son
indispensables para que el objeto sea lo que es.
Las caractersticas accidentales no son necesarias para que el objeto sea lo que
es:
Concepto: silla
Notas esenciales: mueble para sentarse
Notas accidentales: grande, cmoda, de color blanco, de plstico.

46

OPERACIONES CONCEPTUADORAS
Divisin, clasificacin, definiciones

Divisin
Separacin del todo en sus partes
La divisin lgica es la operacin que va
de los gneros a las especies.

Los vertebrados se dividen en mamferos, aves,


peces, reptiles, batracios.
La anatoma divide al cuerpo en sistemas,
aparatos, rganos, en tejidos y en clulas
47

Clasificacin
Va De las especies al gnero. Obtenidas las especies,
puedo descubrir lo que hay de comn en ellas.
Lo que hay de comn en los mamferos, aves, peces,
reptiles y batracios es que tienen columna vertebral.

Reglas
1. Se deben tomar en cuenta las caractersticas
realmente importantes
2. La caracterstica tomada como criterio no debe
cambiar durante el mismo proceso.
3. La enumeracin debe ser completa
4. Debe seguirse un orden
48

DEFINICIN
Definir un concepto es precisar sus lmites de tal manera
que no se confunda con otros

REGLAS
1. La definicin debe ser ms clara que lo definido.
2. La definicin no debe ser circular el tringulo es
tringulo
3. La definicin no debe darse en trminos negativos
4. La definicin de una vaca no es un toro

49

LA PROPOSICIN JUICIO
El juicio es..... La segunda operacin de la
mente, ....La estructura lgica fundamental
El juicio es una sentencia que dicta nuestro
intelecto.
El juicio es un acto mental de la proposicin
que es su expresin verbal; manifestacin
externa mediante la palabra.
50

El juicio psicolgico (o acto


de juzgar) es la operacin
mental por la cual afirma
ms de una idea con
respecto a la otra.
El juicio lgico (como
pensamiento) es la
afirmacin (ya realizada) de
la relacin entre dos ideas
51

JUICIO.- DEL VERBO LATINO JUDICARE QUE


SIGNIFICA JUZGAR.

El juicio es la operacin de la inteligencia por


la cual se afirma o niega la existencia de una
relacin aprehendida entre dos naturalezas, dos
esencias, entre dos conceptos
JUICIO = ENUNCIADOS = PROPOSICIN
DECLARATIVO
52

EJEMPLOS
Las tormentas solares son causa del incremento de
infartos
Los estudiantes no aprenden todo lo que se les ensea
El dimetro es una lnea que divide al crculo en dos partes
iguales

La obra de Garca Mrquez es una corriente


literaria conocida como realismo mgico
53

El juicio proposicin
Una vez captada una idea o un conjunto de ideas
relacionadas entre s, la mente afirma o niega su
existencia
Hoja --- --- verde
Esta hoja es verde
Se compone de 3 elementos
Sujeto
De quien se
Habla afirma
o niega

copula
verbo
es

predicado
lo que se
afirma o se
niega
54

NO TODO ENUNCIADO ES UNA PROPOSICIN

La mayor parte de los programas son basura


Tomaste la medicina?
Adelante!
El hombre debe decir la verdad y respetar la vida de
los dems.
Qu comen los marcianos?
No es cierto que el agua es un elemento
La ballena es un pez o la ballena es un mamfero
LAS PROPOSICIONES SON
ENUNCIADOS DECLARATIVOS

55

Co
n

SUBALTENAS

SUBALTENAS

Contrarias
tra
s
a
i
diicctor
d
t
a
r
o
t
n
r
o
ias
C

Subcontrarias

O
56

AFIRMATIVAS
CUALIDAD
NEGATIVAS
CLASIFICAC
IN
DE LAS
PROPOSICIO
NES

UNIVERSAL
CANTIDAD
PARTICULAR
57

FORMA ENUNCIATIVA Y SIMBOLICA, PARA UNA PROPOSICION DE TIPO

UNIVERSAL AFIRMATIVO
Todo S es P (todo hombre es sabio)

UNIVERSAL NEGATIVO
Ningn S es P (ningn hombre es sabio)
PARTICULAR AFIRMATIVO

Algn S es P (algn hombre es sabio)

PARTICULAR NEGATIVO

Algn S no es P (algn hombre no es sabio)

58

RELACION DE OPOSICION ENTRE LAS PROPOSICIONES


En las proposiciones pueden establecerse relaciones de identidad y de
oposicin. Dos proposiciones son opuestas cuando sin cambiar de
sujeto ni de predicado, difieren en cantidad, en cualidad o en ambas.

Cuando difieren slo en cantidad reciben el nombre de


subalternas
Las universales que difieren slo en cualidad reciben el
nombre de contrarias
Las particulares que difieren solo en cualidad, se les
llama subcontrarias
Las que difieren tanto en cantidad como en cualidad
59
son las contradictorias

Contradictorias:
no
pueden
ser
simultneamente
verdaderas
ni
simultneamente falsas de la verdad de
alguna de ellas se infiere inmediatamente la
falsedad de la otra
Si todo hombre es mortal (es verdadero)
forzosamente
Algn hombre no es mortal (es falsa)
60

Contrarias: no pueden ser


simultneamente verdaderas pero
pueden ser simultneamente falsas
Por ejemplo:
Todo hombre es feliz
Ningn hombre es feliz
En este caso las dos pueden ser falsas
61

si

Las
subcontrarias:
no
pueden
ser
simultneamente
falsas
si
pueden
ser
simultneamente verdaderas por eso de la
falsedad de uno se infiere la verdad de la otra
pero de la verdad de una no puede inferirse la
falsedad de la otra.

Algunos hombres malos pueden


llegar a ser buenos (I)
Algunos hombres malos no pueden
llegar a ser buenos (O)
62

Lo fundamental del razonamiento es que llega


a una conclusin a un conocimiento nuevo
que no conocamos, a partir de otros juicios
llamados premisas.
Todos los futbolistas mexicanos son campeones
Jorge es futbolista
No hemos llegado a una conclusin,
inferencia tenemos.

solo tenemos los juicios, al hacer la

Todos los futbolistas mexicanos son campeones

Jorge es futbolista mexicano


Por consiguiente, Jorge es un campen
Inferir significa, sacar una consecuencia una cosa de otra
63

ELEMENTOS DEL JUICIO


Materia o contenido del razonamiento: se refiere a todo
aquello que contiene un razonamiento o raciocinio.
Puede tener conceptos y premisas (singulares, particulares o
universales)
Todos los futbolistas mexicanos son campeones (juicio
universal afirmativo)
Jorge es futbolista mexicano (juicio particular
afirmativo)
Jorge es un campen (juicio singular afirmativo)

Los conceptos jugadores, mexicanos,


campeones, son su materia o contenido.
64

L
E

N
O
Z
A

IE
M
A

O
T
N

65

EL RAZONAMIENTO
El raciocinio es el proceso mental que consiste en una conexin de juicios que
relacionados entre si entregan una conclusin.
Expresin verbal: a las palabras que lo expresan se le llama argumento.
Elementos del razonamiento:
PREMISAS,
PROPOSICIONES
PREVIAMENTE
ACEPTADAS
COMO
VERDADERAS.
CONCLUSIONES: PROPOSICIONES DERIVADAS A PARTIR DE LAS
PREMISAS
NEXO: UNION ENTRE PREMISAS Y CONCLUSION O CONCLUSIONES
CONSECUENCIA: ESTA SE DA SI Y SOLO SI EL NEXO PROCEDE.
Ejemplo:
1) Siempre que voy al centro, me duele la cabeza
2) Ayer fui al centro
3) Por lo tanto, me doli la cabeza

PREMISAS
CONCLUSION
NEXO

66

Lo fundamental del razonamiento es que llega a una conclusin, a un


conocimiento que no conocamos, a partir de otros juicios llamados premisas ,
que ya conocamos.
Todos los futbolistas mexicanos son campeones, (juicio universal afirmativo)
Jorge es futbolista mexicano (juicio particular afirmativo)
Queda as sin hacer una inferencia, nos permite obtener una conclusion
que se deriva de otros juicios o premisas. LA PALABRA INFERENCIA ES
CLAVE
PARA CARACTERIZAR AL RAZONAMIENTO,
CUANDO
ELABORAMOS UN RAZONAMIENTO INFERIMOS, ES DECIR OBTENEMOS
UNA CONCLUSION.
Conclusin
Por consiguiente, Jorge es un campen (juicio singular afirmativo)
ELEMENTOS DEL RAZONAMIENTO
INFERIR; significa sacar como consecuencia una cosa de otra.
67

La materia o contenido
Es todo aquello que contiene un razonamiento, es decir,
conceptos y juicios que pueden ser universales, particulares.
Todos los futbolistas mexicanos son campeones, (juicio universal
afirmativo)
Jorge es futbolista mexicano (juicio particular afirmativo)
Por consiguiente, Jorge es un campen (juicio singular afirmativo).

Los conceptos jugadores, mexicanos, campeones, futbolistas;


forman parte de la materia y contenido.

68

La forma del razonamiento


La forma o estructura de un pensamiento se refiere a la manera como se disponen
o arreglan los juicios, para hacer una inferencia.

Premisas

Todos los fantasmas son invisibles


Gasparn es un fantasma

Trmino de enlace
Conclusin

por lo tanto (por consiguiente, entonces)

Gasparn es invisibles

NOTA: LA FORMA COMP0LETA DEL RAZONAMIENTO TIENE LOS ELEMENTOS


SIGUIENTES:
PREMISAS,
TERMINO
DE
ENLACE,
CONCLUSION,
ANTECEDENTE Y CONSECUENTE.
Cabe sealar que en este caso las premisas son dos: LA PREMISA MAYOR Y LA
PREMISA MENOR, CONSTITUYEN UN ANTECEDENTE.
69

PRINCIPIOS
EXPLICATIVOS
GENERALES A
PARTIR DE LOS
FENOMENOS O
CASOS
PARTICULARES

SEPARA LOS
ELEMENTOS DE
UN TODO PARA
ESTUDIARLOS
MAS FACILMENTE

ANALTICO

INDUCTIVO
TIPOS DE

RAZONAMIENT
O
DEDUCTIVO

SINTTIC
O

ANALGO
DERIVAR
ENUNCIADOS
ACERCA DE LOS
FENOMENOS A
PARTIR DE LAS
PREMISAS

BUSCA SEMEJANZAS
GENERICAS PARA
PROPONERLAS EN EL
ESTUDIO DE
DIFERENTES
SITUACIONES

ES LA
UNIFICACION
DE LAS PARTES
EN UN TODO

70

TOMANDO EN CUENTA LA SEGURIDAD DE LA CONCLUSIN

DEDUCTIVOS
Este razonamiento se caracteriza porque
siendo, las premisas verdaderas, la
conclusin tiene que se verdadera , no
puede ser falsa.
Ninguna enfermedad producida por
virus, puede ser atacada por virus.
El Sida es una enfermedad
producida por virus
Por lo tanto, el sida no puede ser
atacad con antibiticos

VA DE LO GENERAL A LO
PARTICULAR

INDUCTIVOS
Este tipo de razonamiento se
caracteriza porque, por muy bien hecho
que este no da conclusiones
absolutamente verdaderas, solo
probables.

El oro, la plata y el cobre son


buenos conductores.
El oro, la plata y el cobre son
metales
Por
lo
tanto,
(probablemente) todos los
metales
son
buenos
conductores.71

VALIDEZ E INVALIDEZ FORMAL DE LOS RAZONAMIENTOS


Un razonamiento es formalmente valido o correcto, cuando la conclusin se sigue
realmente de las premisas, esto es cuando el nexo entre las premisas y la
conclusin procede

Todas las aves son ovparas


Todas las gallinas son aves
Por lo tanto todas las gallinas son ovparas
Trmino mayor aparece como predicado en la conclusin
Trmino medio : sirve de enlace entre las premisas y no
debe aparecer en la conclusin
Trmino menor: es el sujeto de la conclusin
72

Todas las aves son ovparas


Todas las gallinas son ovparas
Por lo tanto todas las gallinas son
aves

?
??

Todas las aves son ovparas


Todos lo cocodrilos son
ovparos
Por lo tanto todos los cocodrilos
son aves
73

DE LAS PROPOSICIONES ENUNCIATUVAS ANTERIORES:

Distinguir pensamiento correcto


de lo incorrecto.
En caso de que el razonamiento
sea incorrecto, detectar y
explicar en dnde est la
incorreccin
74

SILOGISMO
Razonamiento deductivo y una inferencia mediata compuesta por tres
juicios categricos y por tres trminos que se repiten dos veces.
Consiste en una inferencia que se produce a partir de la existencia de dos
premisas (A,B), de las que se deriva necesariamente una conclusin (C),
que es, junto con las premisas una proposicin categrica.
Ejemplo

Premisa mayor: Todos los hombres son mortales


MP
Premisa menor: Bruno es hombre
SM
Conclusin: Bruno es mortal
SP
P=trmino medio (es predicado en conclusin)
S= trmino menor (es sujeto en conclusin)
M= trmino medio (no aparece en conclusin)
75

Elementos bsicos de los Silogismo

SILOGISMO

Presencia
de
Proposiciones
categricas,
que
pueden ser del tipo
A, E, I, O.
Cada Proposicin categrica
consta de un Sujeto (S) y un
Predicado (P).

PREMISA MAYOR
PREMISA MENOR
CONCLUSION

Presencia de dos Premisas


(A,B) y una Conclusin (C).
Presencia de tres enunciados
simples o trminos.
76

SILOGISMO
materia

PRXIMA
TRES
PROPOSICIONES

REMOTA
TRES
TERMINOS

PREMISA
MAYOR

MAYOR

PREMISA
MENOR

MENOR

CONCLUSION

MEDIO
77

Segn el criterio de cantidad y cualidad, resulta la siguiente clasificacin de los


juicios. Los juicios se relacionan unos con otros en lo que constituye un
argumento.

CLASE

DENOMINACIN

ESQUEMA

EXPRESIN-EJEMPLO

Extensin de los trminos

Universal
Afirmativo

Todo S es P

Todos los hombres son mortales

S: Universal P: Particular

Universal Negativo

Ningn S es P

Ningn hombre es mortal

S: Universal P: Universal

Particular
afirmativo

Algn S es P

Algn hombre es mortal

S: Particular P: Particular

Algn hombre es no-mortal

S: Particular P: Universal

Particular Negativo Algn S es no-P

78

MODOS VALIDOS PARA EL SILOGISMO


TIPO DE JUICIO

De la
primer
figura
De la
segunda
figura
De la
tercera
figura

AAA, EAE, AII, EIO

EAE, AEE, EIO, AOO

AAI, IAI, AII, EAO, OAO, EIO

MODOS VLIDOS

CONDICIONES DE
VALIDEZ

BARBARA, CELARENT, DARII,


FERIO

PREMISA UNVERSAL

CESARE, CAMESTRES, FESTINO,


BAROCO

PREMISA AFIRMATIVA

PREMISA UNIVERSAL
UNA DE LAS DOS PREMISAS ES
NEGATIVA

DARAPTI, DISAMIS, DATISI,


FELAPTON BOCARDO, FERISON

PREMISA AFIRMATIVA
CONCLUSION PARTICULAR

PREMISA AFIRMATIVA

De la cuarta
figura

AAI, AEE, IAI, EAO, EIO

BAMALIP, CAMENES, DIMATIS,


FESAPO, FRESISON

PREMISA UNIVERSAL
PREMISA AFIRMATIVA
CONCLUSION PARTICULAR

79

Aristteles distingue cuatro formas vlidas de silogismo, conocidas tradicionalmente como figuras del silogismo, y que resultan del distinto
lugar que ocupa el trmino medio, y por lo tanto de la funcin que le corresponde, en las premisas. La conclusin de todas las figuras es
siempre S es P. Las formas vlidas o figuras del silogismo son las siguientes (aunque la ltima fue considerada por Aristteles como
una mera variante de la primera):
7.

Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad y la cantidad de las proposiciones que las componen. Las formas vlidas
del silogismo, o figuras del silogismo

PRIMERA FIGURA SEGUNDA FIGURA TERCERA FIGURA CUARTA FIGURA


M es P
S es M
---------S es P

El trmino medio es Sujeto


en la premisa mayor y
Predicado en la menor

P es M
S es M
---------S es P

M es P
M es S
---------S es P

P es M
M es S
---------S es P

El trmino medio es
Predicado en ambas
premisas

El trmino medio es Sujeto


en ambas premisas

El trmino medio es
Predicado en la premisa
mayor y Sujeto en la menor

PRIMERA FIGURA SEGUNDA FIGURA TERCERA FIGURA CUARTA FIGURA


M

P
M
80

M
S

LAS PREMISAS SE DIVIDEN

PREMISA MAYOR: ES EL JUICIO QUE ENUNCIA


LA RELACIN ENTRE EL TERMINO MAYOR (P)
Y EL TERMINO MEDIO (M), VA AL PRINCIPIO.

PREMISA MENOR: ES AQUELLA QUE


ENUNCIA LA RELACION ENTRE EL TERMINO
MEDIO (M), Y EL TERMINO MENOR (S) VA EN
MEDIO.
CONCLUSION: APARECE EL TERMINO
MENOR ENLAZADO CON EL TERMINO MAYOR
81

NOMENCLATURA PARA IDENTIFICAR CADA TERMINO

T= TRMINO MAYOR (P), es el que tiene


mayor extensin. Es el predicado de la
conclusin.
t= TRMINO MENOR (S), es el concepto de
menor extensin. Es el sujeto de la
concusin.
M= TRMINO MEDIO (M), se encuentra en
ambas premisas, pero nunca figurara en la
conclusin.
82

EJEMPLOS

1.

Premisa mayor

Todo ladrn debe ser castigado


M
P

2.

Premisa menor

Este hombre es un ladrn


S
M

3.

Conclusin

luego, este hombre debe ser castigado


S
P

2. Todo hombre es mortal


El ngel no es mortal
Por lo tanto, el ngel no es hombre

83

NOMBRE

PREMISAS

MODO

JUICIO

FIGURA

Premisa mayor

Ninguna persona sana tiene cncer

Algunos guatemaltecos son personas sanas

Algunos guatemaltecos no tienen cncer

Premisa menor

FERIO

M es P
S es M
---------S es P

Conclusin

NOMBRE

PREMISAS

JUICIO

MODO

FIGURA

BARBARA

M es P
S es M
---------S es P

Premisa mayor

Todo mamfero es un vertebrado

Todo caballo es un mamfero

Todo caballo es un vertebrado

Premisa menor

Conclusin
84

1.

Premisa mayor

Los insectos tienen respiracin traqueal

2.

Premisa menor

Las liblulas son insectos

3.

Conclusin

Las liblulas tienen respiracin traqueal

4.

Premisa mayor

Los peces tienen columna vertebral

5.

Premisa menor

Los pulpos no tienen columna vertebral

6.

Conclusin

7.

Premisa mayor

8.

Premisa menor Todos los artrpodos son animales con simetra bilateral

9.

Conclusin

Los pulpos no son peces


Algunos artrpodos son crustceos

Algunos animales con simetra bilateral son crustceos


85

RECUERDA QUE TODOS LOS EJEMPLOS LOS TIENES QUE


CORROBORAR CON LA LEYES DEL SILOGISMO, EN EL CUADRO
SIGUIENTE TE LAS PRESENTO DE FORMA SINTETIZADA.

Reglas que se relacionan con los


trminos

Reglas que se relacionan con las


premisas

El silogismo debe constar de tres trminos.

El termino medio jams pasa a la conclusin.

El termino medio debe ser por lo menos una vez universal.

Ningn trmino debe tener mayor extensin en la conclusin


que en las premisas.

De dos premisas afirmativas no se obtiene una conclusin


negativa.

De dos premisas negativas no se saca conclusin.

De dos premisas particulares tampoco se obtiene conclusin.

La conclusin siempre sigue a la parte ms dbil.

86

SILOGISMOS VALIDOS REPRESENTADOS POR DIAGRAMAS87DE VENN

SEGUNDO
~
DEPARTAMENTAL
Negacin

Disyuncin

Conjuncin

Bicondicional

Condicional

Disyuncin inclusiva

Disyuncin exclusiva
88

Slo hay dos valores de verdad


verdadero y falso
Atmica (1)
Proposiciones
Moleculares (2 ms)
LA CASA ES GRIS Proposicin
Simbolizada por P
89

UNA
UNA PROPOSICIN
PROPOSICIN MOLECULAR
MOLECULAR SE
SE FORMA
FORMA

::

DE
DE

Una
Una proposicin
proposicin atmica
atmica yy el
el
conectivo
conectivo negacin
negacin
Dos
Dos proposiciones
proposiciones oo ms
ms yy
uno
uno oo varios
varios conectivos
conectivos
90

Negacin,
Conjuncin,
Proposiciones Disyuncin,

Condicional o
compuestas
implicacin
Bicondicional
91

A
C
I
O
I
G
C
I
O
S
L PO Y
A
O
L
C
R
A
I
P
N OL

LOGICA SIMBOLICA

La lgica simblica, tiene semejanzas con la matemtica, en cuanto a:

Procedimientos: en matemticas para resolver un


problema,
hacemos
primeramente
el
correcto
planteamiento y despus aplicamos leyes apropiadas,
de las cueles se desprenden conclusiones hasta llegar
al resultado, este procedimiento se aplica actualmente
en la lgica para demostrar la validez de los
argumentos.
Semejanza: se refiere al empleo de modelos
simblicos, en matemticas por ejemplo se utilizan
smbolos para construir un modelo o estructura de
dicho problema, en la lgica utilizamos smbolos pues
estos permiten la formacin de modelos formales de los
argumentos que nos permite la demostracin de

LOGICA
MATEMATICA

LOGICA SE
MATEMATICA,
LOGISTICA.

LE
LLAMA
SIMBOLICA,

El impulsor de la lgica Fue,


Guillermo
Leibniz,
quien
a
principios del siglo XVIII, concibe
a la lgica como: una ciencia con
operaciones de calculo con forme
al modelo de algebra.
En el siglo XIX y primera del
siglo XX, Gottlob Frege y
Bertrand Russell, proponen el
modelo actual de la logica, la
logica proposicional y la lgica
cuantificacional.

La lgica proposicional, tiene como objetivo la demostracin de validez de ciertos


argumentos, con base en la relacin de las proposiciones que en ellos intervienen.
Cabe mencionar que las proposiciones son: una oracin declarativa.
Para identificarla rpidamente la vamos a entender como una afirmacin o
negacin de manera que si no hay afirmacin o negacin no hay proposicin.
Ejemplo
1. El agua es clara
2. Pasemos al comedor
3. Qu equipo ganara el mundial de futbol?
4. Enrique no es un bobo
VALORES VERITATIVOS
Es una propiedad que tiene toda proposicin de ser verdadera o falsa, existen por
lo
tanto dos valores veritativos:
5. El valor de verdad (V)
6. El valor de falsedad (F)

La lgica proposicional trabaja con cuatro elementos que son:


1. Variables proposicionales
2. Conectivas lgicas
3. Funciones de verdad
4. Valores de verdad
Variables proposicionales, pueden ser utilizadas o sustituidas por otra
proposicin, es decir
pueden tomar cualquier valor y se simbolizan con las letras minsculas p, q, r,
s.
EJEMPLO:
P= El cloro es un halgeno
P= Esta sustancia es un cido
Conectivas lgicas, son las relaciones que se dan entre proposiciones sirven
para entrelazar
Dos o mas variables, estos son:
5. La negacin
6. La conjuncin
7. La disyuncin inclusiva
8. La disyuncin exclusiva

Funciones de verdad:, es la union de variables proposicionales mediante


conectivas logicas.
Valores de verdad, se usaran solo dos ; verdaderos ( V ) y falsos ( F )
TIPOS DE PROPOSICIONES Y SU CLASIFICACION
1)VERDADERAS
2)FALSAS
3)ABIERTAS
4)SIN SENTIDO
PROPOSICIONES VERDADERAS, enuncian hechos Indiscutibles.
)Seis es menor que nueve
)Hermosillo es la capital de Sonora
PROPOSICIONES FALSAS, son las que esta en contradiccin a hechos
indiscutibles.
)Venustiano Carranza fue el primer presidente de Mxico.

PROPOSICIONES ABIERTAS, es en la que el sujeto esta sustituido por un


pronombre o por
una variable x, y, z, por lo que sern verdaderas o falsas dependiendo del
sujeto al que se
refiera la variable.
Ella fue la ganadora de la medalla de oro en el concurso de filosofa de
todos los CECYTS
X es mayor que veintitrs
PROPOSICIONES SIN SENTIDO, carecen de sentido estn inmensas dentro
de un contexto
especifico o bien son inexistentes.
El presidente de la Repblica Mexicana se llama Luis.
Armando obtuvo diez de calificacin.
PROPOSICIONES SIMPLES Y COMPUESTAS.
PROPOSICIONES SIMPLES O ATOMICAS, son aquellas donde no hay
conectivo o termino
de enlace.

PROPOSICIONES COMPUESTAS O MOLECULARES, proposiciones formadas


por
proposiciones simples asociadas debidamente por conectivos lgicos estos
son: La
negacin, la conjuncin, la disyuncin inclusiva, la disyuncin exclusiva,
Condiciona,
Bicondicional.
Si aumenta el dolor en tu pierna entonces disminuye tu rendimiento fsico
Monterrey no es la capital de Nuevo Len.
Un numero es primo si y solo si los nmeros que lo dividen son el uno y s
mismo.
Ocho es numero un par o impar

NEGACIN
REGLA: LA NEGACION LE CAMBIA EL VALOR
A TODA LA PROPOSICIN. SIMBOLO ~
Si P es verdadera no P
es falsa
La NEGACIN es el
primer conectivo
As P = verdadera y
no P = es falsa
Su simbolizacin es
Negacin ~

Tabla de verdad

~P

V
100

EJEMPLOS
Leonardo no gan la competencia
, ~ LEONARDO GANO LA COMPETENCIA

p, ~p SE LEE NO P
Paris no est en Francia

, ~ PARIS EST EN FRANCIA

p, ~p SE LEE NO P
El nmero 10 no es un nmero par

, ~ EL NMERO 10 ES UN NMERO PAR

p, ~p SE LEE NO P

101

CONJUNCIN
LA CASA ES GRIS Y ES VIEJA
P
Q

P Q

V V

V F

F V

F F

2 N = NUMERO DE
PROPOSICIONES.

CONJUNCIN

(& "y "

REGLA
La conjuncin solo es verdadera
cuando ambos premisas son
Verdaderas.
102

EJEMPLOS
Juan est aqu y Erika ha salido
Para llegar a una solucin:
Se divide la proposicin molecular y se simboliza cada Proposicin
A= Juan est aqu
B= Erika ha salido
Se identifica el conector lgico y se sustituye por su smbolo
Solucin: A & B

A ^ B. SE LEE A Y B

Hace frio y est lloviendo.


C= Hace frio
D= Est lloviendo
Solucin: C & D SE LEE C Y D

103

DISYUNCIN (V)
UN COCHE ECONOMICO O DE MARCA NISSAN
P
V
Q

Q P

REGLA
LA DISYUNCIN SOLO ES FALSA
CUANDO AMBOS (PREMISAS)DISYUNTOS
SON FALSOS.
EL VALOR DE LA PROPOSICIN
MOLECULAR
ES EL VALOR DE VERDAD DEL CONECTIVO

O, O-O DISYUNCION
104

LA DISYUNCION SE DIVIDE
EXCLUSIVA
INCLUSIVA
Sus dos proposiciones
disyuntivas pueden ser
compatibles.

Se plantea una disyuncin


excluyente , es decir una
de las dos proposiciones
disyuntivas tiene que ser
verdadera.

Solo es falsa cuando


las dos premisas son
falsas

SOLO ES VERDADERA
CUANDO UNA Y SOLO
UNA DE LAS PREMISAS
ES VERDADERA.

V SIMBOLO

V SIMBOLO
105

Jessica est con Lemus o est con Argelia


A= Jessica est con Lemus
B= Jessica est con Argelia
Solucin: A v B SE LEE A O B
Es lunes o es martes
C= Es lunes
D= Es martes
Solucin: C v D

SE LEE C O D

106

CONDICIONAL O IMPLICACIN ()

Q P

SI LLUEVE ENTONCES ESTA NUBLADO


P
(LUEGO ENTONCES)
Q
(POR LO TANTO)
(IMPLICA)

Q
V

REGLA

LA IMPLICACIN O CONDICIONAL
SOLO
ES
FALSA
CUANDO
EL
ANTENCEDENTE ES
VERDADERO Y EL CONSECUENTE ES
FALSO.
ES FALSA CUANDO LA PREMISA
CONSECUENTE ES LA UNICA FALSA

Q
107
ANTECEDENTE
CONSECUENTE

Cinthya est enfadada entonces Argelia llego tarde

A= Cinthya est enfadada


B= Argelia lleg tarde
Solucin: A b SE LEE SI A ENTONCES B
Estoy jugando volley ball entonces estoy feliz
C= Estoy jugando volley ball
D= Estoy feliz
Solucin: C D

SE LEE SI C ENTONCES D

108

BICONDICIONAL ( )
Abigail es feliz
Proposicion 1

P
Abigail es feliz

V
V
F
F

V
F
F
V

V
V
F
F

Alejandro esta con ella


Proposicin 2

Q
Alejandro esta con ella

P Q P
V
F
V
F

si y solo si

V
F
V
F

pq
si y solamente si.
REGLA
ES VERDADERA
CUANDO LOS VALORES DE VERDAD
DE LAS PROPOSICIONES SON IGUALES,
ES FALSA SI LAS DOS PREMISAS
TIENEN
VALORES DIFERENTES.
109

EJEMPLO
Londres est en Inglaterra si, y solamente si, Pars est en Francia
Sea p Londres est en Inglaterra (V)

q Pars est en

Francia (V),
Entonces tanto el valor de p, como de q, son
verdaderos, es decir tienen el mismo valor de verdad,
luego entonces la bicondicional p q es
verdadera
110

luego entonces la bicondicional p q es

DETECTAR CONECTIVO O PRINCIPAL


BUENAS CALIFICACIONES

(P ^ Q )

LLEGAR TEMPRANO
TRABAJAR

P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

(P
V
V
V
V
F
F
F
F

^
V
V
F
F
F
F
F
F

Q)
V
V
F
F
V
V
F
F

V
V
V
V
F
V
F
V
F

R
V
F
V
F
V
F
V
F111

BIBLIOGRAFIA
GONZALEZ SANCHEZ, JORGE. (2010). LOGICA PARA J OVENES
DEL
TERCER MILENIO. GRUPO PERSPECTIVA CRITICA.
CHAVEZ CALDERON, PEDRO.(2004).LOGICA INTRODUCCION A
LA
CIENCIA
DEL RAZONAMIENTO, ED. 2DA. ED.
PUBLICACIONES CULTURALES.
GUTIERREZ SAENZ, RAUL. (2004). INTRODUCCION A LA LOGICA.
ED.
ESFINGE. ED. 7. MEXICO.
ESCOBAR VALENZUELA, GUSTAVO. (2004). LOGICA NOCIONES
Y ALICACIONES, ED. MCGRAWHILL, MEXICO.
DIVERSAS PAGINAS DE INTERNET.

112

UNIDAD III

MTODOS
LGICOS PARA LA
DEMOSTRACION
DE ARGUMENTOS
113

VALIDEZ DE LAS TABLAS DE VERDAD


EXISTEN TRES FORMAS DE VALIDAR LAS TABLAS DE VERDAD
LLAMADAS: TAUTOLOGA, CONTRADICCION, CONTINGENCIA
TAUTOLOGA: son aquellas proposiciones cuyas tablas de verdad tienen
en su conectivo principal nicamente resultados verdaderos.
p

(p V q)

F
114

CONTRADICTORIAS: (o absurdos), son formulas moleculares que siempre,


resultan falsas, cualesquiera que sean los valores veritativos de sus
componentes atmicas
p

[(pq)

^~p]

^p

F F

F F

V V

V V

115

CONTINGENCIA:
es una proposicin cuyos valores, ni son todos
verdaderos ni son todos falsos.

[(pq)

^p]

116

LEYES DE IMPLICACION
EXISTEN REGLAS QUE NOS PERMITEN SABER SI UN ARGUMENTO ES
VALIDO O NO VALIDO, ESTAS REGLAS SE LLAMAN:

LEYES DE IMPLICACION
& MODUS PONENDO PONENS
& MODUS TOLLENDO TOLLENS
& MODUS TOLLENDO PONENS
LEYES DE EQUIVALENCIA

LEY DE LA DOBLE NEGACION


LEY DE LA CONMUTACION
LEY DE MORGAN
LEY DE LA ASOCIACION
LEY DE LA CONTRAPOSICION
LEY DE LA DISTRIBUCION

117

LEYES DE IMPLICACION (inferencia)


MODUS PONENDO PONES

MODUS TOLLENDO TOLLENS

MODUS TOLLENDO PONES

M.P.P

MT.T.

M.T.P

AFIRMA/AFIRMANDO NEGANDO SE NIEGA NIEGA/AFIERMANDO


pq

pq

pVq

~ P

~P

~ q

EMPLEA LA REGLA DE LA
CONDICIONAL, ES DECIR QUE SI
AFRIRMAMOS COMO VERDADERO
EL
ANTECEDENTE,
ES
UNA
CONDICIONAL,
ENTONCES
TENDREMOS COMO CONCLUSION
LA
AFIRMACION
DEL
CONSECUENTE

MODO QUE NEGANDO SE NIEGA;


CUANDO
SE
NIEGA
EL
CONSECUENTE
DE
UNA
CONDICIONAL, DEBE NEGARSE SU
ANTECEDENTE

LA CONECTIVA DE LA DISYUNCION,
Y SIGNIFICA MODO
EN QUE
NEGAMOS AFIRMAMOS.

118

UNO DE LOS OBJETIVOS PRINCIPALES DE LA LOGICA ES PROPORCIONAR


LOS ELEMNTOS NECESARIOS PARA COMPROBAR LA VALIDEZ O NO
VALIDEZ DE UN ARGUMENTO.
ARGUMENTO: EXPRESION ORAL Y ESCRITA DE UN RACIOCINIO, ADEMAS
UNA SERIE DE PROPOSICIONES DE LAS CUALES LA ULTIMA, LLAMADA
CONCLUSION, SE DERIVA DE LAS ANTERIORES, LLAMADAS PREMISAS.
LA VALIDEZ O CORRECCION DE UN ARGUMENTO NO DEPENDE DE SU
CONTENIDO, SINO EXCLUSIVAMENTE DE SU FORMA.
Ejemplo: MPP
Premisa 1

S los soldados son hroes , entonces no son cobardes

Premisa 2

Los soldados son cobardes

Conclusin Los soldados no son hroes.

119

ejemplo
(P) Los soldados son hroes
(q)

Los soldados son cobardes.

Simbolizamos el argumento

1.-

2.-

3.-

~p

~q

120

VALIDEZ LGICA DE LOS ARGUMENTOS


Tiene como finalidad distinguir el razonamiento correcto del incorrecto, para ello
emplea los mtodos para la demostracin vlida y no vlida, (mtodo directo). La
validez consiste en que las premisas y la conclusin se encuentran lgicamente
estructuradas sin importar que dicho argumento es verdadero o falso
1) MODUS PONENDO PONENS
(MPP), NOS INDICA QUE UN SILOGISMO
CONDICIONAL, AL AFIRMAR EL ANTECEDENTE ES VALIDO AFIRMAR EL
CONSECUENTE.
A) Ponens= QUE PONE O QUE AFIRMA
B) Tollens= QUE BORRA O QUE NIEGA
MODUS PONENDO PONENS, SINFICA MODO DE AFIRMAR AFIRMANDO EMPLEA
LA REGLA DE LA CONDICIONAL.
EJEMPLO:
P1

Si Pedro es veracruzano, entonces es mexicano

P2

Pedro es veracruzano,

CON.

Por lo tanto es mexicano


121

1) MODUS TOLLENDO TOLLENS


NIEGA,

(MTT),

MODO QUE NEGANDO SE

2) Ponesn= QUE PONE O QUE AFIRMA


B) Tollens= QUE BORRA O QUE NIEGA
MODUS TOLLENDO TOLLENS (MTT) MODO DE AFIRMAR AFIRMANDO
EJEMPLO:
Si Pedro es veracruzano, entonces es mexicano
Pedro es veracruzano,
Por lo tanto es mexicano

122

También podría gustarte