Categories
eventi info seminar

Last talk of the Online Seminar Series 2020 — V. M. Abrusci: Syllogism and linear logic

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.

Abstract.

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. 

Categories
eventi info

Online Seminar Series started. Pere Pardo (UNIMI): Towards a Tractable Epistemic Logic

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.

Categories
info

New Paper

G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese
https://doi.org/10.1007/s11229-019-02305-7
https://rdcu.be/bH7cn

Categories
info Senza categoria

New Paper

New paper published: Angius, N. & Primiero, Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.
https://rdcu.be/bGlxr
https://doi.org/10.1007/s13347-019-00358-7

Categories
info Senza categoria

PhD Positions Available

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.

The deadline for applications is 24/06 at 2pm.

The call is available in Italian at

Dottorati di ricerca (PhD) – Università degli Studi di Milano

and it should become soon available in English at

Doctoral programmes (PhD) – University of Milan

Categories
info

New visit to the Logic Group

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.

Categories
eventi info

Doctoral School Course and Research Meetings

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.

Chris Fermüller (TU Wien)
Sanjay Modgil (KCL)
Jesse Heyninck (Bochum)
Marcello D’Agostino (UniMi)
Hykel Hosni (UniMi)
Categories
info

Logic Group in Milan

This webpage is the virtual home of the Logic Group at the Department of Philosophy of the University of Milan. We report here our research and impact activities at large.