Program
|
LOGICA 2005 - PROGRAMME
|
|
Tuesday, 21 June
>> morning session
|
|
Priest Graham
|
Beyond the Limits of Knowledge
|
|
Danka István
|
Three Wittgensteins on the Bivalence of Our Only One Logic
|
|
Kearns John
|
The Logical Difference Between Knowledge and Justified Belief
|
|
Friend Michelle
|
The Next Step for Structuralism
|
|
>> afternoon session
|
|
Peregrin Jaroslav
|
Intersubstitutivity
|
|
Ronzitti Giuseppina
|
Detaching Philosophy (from Logic)
|
|
Kemp Gary
|
Bad Words against Inferentialism
|
|
Woleński Jan
|
Generalized Hume’s Thesis
|
|
Primiero Giuseppe
|
Belief Revision in CTT
|
|
Cannon Douglas
|
Digital Recording, Digital Pictures and Notations
|
|
Wednesday, 22 June
>> morning session
|
|
Gurevich Yuri
|
What's an Algorithm
|
|
Švejdar Vítězslav
|
On Modal Systems with Rosser Modalities
|
|
Bjørdal Frode
|
The Banach-Tarski Paradox in the Bialethic Framework of Caption and Its Theory of Sorts
|
|
Goethe Norma B.
|
The Question that Was Apparently "Already Being Asked by Euclid"
|
|
>> afternoon session
|
|
Sundholm Göran
|
Metalanguage
|
|
Tulenheimo Tero
|
Notions of Dependence in Logic
|
|
Sierszulska Anna
|
Meinongian Extensions of Predicates
|
|
Běhounek Libor, Cintula Petr
|
A Formal Delimitation of Fuzzy Logics in the Logical Landscape
|
|
Montecucco Luisa
|
What Logic Has to Do with Common Sense?
|
|
Thursday, 23 June
>> morning session
|
|
Detlefsen Michael
|
Purity of Proof
|
|
Soyhun Karanfil
|
Implications of the Selection Task Experiments for Deductive Logic
|
|
Aberdein Andrew
|
The Uses of Argument in Mathematics
|
|
Mancuso Domenico
|
Beyond Branching Time
|
|
Dumitru Mircea
|
Modals and Quantifiers
|
|
Friday, 24 June
>> morning session
|
|
Badici Emil
|
Simple versus Strengthened Liars
|
|
Patterson Douglas
|
Understanding the Liar
|
|
Shosky John
|
“On Denoting”
|
|
Lapointe Sandra
|
Bolzano on Grounding or Why Is Logic Synthetic
|
|
Howard Sobel
|
On the Storied Revenge of Strenghtened Liars
|
