|
L o g i c a 2 0 0 0 - Programme
|
|
Tuesday, June 27
>> afternoon session
|
|
E. N. Zalta
|
What Are Mathematical Objects? - A New Philosophy of Mathematics
|
|
C. Womack
|
Getting the Picture: Visual Proofs in Mathematics
|
|
M. Beaney
|
Conceptions of Logical Analysis
|
|
O. Rechter
|
Logicism and a Kantian Conception of Number
|
|
M. Cuonzo
|
Intuition and Paradox
|
|
J. Peregrin
|
Absolute and Relative Concepts in Logic
|
|
Wednesday, June 28
>> morning session
|
|
G. Sandu
|
Games and Epistemic Logic
|
|
K. Kijania-Placek
|
Can Majority Be Supervaluated?
|
|
V. Novák
|
Fuzzy Logic: Its Formalism and the Role for Linguistic
|
|
S. Lindström
|
Quine's Interpretation Problem for Modal Logic Revised
|
|
>> afternoon session
|
|
A. Kron
|
Comprehension, Extensionality and Contraction
|
|
T. Childers
|
Logic from Behaviour? Probably Not!
|
|
B. Jespersen
|
Attitudes de re
|
|
F. Huber
|
The Logic of Theory Assessment
|
|
M. Duží, P. Materna
|
Two Kinds of Propositional Attitudes
|
|
O. Majer
|
(In)Transparent Intensional Logic- Notes of an Outsider
|
|
P. Jirků
|
How to Understand Negatives
|
|
J. Palomäki
|
The Subject Matter of Mathematics
|
|
Thursday, June 29
>> morning session
|
|
D. Prawitz
|
Intuitionistic Truth and Tarski's Adequacy Condition
|
|
G. Sundholm
|
A Plea for Logical Atavism
|
|
W. Park
|
On Cocchiarella's Retroactive Theory of Reference
|
|
T. Placek
|
Common Causes in Branching Space-Time
|
|
Friday, June 30
>> morning session
|
|
S. Blackburn
|
Some Remarks about Minimalism
|
|
G. Usberti
|
Meaning and Empirical Justification
|
|
K. Segerberg
|
Deconstruction of Epistemic Logic
|
|
R. E. Grandy
|
What Is a Logical Constant? Drawind Distinction and Not Boundaries
|
