Logic 1

Pontificia Universidad Católica del Perú

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.

    Hours & Credits

  • Credits

    4
  • Recommended U.S. Semester Credits
    0
  • Recommended U.S. Quarter Units
    0
  • 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

Courses and course hours of instruction are subject to change.

Please reference fall and spring course lists as not all courses are taught during both semesters.