Unfoldment of self-reference in logic and in computer science
(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:
https://lup.lub.lu.se/record/2256613
- author
- Löfgren, Lars LU
- organization
- publishing date
- 1979
- 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}}, }