Advanced

Unfoldment of self-reference in logic and in computer science

Löfgren, Lars LU (1979) In Proceedings from 5th Scandinavian Logic Symposium p.205-229
Abstract
The paradoxes induced by unrestricted self-reference have been of interest since antiquity. In this paper the author approaches the interpretation of self-reference in natural languages from the perspective of linguist - using as insight the treatments of self-reference by Russel, Tarski, Kleene and Scott.

The subject of self-reference is approached historically. The works of Russell are first discussed and then compared with the more general concepts introduced by Tarski. These are then discussed within the framework of Kleene's recursion (fixed point) theorem. Finally, the pioneering work of Scott is discussed and comparisons made with earlier work. A final section extends the notions discussed earlier into a... (More)
The paradoxes induced by unrestricted self-reference have been of interest since antiquity. In this paper the author approaches the interpretation of self-reference in natural languages from the perspective of linguist - using as insight the treatments of self-reference by Russel, Tarski, Kleene and Scott.

The subject of self-reference is approached historically. The works of Russell are first discussed and then compared with the more general concepts introduced by Tarski. These are then discussed within the framework of Kleene's recursion (fixed point) theorem. Finally, the pioneering work of Scott is discussed and comparisons made with earlier work. A final section extends the notions discussed earlier into a linguistic/philosophical framework. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
in
Proceedings from 5th Scandinavian Logic Symposium
editor
Finn V., Jensen; Brian H., Mayoh; Karen K., Møller; ; and
pages
205 - 229
publisher
Aalborg University Press
ISBN
87-7307-037-8
language
English
LU publication?
yes
id
9de54515-388f-49e4-874f-d78333868c04 (old id 2256613)
date added to LUP
2011-12-21 14:32:12
date last changed
2017-05-02 19:10:34
@inproceedings{9de54515-388f-49e4-874f-d78333868c04,
  abstract     = {The paradoxes induced by unrestricted self-reference have been of interest since antiquity. In this paper the author approaches the interpretation of self-reference in natural languages from the perspective of linguist - using as insight the treatments of self-reference by Russel, Tarski, Kleene and Scott.<br/><br>
The subject of self-reference is approached historically. The works of Russell are first discussed and then compared with the more general concepts introduced by Tarski. These are then discussed within the framework of Kleene's recursion (fixed point) theorem. Finally, the pioneering work of Scott is discussed and comparisons made with earlier work. A final section extends the notions discussed earlier into a linguistic/philosophical framework.},
  author       = {Löfgren, Lars},
  booktitle    = {Proceedings from 5th Scandinavian Logic Symposium},
  editor       = {Finn V., Jensen and Brian H., Mayoh and Karen K., Møller},
  isbn         = {87-7307-037-8},
  language     = {eng},
  pages        = {205--229},
  publisher    = {Aalborg University Press},
  title        = {Unfoldment of self-reference in logic and in computer science},
  year         = {1979},
}