|
|
| CONFERENCE |
|
|
|
|
|
|
SELF
REFERENCE ROSKILDE
UNIVERSITY
OCTOBER 31 - NOVEMBER 2, 2002 |
|
|
|
|
|
|
|
|
|
PHILOG
is arranging a conference on
self-reference. The conference is directed at researchers as
well as graduate and PhD students in the fields of mathematical,
philosophical and computer science logic. For students and other
interested parties there will be held an introductory
seminar on self-reference the day before the conference. |
|
|
PICTURES
|
|
|
|
|
k |
|
Self-reference is used to denote any situation in which someone or something refers to itself. Self-reference is an important issue in philosophy, mathematics and computer science amongst other fields. In the philosophy of language the naive theory of truth has been challenged by the Liar Paradox. The Liar Paradox is the contradiction that emerges from trying to determine whether the sentence
"This sentence is false'"
is true or false. The sentence is obviously self-referential in that it claims itself to be false. Similarly, in mathematics the naive concept of set has been challenged by Russell's paradox. Russell's paradox is the contradiction that emerges from trying to determine whether the sentence
"Is the set of all sets that are not members of themselves an element of itself?"
is true or false. This sentence, as well, involves self-reference, though maybe not in an as obvious way as the Liar sentence. In computer science one of the important problems is the question of how to implement introspection (self-reflection) in artificial intelligence agents. Through introspection an agent is able to refer to himself. On the naive account of agent introspection this again leads to a paradox of self-reference, e.g. in the form of the Knower's Paradox:
"I know that what I say now is not true."
In the light of these paradoxes the naive theories have to be abandoned and several new, consistent theories have been introduced instead. In these theories the paradoxes are avoided either by blocking self-reference altogether or by finding consistent ways to treat self-reference. The blocking strategy will most often result in theories that are limited in important ways. Thus, to construct powerful, consistent theories one has to get to a deeper theoretical understanding of self-reference and of how to live consistently with it. It turns out that all three paradoxes above are structurally similar. This implies that coming to an understanding of the basic structure involved in self-reference and theoretically investigate how to tame it has promising perspectives for all three fields of research. Self-reference is not in any way restricted to occur only in the theories considered above. Actually, any theory that could be considered to be part of its own subject matter has some degree of self-referentiality. This applies to many theories of language, economy, sociology, psychology, etc. With respect to these theories an understanding of self-reference is essential to avoid performing unsound self-referential reasoning as in the paradoxes above.
The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.
All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational
issues.
Conference
Chair: Vincent F.
Hendricks (RUC), Stig
Andur PederseN (RUC) and
THOMAS BOLANDER (DTU) |
|
|
|
|
|
|
|
|
Click on 
to view abstacts
Professor andrea
cantini, Department of Philosophy, University of
Florence, Italy
|
TITLE |
Fixed Point Constructions: Some Applications to Undecidability and Consistency Problems for Self-Referential Systems |
Professor ANIL
GUPTA, Department of Philosophy, University of
Pittsburgh, USA
|
TITLE |
Truth, Definitions, and Rational Choice |
Professor MELVIN
FITTING, Department of Mathematics and Computer Science,
Lehman College, New York, USA
|
TITLE |
Bilattices
are nice things |
Professor Vann
MCGEE, Department of Philosophy, MIT, USA
|
TITLE |
In Praise of the Free Lunch |
Professor DONALD
PERLIS, Department of Computer Science, University
of Maryland, USA
|
TITLE |
Theory
and Application of Self-Reference: Logic and Beyond |
Professor Graham
priest, Department of Philosophy, University of
Melbourne and Department of Philosophy, University of St.
Andrews, Australia / Scotland
|
TITLE |
Paradoxes
of Denotation |
Professor RAYMOND M. SMULLYAN, Department of
Mathematics and Department of Philosophy, University of
Indiana, USA.
|
TITLE |
Self-Reference
in All Its Glory |
Professor Stephen
Yablo, Department of Linguistics
and Philosophy, MIT,
USA.
|
TITLE |
What's
Circularity Got To Do With It? |
|
|
|
