Results 211 to 220 of about 335 (254)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1975
This paper is the third in a series collectively entitled Formal systems of intuitionistic analysis. The first two are [4] and [5] in the bibliography; in them I attempted to codify Brouwer's mathematical practice. In the present paper, which is independent of [4] and [5], I shall do the same for Bishop's book [1].
openaire +2 more sources
This paper is the third in a series collectively entitled Formal systems of intuitionistic analysis. The first two are [4] and [5] in the bibliography; in them I attempted to codify Brouwer's mathematical practice. In the present paper, which is independent of [4] and [5], I shall do the same for Bishop's book [1].
openaire +2 more sources
The Construction of Chaos Theory
Foundations of Science, 2008The paper provides a logico-mathematical analysis of the concept of chaos from the point of view of a constructivist philosophy of physics. The author argues that deterministic chaos points to a philosophy which asserts that chaotic systems are no less measurable than other physical systems where predictable and non-predictable phenomena intermingle in
openaire +2 more sources
On Theory Construction and Verification
The Accounting Review, 1970Abstract The article presents an analysis of the nature of empirical theories for the purpose of providing a relief for some current and proposed theories of accounting. The process of theory construction is imperfectly understood.
openaire +1 more source
THE THEORY OF AFFINE CONSTRUCTIBLE SETS
Mathematical Logic Quarterly, 1983As it is well known, some problems of algebraic geometry can be translated into problems of pure algebra (by using the polynomials). But the polynomials also provide a primitive logic which describes structural features. The aim of this paper is to study constructible sets and the foundations of algebraic geometry from the point of view of the ...
openaire +2 more sources
Constructive theory for fuzzy systems
Fuzzy Sets and Systems, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wang, P.-Z. +3 more
openaire +2 more sources
Meaningfulness as a “Principle of Theory Construction”
Journal of Mathematical Psychology, 2016zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Falmagne, Jean-Claude +1 more
openaire +1 more source
2003
Abstract In investigating the reasons Shapiro and Resnik have proposed for being realists (with respect to the “parts” or “positions” in structures), I have con centrated thus far on the positive reasons these philosophers have given for believing in mathematical objects.
openaire +1 more source
Abstract In investigating the reasons Shapiro and Resnik have proposed for being realists (with respect to the “parts” or “positions” in structures), I have con centrated thus far on the positive reasons these philosophers have given for believing in mathematical objects.
openaire +1 more source
1998
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
THEORY-CONSTRUCTION AND THEORY-TESTING
The British Journal for the Philosophy of Science, 1958I wish to defend 'the dictionary view' of scientific theories against Miss Hesse's attack and to argue that she has insufficiently considered her assertion that phenomenal statements do not 'constitute a basic empirical language which is independent of all theory'.
openaire +1 more source
1977
It is sometimes said that the purpose of scientific cognition is not only to formulate and substantiate individual propositions or to verify hypotheses, and then to apply the verified propositions in order to explain and predict phenomena, but also to construct and verify theories.
openaire +1 more source
It is sometimes said that the purpose of scientific cognition is not only to formulate and substantiate individual propositions or to verify hypotheses, and then to apply the verified propositions in order to explain and predict phenomena, but also to construct and verify theories.
openaire +1 more source