Schedule: Tuesday 9 Afternoon

14h30 - 15h00: C-Talk

Claudia Anger "Euler-type Diagrams and Syllogistics – Adequacy of Notations"

15h00 - 15h30: C-Talk 

 Umberto Rivieccio "Indicative conditionals and the logic of ordinary discourse"

15h30 - 16h00: C-Talk 

Kamil Cekiera "Even lexical definitions prescribe: definitions and the foundations of conceptual engineering"

16h00 - 16h30: Coffee Break 

16h30 - 17h00: C-Talk

Natasha Lushetich "The Logic of Artistic Research"

17h00 -  17h30: C-Talk  

Philipe Barsamian "Contradiction as Cognitive Resource: Two Regimes of Sequential Reasoning in Large Language Models"

17h30 - 18h00: C-Talk  

Brian McLoone "No Universal Inference Procedure Governs Theory Choice in Science and Logic”"