PHILOSOPHY OF SCIENCE
cod. 12927

Academic year 2008/09
2° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Filosofia e storia della scienza
Type of training activity
Characterising
80 hours
of face-to-face activities
10 credits
hub:
course unit
in - - -

Learning objectives

Develop how to handle epistemological problems <br />
<br />
using tools other than the traditional philosophical ones.

Prerequisites

# <br />
<br />
<br />
It is recommended that students have passed an exam in Logic.

Course unit content

<br /># <br />
<br />
<br />
Computation, Truth and Certainty: Turing machines, thesis of <br />
<br />
Church and Godel’s theorem. 

Full programme

- - -

Bibliography

# <br />
<br />
<br />
J.N Crossley et al, "Che cos'e la Logica matematica", Boringhieri 1976; Cap. 1, 4, 5. <br />
<br />
A.M. Turing, "Calcolatori e Intelligenza" in R. Hofstadter e D. Dennett, "L'io della mente", Adelphi 1981. <br />
<br />
Notes (photocopies): Turing test: <br />
<br />
Notes (on-line) Turing machines. Godel’s theorem

Teaching methods

Classroom lectures and discussions.

Assessment methods and criteria

- - -

Other information

- - -