Logiche modali: Semantica dei sistemi K, pp.9-11, KD, pp.19-20
K4 pp.22-23 T pp.33-34 ed S4 pp.39-40. Non sono esaminabili le procedure
``semantic tableaux'' per le logiche modali.
Logica lineare: Girard, J-Y.:Linear Logic,
its syntax and semantics, Advances in Linear Logic, eds Girard, Lafont
and Regnier, London Mathematical Society Lecture Notes Series 222,
Cambridge University Press 1995. Sezione 1, The Syntax of Linear Logic pp.1-21.
PARTE 1. Problemi fondamentali della filosofia della scienza del XX secolo
Ernest Nagel The Structure of Science, Problems in the Logic of Scientific
Explanation Hackett Publishing Company, 1979, ISBN: 0-915144-71-9.
Traduzione italiana dell'edizione precedente, Feltrinelli Editore, 1968
(fuori catalogo)
Problemi fondamentali della filosofia della scienza del XX secolo
Paul K. Feyerabend - Contro il Metodo.
Abbozzo di una Teoria Anarchica della Conoscenza.
PARTE 2. La conoscenza scientifica nella storia della filosofia.
John Losee A Historical Introduction to the Philosophy of Science
Oxford University Press, Fourth Edition 2001, ISBN 978-0-19-870055-5.
Traduzione italiana della prima edizione 1972, Il Mulino 1980 (fuori catalogo)
La scuola Pitagorica - la struttura
numerico-geometrica del reale - correlazione fra suoni e misure dei corpi
sonori espresse da numeri razionali; la radice quadrata
di 2 non e` un numero razionale.
Democrito.
(J.Losee) Democrito e l'atomismo fisico. La distinzione tra proprieta`
geometrico-fisiche del sistema di atomi e le proprieta` percettive derivate.
Atomismo matematico in Democrito? Possibile uso degli infinitesimi
nella soluzione del problema del volume del cono?
Introduzione storica a Platone
e la teoria dell'anima (Dal Pra).
Losee Capitolo 2: Platone e l'orientamento Pitagorico;
La tradizione del "salvare i fenomeni": Tolomeo ed i modelli matematici.
John Losee op.cit, Capitolo 5:
Affermazione e svilupo del metodo aristorelico nel Medioevo. Roberto Grossatesta,
Ruggero Bacone, Duns Scoto Guglielmo d'Ockham; metodo sperimentale nello studio
dell'arcobaleno di Teodorico di Freiberg; il rasoio di Ockham.
John Losee op.cit, Capitolo 6:
Il dibattito sul salvare i fenomeni. Copernico ed Osiander.
La professione di fede pitagorica di Copernico. Bellarmino contro Galileo.
La professione di fede pitagorica di Keplero. La legge di Bode.
John Losee op cit, Capitolo 7: Galileo Galilei.
John Losee op cit Capitolo 8:
Newton
Il metodo dell'analisi e della sintesi. L'esperimento dei due prismi.
La generalizzazione induttive e le leggi del moto.
Spazio assoluto e tempo assoluto: l'esperimento del secchio.
John Losee cont Capitoli 8: Newton, Locke e Hume (continuazione)
Un metodo assiomatico. Teorie ed ipotesi Hypotheses non fingo.
Le regole del filosofare.
Lo status cognitivo delle leggi scientifiche.
Locke e la possibilita` di una conoscenza necessaria della natura.
(Losee)
Lo scetticismo di Hume. La suddivisione della conoscenza.
Il principio dell'empirismo. L'analisi della causalita`.
John Losee op cit Capitolo 9: Kant Kant: la replica a Hume.
Analisi dei giudizi: analitici, sintetici, a priori ed
a posteriori. La possibilita' dei giudizi sintetici a priori
e le funzioni trascendentali nella conoscenza.
(Sulla
classificazione dei giudizi
e sulle funzioni
trascendentali
della conoscenza, consultare qualsiasi testo scolastico.)
L'organizzazione sistematica delle leggi empiriche. Spiegazioni
teleologiche.
John Losee op cit Capitolo 9: conclusione su
Kant e la teleologia.
John Losee cont Capitolo 11:
Poincare'
I due impieghi delle leggi della meccanica. FINE PARTE 2.
VALUTAZIONE
Due forme di valutazione: corso seminariale e corso tradizionale.
Corso seminariale: si richiede la partecipazione continuativa al seminario
settimanale ed un term paper.
Corso tradizionale Esercizi per casa 1-3 valgono 40% -
Esame finale e Term Paper valgono 60%;
Gli studenti che hanno sostenuto un esame di logica sono esonerati dai
compiti per casa.
Il compito in classe con un multiple choice test verifica
una conoscenza soddisfacente dei contenuti principali del corso.
Tradizionalmente la filosofia e` attivita` dialogica, si sviluppa
in modo piu` appropriato e convincente nella presentazione orale del proprio
lavoro (difesa della tesi). Dunque una buona presentazione orale puo`
esonerare da tutte le altre forme di valutazione.