UNIVERSIDAD NACIONAL DE COSTA RICA

CAMPUS "OMAR DENGO"

FACULTAD DE FILOSOFA Y LETRAS
ESCUELA DE FILOSOFA
BACHILLERATO EN FILOSOFA
ELEMENTOS DE LGICA SIMBLICA
FSF-404

il ctcLo DE 2010
Prof. Roxana Reyes Rivas, M.A.
TIPO DE CURSO: terico-prctico
NIVEL: 1ero.
REQUISITOS: FSF-401
CRDITOS: 4
HORAS PRESENCIALES: 4
HORAS DE ESTUDIO INDEPENDTENTE: 11
TOTAL DE HOMS: 15
MODALIDAD: ciclos
HORARIO: Mircoles 17 a20:20
OBLIGATORIEDAD: con cuatro (4) ausencias injustificadas se pierde el curso

Descripcin:
Este es un curso en el que el estudiantado se familiariza con los conceptos bsicos de la lgica
simblica clsica. Aspues, se caracterizarn los lenguajes formales d'e la lgica proposicinal

y de predicados de primer orden, adems de sus respectivas semntics. Tambin se

introducen las tcnicas de evaluacin lgica de razonamientos desde un enfoque simblico.

Objetivo general:
fntroducir al estudiantado a los conceptos y tcnicas elementales para la evaluacin formal de
razonamientos.

Objetivos generales:

'
'

Comprender la sintaxis

y la semntica de la lgica proposicional y la

predicados de primer orden.

lgica de

Desarrollar destrezas en el uso de los sistemas de deduccin de la lgica proposicional

y de predicados de primer orden.

Contenidos:

1.

Lgica Proposicional:

. Sintaxis y formulacin proposicional:

1.1.1. Enunciados simples y complejos.
1.1.2. Traduccin del lenguaje natural al lenguaje formal.
1.2. Semntica:
1.2.1
Tablas de verdad y conectivas lgicas.
1.2.2. Evaluacin de razonamientos en el lenguaje formal mediante tablas de verdad.
1.3, Deduccin natural:
1 .3.1
Reglas de inferencia y de reemplazo.
1 .1

1.3.2.

Evaluacin de razonamientos en el lenguajeformal mediante reglas de inferencia y

reemplazo.

2.

Lgica de Predicados de primer Orden:

2.1. Sintaxis y formulacin:
2.1.1. Predicados mondicos, nombres propios y cuantificadores.
2.1.2. Traduccin del lenguaje natural ai lenguaje formal.
2.2. Semntica:
2.2.1. Elaboracin de modelos.
Evaluacin lgica de razonamientos en el lenguaje formal mediante
modelos.
z.J. ueduccion natural:
2.3.1. Reglas de cuantificacin y de inferencia.
2'3'2' Evaluacin de razonamientos en el lenguaje formal mediante reglas de inferencia.
2.4. Predicados polidicos e identidad:

??2:

2.4.1. Sintaxis.
2.4.2. Traduccin der renguaje naturar a este renguaje formar.
2'4'3' Evaluacin lgica de razonamientos en el lenguaje formal mediante reglas de
inferencia.
Metodologa:
Clases magistrales. La profesora asignar lecturas previas. Durante la
leccin la profesora
y evacuar
y preguntas sobre las lecturas y la materia impartio en clase.
ludas
Tambin se harn prcticas durante las lecciones y se disutirn los
resultados de dichas
prcticas. Los das en que el estudiantado deba ntregar una
tarea resuelta, se usar la
primera hora de la clase para discutir la forma
qre-ha sido resuelta por estudiantes a
quienes se escoger al azar para presentar sus soluciones.
"n
explicar

Evaluacin y medicin:
Dos exmenes parciales:
Tareas:
Asistencia al V Congreso de Filosofa

6O0A (30o/o

clu)

3Oo/o

lAYo

La participacin pertinente y relevante en clase es alentada y muy tomada

en cuenta a la hora
de asignar la nota final,

Bibliografa:
camacho, Luis A. Lgica simblica. cartago: Editorial recnolgrca.
Copi, lrving M. (1999) lntroduccin a la lgica. Traducida por NstorAlberto
Migues. Cuarta
edicin. Buenos Aires: EUDEBA.
(1982) Lgica simblica. Buenos Aires: EUDEBA.

Kalish,.Donald et al. (1980) Logic. Techniques of Formal Reasoning.

Second Edition. u.S.A.:
Harcourt Brace Jovanovich, Inc.

y Shirley Hill. (1976) Primer curso de ttgica matemtica. Traduccin de

Enrique Lins Escard. Bogot: Editorial Revert colorbiana,
s.A.

Suppe, Patrick