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 |
|
|
|
|
|
|