Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Unfoldment of self-reference in logic and in computer science

Löfgren, Lars LU (1979) 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
host publication
Proceedings from 5th Scandinavian Logic Symposium
editor
Finn V., Jensen ; Brian H., Mayoh and Karen K., Møller
pages
205 - 229
publisher
Aalborg Universitetsforlag
ISBN
87-7307-037-8
language
English
LU publication?
yes
id
9de54515-388f-49e4-874f-d78333868c04 (old id 2256613)
date added to LUP
2016-04-04 09:59:29
date last changed
2020-02-27 13:07:28
@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 Universitetsforlag}},
  title        = {{Unfoldment of self-reference in logic and in computer science}},
  url          = {{https://lup.lub.lu.se/search/files/5434301/2256687.pdf}},
  year         = {{1979}},
}