x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
PHILPE7 Introduction to Logic 5 ECTS
Organised by
Philosophy

General description

The module gives an introduction to the basic concepts of logic and the syntax and the semantics of propositional and predicate logic.

Learning outcomes

Familiarity with the basic concepts of logic such as formal language, logical truth, and logical consequence. Mastery of basics of the syntax and the semantics of propositional and predicate logic and the proof theory of propositional logic.

Contents

Syntax and semantic tableaux of propositional logic;
concepts of logical truth, consequence and equivalence; basics of the proof theory of propositional logic;
languages of 1. order predicate logic, their syntax and intuitive semantics (model theory).

Teaching methods

Teaching method Contact Online
Lectures 30 h 0 h
Exercises 16 h 0 h

Teaching language

Finnish

Modes of study

Evaluation

Numeric 1-5.

Recommended year of study

1. year autumn

Study materials

Either

Allwood-Andersson-Dahl: Logic in Linguistics (orig. Logik för lingvister)

or

Guttenplan: Languages of Logic.

Belongs to following study modules

School of Social Sciences and Humanities
Basic Studies (Philosophy)
2011–2012
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Period I Period II Period III Period IV
PHILPE7 Johdatus logiikkaan (AYO, lähiopetus/kirjatentti, Tampere)
Period I Period II Period III Period IV
PHILPE7 Johdatus logiikkaan
Period I Period II Period III Period IV
PHILPE7 Johdatus logiikkaan (AYO, lähiopetus/kirjatentti, Tampere)
For Open University students only
Period I Period II Period III Period IV
PHILPE7 Johdatus logiikkaan (AYO, lähiopetus/kirjatentti, Tampere)
Period I Period II Period III Period IV
PHILPE7 Johdatus logiikkaan (AYO, lähiopetus/kirjatentti, Tampere)
School of Social Sciences and Humanities