The last talk for the year within the cycle of online seminars organized by the Milan Logic Group will be given by Vito Michele Abrusci on December 3rd, 2020, at 10:30 via Zoom. Please contact us for details for joining and stay tuned to this website for upcoming news on events for 2021.
Discoveries on syllogisms, induced by linear logic, will be presented:
a) Categorical Propositions and Syllogisms are closed under duality. The system of Aristotelian syllogisms (1st, 2nd and 3rdfigures) is complete under duality.
b) Categorical Propositions and Syllogisms may be represented inside multiplicative fragment of Linear Logic (no need of contraction and weakening rules, no need of first order quantifiers). Better understanding of the Aristotelian notion of “contradictory propositions”.
c) Syllogisms as proof-nets, and thus as geometrical objects and as programs.
d) Why 1st figure syllogisms are simple syllogisms, and the other syllogisms are not simple? A geometrical answer: 1st figure syllogisms are planar proof-nets, whereas other syllogisms are not planar proof-nets.
e) Reductions of syllogisms to 1st figure syllogisms are geometrical ways to transform non-planar graphs into planar graphs.
The Logic Group successfully started its Seminar Series online on Teams last week. On 19/03 Pere Pardo gave a talk on “Towards a Tractable Epistemic Logic”. We will reschedule guest lectures and add group’s members lectures. The talks will be open to attend with a shared link. Monitor this website or contact us for updates.
Open call for 6 PhD Positions at the Department of Philosophy of the University of Milan. 2 additional positions are made available through the excellence project of our Department. Areas of interest include Logic, among others.
From Monday 11th to Friday 15th of March, dr. Michele Bottone (Middlesex University London) will be visiting the Logic Group at the Department of Philosophy, University of Milan. Michele is a long-standing collaborator of Giuseppe Primiero and the visit will be an occasion to further their research on formal methods and trust in cyber-physical systems. The visit is sponsored under the Erasmus+ Teaching and Training Scheme.
The Logic Group is organising a course on Formal Argumentation for the Doctoral School of the Department of Philosophy. Speakers include Chris Fermüller (TU Wien), Sanjay Modgil (KCL) and Jesse Heyninck (Bochum), along with our members. Details are available here. Research meetings will be held with our guests during the following days.