PHILOSOPHICAL LOGIC

Single discipline educational activity

Course Sheet

Academic Year of enrolment:

2013/2014

Type of Course:

Basic

Optional/Mandatory:

Compulsory

Degree:

Bachelor's Degree Programme in EDUCATIONAL AND PHILOSOPHY

Disciplinary Sector:

LOGIC AND PHILOSOPHY OF SCIENCE

Credits:

Programme Year:

Hours of classroom activity:

Prerequisites:

None

Borrowed from

The teaching activity currently displayed is borrowed from the teaching activities listed below.
Click on here to view professor information, educational goals, etc.

LOGIC AND PHILOSOPHY OF SCIENCE

HUMANITIES

AF code:

A000142

Assessment Methods

Verification of learning:

Oral examination with discussion of the tests in progress. The students must recognize their mistakes and show that have understood why they are such. General questions about the main learned concepts.

Teaching period

First semester

Objectives

Solid skills in logical-deductive reasoning in general and mastery of basic concepts and techniques of symbolic logic.

Contents

First part:

Basic knowledge of informal and formal logic. The correct structure of the argument. Valid ad Sound Arguments. Monotony. Use and mention of symbols.

Language and metalanguage. The truth-functional connectives. Truth tables. Tautologies and Contradictions. Tautological Consequence. The Categorical Logic (Syllogistic).

Second part (Logica filosofica)

The language of the predicate calculus of the first order with identity. Free and bound variables. Syntactic Rules for quantifiers and identity. The semantics of the first-order predicate calculus with identity. The definition of truth (Tarski). Translation from natural language to symbolic language. The semantic deduction theorem. Hints on theorems about validity, completeness, decidability.

Recommended Bibliography

Full course (12 credits)

attending students
A. Varzi, J. Nolt, D. Rohatyn. "Logic", second edition, limited to the following chapters: 1, 3 (excluding section 3.7), 5 and 6.

Non-attending students:

personalized course agreed with the professor.

Logica filosofica

Attending students
A. Varzi, J. Nolt, D. Rohatyn. "Logica", seconda edizione, limitatamente ai capitoli 5 e 6.

Non-attending students
personalized course agreed with the professor.

Methods of Provision

Conventional

Teaching Methods

Lectures with slides distributed weekly by mail to all students. Use of the Moodle platform. Homework exercises. tests during the course preceded by simulation and followed by correction in the classroom. Two hours per week devoted to laboratory exercises.

Contacts/More Information

Oral exam:

Attending students:
discussion of tests (compitini). The students must be able to recognize their mistakes and have fully understood the reasons why they are errors. General questions (testing the understanding of the learned notions)

Non-attending students:
Oral exam on the agreed texts.

Other courses

Course year: 1

CONTEMPORARY HISTORY
12 credits
SOCIOLOGIA GENERALE E ANTROPOLOGIA CULTURALE
12 credits
STORIA DELLE DONNE IN ETA' CONTEMPORANEA
12 credits
ECONOMIC HISTORY
6 credits - Base
LOGICA DI BASE
6 credits - Base
MEDIEVAL HISTORY
6 credits - Base
HISTORY OF PEDAGOGY
6 credits - Caratterizzante
HUMANISTIC COMPUTER SCIENCE
6 credits - Caratterizzante
ENGLISH LANGUAGE
12 credits - Affine/Integrativa
FRENCH LANGUAGE
12 credits - Affine/Integrativa
GERMAN LANGUAGE
12 credits - Affine/Integrativa
SPANISH LANGUAGE
12 credits - Affine/Integrativa

Course year: 2

DEVELOPMENTAL PSYCHOLOGY
12 credits
GENERAL AND SOCIAL PEDAGOGY
12 credits
MODERN HISTORY
12 credits
SPECIAL PEDAGOGY
6 credits
HISTORY OF PHILOSOPHY
6 credits - Base
GENERAL PSYCHOLOGY
6 credits - Caratterizzante
PHILOSOPHY OF LANGUAGE
6 credits - Caratterizzante
THEORETICAL PHILOSOPHY
6 credits - Caratterizzante

Course year: 3

ENVIRONMENTAL POLICY
12 credits
HISTORY OF THE SCHOOL AND EDUCATION INSTITUTIONS
6 credits
MORAL PHILOSOPHY
12 credits
PEDAGOGY OF MARGINALITY AND JUVENILE DEVIANCE
6 credits
TEACHING TECHNIQUES AND EDUCATIONAL RESEARCH
12 credits
HISTORY OF ANCIENT PHILOSOPHY
6 credits - Base
PHILOSOPHICAL LOGIC
6 credits - Base
FINAL TEST
6 credits - Lingua/Prova Finale
ALTRE CONOSCENZE
1 credits - Altro
TRAINING
5 credits - Altro

Search form

PHILOSOPHICAL LOGIC