Descripción
Revisión de las técnicas básicas de lógica proposicional y de predicados. Deducción natural y árboles de consistencia. Corrección y completitud. Semánticas alternativas. Extensiones de la lógica básica: identidad, lógica modal con semántica de mundos posibles, sistemas de tres valores, lógica deóntica.
Prerrequisitos
- Requisito(s): PHIL 2001 o permiso del Departamento.
Condiciones y modalidades
- Impide obtener crédito adicional por Impide obtener crédito adicional por PHIL 3305.
- Requisito(s): PHIL 2001 o permiso del Departamento.
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/PHIL/