Descrição
Uma revisão das técnicas básicas de lógica proposicional e de predicados. Dedução natural e árvores de consistência. Solidez e completude. Semânticas alternativas. Extensões da lógica básica: identidade, lógica modal com semântica de mundos possíveis, sistemas trivalentes, lógica deôntica.
Pré-requisitos
- Pré-requisito(s): PHIL 2001 ou permissão do Departamento.
Condições e modalidades
- Impede crédito adicional para Impede crédito adicional para PHIL 3305.
- Pré-requisito(s): PHIL 2001 ou permissão do Departamento.
- Aulas três horas por semana.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/undergrad/courses/PHIL/