PROGRAMME

Programme International Workshop «Philosophy and Logic»

Thursday, May 23, 2013

Morning session (room 204)
Chair: Gabriel Sandu

9:00 – 10:00	Registration
10:00 – 10:20	Opening conference: Leonid Hubersky, Rector of Taras Shevchenko National University of Kyiv
10:20 – 11:00	Anatoliy Konverskiy Logic Role in Solution of Language Uses Problem
11:00 – 11:40	Jan Wolenski The Size of the World of Logic
11:40 – 12:00	Coffee break
12:00 – 12:40	Graham Priest Revising Logic
12:40 – 13:20	Valentin Goranko Logic and Strategic Reasoning

13:30 – 14.30 Luch break

Evening session (room 204)

Chair: Iryna Khomenko

14:30 – 15:10	Gabriel Sandu Some Remarks on Philosophy and Logic
15:10 – 15:50	Pavel Materna Logic as a Study of Concepts
15:50 – 16:10	Coffee break
16:10 – 16:50	Mircea Dumitru The Problem of De Re Modality
16:50 – 17:30	Gerard Allwein Distributed Logics

18:00 – 20:00 Conference dinner

Friday, May 24, 2013

Morning session (room 204)
Chair: Grzegorz Malinowski

9:00 – 9:40	Myroslav Popowyh On the Possibilities of Analytic Philosophy
9:40 – 10:20	Ilkka Niiniluoto Is Truth Absolute or Relative?
10:20 – 10.40	Coffee break
10:40 – 11:20	Alexander Karpenko Non-classical Logics versus the Classical One
11.20 – 12:00	Vladimir Vasyukov Combinations of Logics and Combinations of Theories
12:00 – 12.30	Reception by the Rector

12:30 – 14.00 Luch break

Evening session (room 204)
Chair: Yaroslav Shramko

14:00 – 14:40	Grzegorz Malinowski Kleene Logic and Inference
14:40 – 15:20	Dmitry Zaitsev Logic, Argument, and Reasoning
15:20 – 15:40	Coffee break
15:40 – 16:20	Iryna Khomenko Informal Logic and Epistemology
16:20 – 17:00	Aleksy Molczanow The Philosophical Consequences of Joachim Jungius’ (1587–1657) Distinction between Logica Formalis and Logica Materialis: Kant and the 20th Century Analytic Tradition

17:30 – 19:00 Dinner

Saturday, May 25, 2013

Morning session (room 204)
Chair: Dmitry Zaitsev

9:00 – 9:40	Alexandru Baltag SURPRISE!? An Answer to the Hangman, or How to Avoid Unexpected Exams (based on joint work with Sonja Smets)
9:40 – 10:20	Sonja Smets Logics for Evidence-Based Belief Revision
10:20 – 10:40	Coffee break
10:40 – 11.20	Yaroslav Shramko Logic and Values
11:20 – 12:00	Ivan Mikirtumov The Semantic Ambiguity and «Technical» Pragmatics
12:00 – 12:20	Coffee break
12:20 – 13:00	Bengt Hansson The Use of Alternative Formal Methods in Philosophy, with Particular Respect to Linear and Topological Spaces
13:00 – 13:20	Closing conference

14:00 – 18:00 Boat tour along the Dnipro River