- Information
-
LOGICA 2000
27-30 June, 2000Liblice Chateau
The 14th in the series of annual international symposia devoted to logic, was held at Liblice, 27-30 June 2000.
The invited speakers of the conference wereE. N. Zalta, D. Prawitz, S. Blackburn, G. Sandu
Selected contributions to the conference were published in Ondrej Majer (ed): The Logica Yearbook 2000, Filosofia Praha, 2001
The conference was sponsored by Bernard Family Brewery Humpolec 
- Program
-
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 sessionG. 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 sessionA. 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 sessionD. 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 sessionS. 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
