CSSE 490: Logic: Day 1
Topics
- The aim of Logic
- Introduction to the Course
- Introduction to Tarski's World
- Formalization
- Propositional Logic:
- Individual constants
- Predicate symbols
Materials
Assignments
- Read sections 1.1 to 1.5.
- Summarize the main points from the following sections:
- "The special role of logic in rational inquiry"
- "Why learn and artificial language?"
- "Consequence and proof"
- "Philosophical Remarks" in the section "To the instructor"
Submit a one page summary to the appropriate drop box on Angel by day 3, BC.
