Calculating self-referential statements: Guaspari sentences of the first kind

Journal of Symbolic Logic 46 (2):329-344 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273625

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The liar and related paradoxes:Fuzzy truth value assignment for collections of self-referential sentences.Kostis Vezerides & Dr Athanasios Kehagias - 2003
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Sentences implying their own provability.David Guaspari - 1983 - Journal of Symbolic Logic 48 (3):777-789.
The incoherence of the cartesian cogito.Leon Pompa - 1984 - Inquiry: An Interdisciplinary Journal of Philosophy 27 (1-4):3 – 21.
On the alleged extensionality of "causal explanatory contexts".Cindy Stern - 1978 - Philosophy of Science 45 (4):614-625.
The paradox of the first person singular pronoun.Avrum Stroll - 1963 - Inquiry: An Interdisciplinary Journal of Philosophy 6 (1-4):217 – 233.
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
Assertoric Semantics and the Computational Power of Self-Referential Truth.Stefan Wintein - 2012 - Journal of Philosophical Logic 41 (2):317-345.
Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
On human needs and moral appraisals.Kai Nielsen - 1963 - Inquiry: An Interdisciplinary Journal of Philosophy 6 (1-4):170 – 183.

Analytics

Added to PP
2009-01-28

Downloads
27 (#557,528)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Representability of recursively enumerable sets in formal theories.J. C. Shepherdson - 1961 - Archive for Mathematical Logic 5 (3-4):119-127.

Add more references