Description
Revue des techniques de base de la logique propositionnelle et de la logique des prédicats. Déduction naturelle et arbres de consistance. Correction et complétude. Sémantiques alternatives. Extensions de la logique de base : identité, logique modale avec sémantique des mondes possibles, systèmes à trois valeurs, logique déontique.
Préalables
- Prérequis : PHIL 2001 ou autorisation du département.
Conditions et modalités
- Empêche l'octroi de crédits supplémentaires pour Empêche l'octroi de crédits supplémentaires pour PHIL 3305.
- Prérequis : PHIL 2001 ou autorisation du département.
- Cours magistral de trois heures par semaine.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/undergrad/courses/PHIL/