Clasificacin de las ciencias

Indice
1. Definicin de lgica. Historia de la lgica.
2. Breve Resea Histrica
3. Definicin de lgica formal
4. Razonamiento
5. ilogismo
1. Definicin de lgica. Historia de la lgica.
Ciencias (utilitario)
Puras(conocimiento):
Formales (ideas):
Lgica
Matemtica
Fcticas
Naturales
Sociales
Aplicadas (tecnologas): son las diferentes tcnicas !ue se apo"an en las ciencias puras#
La lgica es la ciencia !ue estudia los principios " mtodos para distinguir un ra$onamiento correcto de
uno incorrecto#
La lgica estudia las estructuras del pensamiento: concepto% &uicio " ra$onamiento#
2. Breve Resea Histrica
Se considera a Aristteles (s '( a# C#) el fundador de la lgica# Para Aristteles% la lgica era una
propedutica o introduccin al sa)er general% pues constitu"e una especie de instrumento de todas las
ciencias#
Los estoicos% amplan el campo de la lgica considerando otras formas de ra$onamiento# Llaman a la
lgica *dialctica+ pasando a formar parte del tri,ium integrado por la gramtica% la retrica " la
dialctica# -n la filosofa moderna se critica el a)uso !ue la escolstica medie,al .i$o de la lgica
aristotlica# A partir del siglo /(''' el trmino lgica es usado por importantes filsofos% como 0ant "
1egel% en un sentido !ue se aparta )astante de la clsica concepcin de su significado# La lgica
aristotlica constitu"e el n2cleo fundamental de la llamada lgica clsica% primer perodo en el desarrollo
de la lgica !ue se e3tiende .asta el siglo /('''# Su caracterstica ms importante es !ue se ,ali de los
lengua&es naturales "% por ende% se mantu,o ale&ada de las matemticas# -n el siglo /'/ se produce
una gran re,olucin en la materia% con lo !ue se inicia el segundo perodo en el desarrollo de la lgica#
Se trata de la llamada lgica sim)lica o lgica matemtica% !ue es en sus orgenes o)ra de
matemticos !ue ad,irtieron la estrec.a relacin entre las dos disciplinas formales: la lgica " la
matemtica# Lei)ni$(fines del siglo /(''')% filsofo " matemtico% pensa)a !ue se poda crear un lengua&e
sim)lico tan perfecto !ue e,itara las contro,ersias entre los filsofos " redu&era las disputas a meros
errores de clculo# Pero su o)ra no fue conocida en su poca# -n el siglo /'/% matemticos como 4#
5oole " A# 6e Morgan intentaron e3presar la forma de los ra$onamientos ,lidos en un lengua&e
matemtico# -l desarrollo posterior de la lgica sim)lica es la o)ra de 4# Peano% C#S# Pierce% 4# Frege%
5# 7ussell " A# 8.ite.ead% entre otros# Peano es el primero !ue e3presa lgica matemtica por!ue ,io
en la lgica un instrumento para lograr la sistemati$acin " fundamentacin de las matemticas#
La ms importante caracterstica de la lgica sim)lica es precisamente el e3tendido uso de sm)olos
especiales !ue le permiten li)erarse de los lengua&es naturales " la apro3iman al lengua&e de la
matemtica# La adopcin del sim)olismo en la lgica moderna .a sido comparada con el reempla$o de
los n2meros romanos por los n2meros ar)igos#
Actualmente la lgica " la matemtica son consideradas ciencias au3iliares para la construccin de
.iptesis " &ustificacin de teoras#
3. Definicin de lgica formal
Para distinguir entre los ra$onamientos correctos " los incorrectos% la lgica opera% principalmente%
desde un punto de ,ista formal% es decir% considerando la forma o estructura de un ra$onamiento " no su
contenido o materia# Se dice !ue con la lgica ocurre algo parecido a lo !ue sucede con la aritmtica:
cuando se suman naran&as o man$anas% no interesan% en realidad% las man$anas o las naran&as% sino
ciertas relaciones formales como !ue *a9):)9a+% por!ue una ,e$ esta)lecida esta relacin formal la
misma ,aldr para m2ltiples reempla$os de *a+ " de *)+#
-structuras del pensamiento:
Concepto# -s una representacin general " a)stracta de un o)&eto# -l concepto se determina seg2n la
comprensin " la e3tensin# La comprensin es el con&unto de notas esenciales !ue definen al o)&eto#
A ma"or comprensin% menor e3tensin; " ,ice,ersa#
Comprensin: es el con&unto de notas pensadas estructuralmente " constitu"en la unidad !ue llamamos
concepto# La comprensin del concepto *.om)re+ es *animal racional+#
-3tensin: es la referencia !ue el concepto .ace a los o)&etos# La e3tensin del concepto *.om)re+ est
dada por esa referencia% !ue el concepto .ace a todo lo !ue es .om)re#
Para !ue apare$ca la comprensin de un concepto% de)emos formular &uicios ,erdaderos en !ue ese
concepto .aga de su&eto: *el .om)re es un animal###+#para !ue apare$ca la e3tensin% de)emos formular
&uicios ,erdaderos en !ue ese concepto .aga de predicado: *se es un .om)re###+# La comprensin del
concepto est dada por su definicin; la e3tensin% por su aplicacin#
<uicio# Clasificacin de &uicio seg2n =ant#
a) Cantidad
I. >ni,ersales
?odos los s son p#
II. Particulares
Algunos s son p#
III. Singulares
S es p#
b) Calidad% esta)lece el carcter afirmati,o o negati,o de la cpula #
I. Afirmati,as
S es p@ esta)lece la inculpa)ilidad entre su&eto " predicado#
II. Negati,as
S no es p
III. 'ndefinidas@ no esta)lece de manera clara la relacin entre su&eto " predicado
S es no p% depende de si lo enunciado est su&eto a una condicin#
c) 7elacin
I. Categrico% no est su&eto a ninguna condicin#
S est P#
II. 1ipottico
S est p por!ue !#
III. 6is"unti,o% el predicado est compuesto de ,arias alternati,as#
S est p o !#
d) Modalidad@ tomamos en cuenta la cone3in entre su&eto " predicado#
I. Apodcticos@ la cone3in entre su&eto " predicado es for$osa " necesaria# -s una ,erdad de
ra$n#
Los s son for$osamente p#
II. Asertricos@ la cone3in entre su&eto " predicado no es for$osa ni necesaria#
Algunos s son p#
III. Pro)lemticos@ la ,erdad enunciada es otro pro)a)le#
S !ui$s P#
Cuadro de la oposicin:
A A?odo S es P
- ANing2n S es P
' AAlg2n S es P
B AAlg2n S no es P
(AA- C 'AB) difieren en la cantidad
(AABC 'A-) difieren en cantidad " calidad
A- todos los .om)res son mortales (
-A ning2n .om)re es mortal F
I- alg2n .om)re es mortal (
BA alg2n .om)re no es mortal F
AA-% pueden ser los dos falsos " si uno es ,erdadero el otro es falso#
'AB% pueden ser los dos falsos " si uno es ,erdadero el otro es falso
A A(
- D F AA- no pueden ser los dos (% pero s los dos
' D( F% o uno ( " el otro F#
B A F
A D F
- D ( F
' A E
B D (
I- algunas paredes son )lancas (
BA algunas paredes no son )lancas (
A- todas las paredes son )lancas E
-A ninguna pared es )lanca F
' A(
B D ( o F 'AB no pueden ser los dos F% pero s los dos (%
A D F o uno ( " el otro F#
- D (
4. Razonamiento
7elacin entre &uicios !ue conduce a una conclusin#
-s una relacin entre &uicios donde uno de ellos llamado conclusin% se afirma so)re la )ase de los
anteriores#
7a$onamiento deducti,o% ,a de lo general a lo particular " la deri,acin o conclusin es for$osa "
necesaria#
?odos los .om)res son mortales#
5runo es .om)re#
5runo es mortal
7# 'nducti,o% ,a de lo particular a lo general " la conclusin es pro)a)le% no es for$osa ni necesaria#
Completa o perfecta
-l profesor 4on$le$ tiene F .i&os: 'ncompleta o 'mperfecta
Luis% Laura% 'ns " Carlos# -l cisne G es )lanco#
Luis es inteligente# -l cisne H es )lanco#
Laura es inteligente# -l cisne I es )lanco#
'ns es inteligente# -l cisne F es )lanco#
Carlos es inteligente# ?odos los cisnes son )lancos# (se
?odos los .i&os del profesor estudian slo algunos casos% no .a"
4on$le$ son inteligentes# (Se estudio de todos)
estudia caso por caso)#
7# Analgico% ,a de lo particular a lo particular#
6efino: si dos o ms o)&etos poseen ciertos rasgos en com2n " uno de ellos posee otro rasgo podemos
concluir !ue el otro o)&eto tam)in los de)e poseer#
-&: Sand" es un gato )ien alimentado% )ien cuidado " sano#
Mic.i es un gato )ien alimentado " )ien cuidado#
Por lo tanto% Mic.i de)e ser un gato sano#
A La conclusin es ms o menos ,erdadera#
7a$onar es inferir
'nferir es concluir
'nferencias:
'nmediatas (slo dos &uicios) A:5 por lo tanto% 5:A
Mediatas (tres &uicios o ms) A:5% 5:C por lo tanto% A:C
5. ilogismo
7a$onamiento deducti,o " una inferencia mediata compuesta por tres &uicios categricos " por tres
trminos !ue se repiten dos ,eces#
Premisa ma"or: ?odos los .om)res son mortales
M P
Premisa menor: 5runo es .om)re
S M
Conclusin: 5runo es mortal
S P
P:trmino medio (es predicado en conclusin)
S: trmino menor (es su&eto en conclusin)
M: trmino medio (no aparece en conclusin)
Figuras 6el Silogismo
Se determina seg2n la posicin del trmino medio en las premisas#
GJ figura
?odos los artistas son sensi)les
M P
?odos los pintores son artistas
S M
?odos los pintores son sensi)les
S P
M: su&eto en premisa ma"or
M: predicado en premisa menor
2! Figura todos los amigos de Paula son inteligentes
P M
Ning2n .ermano de 6aniel es inteligente
S M
Ning2n .ermano de 6aniel es amigo de Paula
S P
M: es predicado en las dos premisas
IJ Figura
?odos los gra)adores son importados
M P
Algunos gra)adores son o)&etos de mala calidad
M S
Algunos o)&etos de mala calidad son importados
S P
M: es su&eto en las dos premisas
FJ figura
Ning2n ministro es .olga$n
P M
?odo .olga$n es persona di,ertida
M S
Algunas personas di,ertidas no son ministros
S P
M: predicado en la premisa ma"or
M: su&eto en la premisa menor
?ra)a&o en,iado por:
-ngel Sofia 5ustamante
sofiaKt.ec")ers.op#com#,e