Related papers: An " Instrumentalism to Realism " Hypothesis
An inductive logic can be formulated in which the elements are not propositions or probability distributions, but information systems. The logic is complete for information systems with binary hypotheses, i.e., it applies to all such…
While philosophy of science is the study of problems of knowledge concerning science in general, there also exists - or should exist - a '' philosophy in science'' directed at finding out in what ways our actual scientific knowledge may…
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machine Theorem, which assures us that any classical algorithm…
We investigate the reasons of having confidence in mathematical theorems. The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to this confidence. Opposing…
This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transform our previous infinite-sized self-verifying formalisms into…
In this short position paper we briefly review the development history of automated inductive theorem proving and computer-assisted mathematical induction. We think that the current low expectations on progress in this field result from a…
The finite sample properties of estimators are usually understood or approximated using asymptotic theories. Two main asymptotic constructions have been used to characterize the presence of many instruments. The first assumes that the…
A generalization of classical mechanics is obtained from a complex parametrization of the phase space. The formalism supports complex Hamiltonian functions describing non-conservative classical mechanical systems. A quantization scheme that…
We attempt to provide a comprehensive model of evolution of science across millennia taking into account the contributions of other intellectual traditions, cultural value system and increasing in sophistication of humans in their study of…
An ultimate universal theory -- a complete theory that accounts, via few and simple first principles, for all the phenomena already observed and that will ever be observed -- has been, and still is, the aspiration of most physicists and…
In the future-included real action theory whose path runs over not only past but also future, we demonstrate a theorem, which states that the normalized matrix element of a Hermitian operator $\hat{\cal O}$ defined in terms of the future…
It is tried to axiomatize the transparent theory of music.
We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one…
All sciences need and many arts apply mathematics whereas mathematics seems to be independent of all of them, but only based upon logic. This conservative concept, however, needs to be revised because, contrary to Platonic idealism…
We lay the groundwork for a formal framework that studies scientific theories and can serve as a unified foundation for the different theories within physics. We define a scientific theory as a set of verifiable statements, assertions that…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Statistics has moved beyond the frequentist-Bayesian controversies of the past. Where does this leave our ability to interpret results? I suggest that a philosophy compatible with statistical practice, labeled here statistical pragmatism,…
The tremendous advances of research into artificial intelligence as well as neuroscience made over the last two to three decades have given further support to a renewed interest into philosophical discussions of the mind-body problem.…
The present status of Unified Theories is summarized with special emphasis on their possible experimental tests. Outline: i) Unification of couplings; ii) Where can a positive signal come from? iii) HERA anomaly and Unification; iv) Recent…
Process science is a highly interdisciplinary field of research. Despite numerous proposals, process science lacks an adequate understanding of the core concepts of the field, including notions such as process, event, and system. A more…