Universidad Nacional de La Plata

Facultad de Humanidades y Ciencias de la Educacin

Departamento de Filosofa
Asignatura
L!"CA "
Ao lectivo: 2013
Rgimen de cursada: Cuatrimestral
Profesor Titular: Gladys Palau
!ui"o docente: Profesores Ad#untos: Cecilia $ur%n y Andrs &adenes
'efe de Tra(a#os Pr%cticos: 'ulieta lgarte
Ayudantes di"lomados: 'os )uis Alessandrini* Ale#andro Adan* $aniel
&usdygan* +art,n $aguerre * -oracio +ercau.
1. FUNDAMENTACIN Y OBJETIVOS
La asignatura lgica se dicta para los alumnos de las carreras de filosofa, psicologa,
profesorado de matemtica, y algunas otras carreras de la FaHCE pueden tomarla como
asignatura optativa. En tanto ciencia formal dedicada al estudio de los distintos modos de
razonamiento forma parte de la filosofa desde sus inicios y constituye una disciplina
fundamental tanto para el estudio de diversos problemas filosficos tales como los
planteados en la gnoseologa y la ontologa, como para el anlisis de la argumentacin
filosfica y por lo cual es reuisito previo para cursar la asignatura !eora de la
argumentacin. "especto de la carrera de psicologa, el aprendiza#e de esta disciplina
ayuda, por un lado, a desarrollar el pensamiento abstracto, el cual es condicin necesaria
para la comprensin de los problemas tericos de cualuier teora cientfica y para el
anlisis metodolgico de las e$periencias cientficas.

OBJETIVOS GENERALES:
% Comprender el rol de la lgica en la constitucin del conocimiento racional.
% Comprender el rol de la lgica en la argumentacin racional.
% "econocer argumentos en el lengua#e natural.
% &istinguir entre argumentos deductivos 'no derrotables( y no deductivos 'derrotables(.
% "econocer las caractersticas propias de la inferencia deductiva y su rol en la
)nvestigacin cientfica.
% &esarrollar el razonamiento abstracto.
% )niciar a los alumnos de psicologa en la comprensin de las relaciones entre lgica,
teora de la argumentacin 'o lgica informal( y psicologa cognitiva.
% )niciar a los alumnos de psicologa en el anlisis terico de las teoras psicolgicas.
%)niciar a los alumnos de filosofa en el anlisis de los problemas filosficos de la lgica
en tanto ciencia y de su aplicacin en otras reas de la filosofa.
2. CONTENIDOS Y BIBLIOGRAFA OBLIGATORIA
*bservacin+ Los temas indicados con , corres"onden solamente a los alumnos de la
carrera de filosof,a
Unidad 1. Sobre el objeto de la lgica
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 1
1.1. .ociones introductorias+ -sos del lengua#e+ informativo, e$presivo y directivo.
&imensiones del lengua#e+ sinta$is, semntica y pragmtica. .iveles de lengua#e+
Lengua#e ob#eto y metalegua#e. El concepto semntico de verdad.
1.2. La nocin de razonamiento o argumento. /remisas y conclusin. 0rgumentos
deductivos 'o no derrotables( y argumentos no deductivos 'derrotables(. 1alidez intuitiva.
0rgumento esuema o esuema de argumento. La g2nesis del concepto de validez+ el
silogismo aristot2lico. El concepto de forma lgica. 1alidez formal. &iagramas de 1enn.
Formalizacin de las proposiciones categricas mediante operaciones y relaciones entre
con#untos. El cuadrado de oposicin. Elementos de !eora de con#untos &eterminacin
de la validez de los argumentos silogsticos por &iagramas de 1enn.
,0rgumentos contrafcticos, plausibles e inductivos. La nocin de consecuencia lgica
clsica+ identidad, monotona y corte 'transitividad(. La nocin de consecuencia de los
argumentos no deductivos o derrotables.
, Formalizaciones actuales del silogismo categrico.
,3reves nociones de 4istoria de la lgica
Unidad 2: Lgica proposicional
2.1 /resentacin intuitiva de la lgica proposicional. El concepto de oracin 'o enunciado
o proposicin(. 5mbolos descriptivos y lgicos. &efinicin recursiva de f/rmula. El
concepto de funcin. &istintas clases de funciones. Las conectivas lgicas como
funciones de verdad.
2.2. La funcin valuacin para la lgica proposicional. !ablas de verdad. Contingencias,
tautologas y contradicciones. )mplicacin 'o condicional( material e implicacin lgica.
/arado#as de la implicacin material. Euivalencia material y euivalencia lgica. Leyes
lgicas.
,/ragmtica y uso+ El significado lgico de las conectivas proposicionales y su relacin
con el uso en el lengua#e natural.
2.$. 1alidez semntica de los argumentos o inferencias proposicionales. La prueba de
validez de argumentos por tablas de verdad. /rueba de invalidez de argumentos por el
m2todo de contrae#emplos. /rueba indirecta de validez.
2.%. La nocin sintctica de inferencia lgica. &educcin .atural para la lgica
proposicional. "eglas de )ntroduccin y Eliminacin de las conectivas proposicionales.
Las nociones de demostracin y teorema.
La nocin de consecuencia de la lgica sintctica. Lgica minimal, intuicionista y clsica.
!eoremas de Completitud y Correccin de la lgica proposicional.
,5istemas divergentes de la lgica clsica+ lgicas plurivalentes y lgica paraconsistente.
Unidad $: Lgica de Predicados de Primer Orden
$.1. El lengua#e de la lgica de /redicados de /rimer *rden. 1ariables de individuo,
constantes de individuo, constantes de predicado /redicados mondicos y polidicos.
Cuantificadores universal y e$istencial. *raciones 'o proposiciones( y funciones
proposicionales. &efinicin recursiva de frmula. !raduccin de las proposiciones
categricas aristot2licas al lengua#e de la lgica de predicados. Con#untos+ relaciones y
operaciones.
$.2. La 5emntica de la lgica de /redicados. La demostracin de invalidez de un
argumento por el m2todo de contramodelos 'o contrae#emplos(. La caracterizacin de
validez universal en t2rminos de imposibilidad de contramodelos 'o contrae#emplos(.
/ropiedades de las relaciones.
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 2
$.$. El enfoue sintctico de la correccin de argumentos en la lgica de /redicados.
&emostracin de correccin de argumentos por deduccin natural. &educcin .atural
para la Lgica de /redicados. "eglas de )ntroduccin y Eliminacin de los
cuantificadores.
"esultados de correccin y completitud para la lgica de predicados.
,E$tensiones de la lgica de orden uno+ )dentidad y descripciones definidas.
,6odalidades al2ticas, denticas y temporales. Los sistemas modales de C. ). Le7is.
,5emntica de mundos posibles. .ecesidad Lgica.
BIBLIOGRAFA
BIBLIOGRAFA B&SICA OBLIGATORIA :
% L.!.F 8amut 'pseudnimo colectivo de+ 9. 1n 3ent4em, 9. 8roenendi#:,&.H. de 9ong4,
6. 5to4of y H. 1er:uyl(+ 0ntroducci/n a la l/gica, E-&E30, 5egunda Edicin, ;<<=
'!raduccin de la versin inglesa, titulada )ogic* )anguage and +eaning, vol.>+
0ntroduction to )ogic* realizada por la profesora Cecilia &urn(
BIBLIOGRAFA OBLIGATORIA 'OR UNIDAD:
-nidad >.>+ % Copi. )+ 0ntroducci/n a la l/gica* Eudeba, cap. )).
% &ea?o, 0.+ 0ntroducci/n a la l/gica formal. 0lianza. cap. >
-nidad >.;+ % Copi. )+ 0ntroducci/n a la l/gica* Eudeba, cap. ), 1 y 1)
% 8amut L.!.F, Cap. >, >.> y >.@.
% ,Fic4a de ctedra+ 8./alau, )a noci/n de argumento y clasificaci/n
de los argumentos 'en+
4ttp+AAsites.google.comAsiteAent4imemasiteA (
% ,8amut L.!.F, Cap. >.
-nidad ;.> y ;.;+ % 8amut L.!.F, Cap. ;,B ;.> a ;.@.
%/alau, 8., l mtodo del condicional asociado 'en+
4ttp+AAsites.google.comAsiteAent4imemasiteA(
% ,8amut L.!.F, Cap. @
-nidad ;.C.+ % 8amut L.!.F, Cap. D, B D.> y D.;.
% &uran, Cecilia, Fic4a de Ctedra+ standari1aci/n de la tcnica del
condicional asociado y el mtodo indirecto de asignaci/n de valores
de verdad.
-nidad ;.D.+ % 8amut L.!.F, Cap. D, B D.C.> % D.C.= y D.D.
% ,/alau, 8. 0ntroducci/n filos/fica a las l/gicas no2cl%sicas, 8edisa%
FFyL, ;<<;, B>.>% >.C, ;.>%;.C, C.>.>, C.;.>, @.> y @.;.
-nidad C.>.+ % 8amut L.!.F, Cap., C. B C.>%C.=.
-nidad C.;.+ % 8amut L.!.F, Cap., C B C.@.>, C.@.; , C.@.D y C.E.
-nidad C.C.+ % 8amut L.!.F, Cap. D B D.C.@ % D.C.F, D.D.
% ,8amut L.!.F, Cap. =.
% ,/alau, 8. 0ntroducci/n filos/fica a las l/gicas no2cl%sicas, 8edisa%
FFyL,4ttps+AAdocs.google.comAopenGidH<3=aIE%F7-b"ie&dnJnp
6-&doKF-;<<;,
% ,/alau, 8. Lgicas condicionales y razonamientos del sentido
comLn, 8edisa%FFyL, ;<<D.

BIBLIOGRAFA COM'LEMENTARIA 'ARA LA CARRERA DE FILOSOFA
%0lc4ourron, C.+ Conce"ciones de la l/gica, en Enciclopedia )beroamericana &e Filosofia
'E)0F(, tomo F, 6adrid. Ed.!rotta, >MM=.
2 /0L0-, 8ladys.+)/gica tradicional aristotlica, en+
4ttp+AAsites.google.comAsiteAent4imemasiteA
%% %%%%%%%%%%%%%% l argumento "or analog,a y su estructura 3idem(
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 3
%%%%%%%%%%%%%%%%%%4ormali1aciones de la silog,stica aristotlica 3idem5
222222222222222222 $efiniciones y demostraciones "or inducci/n 3idem5
2 /alau, 8ladys+ lementos de Teor,a de con#untos 3idem5
% 8omez, "icardo+ l conce"to aristotlico de ciencia 3idem5
% 6ates, 3enson+ &reve 6istoria de la l/gica 3idem5
%%%%%%%%%%%%%%%%%%%%%%%% Pro"osiciones y verdad 'idem(
% L.!.F 8amut+ op.cit. cap. =.
% /alau, 8. + 0ntroducci/n filos/fica a las l/gicas no2cl%sicas, 8edisa%FFyL, ;<<;,
B>.>% >.C, ;.>%;.C, C.>.>,C.;.>, @.> y @.;.
%Hug4es, 8.E N Cress7ell, 6. 9.+ 0ntroducci/n a la l/gica modal, !ecnos, Cap. ;.
%L.!.F 8amut, C0/.C, B C.F a C.M. y primera parte de B D.D.
%*rayen, "aLl+ )/gica modal, Enciclopedia )beroamericana de Filosofa, tomo F.

$. METODOLOGA DE TRABAJO Y SISTEMA DE EVALUACIN
C.>. Carga 4oraria+
'a( Los alumnos de la carrera de Filosofa de la FaHCE tienen cuatro 4oras de tericos a
cargo de la profesora titular y dos de prcticos semanales. 5lo se les recomienda cursar
la asignatura durante el primer cuatrimestre ya ue es preferible tener aprobada esta
materia para cursar !eora de la 0rgumentacin en el segundo cuatrimestre.
'b( los alumnos de la Facultad de /sicologa tienen tres 4oras de clases tericas a cargo
de los profesores ad#untos y dos 4oras de traba#os prcticos semanales. 0mbos tipos de
clases cubren las tres bandas 4orarias.
'c( Los alumnos de la FaHCE ue no pertenezcan a la carrera de Filosofa, tienen tres
4oras de clases tericas a cargo de los profesores ad#untos y dos 4oras de traba#os
prcticos semanales.
C.;. Condiciones de la promocin+
La promocin, para los alumnos de la carrera de Filosofa y los alumnos de la Facultad
de /sicologa consiste en el cumplimiento del porcenta#e de asistencia ue consta en el
"2gimen de Ense?anza y /romocin vigente para la promocin con e$amen final
reuiri2ndose la aprobacin un e$amen parcial y uno final, ambos escritos, debido a la
gran cantidad de alumnos. Los alumnos de filosofa completan la evaluacin con una
e$posicin oral sobre un tema a eleccin entre los temas especiales ue figuran en cada
unidad.
Los alumnos de la FaHCE 'e$cepto los de la carrera de Filosofa( podrn optar por el
sistema de /romocin sin e$amen final, ue se regir por el "2gimen de Ense?anza y
/romocin vigente debiendo cumplir con asistencia obligatoria a clases tericas y
prcticas, y aprobar dos parciales con cuatro puntos o ms y el promedio de ambos
parciales deber ser de seis puntos o ms. .o se acepta la posibilidad de recuperar la
promocin sin e$amen final. Los alumnos ue no se inscriban en la promocin sin
e$amen final, o ue pierdan la promocin, podrn continuar con el sistema de promocin
con e$amen final.
%. BIBLIOGRAFA COM'LEMENTARIA ()* DE CONSULTA +,n !a-.,//an*0
%3oc4ens:i, Historia de la lgica formal, 6adrid, 8redos, >MF@
%Co4en J .agel+ )ntroduccin a la lgica y al m2todo cientfico, 3uenos 0ires,
0morrortu,>M@E.
%Copi ,).+ Lgica 5imblica, 6adrid, CEC50, >MFE.
%&ea?o, 0.+ )ntroduccin a la lgica formal, 6adrid, 0lianza -niversidad !e$tos, >MM@
%Etc4emendi, 9. N 3ar7ise, 9on, El lengua#e de la lgica de primer orden. Ed. 3ru#as,
>MM; ')ncluye versin para Kindo7s de !ars:iOs Korld, D.<.
%Hilbert y 0c:ermann+ Elementos de Lgica, 6adrid, !ecnos, >M@;.
%9effrey, "ic4ard.+ Lgica formal+ su alcance y sus lmites. Ediciones -niversidad de
.avarra.5, 0. /amplona, >MM@
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 4
%Pneale N Pneale+ El desarrollo de la lgica, 6adrid, !ecnos, >MF;.
%6ates, 3enson.+ Lgica matemtica elemental, 6adrid, !ecnos, >MF<.
% 6anzano 6. y Huertas, 0.+ Lgica para principiantes, 0lianza Editorial, ;<<D. '1iene
acompa?ado con C& de e#ercicios(
%Iuine,K.+ El sentido de la nueva lgica, 3s.0s.,Espasa Calpe,>M@F.
%Iuine,K.+ Los m2todos de la lgica, 3arcelona, 0riel,>M@F.
%5uppes, /atric:+ )ntroduccin a la lgica simblica, C+E+C+5.0, 62$ico,>M@@.
%!ars:i, 0.+ )a conce"ci/n sem%ntica de la verdad, en 0ntologa semntica, compilador+
6ario 3unge, 3s.0s.
%!ars:i, 0.+ )ntroduccin a la lgica, 3s.0s.,Espasa Calpe,>M=F.
%!ars:i,0.+ 7erdad y demostraci/n, Escritos de lgica y semntica .ro.C, Fac.FyL%C3C,
>MM@.
1. '2*2a3a d, T2a4a5*- '26!.i!*- 2#1$
TRABAJO PRCTICO 1:
!emas y bibliografa+
>. Funciones del lengua#e+ informativa, e$presiva, directiva. /roposicin. La nocin de
razonamiento o argumento. /remisas y conclusin. 0rgumentos deductivos 'no
derrotables( y argumentos no deductivos 'derrotables(.
Copi, )., 0ntroducci/n a la l/gica, 3uenos 0ires, Eudeba, >MF;, cap. >.
;. 0rgumento o inferencia deductiva. 1alidez intuitiva. 0rgumento esuema o esuema
de argumento.
8amut, L.!.F., 0ntroducci/n a la l/gica, 3uenos 0ires, Eudeba, ;<<;, cap. >. >.
C. La g2nesis del concepto de validez+ el silogismo aristot2lico. /roposiciones
categricas+ sus componentes 'cuantificadores, t2rminos su#eto y predicado, cpula(,
calidad y cantidad, formas tpicas '0, E, ), *(. Esuematizacin de silogismos categricos
de forma tpica. &eterminacin de validez o invalidez de silogismos categricos mediante
diagramas de 1enn.
Copi, ). o". cit., cap. 1 secciones >,; y @, y cap.1) secciones >%C.
!"0309* /"QC!)C* ;+
!emas y bibliografa+
>. &imensiones del lengua#e+ sinta$is, semntica y pragmtica. .iveles de lengua#e+
lengua#e ob#eto y metalengua#e.
8amut, L.!.F., o". cit., cap. >.@, @.> y @.;.
&ea?o, 0ntroducci/n a la l/gica formal, 6adrid, 0lianza, >MM@, cap. >.
;. El lengua#e de la lgica proposicional+ vocabulario y sinta$is de la lgica proposicional,
traduccin al lengua#e formal. 5emntica de la Lgica /roposicional+ tablas de verdad+
tautologa, contradiccin, contingencia.
8amut, L.!.F., o". cit., cap. ;.>, ;.;, ;.C.
C. 5emntica de la Lgica /roposicional+ m2todo indirecto para determinar si a( una
formula es tautolgica, b( un razonamiento es vlido y c( dos frmulas son lgicamente
euivalentes.
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 5
0.ER* ) a la 8ua de traba#os prcticos+ /alau, 8ladys, fic4a de ctedra+
S1alidez e implicacin lgicaT.
0.ER* )) a la 8ua de !raba#os /rcticos+ &urn, Cecilia, fic4a de
ctedra+ SEstandarizacin de la t2cnica del condicional asociado y el
m2todo indirecto de asignacin de valores de verdadT.
D. &educcin .atural para la Lgica /roposicional+ pruebas de validez de argumentos,
derivacin de teoremas y demostracin de euivalencias.
8amut, L.!.F., o". cit.* cap. D.C.> % D.C.=.
0.ER* ))) a la 8ua de traba#os prcticos+ S"eglas 3sicas del 5istema
de &educcin .atural de 8entzenT.
!"0309* /"QC!)C* C+
!emas y bibliografa+
>. El lengua#e de la Lgica de /redicados. 1ocabulario 'variables de individuo, constantes
de individuo, letras de predicado, predicados mondicos y n%dicos, cuantificadores
universal y e$istencial(. *raciones 'o proposiciones( y funciones proposicionales.
!raduccin del lengua#e natural al lengua#e formal y viceversa.
8amut, L.!.F., o". cit.* cap. C.> % C.D.
;. 5emntica de la Lgica de /redicados+ interpretacin por sustitucin, valuacin,
validez semntica, contramodelo. "elaciones y propiedades de las relaciones.
8amut, L.!.F., o". cit.* cap. C.@.>, C.@.;, C.E y D.;.>.
C. &educcin .atural para la Lgica de /redicados+ pruebas de validez de argumentos,
derivacin de teoremas y demostracin de euivalencias.
8amut, L.!.F., o". cit.* cap. D.C
0.ER* ))) a la gua de traba#os prcticos.
C2*n*2a3a .,n.a.i7* d, T2a4a5*- '26!.i!*-
5emana >+ Funciones del lengua#e U /roposicin % )dentificacin de argumentos y sus
componentes 'premisas, conclusin, indicadores de premisas y conclusin(
5emana ;+ )dentificacin de argumentos deductivos y no%deductivos % .ocin intuitiva de
validez U 0rgumento esuema o esuema de argumento
5emana C+ Formalizacin de silogismos categricos de forma tpica %&eterminacin de
validez o invalidez de silogismos categricos de forma tpica mediante diagramas
de 1enn
5emana D+ &imensiones del lengua#e U .iveles del lengua#e U El lengua#e de la lgica
proposicional U !ablas de verdad de las conectivas
5emana =+ !raduccin al lengua#e de la lgica proposicional
5emana @+ !ablas de verdad U !autologa, contradiccin, contingencia U 62todo indirecto
de asignacin de valores de verdad para determinar si una frmula es una
tautologa
5emana F+ 62todo indirecto de asignacin de valores de verdad para determinar validez o
invalidez de esuemas de argumento y euivalencia entre frmulas.
5emana E+ &educcin natural para lgica proposicional
5emana M+ &educcin natural para lgica proposicional
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 6
8emana 10: Examen parcial nico 3"ara alumnos de filosof,a y "sicolog,a5 9 Primer
parcial 3"ara alumnos de otras carreras5
5emana >>+ !raduccin al lengua#e de la lgica de predicados
5emana >;+ !raduccin del lengua#e de la lgica de predicados al lengua#e natural %
6odelos
8%(ado de la semana 12: Primer recuperatorio del parcial nico 3"ara todos los
alumnos de filosof,a* "sicolog,a y "ara a!uellos alumnos de otras carreras !ue
o"ten "or cursada regular5 9 Primer recuperatorio del primer parcial 3s/lo "ara
alumnos de otras carreras !ue o"ten "or la "romoci/n sin e:amen final5
5emana >C+ 6odelos
5emana >D+ /ropiedades de las relaciones U &educcin natural para lgica de predicados
5emana >=+ &educcin natural para lgica de predicados
8%(ado de la semana 1;: Segundo parcial 3s/lo "ara alumnos de otras carreras !ue
o"ten "or la "romoci/n sin e:amen final5
Primera mesa de finales luego del fin de la cursada: Segundo recuperatorio (x artculo
14 del parcial nico 3"ara todos los alumnos de filosof,a* "sicolog,a y "ara
a!uellos alumnos de otras carreras !ue o"ten "or cursada regular5 2
!ecuperatorio del segundo parcial 3s/lo "ara alumnos de otras carreras !ue
o"ten "or la "romoci/n sin e:amen final5
8egunda mesa de finales luego del fin de la cursada: Segundo recuperatorio (x artculo
14 del primer o segundo parcial 3s/lo "ara alumnos de otras carreras !ue
o"ten "or la "romoci/n sin e:amen final5
&ra. 8ladys /alau
marzo 2013
Li!a I " 2#1$
-...L./. Facultad de Humanidades y Ciencias de la Educacin 7