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