Logica (LS)

a.a. 2006-07


Intensivo II semestre - I ciclo
Inizio del corso : 13 febbraio 2007
Durata : 5 settimane

Orario
MAR 15-17 aula I via Zamboni 38
GIO 11-13 aula I via Zamboni 38
VEN 11-13 aula I via Zamboni 38

Crediti : 5 cfu

Titolo del corso: Conseguenza logica


Bibliografia

Manuale di riferimento: Dirk van Dalen, Logic and Structure, 4.ed, Springer 2004.

Alfred Tarski, "On the Concept of Logical consequence", in Logic, Semantics, Metamathematics: papers from 1923 to 1938, 2.ed, Hackett 1990.

Stewart Shapiro, "Logical Consequence, Proof Theory and Model theory", in S.Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford UP, 2005.

John Etchemendy, Reflections on Consequence, www-csli.stanford.edu/hp/Reflections.pdf (work in progress)

Dag Prawitz, "Logical Consequence from a Constructivist Point of View", in S.Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford UP, 2005.

Dag Prawitz, "Validity of inferences", (work in progress)

Copia dei testi è disponibile presso l'ufficio didattico, II piano, via Zamboni 38.

Dispense verranno distribuite durante il corso.


Contatti: giovanna.corsi@unibo.it