Learning outcomes
The participants are capable of reading and writing both propositional and predicate logic. They are familiar with the basic semantic notions, such as logical truth and logical consequence, and are thus able to evaluate the validity of inferences. They understand the main principles of deduction and proof and are capable of constructing simple deductions in the system of natural deduction.
Contents
The course provides an introduction to the basic notions of logic (e.g. sentence, proposition, natural and formal language, logical derivability and provability, logical consequence and logical truth, extension and intension). The symbols and the syntax of classical propositional logic and first-order predicate logic, and natural deduction and the truth tables of propositional logic are taught in the course. The course includes basics in the semantics of predicate logic. Special attention is paid to those notions of logic which are important in view of any studies in philosophy.
Teaching methods
| Teaching method | Contact | Online |
| Lectures | 30 h | 0 h |
| Exercises | 16 h | 0 h |
Teaching language
FinnishModes of study
- Degree Programme Students
- Other Students
- Open University Students
- Doctoral Students
- Exchange Students
Oheismateriaalina voi käyttää teorta Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf)
Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.
Luennot 30 t ja harjoitukset 16 t ja suoritus loppukuulustelulla.
- Degree Programme Students
- Other Students
- Open University Students
- Doctoral Students
- Exchange Students
Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.
Evaluation
Numeric 1-5.Study materials
Gensler, Harry J. 2010. Introduction of Logic. 2nd ed. Oxon: Routledge (Part 2: pp. 118-227).
