Storia e filosofia della logica

LOGICA E CONOSCENZA

Scuola di storia e filosofia della logica

SILFS - Società Italiana di Logica e Filosofia delle Scienze
DIF Dipartimento Filosofia - Università di Genova (Epistemologia)
CSL Laboratorio di Scienze Cognitive di Rovereto

29 Settembre - 3 Ottobre - 2000

programma - materiale preparatorio - organizzazione

Finito il Convegno!
Ecco due foto dei partecipanti con i promotori, gli organizzatori e i docenti della scuola (manca Mugnai, appena partito):
foto1 e foto 2
La mailing list degli studenti della scuola è summer-school-2000@boogie.cs.unitn.it.

Comitato Scientifico:

Mirella Capozzi, prof. di Storia della logica, Università di Roma - La Sapienza

Carlo Penco, prof. di Filosofia del linguaggio, Università di Genova

Segretaria della scuola:

Roberta Ferrario (Università di Trento)
Comitato Organizzativo:

Paolo Bouquet (Università di Trento)
Docenti:

Mario Mignucci (London): La logica di Aristotele. ( dettagli e bib.)

Massimo Mugnai (Firenze): Pensare e calcolare da Leibniz a Boole. ( dettagli bib.)

Guglielmo Tamburrini (Pisa): Calcolabilità e Scienza Cognitiva. ( dettagli e bib.)

Gabriele Usberti (Siena): Alcuni problemi relativi alla giustificazione della deduzione. ( dettagli e bib.)

PROGRAMMA GENERALE

Venerdi' 29 Settembre	9.30-11.15	Storia della logica	Mignucci
Venerdi' 29 Settembre	11.30-13.15	Storia della logica	Mugnai
Venerdi' 29 Settembre	15-16.30	Filosofia della logica	Usberti
Venerdi' 29 Settembre	17-18.45	Filosofia della logica	Tamburrini

Sabato 30 Settembre	9.30-11.15	Filosofia della logica	Tamburrini
Sabato 30 Settembre	11.30-13.15	Filosofia della logica	Usberti
Sabato 30 Settembre	15-16.30	Storia della logica	Mugnai
Sabato 30 Settembre	17-18.45	Storia della logica	Mignucci
Sabato 30 Settembre	19-22	Cena Sociale

Lunedi' 2 Ottobre	9.30-11.15	Storia della logica	Mignucci
Lunedi' 2 Ottobre	11.30-13.15	Storia della logica	Mugnai
Lunedi' 2 Ottobre	15-16.30	Filosofia della logica	Usberti
Lunedi' 2 Ottobre	17-18.45	Filosofia della logica	Tamburrini

Martedi' 3 Ottobre	9.30-11	Storia della logica	Mignucci
Martedi' 3 Ottobre	11.15-12.45	Storia della logica	Mugnai
Martedi' 3 Ottobre	14-15.30	Filosofia della logica	Usberti
Martedi' 3 Ottobre	16-17.30	Filosofia della logica	Tamburrini
Martedì 3 Ottobre	18.15	"Logica e Cervello"	Valentino Braitenberg

Le lezioni inizieranno alle 9.30 per motivi di orario dei treni da Trento.
Sabato sera vi sara' un cena sociale a Rovereto, dalle 19 alle 22

back to top

ORGANIZZAZIONE

ARRIVO: Settembre 28 notte in Trento
La scuola si terrà a
Rovereto (TN), Laboratorio di Scienze Cognitive

Ricordiamo che, riguardo all'alloggio, e' stata stabilita una convenzione tra l'Universita' degli Studi di Trento e l'Ostello della Gioventu' di Trento, secondo la quale il costo (a persona) per una notte + prima colazione e' fissato in L.25.000 per camera singola con wc in comune o camera doppia con wc, oppure L.22.000 per camera a tre o quattro letti con wc. Ogni singolo studente dovra' preoccuparsi di effettuare la prenotazione telefonando o spedendo un fax direttamente all'ostello al numero 0461/234567, segnalando la propria partecipazione alla scuola al momento della prenotazione. Per poter usufruire della convenzione e' necessario prenotare entro e non oltre il 20 settembre 2000, raccomandiamo tuttavia di effettuarla il prima possibile.

back to top

INDICAZIONI SULLE LEZIONI

Valentino Braitenberg
- I tessuti intelligenti, Torino: Boringhieri, 1980
- Vehicles: experiments in synthetic psychology, Cambridge, London, MIT press, 1984
- Il cervello e le idee: Saggi sull'intelligenza, il linguaggio, la scienza. Milano : Garzanti, 1989
Mario Mignucci

Il corso riguarda la logica di Aristotele e si articola su tre temi principali
(i) La nozione di proposizione
(ii) Che cos'è un sillogismo
(iii) Una definizione della possibilità e della necessità
I testi cui faremo riferimento sono soprattutto gli Analitici Primo e il De interpretatione . Per essi le edizioni standard sono quelle degli "Oxford Classical Texts" e precisamente
- Aristotelis, Categorie et Liber De Interpretatione , Recognovit brevique adnotatione critica instruxit L. Minio-Paluello, Oxford: Clarendon Press, 1949.
- Aristotle's Prior and Posterior Analytics , A Revised Text with Introduction and Commentary by W.D. Ross, Oxford: Clarendon Press, 1949 (con un commento ancor oggi importante [purtroppo il volume non è facilmente reperibile]).
Degli Analitici c'è anche una editio minor senza commento, ma con un'appendice testuale di Lorenzo Minio-Paluello:
- Aristotelis, Analytica Priora et Posteriora , Recensuit brevique adnotatione critica instruxit W.D. Ross praefatione et appendice auxit L. Minio-Paluello, Oxonii: Clarendon Press, 1964.
Le traduzioni italiane recenti sono sostanzialmente due ed entrambe piuttosto manchevoli:
- Aristotele, Organon , Introduzione e note di G. Colli, Torino: Einaudi, 1955
- Aristotele, Organon , a cura di M. Zanatta, 2 voll., Torino: UTET, 1996.
Decisamente migliori le traduzioni inglesi, fra le quali consiglio:
- Aristotle, Categories and De Interpretatione , Translated with Notes by J.L. Ackrill, Oxford: Clarendon Press, 1963
- Aristotle, Prior Analytics , Translated with Introduction Notes and Commentary by R. Smith, Indianapolis-Cambridge: Hackett Publishing Company, 1989.
Non esiste una monografia recente e completa sulla logica di Aristotele. Come propedeutica al corso suggerisco la seguente lettura:
- W. Kneale e M. Kneale, The Development of Logic , 7 ed., Oxford: Clarendon Press, 1978 (la parte riguardante Aristotele). Di questo volume c'è una traduzione italiana: Storia della logica , a cura di A.G. Conte, Torino: Einaudi, 1972.
Potrebbero essere utili anche, sulla sillogistica,
- J. Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic , Oxford: Clarendon Press, 1957
- G. Patzig, Die Aristotelische Syllogistik. Logisch-philologische Untersuchungen ueber das Buch A der "Ersten Analytiken" , ed., Goettingen: Vandenhoeck & Ruprecht, 1969 (di questo volume esiste una traduzione inglese condotta sulla 2 ed.: Aristotle's Theory of the Syllogism, A Logico-philological Study of Book A of the Prior Analytics , transl. by J. Barnes, Dordrecht: Reidel, 1968).
Sul De interpretatione lo studio pi recente è quello di
- C.W.A. Whitaker, Aristotle's De Interpretatione. Contradiction and Dialectic , Oxford: Clarendon Press, 1996.
Una più ampia bibliografia verrà fornita durante le lezioni.

Per quanto auspicata, il corso non presuppone, strettamente, alcuna conoscenza previa né di storia della logica, né di greco, né di logica moderna che vada al di l di una soglia minimale di alfabetismo.
Massimi Mugnai
- William & Martha Kneale, The Development of Logic, Oxford, 1962 [trad. it. Einaudi, 1972], i capitoli V e VI;
- Massimo Mugnai (a cura di), La logica da Leibniz a Frege, Torino, Loescher, 1982.
- Gottfried Wilhelm Leibniz, Elementi di calcolo, in Scritti di Logica, Bari, Laterza (a cura di F. Barone), 1992, vol. II, pp. 236-243;
- Gottfried Wilhelm Leibniz, Ricerche generali sull'analisi delle nozioni e delle verità, ivi, pp. 272-325.
- George Boole, L'analisi matematica della logica, Milano, Boringhieri, 1993, pp. VII-LVIII.
Guglielmo Tamburrini

Sommario provvisorio delle 4 lezioni
1. L'orizzonte della calcolabilità e i modelli algoritmici nella scienza cognitiva
2. Varietà di modelli (non) algoritmici nella scienza cognitiva
3. Goedel e il problema mente-macchina
4. Complessità di calcolo, euristiche e modelli algoritmici
5. Proposta di discussione pomeridiana/serale: 1950-2000: 50 anni di test di Turing
1: Turing e l'analisi dei processi di calcolo. La tesi di Church-Turing. L'opinione di Goedel sul valore epistemologico del lavoro di Turing. Opinioni difformi: linsufficiente generalità dell1analisi di Turing e il problema di Kolmogorov e Uspenskii. Algoritmi per uomini e algoritmi per macchine: il problema di Gandy. Dalla tesi di Church-Turing alla nozione di modello algoritmico nella scienza cognitiva.

2: La distinzione modello/teoria e gli usi dei modelli algoritmici nelle scienze cognitive. Dati sperimentali nella costruzione e nel controllo dei modelli algoritmici (analisi di protocolli verbali, neuropsicologia, brain imaging). Oltre i modelli algoritmici? Modelli neurali discreti; altri modelli neurali e loro relazioni con le macchine di Turing. Oracoli e macchine di Turing. La nozione di modello non algoritmico in senso debole e in senso forte.

3: Le osservazioni di Goedel su incompletezza e meccanicismo. Ipotesi di effettività non algoritmica. Significato e propriet fisiche dei simboli: speculazioni di Goedel su algoritmi, procedure costruttive e nuovi assiomi matematici. Ipotesi meccanicistiche su strutture di simboli e significato: la "physical symbol system hypothesis" di Newell e Simon. La problematica mente-mecchina di Goedel nel contesto della scienza cognitiva. Goedel, Kreisel e Penrose su antimeccanicismo e teoria fisica.

4: Decidibilità di principio e problemi intrinsecamente difficili. Complessità nella scienza cognitiva: la distinzione competenza/prestazione e il problema delle idealizzazioni nei modelli della competenza. Complessità e reti neurali. Complessità e IA: funzioni parziali, processi euristici, effetti collaterali. Esempi di processi euristici in IA. Il ruolo centrale delle euristiche nella "nuova IA" (robotica situata, vita artificiale).
Bibliografia
- V. Somenzi e R. Cordeschi, La filosofia degli automi, Bollati Boringhieri,
- M. Boden (ed.) The philosophy of artificial intelligence; Oxford U.P.
- N. Cutland, Computability, Cambridge Univ. Press, Cambridge 1980.
- W. Sieg, "Mechanical Procedures and mathematical experience", in A. George (ed.), Mathematics and Mind, Oxford U.P. 1994, 71-117
- R.O. Gandy, 2The confluence of ideas in 1936", in R. Herken, (ed.), The Universal Turing Machine - A Half-Century Survey, Oxford U.P. 1988, 55-111.
- G. Tamburrini, "Mechanistic theories in cognitive science: the import of Turing's thesis" in M.L. Dalla Chiara, K. Doets, D. Mundici and J. van Benthem (eds.), Logic and scientific methods, Kluwer, Dordrecht 1995, 239-257.
- M. Frixione e G. Tamburrini, "Conflitti di competenza", Sistemi intelligenti 8 (1996), 375-402.
- Hao Wang "On physicalism and algorithmism: can machines think?" Philosophia Mathematica, 1 (1993) 3rd series, 97-138.
- R.O. Gandy, "Human versus mechanical intelligence", in P. Millican and A. Clark (eds.), Machines and Thought, Mind Association Occasional Series, Clarendon Press, Oxford, 125-136.

Gabriele Usberti

Sommario provvisorio delle 4 lezioni
1. problema della giustificazione di un paradigma di validit logica.
  formalizzazione della logica (classica e intuizionista) in deduzione naturale, e problema e ai risultati di normalizzazione;
2. Dummett e Prawitz e la giustificazione delle leggi logiche
3. rapporti tra logica classica e logica intuizionista, e in particolare della 'traduzione negativa' di Goedel.
4. Il problema di Prior
bibliografia
- G. Usberti, Significato e conoscenza : per una critica del neoverificazionismo, Milano : Guerini scientifica, 1995 (capitolo 2)
- E. Moriconi "Dimostrazione e significato"
- M. Dummett, La base logica della metafisica (capitolo 11)
- G. Usberti, Significato e conoscenza : per una critica del neoverificazionismo, Milano : Guerini scientifica, 1995 (capitolo 3).
- Troelstra-van Dalen, "Constructivism in Mathematics", I vol. (pagine 56-59)
- Scott et al., "Notes on the Formalization of Logic", Oxford 1981, Parte IV;
- Prior, Tonk, Plink, Plonk, in Bottani-Penco, Significato e teorie del linguaggio, Angeli, Milano, 1991
- risposta di Belnap a Prior, in Bottani-Penco, Significato e teorie del linguaggio, Angeli, Milano, 1991
back to top

MATERIALI PREPARATORI IN RETE

introduzioni elementari attinenti alla logica

strumenti per ripassare aspetti della logica:

strumenti di storica alla logica

Testi di storia della logica

Miscellanea
- Logic notation on the web (and HTML) by Peter Suber
- Mathematical Logica around the world One of the best sites on Logic in the web
- Software per la logica dallo SWIF
- Storia della logica SWIF
- Filosofia della logica SWIF