The Theory of Computability Developed in Terms of Satisfaction

Notre Dame Journal of Formal Logic 40 (4):515-532 (1999)
  Copy   BIBTEX

Abstract

The notion of computability is developed through the study of the behavior of a set of languages interpreted over the natural numbers which contain their own fully defined satisfaction predicate and whose only other vocabulary is limited to "0", individual variables, the successor function, the identity relation and operators for disjunction, conjunction, and existential quantification.

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1012429716

Links

PhilArchive

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

Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
Measures of Deprivation and their Meaning in Terms of Social Satisfaction.Satya R. Chakravarty & Diganta Mukherjee - 1999 - Theory and Decision 47 (1):89-100.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Spinoza's theories of value.Andrew Youpa - 2010 - British Journal for the History of Philosophy 18 (2):209 – 229.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
Objective Content.Sven Rosenkranz - 2011 - Erkenntnis 74 (2):177-206.
Whole life satisfaction concepts of happiness.Fred Feldman - 2008 - Theoria 74 (3):219-238.
Subjective Well-Being and Desire Satisfaction.Donald W. Bruckner - 2010 - Philosophical Papers 39 (1):1-28.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
The Semantic Novelty of Theoretical Terms.John T. Roberts - unknown
Computability and Randomness.André Nies - 2008 - Oxford, England: Oxford University Press.
The relationship between ethics and job satisfaction: An empirical investigation. [REVIEW]Scott J. Vitell & D. L. Davis - 1990 - Journal of Business Ethics 9 (6):489 - 494.

Analytics

Added to PP
2010-08-24

Downloads
236 (#82,362)

6 months
58 (#73,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James Cain
Oklahoma State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references