Why Does Formal Deductive Logic Start With the Classical Greeks? Michael Shenefelt, Liberal Studies, New York University, New York, USA Heidi White, New York University, New York, USA
30 min break (due to the cancellation of Mathieu Marion's presentation)
Negation and truth in Greek mathematics and philosophy Ioannis Vandoulakis, School of Humanities, The Hellenic Open University, Athens, GREECE
Redundancy and the Stoic Themata John Woods, Philosophy, Bilkent University, Bilkent, Ankara, TURKEY
The Logic of Avicenna between al-Qiyas and Mantiq al-Mashriqiyin Saloua Chatti, Philosophy, University of Tunis, Tunis, TUNISIA
30 min break (due to the cancellation of Luca Gili's presentation)
Richard Kilvington and the Theory of Obligations Stephen Read, Arché Research Centre, University of St Andrews, St Andrews, UNITED KINGDOM
Aristotelian Diagrams for Multi-Operator Formulas in Avicenna and Buridan Hans Smessaert, Department of Linguistics, KU Leuven, Leuven, BELGIUM Lorenz Demey, Center for Logic and Analytic Philosophy, KU Leuven, Leuven, BELGIUM
Philosophical and Mathematical Correspondence between Gottlob Frege and Bertrand Russell in the Years 1902-1904. Some Uninvestigated Topics Gabriela Besler, Institute of Philosophy, University of Silesia, Katowice, POLAND
A Puzzle About Frege’s Singular Senses Marco Ruffino, Philosophy, State University of Campinas (Unicamp), Campinas, Brazil
1 hour break (due to the cancellation of Yury Chernoskutov's and Tamara Dobler's presentations)
Anton Marty and the semantics of names Tuomo Aho, Department of Philosophy, University of Helsinki, University of Helsinki, FINLAND Leon Chwistek (1884-1944) and his Constructive Type Theory Hubert Bozek, Institute of Philosophy and Sociology, Pedagogical University of Cracow, Kraków, POLAND On some unknown ideas by Sobocinski: comments on philosophical applications of Lesniewski’s systems Kordula Swietorzecka, Logic, Cardinal Stefan Wyszynski University, Warsaw, POLAND Marek Porwolik, Methodology of Science, Cardinal Stefan Wyszynski University, Warsaw, POLAND Gentzen's 'Finitist' Interpretation in the Context of the Formalism-Intuitionism Controversy Yuta Takahashi, Faculty of Letters, Keio University, Tokyo, JAPAN