Journal of Symbolic Logic

A Universal Inductive Inference Machine

Daniel N. Osherson, Michael Stob, and Scott Weinstein

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Lowenheim-Skolem condition.

Article information

Source
J. Symbolic Logic, Volume 56, Issue 2 (1991), 661-672.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183743665

Mathematical Reviews number (MathSciNet)
MR1133093

Zentralblatt MATH identifier
0763.03023

JSTOR
links.jstor.org

Citation

Osherson, Daniel N.; Stob, Michael; Weinstein, Scott. A Universal Inductive Inference Machine. J. Symbolic Logic 56 (1991), no. 2, 661--672. https://projecteuclid.org/euclid.jsl/1183743665


Export citation