Related papers: Naturalistic intuitionism for physics
The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems.
The traditional metaphysical debate between static and dynamic views in the philosophy of time is examined in light of considerations concerning the nature of time in physical theory. Adapting the formalism of Rovelli (1995, 2004), I set…
The classical belief revision framework, as proposed by Alchourron, Gardenfors, and Makinson, involves the revision of a theory based on eight postulates. In this paper, we focus on the exploration of a revision theory grounded in quantum…
This paper asks what Brouwer might have replied to Dummett's interpretation of intuitionism. Complementing earlier literature, it treats Dummett's rejection of the ontological approach; the charge of psychologism and solipsism; indefinite…
Some thoughts are presented on the inter-relation between beauty and truth in science in general and theoretical physics in particular. Some conjectural procedures that can be used to create new ideas, concepts and results are illustrated…
We critically analyze the rationale of arguments from finetuning and naturalness in particle physics and cosmology. Some other numerological coincidences are also discussed.
We propose a new point of view for interpreting Newton's and Einstein's theories of gravity. By taking inspiration from Continuum Mechanics and its treatment of anisotropies, we formulate new gravitational actions for modified theories of…
The question of what ontological message (if any) is encoded in the formalism of contemporary physics is, to say the least, controversial. The reasons for this state of affairs are psychological and neurobiological. The processes by which…
Mathematics and its relation to the physical universe have been the topic of speculation since the days of Pythagoras. Several different views of the nature of mathematics have been considered: Realism - mathematics exists and is…
Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fact that natural deduction rules present a simple…
The intuitive reasoning of physicists in conditions of uncertainty is closer to the Bayesian approach than to the frequentist ideas taught at University and which are considered the reference framework for handling statistical problems. The…
The formalism of classical particle dynamics is reinvestigated according to the basic requirement of causal consistency, and a new equation of particle dynamics, which is more general and more in line with classical mechanics experiments…
In physics, there is the prevailing intuition that we are part of a unique external world, and that the goal of physics is to understand and describe this world. This assumption of the fundamentality of objective reality is often seen as a…
This article is an attempt for a new vision of the basics of Physics, and of Relativity, in particular. A new generalized principle of inertia is proposed, as an universal principle, based on universality of the conservation laws, not…
Starting from the guiding principles of spacetime locality and operationalism, a general framework for a probabilistic description of nature is proposed. Crucially, no notion of time or metric is assumed, neither any specific physical…
In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended…
The positivistic assumptions of determinism and objectivism in the realm of Newtonian mechanics are questioned in this paper. While objectivism is only challenged through proposing the mildest form of subjectivism, determinism is…
The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincar\'e, Kronecker and others. The flowering was the work of one man, Luitzen Egbertus Jan…
An analysis is performed of the role played by physical intuition in expressing the electromagnetic field in terms of its sources in the time-dependent case. The conclusion is that it is dangerous to dissociate physical intuition from the…
Earlier, we had presented \cite{heuristic} heuristic arguments to show that a {\em natural unification} of the ideas of the quantum theory and those underlying the general principle of relativity is achievable by way of the measure theory…