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.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

A universal inductive inference machine.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1991 - Journal of Symbolic Logic 56 (2):661-672.
Suppression of scientific research: Bahramdipity and nulltiple scientific discoveries.Toby J. Sommer - 2001 - Science and Engineering Ethics 7 (1):77-104.
The Positivists’ Approach to Scientific Discovery.Joke Meheus - 1999 - Philosophica 64 (2).
Pragmatyczne i apragmatyczne aspekty odkrycia naukowego.Elżbieta Pietruska-Madej - 1995 - Filozofia Nauki 4.
Scientific discovery on positive data via belief revision.Eric Martin & Daniel Osherson - 2000 - Journal of Philosophical Logic 29 (5):483-506.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Model-Based Reasoning in Scientific Discovery.L. Magnani, Nancy Nersessian & Paul Thagard (eds.) - 1999 - Kluwer/Plenum.
The process of discovery.Andrew Lugg - 1985 - Philosophy of Science 52 (2):207-220.
Does scientific discovery have a logic?Herbert A. Simon - 1973 - Philosophy of Science 40 (4):471-480.
Conventionalism, scientific discovery and the sociology of knowledge.Angelo M. Petroni - 1993 - International Studies in the Philosophy of Science 7 (3):225-240.
Finite axiomatizability for equational theories of computable groupoids.Peter Perkins - 1989 - Journal of Symbolic Logic 54 (3):1018-1022.
Machine discovery.Herbert Simon - 1995 - Foundations of Science 1 (2):171-200.
Horizon for Scientific Practice: Scientific Discovery and Progress.James A. Marcum - 2010 - International Studies in the Philosophy of Science 24 (2):187-215.
A.I., Scientific discovery and realism.Mario Alai - 2004 - Minds and Machines 14 (1):21-42.

Analytics

Added to PP
2011-05-29

Downloads
28 (#566,590)

6 months
4 (#775,606)

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