The Logic Group at the Department of Philosophy "Piero Martinetti", Università degli Studi di Milano

Our research covers:

• Proof Theories

• Applied Logics

• Non-Classical Logics

• Philosophical Logics

• Computational Logic

• Logic and Information

• Logic in Computer Science

• Logic, Uncertainty and Rationality

• Logical Foundations of Probability

• Logic in Economics

• Epistemic and Doxastic Logics

• Modal Logics
  
  

Members of the Logic Group...

Website of the Logic Group...

Seminari di Logica 2020 a cura del Logic Group

I seminari si terranno tutti (salvo diversa indicazione) in Sala Enzo Paci, presso la Direzione del Dipartimento di Filosofia, con l'orario 17-19.

27/02/20 Ofer Arieli - Academic College of Tel-Aviv
Title: Sequent-based deductive argumentation
Abstract: Sequent-based argumentation is a general approach to reasoning with deductive (logical) argumentation, motivated by proof-theoretic considerations. In this talk we review some of the principles of this approach and describe several results concerning its characteristics. In particular, we present completeness results in terms of dynamic proofs, show their relations to reasoning with maximal consistency, and study the satisfiability of common rationality postulates in several sequent-based settings.

12/03/20 Pere Pardo - University of Milan
Title and Abstract TBA

19/03/20 Anthia Solaki - University of Amsterdam
Title and Abstract TBA

30/04/20 Rasmus Rendsvig - University of Copenaghen
Title and Abstract TBA

07/05/20 Jonathan Lawry - University of Bristol
Title and Abstract TBA

14/05/20 Marcelo Finger - University of Sao Paulo
Title and Abstract TBA

21/05/20 Nina Gierasimczuk - Technical University of Denmark
Title and Abstract TBA

05/06/20 Mario Piazza - Università di Pisa
Title and Abstract TBA

Aggiornamenti al programma saranno comunicati tempestivamente su http://www.filosofia.unimi.it/logic/events/