Papers


  • Classifying and Justifying Inference Rules, in C. Cellucci, E. Grosholz and E. Ippoliti (Eds.), Logic and Knowledge, Cambridge Scholars Publishing, Newcastle Upon Tyne 2011, pp. 123-142. pdf.
  • Indiscrete Variations on Gian-Carlo Rota's Themes [revised version], in M. Pitici (Ed.), The Best Writings on Mathematics 2010, Princeton University Press, Princeton 2011, pp. 311-329.
  • Filosofia della matematica top-down e bottom-up, Paradigmi 29 (2011), pp. 109-124.
  • Si può meccanizzare l'induzione? [Can Induction be Mechanized?], in B. Continenza et al., Vittorio Somenzi. Antologia e Testimonianze 1918-2003, Fondazione Banca Agricola Mantovana, Mantova 2011, pp. 362-364. pdf.
  • Matematica e filosofia della matematica: presente e futuro [Mathematics and Philosophy of Mathematics: Present and Future], La Matematica nella Società e nella Cultura. Rivista della Unione Matematica Italiana, vol. 3 (2010), pp. 201-234.
  • Indiscrete Variations on Gian-Carlo Rota's Themes, in E. Damiani, O. D'Antona, V. Marra, F. Palombi (Eds.), Combinatorics to Philosophy. The Legacy of G. C. Rota, Springer, New York 2009, pp. 211-228. pdf.
  • The Universal Generalization Problem, Logique & Analyse, vol. 52 (2009), pp. 3-20. pdf.
  • Interview concerning Perché ancora la filosofia, 2009, by Federica Buongiorno. pdf; also on site Filosofia italiana .
  • Logica, matematica ed evoluzione biologica [Logic, mathematics and biological evolution], in XXI Secolo, vol. I, Istituto della Enciclopedia Italiana, Roma 2009. pp. 191-199.
  • Why Proof? What is a Proof?, in R. Lupacchini & G. Corsi (Eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, Springer, Berlin 2008, pp. 1-27, pdf.
  • Autopresentazione [Self-Presentation], in D. Antiseri & S. Tagliagambe, Storia della filosofia: Filosofi italiani contemporanei, Bompiani-Corriere della Sera, Milan 2008, pp. 100-111.
  • The Nature of Mathematical Explanation, Studies in History and Philosophy of Science, vol. 39 (2008), pp. 202-210, pdf.
  • Gödel aveva qualcosa da dire sulla natura del ragionamento? [Did Gödel Have Anything to Say on the Nature of R easoning?], in G. Lolli and U. Pagallo (Eds.), La complessità di Gödel, Giappichelli, Turin 2008, pp. 31-64.
  • Romanticism in Mathematics, Newsletter of the HPM Group, No. 64 (2007), pp. 17-19, pdf.
  • Logica e processi cognitivi [Logic and Cognitive Processes], in XXI Secolo, Settima Appendice F-PA, Istituto della Enciclopedia Italiana, Roma 2007, pp. 293-295.
  • "Introduction" to Filosofia e matematica, in R. Hersh (Ed.), 18 Unconventional Essays on the Nature of Mathematics, Springer-Verlag, New York 2006, pp. 17-36. pdf.
  • The Question Hume Didn't Ask: Why Should W e Accept Deductive Inferences?, in C. Cellucci and P. Pecere (Eds.), Demonstrative and Non-Demonstrative Reasoning in Mathematics and Natural Science, Edizioni dell'Università di Cassino, Cassino 2006, pp. 207-235. pdf.
  • L'insostenibilità del dubbio scettico [The Untenability of Sceptical Doubt], in R. M. Calcaterra, Le ragioni del conoscere e dell'agire. Scritti in onore di Rosaria Egidi, Franco Angeli, Milano 2006, pp. 57-68.
  • Mathematical Discourse Vs. Mathematical Intuition, in C. Cellucci and D. Gillies (Eds.), Mathematical Reasoning and Heuristics, King’s College Publications, London 2005, pp. 137-165; pdf, Errata.
  • Mente incarnata e conoscenza [Embodied Mind and Knowledge], in E. Canone (Ed.), Per una storia del concetto di mente, Olschki, Florence 2005, pp. 383-410. pdf.
  • Filosofi italiani allo specchio: Carlo Cellucci, Bollettino della Società Filosofica Italiana, n. 185 (2005), pp. 4-10; Errata.
  • I teoremi di incompletezza di Gödel [Gödel's Incompleteness Theorems], in S. Petruccioli (Ed.), Storia della Scienza, vol. VIII, Istituto della Enciclopedia Italiana, Roma 2004, pp. 134-141.
  • Introduzione a Bernard Bolzano, Del metodo matematico [Introduction to Bernard Bolzano, On the mathematical method], Bollati Boringhieri, Turin 2004, pp. 7-39, Errata & Addenda.
  • Review of L. Gaeta, Segni del cosmo. Logica e geometria in Whitehead, Philosophia Mathematica 12 (2004), pp. 289-290.
  • Review of M. Giaquinto, The Search for Certainty. A Philosophical Account of Foundations of Mathematics, European Journal of Philosophy 11 (2003), pp. 420-423. pdf.
  • Gottlob Frege: una rivoluzione nella concezione della logica?  [Gottlob Frege: A Revolution in the Conception of Logic?] in N. Vassallo (Ed.), La filosofia di Gottlob Frege, Franco Angeli, Milan 2003, pp. 41-58. pdf.
  • L’illusione di una filosofia specializzata [The Illusion of a Specialized P hilosophy], in M. D’Agostino, G. Giorello & S. Veca (Eds.), Logica e politica. Per Marco Mondadori,  il Saggiatore & Fondazione Arnoldo e Alberto Mondadori, Milan 2002, pp. 119-137. pdf.
  • La naturalizzazione della logica e della matematica [The Naturalization of Logic and M athematics], in P. Parrini (Ed.), Conoscenza e cognizione. Tra filosofia e scienza cognitiva, Guerini, Milan 2002, pp. 21-35. pdf.
  • I modelli, l'analogia e la metafora [Models, Analogy and Metaphor], in A. Simon (Ed.), Modi, criteri e canoni di conoscenza, Edizioni Plus -Università di Pisa, Pisa 2001, pp. 23-37.
  • Analytic Cut Trees, Logic Journal of the IGPL, vol. 8 (2000), pp. 733-750. pdf.
  • Discussione su riduzionismo e antiriduzionismo [Discussion on Reductionism and Anti-Reductionism], in G. Peruzzi (Ed.), Scienza e realtà. Riduzionismo e antiriduzionismo nelle scienze del Novecento, Bruno Mondadori, Milan 2000, pp. 164-169.
  • The Growth of Mathematical Knowledge: An Open World View, in E. Grosholz e H. Berger (Eds.), The Growth of Mathematical Knowledge, Kluwer, Dordrecht 2000, pp. 153-176. pdf.
  • I modelli, l'analogia e la metafora [Models, Analogy and Metaphor], in Il ruolo del modello nella scienza e nel sapere, Accademia Nazionale dei Lincei, Rome 1999, pp. 7-25.
  • The Decidability of Syllogism, in R. Egidi (Ed.), In Search of a New Humanism. The Philosophy of Georg Henrik von Wright, Kluwer, Dordrecht 1999, pp. 171-174.
  • The Scope of Logic: Deduction, Abduction, Analogy, Theoria 64 (1998), pp. 217-242. pdf.
  • La logica cartesiana: una grande occasione mancata [Cartesian Logic: A Great Missed Opportunity], in A. Fabris, G. Fioravanti & E. Moriconi (Eds.), Logica e teologia. Studi in onore di Vittorio Sainati, ETS, Pisa 1997, pp. 31-56.
  • Maddy on Realism in Mathematics, Physis 34 (1997), pp. 418-426. pdf.
  • La modellizzazione della conoscenza: sistemi chiusi e sistemi aperti [Modelling Knowledge: Closed and Open Systems], in G. Negrini (Ed.), Modelli e modellizzazione, CNR - Istituto per la Documentazione Scientifica, Roma 1997, pp. 55-71.
  • Mathematical Logic: What Has It Done for the Philosophy of Mathematics?, in P. Odifreddi (Ed.), Kreiseliana. About and Around Georg Kreisel, A K Peters, Wellesley, Mass. 1996, pp. 365-388. pdf.
  • L'approccio logico alla pianificazione: sistemi chiusi e sistemi aperti [The Logical Approach to Planning: Closed and Open Systems], in G. Maciocco (Ed.), La città in ombra. Pianificazione urbana e interdisciplinarità, Franco Angeli, Milan 1996, pp. 98-122.
  • Immagini della nozione di dimostrazione [Views on the Notion of Proof], in L. Ciarrapico & D. Mundici (Eds.), L'insegnamento della logica, Ministero della Pubblica Istruzione, Roma 1996, pp. 143-157.
  • La scoperta matematica [Mathematical Discovery], Lettera Pristem No. 18 - December 1995, pp. 11-23.
  • Frege e le origini della logica matematica [Frege and the Origins of Mathematical Logic], in G. Frege, Leggi fondamentali dell'aritmetica, Teknos, Rome 1995, pp. ix-lxvi.
  • On Quine's Approach to Natural Deduction, in P. Leonardi & M. Santambrogio (Eds.), On Quine, Cambridge University Press, Cambridge 1995, pp. 314-335.
  • Wittgenstein on the Meaning of Logical Symbols, in R. Egidi (Ed.), Wittgenstein: Mind and Language, Kluwer, Dordrecht 1995, pp. 83-91.
  • Il procedimento per ipotesi e la logica [The Procedure by Hypothesis and Logic], in F.Speranza (Ed.), Epistemologia della matematica: Seminari 1992-1993, Quaderno 14, Dipartimento di Matematica, Università di Parma, Parma 1994, pp. 63-83.
  • Fondazioni, fondamenti e paradigmi [Founding, Foundations and Paradigms], Rivista di filosofia 85 (1994), pp. 261-286.
  • From Closed to Open Systems, in J. Czermak (Ed.), Philosophy of Mathematics, Hölder-Pichler-Tempsky, Wien 1993, pp. 206-220. pdf.
  • Tableaux and Automated Theorem Proving, Epistemologia 16 (1993), pp. 49-66.
  • Gli scopi della logica matematica [The Aims of Mathematical Logic], in Peano e i fondamenti della matematica, Mucchi, Modena 1993, pp. 73-138.
  • Theory of Deduction, in G. Corsi, M. L. Dalla Chiara & G. Ghirardi (Eds.), Bridging the Gap: Philosophy, Mathematics and Physics, Kluwer, Dordrecht 1992, pp. 3-37.
  • Gödel's Incompleteness Theorem and the Philosophy of Open Systems, in D. Miéville (Ed.), Kurt Gödel: Actes du Colloque, Neuchâtel 13-14 Juin 1991, Travaux de logique, N. 7, Université de Neuchâtel, Neuchâtel 1992, pp. 103-127. pdf.
  • Existential Instantiation and Normalization in Sequent Natural Deduction, Annals of Pure and Applied Logic 58 (1992), pp. 111-148.
  • Dalla logica teoretica alla logica pratica [From Theoretical to Practical Logic], Rivista di filosofia 83 (1992), pp. 169-207.
  • Bolzano and Multiple-Conclusion Logic, in Bolzano’s Wissenschaftslehre 1837-1987, Olschki, Florence 1992, pp. 179-189.
  • La logica tra filosofia, matematica e informatica [Logic Between Philosophy, Mathematics and Computer Science], in Scienza & Tecnica. Annuario della EST 91/92, Mondadori, Milan 1992, pp. 338-344.
  • La logica tra filosofia, matematica e informatica [Logic Between Philosophy, Mathematics and Computer Science], Notizie di Logica 10 (1991), No. 2/3, pp. 13-23.
  • Sequent Natural Deduction and Intuitionistic Logic, in G. Corsi & G. Sambin (Eds.), Nuovi problemi della logica e della filosofia della scienza, vol. II, Clueb, Bologna 1991, pp. 259-266.
  • Orientamenti contemporanei [Contemporary Trends], in: AA.VV., Nove lezioni di logica, Muzzio, Padova 1990, pp. 133-157.
  • La logica e la rappresentazione delle conoscenze [Logic and Knowledge Representation], Rivista di filosofia 81 (1990), pp. 19-55.
  • Bertrand Russell. Gli 'atomi logici' della sua matematica [Bertrand Russell. The 'Logical Atoms' of His Mathematics], l'Unità, giovedì 1 febbraio 1990, p. 25.
  • Le macchine intelligenti: introduzione ai principi generali dell’intelligenza artificiale [Intelligent Machines: Introduction to the General Principles of Artificial Intelligence], in: Attualità in Medicina Interna, 4 (1989), pp. 149-160.
  • De conversione definitionis in demonstrationem [On the Conversion of Definition into Demonstration], in: G. Corsi, C. Mangione & M. Mugnai (Eds.), Le teorie delle modalità, CLUEB, Bologna 1989, pp. 301-306.
  • On a Curiously Neglected Proof of the Non-Finite Axiomatizability of PA, Teoria 8 (1988), pp. 121-130.
  • Efficient Natural Deduction, in: C. Cellucci & G. Sambin (Eds.), Temi e prospettive della logica e della filosofia della scienza contemporanee, vol. I, Bologna (CLUEB) 1988, pp. 29-57.
  • Using Full First Order Logic as a Programming Language, in Logic and Computer Science: New Trends and Applications, Rosenberg & Sellier, Turin 1987, pp. 115-152. pdf
  • La logica e l’intelligenza artificiale [Logic and Artificial Intelligence], in Ulisse, vol. 13 (supplemento II), Editori Riuniti, Roma 1987, pp. 33-64.
  • Il logicismo di Russell [Russell's L ogicism], in R. Simili (Ed.), L’epistemologia di Cambridge 1850-1950, il Mulino, Bologna 1987, pp. 305-328.
  • Logica e informatica: da incidenti di confine a un’alleanza di interesse? [Logic and Computer Science: From Border Incidents to a Convenience Alliance?], in Atti degli Incontri di Logica Matematica III, Siena 1987, pp. 359-373.
  • L’ideale della purezza dei metodi [The Ideal of the Purity of Methods], in P. Freguglia, S. Maracchia & B. Rizzi (Eds.), Atti del Convegno 'Storia degli studi sui fondamenti della matematica e connessi sviluppi interdisciplinari', Pisa-Tirrenia 26-31 marzo 1986, vol. I, Mathesis, Rome 1987, pp. 34-56.
  • Per l'insegnamento della logica, Nuova Secondaria 5 (1987), N. 1, pp. 20-23.
  • La logica della macchina [Machine Logic], in: Le macchine per pensare, La Nuova  Italia, Florence 1986, pp. 25-34.
  • Weight of Reductions in the Typed Lambda C alculus, in: V.M. Abrusci & E. Casari (Eds.), Logica e Filosofia della scienza oggi, vol. I, CLUEB, Bologna 1986, pp. 7-26.
  • Logica e filosofia della matematica nella seconda metà del secolo [Logic and Philosophy of Mathematics in the Second Half of the Century], in: E. Agazzi (Ed.), La filosofia della scienza in Italia nel ‘900, Franco Angeli, Milan 1986, pp. 317-336.
  • Introduzione a B. Bolzano, Del metodo matematico [Introduction to B. Bolzano, On the Mathematical Method], Boringhieri, Turin 1985, pp. 7-36.
  • Complexity of Reduction Trees in Predicate Calculus, in Atti degli Incontri di Logica Matematica II, Dipartimento di Matematica, Siena 1985, pp. 319-327.
  • Review of G. Kreisel-G. Takeuti, 'Formally Self-Referential Propositions for Cut Free Analysis and Related Systems', The Journal of Symbolic Logic 50 (1985), pp. 244-246.
  • Proof Theory and C omplexity, Synthese 62 (1985), pp. 173-189.
  • Il ruolo delle definizioni esplicite in matematica [The Role of Explicit Definitions in Mathematics], in C. Mangione (Ed.), Scienza e filosofia, Garzanti, Milano 1985, pp. 419-434.
  • Introduzione a H. Scholz, Storia della logica [Introduction to H. Scholz, History of logic], Laterza, Bari 1983, pp. v-xxiii.
  • Il fondazionalismo: una filosofia regressiva [Foundationalism: A Regressive Philosophy], Teoria 2 (1982), pp. 3-25 e 3 (1983), pp. 3-38.
  • La complessità delle dimostrazioni nella logica dei predicati del primo ordine [Complexity of Proofs in First Order Predicate Logic], in Atti degli Incontri di Logica Matematica I, Dipartimento di Matematica, Siena 1982, pp. 355-358.
  • Il ruolo del principio di non contraddizione nelle teorie scientifiche [The Role of the Non-Contradiction Principle in Scientific Theories], Verifiche 1-3 (1981), pp. 139-160.
  • A Calculus of Constructions as a Representation of Intuitionistic Logical Proofs, in S. Bernini (Ed.), Atti del Congresso Nazionale di Logica, Bibliopolis, Naples 1981, pp. 175-193.
  • A Note on Godel's Second Incompleteness T heorem, Bollettino dell'Unione Matematica Italiana 17 (1980), pp. 137-142.
  • Proof Theory and Theory of Meaning, in M.L. Dalla Chiara (Ed.), Italian Studies in the Philosophy of Science, Kluwer, Dordrecht 1980, pp. 13-29.
  • È adeguata la teoria dell’adaequatio? [Is the Adaequatio Theory Adequate?], in: AA.VV., Scienza e storia, Il Laboratorio, Naples 1979, pp. 109-122.
  • Introduzione a C. Cellucci (a cura di), Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degli insiemi [Introduction to C. Cellucci (Ed.), Cantor's paradise. The debate on the foundations of set theory], Bibliopolis, Naples 1979, pp. 7-14.
  • Proprietà di coerenza e completezza in L-omega1-omega [Consistency Properties and Completeness in L-omega1-omega], Le Matematiche 32 (1977), pp. 153-174
  • Proprietà di uniformità e 1-coerenza dell’aritmetica del primo ordine [Uniformity Properties and 1-Consistency of First Order Arithmetic], Le Matematiche 32 (1977), pp. 35-49.
  • La logica come teoria della dimostrazione [Logic as Proof Theory], in: AA.VV., Introduzione alla logica, Ed. by Cidi, Editori Riuniti, Rome 1976, pp. 145-202.
  • La qualità nella dimostrazione matematica [Quality in Mathematical Proof], in: R. Lorch (Ed.), La qualità, Bologna (il Mulino) 1976, pp. 109-144.
  • Teoremi di normalizzazione per alcuni sistemi funzionali [Normalization Theorems for Some Functional Systems], Le Matematiche 30 (1975), pp. 1-42. 210-240.
  • Introduzione a P.S. Novikov, Elementi di logica matematica [Introduction to P.S. Novikov, Elements of Mathematical Logic], Editori  Riuniti, Roma 1975, pp. ix-xxx.
  • Hintikka e il problema del significato [Hintikka and the Problem of Meaning], Il Veltro 19 (1975), pp. 621-626.
  • Una dimostrazione del teorema di uniformità [A Proof of the Uniformity Theorem], Le Matematiche 29 (1974), pp. 373-378.
  • Un connettivo per la logica intuizionista [A Connective for Intuitionistic Logic], Le Matematiche 29 (1974), pp. 274-290.
  • I limiti del programma hilbertiano [The Limitations of Hilbert's Program], in Atti del XXIV Congresso Nazionale di Filosofia, vol. II, Tomo I, Società Filosofica Italiana, Rome 1974, pp. 352-362.
  • On the Role of Reducibility Principles, Synthese 27 (1974), pp. 93-110.
  • L’evoluzione della ricerca sui fondamenti [The evolution of Foundational Research], Terzo programma 3 (1972), pp. 31-43.
  • Operazioni di Brouwer e realizzabilità formalizzata [Brouwer Operations and Formalized Realizability], Annali della Scuola Normale di Pisa, Classe di Scienze, 25 (1971), pp. 649-682.
  • Concezioni di insiemi [Conceptions of Sets], Rivista di filosofia 62 (1971), pp. 123-154.
  • Skolem’s Paradox and Platonism, Critica 4 (1970), pp. 43-54. pdf.
  • Qualche problema di filosofia della matematica [Some Problems in the Philosophy of Mathematics], Rivista di filosofia 60 (1969), pp. 135-160.
  • Un’osservazione sul teorema di Minc-Orevkov [A Remark on the Minc-Orevkov's Theorem], Bollettino Dell’Unione Matematica Italiana, ser. 4, 1 (1969), pp. 1-8.
  • Introduzione a C. Cellucci (a cura di), La  filosofia della matematica [Introduction to C. Cellucci (Ed.), The philosophy of mathematics], Laterza, Bari 1967, pp. 9-79.
  • La teoria del ragionamento matematico: meccanico o non meccanico? [The Theory of Mathematical Reasoning: Mechanical or Non-Mechanical?], in L’uomo e la macchina, vol. II, Edizioni di Filosofia, Turin 1967, pp. 213-216.
  • Categorie ricorsive [Recursive Categories], Bollettino dell’Unione Matematica Italiana, ser. 3. 19 (1964), pp. 300-305.  

 

 

 
Website Statistics