Finite Axiomatizability and Scientific Discovery

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:409 - 412 (1988)
  Copy   BIBTEX

Abstract

This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,323

External links

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

Through your library

Similar books and articles

Rationality and Scientific Discovery.Stephen Toulmin - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:387 - 406.
Explaining Scientific Discovery.Noretta Koertge - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:14 - 28.
The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics.Solomon Feferman - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327.
Computational Models in the Philosophy of Science.Paul Thagard - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:329 - 335.
Discovery, Rationality, and Progress in Science: A Perspective in the Philosophy of Science.Dudley Shapere - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:407 - 419.
Herbert Simon's Computational Models of Scientific Discovery.Stephen Downes - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:97-108.
Getting to the Truth through Conceptual Revolutions.Kevin T. Kelly & Clark Glymour - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:89 - 96.
Scott sentences for certain groups.Julia F. Knight & Vikram Saraph - 2018 - Archive for Mathematical Logic 57 (3-4):453-472.

Analytics

Added to PP
2011-05-29

Downloads
32 (#724,856)

6 months
3 (#1,391,129)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Scott Weinstein
University of Pennsylvania

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references