FACULTAD DE CIENCIAS HUMANAS

PROGRAMA DE FILOSOFA

PLANEACIN DEL CONTENIDO DE CURSO

1. IDENTIFICACIN DEL CURSO
NOMBRE
CDIGO
SEMESTRE
NUMERO DE CRDITOS
PRERREQUISITOS
HORAS PRESENCIALES DE
ACOMPAAMIENTO DIRECTO
REA DE FORMACIN
TIPO DE CURSO
FECHA DE ACTUALIZACIN

:
:
:
:
:
:

Lgica de proposiciones
60151
IV
3
3 horas semanales

:
: Presencial
: 2014

2. DESCRIPCIN:
Es la base o matriz de todas las expresiones de la lgica formal. De ella se
derivan las diferentes modalidades de la lgica estndar.

3. JUSTIFICACIN
La lgica de proposiciones habilita al estudiante y al estudioso de ella a saber
derivar a partir de sus fundamentos la lgica de trminos y predicados, de
probabilidades y para consistente.

[Escribir texto]

4. PROPSITO GENERAL DEL CURSO

Entrenar a los estudiantes en el manejo de la lgica pura, es decir de la lgica
como sintaxis. Esta parte de la lgica se asocia muy intensamente con los
esquemas deductivos de las matemticas, de ah que tambin reciba el nombre
de lgica matemtica.

5. BIBLIOGRAFA

[Escribir texto]

BARROS C. Nelson. Introduccin a la lgica formal, Edicin

Humanismo. 1970.
BARROS C. Nelson. Lecciones de clculo sentencial. El Bho.
1986.
PATRICK SUPPES. Introduccin a la lgica matemtica.
BOCHENSKI, M. Historia de la lgica formal. Gredos. 1966
COPI. Irvin M. Introduccin a la lgica, Eudeba. 1972.
AGAZZI, e. La lgica Simblica, Herder. 1976.
BOCHENSKI, M. historia de la Lgica formal, Gredos. 1996
CARNAP, Rudolfph. Symbolic Logic. Temas. 1968.
COPI. Irvin M. introduccin a la lgica, Eudeba. 1972
DEAO, Alfredo. Las concepciones de la lgica, Taurus 1980.
GADAMER. H. G. Verdad y mtodo. Edicin sgueme.
Salamanca, 1984.
MORENO, A. lgica matemtica. Edudeba, Buenos Aires, 1969
MONSALVE Alfonso. Teora de la argumentacin, Editorial
Universidad de Antioquia, 1993.
MARITAIN, J. La silogstica de Aristteles, Madrid, 1977
HALMOS, Paul R. teora Intuitiva de los conjuntos. Edicin
Continental. 1967.

KNEALE, Martha y William. El desarrollo de la lgica. Estructura

y funcin. 1980.
SMITH, Karl J. Introduccin a la lgica Moderna, F.C.C. Mxico,
1969.

6. PLANEACIN DE LAS UNIDADES DE FORMACIN

[Escribir texto]

FORMATO DE CONTENIDO DE CURSO

1. UNIDAD 1. INTRODUCCIN AL CONCEPTO DE INFERENCIA

COMPETENCIA

Desarrollo de la
comprensin de los
conceptos bsicos

CONTENIDOS

Vo. Bo. Comit Curricular

Inferencia
animal e
inferencia lgica.
Especies de
inferencia lgica.
Inferencias e
implicaciones.
Inferencias
inductivas,
analgicas,
transductivas e
improvisadas.
Inferencias
deductivas.
La simple
inferencia
deductiva y la
demostracin
cabal.
La deduccin
demostrativa.

Si Si

No

ESTRATEGIAS
DIDCTICAS
Talleres, lecturas
orientadas, debates.

INDICADORES DE
LOGROS
Manejar conceptos,
distinguir y manejar
niveles sintctico y
pragmtico de los
lenguajes lgicos.

ESTRATEGIAS
EVALUATIVAS
Resmenes,
cuestionarios y
participacin en
clase.

Demostracin,
validez sintctica
y verdad
semntica.

2. UNIDAD 1. CONCEPTO DE PROPOSICIN Y DE FUNCIN PROPOSICIONAL

COMPETENCIA

Desarrollo de la
comprensin de los
conceptos bsicos

CONTENIDOS

Vo. Bo. Comit Curricular

Proposiciones
Trminos de
enlace
La forma de las
proposiciones
moleculares
Simbolizacin de
proposiciones
Los trminos de
enlace y sus
smbolos O, No,
Sentonces

Si Si

No

ESTRATEGIAS
DIDCTICAS
Talleres, lecturas
orientadas, debates.

INDICADORES DE
LOGROS
Manejar conceptos,
distinguir y manejar
niveles sintctico y
pragmtico de los
lenguajes lgicos.

ESTRATEGIAS
EVALUATIVAS
Resmenes,
cuestionarios y
participacin en
clase.

1. UNIDAD 2: TEORA DEL SILOGISMO

COMPETENCIA

Reconocer las
distintas
figuras y
modos en los
que se puede
presentar un
silogismo
Concepto
de
proposicin y
de
funcin
proposicional.

CONTENIDOS

Vo. Bo. Comit Curricular

ESTRATEGIAS
DIDCTICAS

Teora
del talleres, lecturas
silogismo.
orientadas y debates
La deduccin, la presenciales
demostracin y el
silogismo.
Definicin
de
silogismo
categrico.
Estructura
del
silogismo:
premisas,
consecuencias,
trminos y
nomenclatura.
Las
proposiciones
bsicas
del
silogismo: A, E, I,
O, S, -S.
Cuadrado de la
oposicin
interproposiciona
l
Relaciones
de

Si Si

No

INDICADORES DE
LOGROS

ESTRATEGIAS
EVALUATIVAS

Interpretar
la exposiciones ,
ensayos,
clasificacin de los
conceptos
y
su evaluaciones orales
y escritas.
relacin prctica.

Vo. Bo. Comit Curricular

contradiccin,
contrariedad,
subcontrariedad y
subordinacin.
Tablas
de
la
verdad
interproposiciona
Conversiones
lgicas: simples,
por accidente, por
obversin y
por
contraposicin.
Otras reglas de
inferencia
Ley de adicin
Ley del silogismo
hipottico
Ley del silogismo
disyuntivo
Ley
de
simplificacin
disyuntiva
Leyes
conmutativas
Las
leyes
de
Morgan
Proposiciones
bicondicionales

Si Si

No

Resumen
de
reglas
de
inferencia
Tabla de reglas
de inferencia

1. UNIDAD 3: CERTEZA Y VALIDEZ

COMPETENCIA
CONTENIDOS

Comprensin de los
conceptos de
formalidad lgica,
valores y trminos.

ESTRATEGIAS
DIDCTICAS

Valores de
certeza y
trminos de
enlace de certeza
funcional
Conjuncin
Negacin
Disyuncin
Proposiciones
condicionales
conclusiones no
vlidas
demostracin

Vo. Bo. Comit Curricular

Si Si

No

Discusiones y
socializaciones en
clase de la
informacin.

INDICADORES DE
LOGROS

Elaboracin de notas
Participacin en
clase

ESTRATEGIAS
EVALUATIVAS

Mesa redonda,
talleres,
exposiciones,
ensayos,
evaluaciones orales y
escritas.