Fit, finite, and universal axiomatization of theories

Philosophy of Science 46 (2):295-301 (1979)
  Copy   BIBTEX

Abstract

In a previous paper it was proposed that theories of empirical phenomena should satisfy conditions of finite and irrevocable testability. Roughly speaking, a theory is finitely testable if, for every set of observations that falsifies the theory, there exists a finite subset of observations that falsifies it. A theory is irrevocably testable if, for any finite set of observations that falsifies the theory, any superset of observations that includes that set also falsifies it—a theory falsified by observations cannot be resuscitated by adding new observations to the original set.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.
A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Finitely based theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):221-225.
The σ1-definable universal finite sequence.Joel David Hamkins & Kameryn J. Williams - 2022 - Journal of Symbolic Logic 87 (2):783-801.
Plausibility in Economics.Bart Nooteboom - 1986 - Economics and Philosophy 2 (2):197.
Finiteness Axioms on Fragments of Intuitionistic Set Theory.Riccardo Camerlo - 2007 - Notre Dame Journal of Formal Logic 48 (4):473-488.

Analytics

Added to PP
2009-01-28

Downloads
58 (#368,337)

6 months
16 (#185,084)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fitness requirements for scientific theories.Herbert A. Simon - 1983 - British Journal for the Philosophy of Science 34 (4):355-365.

Add more citations

References found in this work

The Logic of Scientific Discovery.Karl Popper - 1959 - Studia Logica 9:262-265.
Foundational aspects of theories of measurement.Dana Scott & Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):113-128.
Ramsey eliminability and the testability of scientific theories.Herbert A. Simon & Guy J. Groen - 1973 - British Journal for the Philosophy of Science 24 (4):367-380.

Add more references