Ettore Casari, pubblicazioni
A) Libri e articoli
Sulla disgiunzione nella logica megarico-stoica, in Actes du VIIIe Congrès
international d'Histoire des Sciences (1956), Bruschi, Firenze 1957, pp. 1217-1224.
Logica dei predicati, Centro di Studi Metodologici, a cura dell'Unione Industriale
di Torino, Torino 1957, 90 pp.
Su alcune questioni dei fondamenti della matematica, in «Il Pensiero»,
2 (1957), pp. 366-375.
Recensione di A. Heyting, Les Fondements des Mathématiques. Intuitionisme.
Théorie de la Démonstration e A. Heyting, Intuitionism. An Introduction,
in «Il Pensiero», 2 (1957), pp. 422-429.
Su certi limiti del convenzionalismo, in «Il Pensiero», 4 (1959),
pp. 328-335.
Computabilità e ricorsività, Quaderni della Scuola E.N.I., Milano
1959, 108 pp.
Lineamenti di logica matematica, Feltrinelli, Milano 1959, 19827, 324 pp.
Concetti e metodi dell'algebrizzazione della logica, in Atti del convegno nazionale
di logica (1961), Levrotto & Bella, Torino, 1961, pp. 55-73.
I calcoli N e L di Gentzen, in E. W. Beth, I fondamenti logici della matematica,
Fetrinelli, Milano 1963, pp. 287-294.
Questioni di filosofia della matematica, Feltrinelli, Milano 1964, 19763, 232
pp.
Osservazioni su dimostrabilità e definibilità, Abstract in Atti
del VII Congresso dell’Unione Matematica Italiana (1963).
Voci in Enciclopedia della Scienza e della Tecnica, Mondadori, Milano 1963: Algebra
della logica, Vol. I, pp. 362-363;
Algoritmo, Vol. I, pp. 369-370; Antinomie, Vol. I, pp. 731-723; Aritmetizzazione,
Vol. II, pp. 24-25, Assiomatica, Vol. II, pp. 121-122; Boole, algebra di, Vol.
II, pp. 415-419; Cantorismo, Vol. II, pp. 662-663; Church, tesi di, Vol. III,
p. 87; Comprensione, principio di, Vol. III, p. 409; Costruttivismo, Vol. III,
p. 618-619; Costruttivo, teoria classica del, Vol. III, pp. 619-620; lambda-Definibilità,
Vol. III, pp. 756-758; Estensionalità, principio di, Vol. IV, p. 648; Formalismo,
Vol.V, pp. 186-187; Formalizzazione, Vol. V, pp.187-188; Gödel, teoremi di,
Vol. V, pp. 643-644; Infinito, assioma dello, Vol. V, p. 839; Intuizionismo, Vol.
VI, pp. 66-69; Logica, Vol. VI, pp. 373-384; Logicismo, Vol. VI, pp. 386-387;
Ricorsività, Vol. VIII, pp. 799-802; Scelta, principio di, Vol. IX, pp.
136-137; Turing, macchine di, Vol. X, pp. 400-402.
Recensione di F. Rivetti-Barbò, Il teorema e il corollario di Gödel,
in «Bollettino dell’Unione Matematica Italiana», 20 (1965),
pp. 258-63.
Voci in S4, Enciclopedia Mondadori delle Scienze, EST Mondadori, Milano 1967:
Analytica Priora e Posteriora, Vol. I, pp. 110-111; Die Prinzipien der Mechanik,
Vol. II, p. 41; Principia Mathematica, Vol. III, p. 525.
La logique en Italie, in R. Klibansky (ed.), La philosophie contemporaine. Chroniques,
Vol. I, Logique et Fondements des Mathématiques, La Nuova Italia, Firenze
1968, pp. 224-227.
Una osservazione sulla teoria assiomatica degli insiemi, in «Bollettino
dell'Unione Matematica Italiana», 1969, pp. 82-86.
Universali e insiemi, in «Rivista di filosofia», 60 (1969), pp. 24-48;
433-462.
Regular models for second order set theory, in «Symposia Mathematica»
V, Istituto Nazionale di Alta Matematica, Academic Press, New York 1971, pp. 177-188.
Relazione fra ricerca scientifica e didattica in Società Italiana di Fisica,
La scienza nella società capitalistica, De Donato, Bari 1971, pp. 15-28;
parzialmente ristampato in P. Rossi (a cura di), Idee e realtà di oggi,
Sansoni, Firenze 1972, pp. 433-438.
La filosofia della matematica del '900, Sansoni, Firenze 1973, 98 pp.
Alcuni temi fondamentali della filosofia della matematica, in Atti del XXIV Congresso
nazionale di filosofia, Società Filosofica Italiana, Roma 1973, Vol. I,
pp. 109-126.
Axiomatical and set-theoretical thinking, in «Synthese», 27 (1974),
pp. 49-61.
Osservazioni logico-filosofiche sul problema dell’inferenza statistica,
in Atti del convegno sui fondamenti dell’inferenza statistica, Parenti,
Firenze 1977, pp. 83-98.
Matematica in Enciclopedia europea, Garzanti, Milano 1978, Vol. VII, pp. 397-315.
Il problema dei fondamenti della matematica dall’800 ad oggi, in E. Casari,
G. Israel, F. Marchetti, I fondamenti della matematica dall’800 ad oggi,
Guaraldi, Firenze 1978, pp. 7-28.
Prefazione, Introduzione, in E. Casari (a cura di), Dalla logica alla metalogica.
Scritti fondamentali di logica matematica, Sansoni, Firenze 1979, pp. 1-37.
Positively omitting Types, in M. L. Dalla Chiara (ed.), Italian Studies in the
Philosophy of Science, Reidel, Dordrecht 1980, pp. 3-11.
Remarks on Comparison and Superlation, in S. Bernini (a cura di), Atti del convegno
nazionale di logica (1979), Bibliopolis, Napoli 1981, pp. 261-271.
Bemerkungen über Zwischensysteme der Prädikatenlogik, in «Tagungsberichte
des mathematischen Instituts Oberwolfach», 1981(16), p. 4.
La logica del Novecento, Loescher, Torino 1981, 310 pp..
In collaborazione con P.Minari, Negation-free intermediate predicate logics, in
«Bollettino dell'Unione Matematica Italiana», (6) 2-B, 1983, pp. 499-536.
Logic and the Foundations of Mathematics, in E. Agazzi (ed.), Modern Logic - A
survey, Reidel, Dordrecht 1981, pp. 155-166; it. tr. in E. Agazzi e C. Cellucci
(a cura di), Logiche moderne. Aspetti storici, filosofici e matematici della logica
moderna e delle sue applicazioni, Istituto dell’Enciclopedia Italiana, Roma
1981, pp. 139-148.
A proposito dei fondamenti della matematica, in «Rivista di filosofia»,
1981, pp. 359-371.
Intermediate logics, in C. Bernardi (a cura di), Atti degli incontri di logica
matematica I-III, Dipartimento di Matematica, Siena 1983, pp. 243-298.
Komparationstheorie und Mehrwertigkeit, in «Tagungsberichte des mathematischen
Instituts Oberwolfach», 1984(1), p. 4.
Per una discussione sui fondamenti della matematica, in C. Bernardi, P. Pagli
(a cura di), Atti degli incontri di logica matematica IV-VII, Dipartimento di
Matematica, Siena 1985, pp. 285-291.
Note sulla logica aristotelica della comparazione, in «Sileno», X
(1984), pp. 131-146.
La dimostrazione: uno strumento caratteristico del pensiero matematico, in Atti
dei convegni Lincei 73, Accademia Nazionale dei Lincei, Roma 1985, pp. 321-330.
Osservazioni sulla planimetria del Duomo di Modena: Lanfranco, i quadrati, le
diagonali, in Lanfranco e Wiligelmo: il Duomo di Modena, Panini, Modena 1985,
pp. 223-226; ristampato in A. Peroni (a cura di), Il Duomo di Modena. Atlante
grafico, Panini, Modena 1988, pp. 151-154.
Remarks on the foundational inquiry, in «Synthese» 62 (1985), pp.
125-137.
Logica e comparativi, in C. Mangione (a cura di), Scienza e filosofia. Saggi in
onore di Ludovico Geymonat, Garzanti, Milano 1985, pp. 392-418.
L'universo logico bolzaniano, in «Rivista di filosofia» 76 (1985)
pp. 339-366.
Logica e unità del sapere, in L’unità della cultura. In memoria
di L. Lombardo-Radice, Dedalo, Bari 1985, pp. 43-50.
Bemerkungen über die Bolzanosche Wissenschaftslehre, in Logik und Grundlagenforschung.
Festkolloquium zum 100. Geburtstag von H. Scholz, Aschendorff, Münster i.W.
1986, pp. 53-66.
Dimostrazioni e teorie: strumenti caratteristici del pensiero matematico, in Storicità
e attualità della cultura scientifica e insegnamento delle scienze, Marietti-Manzuoli,
Firenze 1986, pp. 24-39.
Comparative Logics, in «Synthese», 73 (1987), pp. 421-449.
Matematica e verità, in «Rivista di filosofia», 78 (1987),
pp. 329-350.
Comparative logics and Abelian l-groups, in R. Ferro, C. Bonotto, S. Valentini,
A. Zanardo (eds.), Logic Colloquium '88, North-Holland, Amsterdam 1989, pp. 161-190.
Nota introduttiva a E. Cassirer, Kant e la matematica moderna, in «Iride»,
3, 1989, pp. 217-219.
Remarks on Bolzano's modalities, in G. Corsi, C. Mangione, M. Mugnai (a cura di),
Atti del convegno internazionale di storia della logica. Le teorie della modalità
(1987), CLUEB, Bologna 1989, pp. 319-322.
Una fonte dimenticata? La teoria bolzaniana del significato, in «Rivista
di Filosofia», 80 (1989), pp. 319-349.
Elementi di logica predicativa, in AA.VV., 9 Lezioni di logica. La logica nel
suo sviluppo storico e concettuale, Muzzio, Padova 1990, pp. 79-100.
Logics on pregroups, in G. Corsi, G. Sambin (a cura di), Atti del convegno «Nuovi
problemi della logica e della filosofia della scienza»(1990), CLUEB, Bologna
1991, Vol.II, Logica, pp. 39-58.
Logica matematica, fondamenti della matematica, fondazione della matematica, in
«Rivista di filosofia», 84 (1993), pp. 73-86.
Anche la “Filosofia dell'aritmetica” di Husserl compie cent'anni,
in G. Gemignani (a cura di), Atti del convegno «Peano e i fondamenti della
matematica» (1991), Mucchi, Modena 1993, pp. 35-49.
Nomi e domande, in «Rivista di filosofia», 85 (1994), pp. 287-291.
An interpretation of some ontological and semantical notions in Bolzano's Logic,
in Bolzano's Wissenschaftslehre 1837-1987.
An International Workshop, Olschki, Firenze 1994, pp. 55-105.
Logica, in Paolo Rossi (a cura di), La Filosofia, UTET, Torino 1995, Vol. III,
pp. 187-322.
Logica, ristampa come volume del precedente, con correzioni,TEA,Torino 1996, 146
pp.
Conjoining and disjoining on different levels, in M. L. Dalla Chiara, K. Doets,
D. Mundici, J. van Benthem (eds.), Logic and Scientific Methods, Volume One of
the Tenth Congress of Logic, Methodology and Philosophy of Science (1995), Kluwer,
Dordrecht 1997, pp. 261-287.
Introduzione alla logica, UTET, Torino 1997, XIV+ 498 pp.
Sull'origine dell'«oggettivo» in Bolzano, in A. Fabris, G. Fioravanti
& E. Moriconi (a cura di), Logica e teologia. Studi in onore di Vittorio Sainati,
ETS, Pisa 1997, pp. 93-115.
La critica dello psicologismo, in P. Rossi, C. A. Viano (a cura di), Storia della
Filosofia, Vol. 5, L’Ottocento, Laterza, Roma-Bari 1997, pp. 533-552.
Edmund Husserl, in P. Rossi, C. A. Viano (a cura di), Storia della Filosofia,
Vol. 6, Il Novecento, Laterza, Roma-Bari 1999, pp. 16-43.
On Husserl’s theory of wholes and parts, in «History and Philosophy
of Logic», 21(2000), pp. 1-43.
La rilettura di Husserl fatta da Ettore Casari, Intervista a cura di M. Giusti,
in «Encyclopaideia», 7 (2000), pp. 103-116.
I sistemi logici di Stanislaw Le.niewski, in M. D'Agostino, G. Giorello, S. Veca
(a cura di), Logica e politica. Per Marco Mondatori, Il Saggiatore, Milano 2001,
pp. 61-118.
Si conta solo fino a tre, Recensione di E. Husserl, Filosofia dell'aritmetica,
in «L'indice dei libri del mese», XIX (2002), 9, p. 29.
Geymonat e la logica, in «Nuova civiltà delle macchine», 2003,
pp. 9-20.
B) Traduzioni di volumi
W. Heisenberg, Natura e fisica moderna, Garzanti, Milano 1957, 176 pp.; ristampato
con un saggio di C. Bernardini, Garzanti, Milano 1985, 220 pp.
E. W. Beth, I fondamenti logici della matematica, Fetrinelli, Milano 1963, XIV
+ 335 pp.
C) Cura di volumi
Aspects of Mathematical Logic, CIME 1968-III, Cremonese, Roma 1969, 285 pp.
In collaborazione con V. M. Abrusci e M. Mugnai, Atti del Convegno internazionale
di storia della logica (1982), CLUEB, Bologna 1983, X + 401 pp.
In collaborazione con V. M. Abrusci, Atti del Congresso «Logica e filosofia
della scienza, oggi» (1983), Vol. I, Logica, CLUEB, Bologna 1986, XIV
+ 219 pp.
In collaborazione con A. Cantini e P. Minari, Logic and the Foundations of Mathematics.
Selected contributed Papers of the Tenth Congress of Logic, Methodology and
Philosophy of Science (1995), Kluwer, Dordrecht 1999, VIII + 282 pp.
© 2004 Scuola Normale Superiore di Pisa - Piazza dei Cavalieri, 7 - 56126 Pisa
tel. +39.050.509111 - fax. +39.050.563513 - info@pec.sns.it - Codice fiscale 8000 5050507
crediti e copyright - privacy policy - Trasparenza, valutazione e merito
|
|
