Você está na página 1de 2

UNIVERSIDAD NACIONAL DE COSTA RICA

CAMPUS "OMAR DENGO"


FACULTAD DE FILOSOFíA Y LETRAS
ESCUELA DE FILOSOFíA
BACHILLERATO EN FILOSOFÍA

ELEMENTOS DE LÓGICA SIMBÓLICA


FSF-404

il ctcLo DE 2010

Prof. Roxana Reyes Rivas, M.A.

TIPO DE CURSO: teórico-práctico


NIVEL: 1ero.
REQUISITOS: FSF-401
CRÉDITOS: 4
HORAS PRESENCIALES: 4
HORAS DE ESTUDIO INDEPENDTENTE: 11
TOTAL DE HOMS: 15
MODALIDAD: ciclos
HORARIO: Miércoles 17 a20:20
OBLIGATORIEDAD: con cuatro (4) ausencias injustificadas se pierde el curso

Descripción:

Este es un curso en el que el estudiantado se familiariza con los conceptos básicos de la lógica
simbólica clásica. Asípues, se caracterizarán los lenguajes formales d'e la lógica proposiciónal
y de predicados de primer orden, además de sus respectivas semánticás. También se
introducen las técnicas de evaluación lógica de razonamientos desde un enfoque simbólico.

Objetivo general:

fntroducir al estudiantado a los conceptos y técnicas elementales para la evaluación formal de


razonamientos.

Objetivos generales:

' Comprender la sintaxis y la semántica de la lógica proposicional y la lógica de


predicados de primer orden.

' Desarrollar destrezas en el uso de los sistemas de deducción de la lógica proposicional


y de predicados de primer orden.

Contenidos:

1. Lógica Proposicional:
1 .1 . Sintaxis y formulación proposicional:
1.1.1. Enunciados simples y complejos.
1.1.2. Traducción del lenguaje natural al lenguaje formal.
1.2. Semántica:
1.2.1 , Tablas de verdad y conectivas lógicas.
1.2.2. Evaluación de razonamientos en el lenguaje formal mediante tablas de verdad.
1.3, Deducción natural:
1 .3.1 . Reglas de inferencia y de reemplazo.
1.3.2. Evaluación de razonamientos en el lenguajeformal mediante reglas de inferencia y
reemplazo.
2. Lógica de Predicados de primer Orden:
2.1. Sintaxis y formulación:
2.1.1. Predicados monádicos, nombres propios y cuantificadores.
2.1.2. Traducción del lenguaje natural ai lenguaje formal.
2.2. Semántica:
2.2.1. Elaboración de modelos.
Evaluación lógica de razonamientos en el lenguaje formal mediante
??2:
z.J. ueduccion natural:
modelos.
2.3.1. Reglas de cuantificación y de inferencia.
2'3'2' Evaluación de razonamientos en el lenguaje formal mediante reglas de inferencia.
2.4. Predicados poliádicos e identidad:
2.4.1. Sintaxis.
2.4.2. Traducción der renguaje naturar a este renguaje formar.
2'4'3' Evaluación lógica de razonamientos en el lenguaje formal mediante reglas de
inferencia.

Metodología:

Clases magistrales. La profesora asignará lecturas previas. Durante la


lección la profesora
explicaráy evacuará y preguntas sobre las lecturas y la materia impartioá en clase.
ludas
También se harán prácticas durante las lecciones y se disóutirán los
resultados de dichas
prácticas. Los días 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
"n
quienes se escogerá al azar para presentar sus soluciones.

Evaluación y medición:

Dos exámenes parciales:


6O0A (30o/o clu)
Tareas:
3Oo/o
Asistencia al V Congreso de Filosofía
lAYo

La participación pertinente y relevante en clase es alentada y muy tomada


en cuenta a la hora
de asignar la nota final,

Bibliografía:

camacho, Luis A. Lógica simbólica. cartago: Editorial recnológrca.

Copi, lrving M. (1999) lntroducción a la lógica. Traducida por NéstorAlberto


Migues. Cuarta
edición. Buenos Aires: EUDEBA.

(1982) Lógica simbólica. Buenos Aires: EUDEBA.

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


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

Suppe¡, Patrick y Shirley Hill. (1976) Primer curso de tótgica matemática. Traducción de
Enrique Linés Escardó. Bogotá: Editorial Reverté coloñrbiana,
s.A.