Program
|
L o g i c a 2 0 0 4 - Programme
|
|
Tuesday, June 22
>> morning session
|
|
R. Mendelsohn
|
Reflections on Russell's Theory of Descriptions
|
|
K. Kijania-Placek
|
Descriptions Revisited
|
|
M. Dumitru
|
Fictional Objects and Free Descriptions
|
|
>> afternoon session
|
|
G. Sundholm
|
Truth-Value
|
|
J.-L. Hudry
|
True Axioms and Axiomatic Truth
|
|
P. Joray
|
Should Definitions Be Internal? The Problems of Eliminability and Creativity
|
|
P. Materna
|
Are Concepts A Priori?
|
|
J. Shosky
|
Logic and Empiricism
|
|
C. Dutilh-Novaes
|
In Search of the Intuitive Notion of Logical Consequence
|
|
Wednesday, June 23
>> morning session
|
|
G. Schurz
|
Logic, Matter of Form, and Closure under Substitution
|
|
I. Halonen
|
Five Decades of Modal Logic
|
|
J. Marcos
|
Every Normal Modal Logic Is Paranormal
|
|
C. Cheyne
|
Necessary Existence and A Priori
|
|
>> afternoon session
|
|
H. Sobel
|
Paradox, Heal Thyself!
|
|
G. Ronzitti
|
Vague Concepts
|
|
T. Tulenheimo
|
The Bounds of Nominalism
|
|
F. Huber
|
The Logic of Theory Assessment
|
|
F. LePage & C. Morgan
|
There Is No Revision-Based Probabilistic Semantics for Counterfactual Conditionals
|
|
C. Damböck
|
Flat Semantics
|
|
Thursday, June 24
>> morning session
|
|
J. M. Dunn
|
Quantum Logic/Quantum Computing = Classical Logic/Classical Computing?
|
|
T. Placek
|
Screening-off Conditions in Bell's Theorem – A Branching Space-Times Analysis
|
|
P. Kremer
|
Dynamical Topological Logic
|
|
A. Dvořák
|
Fuzzy Logic as a Methodology for the Treatment of Vagueness
|
|
F. Bjørdal
|
Bialethism, Sorts, ZFC and Countability
|
|
Friday, June 25
>> morning session
|
|
M. Fitting
|
A Logic of Knowledge with Explicit Reasons
|
|
T. Czarnecki
|
The Closure Principle and the Ignoring of Possibilities
|
|
M. Duží & B. Jespersen
|
Epistemic Closure and Explicit Knowledge
|
|
N. Davies
|
The Paradox of Knowability and Paraconsistent Logic
|
|
H. Slater
|
Logic and Arithmetic
|
|
J. Woodbridge
|
A Neglected Dimension of Semantic Pathology
|
