Related papers: An " Instrumentalism to Realism " Hypothesis
Scientific realism is, currently, one of the most well-entrenched background assumptions of some relevant versions of anti-exceptionalism about logic. We argue that this is a sort of sociological contingency rather than a metaphilosophical…
The evolution of a measured system and an experimental apparatus is presented in an unified form. Conditions under which the state of such a total system forms, evaluates and declines from a superposition of states are defined. The problem…
We introduce the notion of an approximation system as a generalization of Taylor approximation, and we give some first examples. Next we develop the general theory, including error bounds and a sufficient criterion for convergence. More…
Article purpose is the analysis of a question of possibility of technologization of philosophical knowledge. We understand the organization of cognitive activity which is guided by the set of methods guaranteed bringing to successful (i.e.…
The investigation of the Hamiltonian dynamical counterpart of phase transitions, combined with the Riemannian geometrization of Hamiltonian dynamics, has led to a preliminary formulation of a differential-topological theory of phase…
Science consists on conceiving hypotheses, confronting them with empirical evidence, and keeping only hypotheses which have not yet been falsified. Under deductive reasoning they are conceived in view of a theory and confronted with…
We present a formulation of quantum circuits where the focus is set on whether a given circuit (made of unitary operators and projective measurements with definite outcomes) does reflect an actually realizable physical experiment. In order…
Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical…
In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In…
Rationality has been an intriguing topic for several decades. Even the scope of definition of rationality across different subjects varies. Several theories (e.g., game theory) initially evolved on the basis that agents (e.g., humans) are…
This philosophical paper explores the relation between modern scientific simulations and the future of the universe. We argue that a simulation of an entire universe will result from future scientific activity. This requires us to tackle…
Following the processing of individual topics of elementary school mathematics as content of empirical theories the question is adressed wether the associated conception of mathematics finds itself under established concepts, and how it can…
The paper presents partial-realization theory and realization algorithms for linear switched systems. Linear switched systems are a particular subclass of hybrid systems. We formulate a notion of a partial realization and we present…
The aim of this work is to show how Einstein's quantum hypothesis leads immediately and necessarily to a departure from classical mechanics. First we note that the classical description and predictions are in terms of idealized measurements…
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for…
We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience…
Recent literature highlights the advantages of implementing social rules via dynamic game forms. We characterize when truth-telling remains a dominant strategy in gradual mechanisms implementing strategy-proof social rules, where agents…
It is shown that as knowledge is structured, it comes in modules. This provides different " layers of reality ". Each layer of reality has its own distinctive inductive logic which may differ from that of the others. All this is woven…
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of…
In today' s era of scientific and technological advancements, the importance of talent resources is increasingly highlighted. This article will attempt to summarize the academic trajectories and successes of numerous scientists from both…