Descrição
Introdução às técnicas e implicações filosóficas da lógica formal com ênfase na tradução de expressões para forma simbólica, testes de correção lógica, formulação e aplicação de regras de inferência e a relação entre lógica e linguagem. Aberto a estudantes do primeiro ano.
Condições e modalidades
- Aulas três horas por semana. Tutoriais podem ser oferecidos em termos selecionados.
Texto de referência na sua língua de origem
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.
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/