HOME

IMPORTANTE: Si ricorda agli studenti di Lettere che il corso di ISTITUZIONI DI LOGICA destinato a loro è quello tenuto dalla Prof. ssa Miriam Franchella. Il corso omonimo tenuto da me è destinato agli studenti di FILOSOFIA. Pertanto L’APPELLO SCRITTO STRAORDINARIO DEL 3 OTTOBRE, in recupero di quello del 12 settembre cancellato per la mia adesione allo sciopero dei docenti universitari, NON è destinato agli studenti di Lettere anche se al momento risulta possibile iscriversi online.

cropped-Marcello_DAgostino.jpgAddress: Dipartimento di Filosofia, Università degli Studi di Milano, via Festa del Perdono 7, 20122 Milano, Italy

Email: marcello.dagostino@unimi.it

Research interests: Logic, Automated Deduction, Philosophy of Logic, Philosophy of Information, Foundations of Economic Theory.

Editorial  boards:

Some recent papers:

M. D’Agostino, D.M. Gabbay, S. Modgil. Normality and non-contamination in depth-bounded natural deduction for classical propositional logic. Technical Report. Department of Philosophy, University of Milan. (Download.)

M. D’Agostino, V. Dardanoni, R. Ghiselli Ricci. How to standardize (if you must). To appear in Scientometrics. Published online 2017. DOI 10.1007/s11192-017-2495-7. (View read-only copy via Spinger Nature SharedIt)

M. D’Agostino, T. Flaminio, H. Hosni. Rational Beliefs a Real Agent Can Have. In Proceedings of NIPS 2016. Journal of Machine Learning Research, vol. 58, 2016. (Download published  version.)

M. D’Agostino, S. Modgil. A Rational Account of Classical Logic Argumentation for Real-world Agents”. In: Proceedings ECAI 2016 22nd European Conference on Artificial Intelligence. IOS Press, pp. 141-149. (Download published version.)

M. D’Agostino. The philosophy of mathematical information. In the Routledge Handbook of Philosophy of Information, 2016. (Download post-print.)

M. D’Agostino. An informational view of classical logic. Theoretical Computer Science 606: 79-97, 2015. (Download post-print.)

G. Boniolo, M. D’Agostino, M. Piazza, G. Pulcini. Adding logic to the toolbox of molecular biology. European Journal for Philosophy of Science 5: 399-417, 2015. (Download post-print.)

M. D’Agostino. La logica nelle scienze economiche e sociali. In H. Hosni, G. Lolli and C. Toffalori (eds.), Le direzioni della ricerca logica in Italia, Edizioni della Scuola Normale, Pisa 2016, pp. 117-142.

M. D’Agostino. Analytic inference and the informational meaning of the logical operators. Logique et Analyse 227: 407-437, 2014. (Download post-print.)

M. D’Agostino. Informational semantics, non-deterministic matrices and feasible deduction. Electronic Notes in Theoretical Computer Science 305: 35-52, 2014.

M. D’Agostino, M. Piazza, G.Pulcini. A logical calculus for controlled monotonicity. Journal of Applied Logic 12: 558-569, 2013.

M. D’Agostino, D.M. Gabbay, M. Finger. Semantics and Proof Theory of Depth-Bounded Boolean Logics. Theoretical Computer Science 480:43-68, 2013. (Download post-print.)

G. Boniolo, M. D’Agostino, M. Piazza, G. Pulcini. A logic of non-monotonic interactionsJournal of Applied Logic 11: 52-62, 2013.