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.
No comments:
Post a Comment