23–25 травня ць. р. в Київському національному університеті імені Тараса Шевченка на базі кафедри логіки філософського факультету відбудеться міжнародний семінар «Флософія і логіка». Запрошено 22 доповідачі з 11 країн світу.
Програма заходу (en):
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 | Ivan Mikirtumov The Semantic Ambiguity and «Technical» Pragmatics |
18:00 – 20:00 Conference dinner
Morning session (room 204)
Chair: Grzegorz Malinowski
| 9:00 – 9:40 | Krister Segerberg Understanding Metaphor |
| 9:40 – 10:20 | Myroslav Popowych On the Possibilities of Analytic Philosophy |
| 10:20 – 10.40 | Coffee break |
| 10:40 – 11:20 | Ilkka Niiniluoto Is Truth Absolute or Relative? |
| 11.20 – 12:00 | Alexander Karpenko Non-classical Logics versus the Classical One |
| 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:00 – 17:20 | Coffee break |
| 17:20 – 18:00 | Gerard Allwein Distributed Logics |
18:00 – 19:00 Dinner
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 | Vladimir Vasyukov Combinations of Logics and Combinations of Theories |
| 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