Grice e Collucci: il paradiso di Peano

Rethinking Knowledge. The Heuristic View , Springer, Cham 2017,xix+427 pp. •   (With Mirella Capozzi)  Breve storia della logica: Dall'Umanesimo al pr imo Novecento  [A Brief History of Logic: From Humanism to Early Twentieth Century], Lulu Press, Morrisville 2014, 177 pp. •    Rethinking Logic. Logic in Relation to Mathematics, Evolution, and Method   , Springer, Dordrecht 2013, xv+389 pp. [Review by F. Sterpettiin Philosophical Inquiries  2 (2014), no. 2, pp. 11-16; Review by E.Grosholz in Philosophia Mathematica  23 (2015), pp. 136-140; Review by Emiliano Ippoliti in  Epistemologia  38 (2015), pp. 327-329; Review by F. M. Ferrari in Universa 2(3) (2014), pp. 1-5]. •   Perché ancora la filosofia [Why Still Philosophy], Laterza, Rome 2008,vii+520 pp. •    La filosofia della matematica del Novecento [Philosophy of Mathematicsin the Twentieth Century], Laterza, Rome 2007, vii+234 pp. •   Filosofia e matematica [Philosophy and Mathematics], Laterza, Rome2002 (second edition 2003), xxiii+383 pp. [Review by D. Gillies in Philosophia Mathematica  11 (2003), 246-253]. •    Le ragioni della logica [The Reasons of Logic], Laterza, Rome 1998(fifth edition 2008), xxviii+406 pp. [Review by D. Gillies in Philosophia Mathematica  7 (1999), 213-222; Review by E. Grosholz in  Isis  91(2000), 426-427]. •   Teoria della dimostrazione [Proof Theory], Boringhieri, Turin 1978, 315 pp. PAPERS •    Notations in Mathematics. Philosophia  48 (2020):1397 –1412.  •   Reconnecting Logic with Discovery, Topoi  39 (2020), pp. 869-880. •   La rinascita della logica in Italia. In Momenti di filosofia italiana, ed. F.Pezzelli & F. Verde. Efesto, Rome 2020, pp. 211–216.  •   Alcuni momenti salienti della storia del metodo,  La Cultura  57 (2019), pp. 354-378. •   The Most Urgent Task of Philosophy Today,  Borderless Philosophy  2(2019), pp. 45-75. •   Diagrams in Mathematics, Foundations of Science  24 (2019): 583–604. •   Philosophy at a Crossroards: Escaping from Irrelevance. Syzetesis  5(2018), pp. 13-53. •   Definition in Mathematics.  European Journal for Philosophy ofScience  8 (2018), pp. 605-629.    •   Theory Building as Problem Solving. In Building Theories, eds. D.Danks & E. Ippoliti. Springer, Cham 2018, pp.63-79. •   Varieties of Maverick Philosophy of Mathematics. In  Humanizing Mathematics and its Philosophy , ed. B. Sriraman. Springer, Cham 2017, pp. 223-251. •   Is Mathematics Problem Solving or Theorem Proving? Foundations ofScience 22 (2017), pp. 183-199.   •   La logica della scoperta, Scienza e Società  31/32 (2017) Creatività, pp.21-30. •   Is There a Scientific Method? The Analytic Model of Science. In  Model- Based Reasoning in Science and Technology. Logical, Epistemologicaland Cognitive Issues (Proceedings of MBR2015) , ed. L. Magnani & C.Casadio. Springer, Cham 2016, pp. 489-505. •   Mathematical Beauty, Understanding, and Discovery. In  The BestWritings on Mathematics 2015 , ed. M. Pitici. Princeton University Press,Princeton 2016, pp, 241-264. •   Models of Science and Models in Science. In  Models and Inferences inScience , ed. E. Ippoliti, F. Sterpetti, & T. Nickles. Springer, Cham2016, pp. 95-122.   •   Review of P. Garavaso & N. Vassallo, Frege on Thinking and Its Epistemic Significance ,  History and Philosophy of Logic , DOI:10.1080/01445340.2016.1146202.   •   Aristotele e il ruolo del nous  nella conoscenza scientifica [Aristotle andthe role of nous  in scientific knowledge]. In  Il Nous di Aristotele , ed. G.Sillitti, F. Stella & F. Fronterotta. Academia Verlag, Sankt Augustin2016, pp. 25-40. •   Conoscenza scientifica e senso comune. In  La guerra dei mondi. Scienzae senso comune , ed. A. Lavazza & M. Marraffa. Codice Edizioni, Torino2016, pp. 85-97. •   Razionalità scientifica e plausibilità [Scientific rationality and plausibility]. In  I modi della razionalità , ed. M. Dell'Utri & A. Rainone.Mimesis, Milano 2016, pp- 47-63. •   Mathematical Beauty, Understanding, and Discovery. Foundations ofScience  20 (2015), pp. 339-355.   •   Is Philosophy a Humanistic Discipline? Philosophia 43 (2015), pp. 259-269. •    Naturalizing the applicability of mathematics. Paradigmi  33 (2015), pp.23-42. •   Rethinking Knowledge.  Metaphilosophy  46 (2015), pp. 213-234. •   Review of N. Offenberger,  La preistoria della logica polivalentenell'antichità ,  Bollettino della Società Filosofica Italiana  214 (2015), pp. 105-107. •   Knowledge, Truth, and Plausibility.  Axiomathes  24 (2014), pp. 517-532.   •   Explanatory and Non-Explanatory Demonstrations. In  Logic, Methodology and Philosophy of Science - Proceedings of the 14th International Congress (Nancy) , ed. P. Schroeder-Heister, G.Heinzmann, W. Hodges, & P.-E. Bour. College Publications, London2014, pp. 201-218.   •   Rethinking Philosophy. Philosophia 42 (2014), pp. 271-288 .         •   Does Logic Slowly Pass Away, or Has It a Future? In  Second PisaColloquium in Logic, Language and Epistemology ,ed. E. Moriconi andL. Tescari, ETS, Pisa 2014, pp. 122-137. •   Why should the logic of discovery be revived? In  Heuristic Reasoning ,ed. E. Ippoliti. Springer, Cham 2014, pp. 11-27.   •   Gli approcci di Turing alla computabilità e all'intelligenza. In Per ilcentenario di Alan Turing fondatore dell'informatica , Accademia Nazionale dei Lincei, Scienze e Lettere, Roma 2014, pp. 71-84.   •   Intervista di Antonio Gnoli, La Repubblica 27-07-2014.   •   Prefazione a S. Maracchia,  Breve storia della logica antica [Preface to S.Maracchia,  A Brief History of Ancient Logic ], Simmetria, Rome 2014, pp. i-iv.   •   Philosophy of Mathematics: Making a Fresh Start. Studies in Historyand Philosophy of Science  44 (2013), pp. 32-42. •   Matematik ve felsefesi: Yeni bir baslangic yapmak. Felsefelogi 49(2013), pp. 73-97. Turkish translation of: Philosophy of Mathematics:Making a Fresh Start. •   Top-Down and Bottom-Up Philosophy of Mathematics, Foundations ofScience  18 (2013), No. 1, pp. 93-106. •   Ripensare la filosofia. Un colloquio con (e su) Carlo Cellucci[Rethinking Philosophy. A Conversation with (and about) CarloCellucci], by Federica Buongiorno.http://www.filosofia-italiana.net/category/interviste/ 2013 •   La spiegazione in matematica [Explanation in Mathematics]. Periodicodi Matematiche  4 (2012), No. 2, pp. 9-24. •   Reason and Logic. In C. Amoretti & N. Vassallo (Eds.),  Reason and Rationality , Ontos Verlag, Frankfurt am Main 2012, 199-216. •   Dialogando con Platone [Dialoguing with Plato]. In R. Chiaradonna andM. De Caro (eds.),  Il Platonismo e le scienze , Carocci, Roma 2012, 43-60. •   Logica dell'argomentazione e logica della scoperta [Logic ofArgumentation and Logic of Discovery]. In P. Gherri (ed.),  Logica ediritto: argomentazione e scoperta , Lateran University Press, VaticanCity 2012, 65-84. •   Ragione, mente e conoscenza [Reason, Mind, and Knowledge], in M.Maldonato (ed.), Fenomenologia della scoperta , Bruno Mondadori,Milano 2011. •   Classifying and Justifying Inference Rules. In C. Cellucci, E. Grosholzand E. Ippoliti (Eds.),  Logic and Knowledge , Cambridge ScholarsPublishing, Newcastle Upon Tyne 2011, 123-142. •   Indiscrete Variations on Gian-Carlo Rota's Themes [revised version]. InM. Pitici (Ed.), The Best Writings on Mathematics 2010 , PrincetonUniversity Press, Princeton 2011, 311-329. •   Filosofia della matematica top-down e bottom-up. Paradigmi  3 (2011),109-124. •   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 sviluppiinterdisciplinari', Pisa-Tirrenia 26-31 marzo 1986, vol. I, Mathesis,Rome 1987, 34-56. •   Per l'insegnamento della logica.  Nuova Secondaria 5 (1987), N. 1, 20-23. •   La logica della macchina [Machine Logic]. In:  Le macchine per pensare ,La Nuova Italia, Florence 1986, 25-34. •   Weight of Reductions in the Typed Lambda Calculus. In V.M. Abrusci& E. Casari (Eds.),  Logica e Filosofia della scienza oggi , vol. I, CLUEB,Bologna 1986, 7-26. •   Logica e filosofia della matematica nella seconda metà del secolo [Logicand 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, 317-336. •   Introduzione a B. Bolzano,  Del metodo matematico [Introduction to B.Bolzano, On the Mathematical Method  ]. Boringhieri, Turin 1985, 7-36. •   Complexity of Reduction Trees in Predicate Calculus. In  Atti degli Incontri di Logica Matematica II  , Dipartimento di Matematica, Siena1985, 319-327. •   Review of G. Kreisel-G. Takeuti, 'Formally Self-ReferentialPropositions for Cut Free Analysis and Related Systems'. The Journal ofSymbolic Logic 50 (1985), 244-246. •   Proof Theory and Complexity. Synthese  62 (1985), 173-189. •   Il ruolo delle definizioni esplicite in matematica [The Role of ExplicitDefinitions in Mathematics]. In C. Mangione (Ed.), Scienza e filosofia ,Garzanti, Milano 1985, 419-434. •   Introduzione a H. Scholz, Storia della logica [Introduction to H. Scholz,History of logic]. Laterza, Bari 1983, v-xxiii . •   Il fondazionalismo: una filosofia regressiva [Foundationalism: ARegressive Philosophy]. Teoria  2 (1982), 3-25 e 3 (1983), 3-38. •   La complessità delle dimostrazioni nella logica dei predicati del primoordine [Complexity of Proofs in First Order Predicate Logic]. In  Attidegli Incontri di Logica Matematica I  , Dipartimento di Matematica,Siena 1982, 355-358. •   Il ruolo del principio di non contraddizione nelle teorie scientifiche [TheRole of the Non-Contradiction Principle in Scientific Theories]. Verifiche   1-3  (1981), 139-160. •   A Calculus of Constructions as a Representation of Intuitionistic LogicalProofs. In S. Bernini (Ed.),  Atti del Congresso Nazionale di Logica ,Bibliopolis, Naples 1981, 175-193. •   A Note on Godel's Second Incompleteness Theorem.  Bollettinodell'Unione Matematica Italiana  17 (1980), 137-142. •   Proof Theory and Theory of Meaning. In M.L. Dalla Chiara (Ed.),  Italian Studies in the Philosophy of Science , Kluwer, Dordrecht 1980,13-29.    •   È adeguata la teoria dell’ adaequatio ? [Is the A daequatio  TheoryAdequate?]. In AA.VV., Scienza e storia , Il Laboratorio, Naples 1979,109-122. •   Introduzione a C. Cellucci (a cura di),  Il paradiso di Cantor. Il dibattitosui fondamenti della teoria degli insiemi  [Introduction to C. Cellucci(Ed.), Cantor's paradise. The debate on the foundations of set theory ].Bibliopolis, Naples 1979, 7-14. •   Proprietà di coerenza e completezza in L-omega1-omega [ConsistencyProperties and Completeness in L-omega1-omega].  Le Matematiche  32(1977), 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), 35-49. •   La logica come teoria della dimostrazione [Logic as Proof Theory]. InAA.VV.,  Introduzione alla logica , Editori Riuniti, Rome 1976, 145-202. •   La qualità nella dimostrazione matematica [Quality in MathematicalProof]. In R. Lorch (Ed.),  La qualità , Bologna (il Mulino) 1976, 109-144. •   Teoremi di normalizzazione per alcuni sistemi funzionali [NormalizationTheorems for Some Functional Systems].  Le Matematiche  30 (1975), 1-42, 210-240. •   Introduzione a P.S. Novikov,  Elementi di logica matematica [Introduction to P.S. Novikov,  Elements of Mathematical Logic ]. EditoriRiuniti, Roma 1975, ix -  xxx . •   Hintikka e il problema del significato [Hintikka and the Problem ofMeaning].  Il Veltro  19 (1975), 621-626. •   Una dimostrazione del teorema di uniformità [A Proof of the UniformityTheorem].  Le Matematiche  29 (1974), 373-378. •   Un connettivo per la logica intuizionista [A Connective for IntuitionisticLogic].  Le Matematiche  29 (1974), 274-290. •   I limiti del programma hilbertiano [The Limitations of Hilbert'sProgram]. In  Atti del XXIV Congresso Nazionale di Filosofia , vol. II,Tomo I, Società Filosofica Italiana, Rome 1974, 352-362. •   On the Role of Reducibility Principles. Synthese  27 (1974), 93-110. •   L’evoluzione della ricerca sui fondamenti [The evolution ofFoundational Research]. Terzo programma   3  (1972), 31-43. •   Operazioni di Brouwer e realizzabilità formalizzata [Brouwer Operationsand Formalized Realizability].  Annali della Scuola Normale di Pisa ,Classe di Scienze, 25 (1971), 649-682. •   Concezioni di insiemi [Conceptions of Sets].  Rivista di filosofia  62   (1971), 123-154. •   Skolem’s Paradox and Platonism. Critica  4 (1970), 43-54. •   Qualche problema di filosofia della matematica [Some Problems in thePhilosophy of Mathematics].  Rivista di filosofia  60 (1969), 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), 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, 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, 213-216. •   Categorie ricorsive [Recursive Categories].  Bollettino dell’Unione Matematica Italiana  19 (1964), 300-305. (with E. Grosholz and E. Ippoliti),  Logic and Knowledge , CambridgeScholars Publishing, Newcastle Upon Tyne 2011. •   Filosofia della matematica [ Philosophy of Mathematics ], Paradigmi ,vol. 29 (2011), No. 3 September-December. •   (with E. Ballo),  La ricerca logica in Italia. Studi in onore di Corrado Mangione , Quaderni di Acme 124, Cisalpino, Milan 2011. •   (with P. Pecere),  Demonstrative and Non-Demonstrative Reasoning in Mathematics and Natural Science , Edizioni dell'Università di Cassino,Cassino 2006. •   (with D. Gillies),  Mathematical Reasoning and Heuristics , King'sCollege Publications, London 2005. •   (with V.M. Abrusci, R. Cordeschi and V. Fano), Prospettive della logicae della filosofia della scienza  [Perspectives in Logic and in thePhilosophy of Science], ETS, Pisa 1998. •   (with M.C. Di Maio and G. Roncaglia),  Logica e filosofia della scienza: problemi e prospettive  [Logic and Philosophy of Science: Problems andPerspectives], ETS, Pisa 1994. •   (with G. Sambin) Temi e prospettive della logica e della filosofia dellascienza contemporanee  [Themes and Perspectives in ContemporaryLogic and Philosophy of Science], CLUEB, Bologna 1988. •   (with E. Agazzi)  Logiche moderne  [Modern Logics], Istituto dellaEnciclopedia Italiana, Rome 1981. •    Il paradiso di Cantor. Il dibattito sui fondamenti della teoria degliinsiemi [Cantor's Paradise. The Debate on the Foundations of SetTheory], Bibliopolis, Naples 1979. •    La filosofia della matematica [The Philosophy of Mathematics], Laterza,Rome 1967.