- Information
-
LOGICA 2003
17 - 20 June, 2003Kravsko Chateau
The 17th in the series of annual international symposia devoted to logic, was held at Kravsko, 17 - 20 June 2003.
The invited speakers of the conference wereHartry Field, Graeme Forbes, Bob Hale, Wilfrid Hodges
Selected contributions to the conference were published in Libor Běhounek (ed): The Logica Yearbook 2003
The conference was sponsored by Bernard Family Brewery Humpolec 
- Program
-
L o g i c a 2 0 0 3 - Programme
Tuesday, June 17
>> afternoon sessionHartry Field
Reflections on Russell's Theory of Descriptions
Giuseppina Ronzitti
Rethinking Enumerability
M. Dumitru
Fictional Objects and Free Descriptions
Bjørn Jespersen
Aussonderung as Procedure
Susan Vineberg
Existence and Mathematical Practice
Emil Badici
Logical Truth: A Defense of the Standard Account
Richard Grandy
Proxy Functions and Ontology
Wednesday, June 18
>> morning sessionGraeme Forbes
Depiction Verbs: The "Languages of Art" Semantics
Joan Weiner
Semantic Descent
Marie Duží
Do We Have to Deal with Partiality?
John Kearns
An Illocutionary Analysis of Conditional Assertions
Kevin Krein
Solving the Specificity Problem: Possible Worlds and the Attribution of Beliefs to Non-Language-Using Animals
>> afternoon sessionJaroslav Peregrin
Logic as “Making It Explicit”
Victor Rodych
Are Platonism and Pragmatism Compatible?
Hanoch Ben-Yami
Logic and Natural Language
Janne Hiipakka
Analyticity vs. Logicality
Marian Zouhar
Unbound Anaphora and Anaphoric Meaning of “The”
Jean-Yves Beziau
On the Relations and Confusions between the Principles of Bivalence, Excluded Middle and Contradiction
Hartley Slater
Hilbert and Gödel vs. Turing and Penrose
Catherine Womack
Computer Procedures and Empiricism
Thursday, June 19
>> morning sessionBob Hale
The Necessity of Identity
Douglas Cannon
Consistency as Truth with Respect to a Situation
Douglas Patterson
Tarski on the Necessity Reading of Convention
James Woodbridge
Deflationism and the Generalization Problem
Tomis Kapitan
Indexical Inferences and Direct Reference
Sandra Lapointe
Why Frege Never Read Bolzano
Friday, June 20
>> morning sessionWilfrid Hodges
Formal Correctness of Definitions of Meaning
David Boutillier
Peacocke, Boghossian, and Hale on the Possibility of Basic Logical Knowledge
Roy Cook
God and Gödel's (Other) Proof
Tero Tulenheimo
With or without Tense Operators?
Catarina Dutilh Novaes
A Medieval Reformulation of the de Dicto / de Re Distinction
Howard Sobel
On Nearly Believable Liars
