Sign In With Google
Course Description
-
Course Name
Logic 1
-
Host University
Pontificia Universidad Católica del Perú
-
Location
Lima, Peru
-
Area of Study
Philosophy
-
Language Level
High Advanced
-
Course Level Recommendations
Upper
ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.
-
Credits
4 -
Recommended U.S. Semester Credits0
-
Recommended U.S. Quarter Units0
Hours & Credits
-
Overview
El curso se inicia con una breve revisión del cálculo proposicional. Luego se presenta el cálculo de predicados ná-dico de orden n. Se pondrá especial énfasis en las nociones de consistencia y de consecuencia, de verdad relativa a un mo-delo, de prueba y de contraejemplo. Se hará una presenta-ción de los teoremas de Gödel y de Lowenheim. Se buscará hacer men-ción a problemas y temas de la filosofía, en especial las no-ciones de extensión e intensión, sentido y referencia. A lo largo del curso se enseñará a traducir del español al lenguaje simbólico para que el alumno desarrolle una mejor apreciación de las su-tilezas de los lenguajes naturales.
Course Disclaimer
Please note that there are no beginning level courses offered in this program.
Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.
Please note that some courses with locals have recommended prerequisite courses. It is the student's responsibility to consult any recommended prerequisites prior to enrolling in their course.