Error message
User error : Failed to connect to memcache server: druportbe01:11211 in dmemcache_object() (line 415 of /production/drupal/dim_prod/drupal/d7cl4/prod/unich/releases/7/web/sites/all/modules/contrib/memcache/dmemcache.inc ).
Single discipline educational activity
Course Sheet Academic Year of enrolment:
Disciplinary Sector:
LOGIC AND PHILOSOPHY OF SCIENCE
Professor and Collaborators:
Hours of classroom activity:
Prerequisites:
A basic knowledge of logic and philosophy of language is preferred.
Objectives Contents The course is devoted to the role played by formal logic in the analysis of natural language with particular reference to: i) structural properties of natural languages in comparison with formal languages; ii) logical and linguistic studies of natural languages in XX century: structuralism, neopositivism, functionalism, cognitivism; iii) logical models for natural language: categorial grammars, Montague grammar, type-logical grammars; iv) linguistic applications; v) connections to artificial intelligence and computer science.
Extended Syllabus The course is devoted to the role played by formal logic in the analysis of natural language in the perspective of the professional formation of the students in language, linguistics and humans sciences. Lessons will make particular reference to: i) structural properties of natural languages in comparison with formal languages; ii) logical and linguistic studies of natural languages in XX century: structuralism, neopositivism, functionalism, cognitivism; iii) logical models for natural language: categorial grammars, Montague grammar, type-logical grammars; iv) linguistic applications; v) connections to artificial intelligence and computer science.
Recommended Bibliography Introductory text:
C. Casadio, Logica, Informazione, Automazione, PrimeVie Editore, Corfinio AQ, 2015.
A selection of readings will be given by the teacher at the beginning of the course and during each lesson.
Teaching Methods Lectures will involve presentations supported by slides and on line or paper contents. Students will be encouraged to prepare oral and written presentations.
Evaluation methods Verification of learning:
The final exam consists in a written proof and an oral presentation. The written proof is a multiple choice test (4 options) concerning the basic contents of the course. The oral part of the exam involves the discussion of the relevant papers and materials of the course. Students are invited to prepare a presentation organized with the teacher.
Contacts/More Information
