Conference Program
Friday, April 24, 2015
10:00 – 10:30
10:30 – 11:00
Registration and Reception
(room: Office of the Institute of Philosophy)
Conference opening by Milos Arsenijevic, dean of the Faculty of Philosophy at
the University of Belgrade and Zoran Ognjanovic, director of the Mathematical
Institute of the Serbian Academy of Sciences and Arts
(room: Conference hall)
Chair: Miloš Arsenijević
(room: Conference hall)
Plenary lecture: Sonja Smets
(University of Amsterdam)
The epistemic potential of groups
11:00 – 12:00
15 minute break
Graduate session: Philosophy of Logic
Chair: Milijana Đerić
(room: Conference hall)
Graduate session: History of
Philosophy
Chair: Ivan Vuković
(room: FDS)
Asgeir Berg Matthiasson
12:15 – 12:45
(University of St Andrews):
Turing’s objections to Wittgenstein
Oliver Istvan Toth
12:45 – 13:15
Gasper Štukelj (University of
Ljubljana):
Quine and modal logic
(Eotvos Lorand University, Budapest)
Spinoza’s theory of consciousness – an
argument for the distinction between
access and phenomenal consciousness
Lunch break
Graduate Session: Logic
Chair: Andrea Berber
(room: Conference hall)
Jonathan Dittrich
(University of Tübingen/Oslo)
15:30 – 16:00
Motivating a proof-theoretic
understanding of paradoxes for
classical logic
Vincent Peluce
(Central European University)
Opposite Motion in Anaximander’s
A26
Graduate Session: Practical Philosophy
Chair: Ivan Mladenović
(room: FDS)
Georgiana Turculet
16:30 – 17:00
Edi Pavlovic
(Central European University,
Budapest)
Proof-theoretic analysis of the
quantified argument calculus
(Central European University)
The least evident and discussed
inconsistencies in ‘Refugee Law’.
Whose responsibility is the Syrian
Refugee crisis?
15 minute break
17:15 – 17:45
Antonio Piccolomini d'Aragona
Zdenka Brzovic
(Aix-Marseille University (CEPERC),
“La Sapienza” University of Rome)
(University of Rijeka)
From proofs to grounds. Topics in
latest Dag Prawitz's semantics
The concept of mental illness:
problems for naturalist accounts
Graduate Session: Metaphilosophy
Chair: Andrea Berber
(room: Conference hall)
17:45 – 18:15
Işık Sarıhan
(Central European University &
University of Fribourg)
Applied metaphilosophy: how can we
accelerate the pace of progress in
philosophy?
Marko Jurjako
(University of Rijeka)
Are psychopaths irrational? The
problem of interfacing rationality and
instrumental learning
15 minute break
Chair: Vlasta Sikimić
(room: Conference hall)
18: 30 – 19:30
Plenary lecture: Alexandru Baltag
(University of Amsterdam)
From degrees of belief to defeasible knowledge
Saturday, April 25, 2015
Graduate session: Ethics
Chair: Voin Milevski
(room: 103)
10:00 – 10:30
Dennis Wildfeuer
(University of Potsdam)
Graduate session: Philosophy of Mind
Chair: Miljana Milojević
(room: 104)
Boyan Vassilev
(Sofia University “St. Kliment
Natural normativity and normativity in Ohridski”)
The explanatory value of analytical
nature
behaviourism
10:30 – 11:00
Janko Nesic
Doris Schneeberger
(University of Salzburg)
(University of Belgrade)
A proposal for a Universal Declaration “Emergentist“ Russellian monism or
That obscure subject of panpsychist’s
of Animal Rights
desire
15 minute break
Panel in Philosophy of
Science
Chair: Ljiljana Radenović
(room: 103)
11:15 – 11:30
11:30 – 12:30
Opening
Slobodan Perovic
(University of Belgrade)
The logic of scientific
discovery and
experimentation in high
energy physics
Graduate session: Philosophy of
language
Chair: Vojislav Božičković
(room: FDS)
Andrea Berber
(University of Belgrade)
Testing epistemic efficiencies 12:00 – 12:30
via data-driven simulations
12:30 – 13:30
Vlasta Sikimic
(University of Belgrade)
Measuring Efficiency of
Knowledge Acquisition in a
Laboratory: the Case of
Fermilab
Jedrzej Grodniewicz
(Jagiellonian University)
Cognitive role of singular
thoughts
Florian L. Wustholz
12:30 – 13:00
(University of Fribourg)
De se beliefs: troubles
with self-ascription
Lunch break
Chair: Vojislav Božičković
(room: 103)
Plenary lecture: Michael Griffin
(Central European University, Budapest )
Descartes's modal creationism
15:30 – 16:30 pm
15 minute break
16:45 – 17:15
Graduate session: Logic
Chair: Daniel Kostić
(room: 103)
Graduate session: Metaphysics
Chair: Duško Prelević
(room: 104)
Laurenz Hudetz
Jonas Werner
(University of Salzburg)
(University of Hamburg)
Causal sets and discrete linear
What grounds contingent grounding?
structures
Mandy Stake
17:15 – 17:45
17:45 – 18:15
Pascale Anna Lotscher
(University of Salzburg)
(University of Salzburg)
Hilbert’s rescue of mathematics
Understanding the underlying
problems of the connection between
causality and time
Pavel Janda
Strahinja Đorđevic
(University of Bristol)
(University of Belgrade)
Measuring inaccuracy of uncertain
doxastic states in many-valued logical
systems
Thank goodness that might be over: did
tenseless theorists understand what
Prior was trying to say?
15 minute break
Chair: Zoran Petrić
(room: 308)
Plenary lecture: Kosta Dosen
(University of Belgrade)
18:30 – 19:30
On exactitude
Sunday, April 26, 2015
Symposium on Proof Theory
Organized with the Seminar for General Proof Theory of the Mathematical Institute SANU
(room: 308)
10:20 – 10:30
Opening
MORNING SESSION
Chair: Slobodan Vujošević
Zoran Petric
(University of Belgrade)
10:30 – 11:10
Notes on categorial proof theory
11:15 – 11:55
12:00 – 12:40
Luca Tranchini
(Eberhard Karls University, Tübingen)
Harmony, rule equivalence and an inferential criterion for synonymy
Silvia Ghilezan
(University of Novi Sad)
Intersection types and logical connectives
Lunch break
AFTERNOON SESSION
Chair: Zoran Petrić
Milos Adžic
(University of Belgrade)
15:00 – 15:40
Gödel on proofs and axioms
15:45 – 16:25
16:30 – 17:10
17:10 – 17:30
Chair: Kosta Došen
(room: 308)
17:30 – 18:30
18:30 – 18:50
18:50 –
Novak Novakovic
(Mathematical Institute SANU)
On the size of proofs in classical logic
Giuseppe Greco
(Delft University of Technology)
Display calculi in the light of ALBA
Break
Peter Schroeder-Heister
(Eberhard Karls University, Tübingen)
Proof-theoretic semantics and the sequent calculus
Break
Closing buffet
(room: FDS)