Description
Une introduction aux techniques et aux implications philosophiques de la logique formelle, mettant l'accent sur la traduction d'expressions en forme symbolique, le test de la correction logique, la formulation et l'application des règles d'inférence, et la relation entre la logique et le langage. Ouvert aux étudiants de première année.
Conditions et modalités
- Cours magistraux trois heures par semaine. Des travaux dirigés peuvent être offerts certains termes.
Texte de référence dans sa langue d’origine
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
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/