David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
odel-L¨ ob computability logic (GL). In order to make things relatively self-contained, I sketch the essential ideas of GL, and discuss the signiﬁcance of its ﬁxpoint theorem. Then I give the algorithm embodied in the program in a little more detail. It should be emphasized that nothing new is presented here — all the theory and methodology are due to others. The main interest is, in a sense, psychological. The approach taken here has been declared in the literature, more than once, to be of theoretical interest only, being too unwieldly in practice. Experimentation shows this is not so provided formulas are not too complicated. A copy of the program can be obtained by ftp from venus.gc.cuny.edu. It is in the subdirectory “/pub/ﬁtting,” under the name “glﬁxpt.pro.” Log on as “anonymous” and use your full e-mail address as password. If there are diﬃculties with ftp, send e-mail to the author at mlﬂc@cunyvm.cuny.edu. The Prolog code is standard, and should run under any implementation, though minor modiﬁcations may be necessary for some systems. These modiﬁcations are described in the last section, and also in the program itself.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
Melvin Fitting & Roman Kuznets (2015). Modal Interpolation Via Nested Sequents. Annals of Pure and Applied Logic 166 (3):274-305.
Similar books and articles
Alistair Isaac (2009). Prospects for Naturalizing Color. Philosophy of Science 76 (5):902-914.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
J. P. Moulin (1991). Les Automates Automodificateurs. Acta Biotheoretica 39 (3-4):225-233.
John L. Pollock (2008). What Am I? Philosophy and Phenomenological Research 76 (2):237-309.
Martin Roth (2005). Program Execution in Connectionist Networks. Mind and Language 20 (4):448-467.
Graham Oddie (1986). The Poverty of the Popperian Program for Truthlikeness. Philosophy of Science 53 (2):163-178.
Donald L. McCabe, Janet M. Dukerich & Jane E. Dutton (1994). The Effects of Professional Education on Values and the Resolution of Ethical Dilemmas: Business School Vs. Law School Students. [REVIEW] Journal of Business Ethics 13 (9):693 - 700.
Robert French (1996). The Inverted Turing Test: How a Mindless Program Could Pass It. Psycoloquy 7 (39).
Robert May (2005). Frege's Other Program. Notre Dame Journal of Formal Logic 46 (1):1-17.
Added to index2010-12-22
Total downloads5 ( #377,318 of 1,726,237 )
Recent downloads (6 months)4 ( #183,615 of 1,726,237 )
How can I increase my downloads?