Related papers: Framework Confirmation by Newtonian Abduction
We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.
This paper develops a process-based account of scientific explanation that reconceives grounding in terms of stabilisation. Grounding theories capture hierarchical dependence but lack criteria for when explanations remain adequate under…
As deep neural models in NLP become more complex, and as a consequence opaque, the necessity to interpret them becomes greater. A burgeoning interest has emerged in rationalizing explanations to provide short and coherent justifications for…
We consider compact objects in a classical and non-relativistic generalisation of Newtonian gravity, dubbed bootstrapped Newtonian theory, which includes higher-order derivative interaction terms of the kind generically present in the…
We motivate and construct a mathematical theory for the separation of space and time in general relativity. The formalism only requires a single observer and an optional choice of reference frame at each instant. As the splitting is done…
With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem. After applying our synthesis algorithm to cover basic…
The new information-theoretic Process Physics provides an explanation of space as a quantum foam system in which gravity is an inhomogeneous flow of the quantum foam into matter. The older Newtonian and General Relativity theories for…
In this paper we analyse logic of false belief in intuitionistic setting. This logic, studied in its classical version by Steinsvold, Fan, Gilbert and Venturi, describes the following situation: a formula F is not satisfied in a given…
This paper develops a Reasoning about Actions and Change framework integrated with Default Reasoning, suitable as a Knowledge Representation and Reasoning framework for Story Comprehension. The proposed framework, which is guided strongly…
We consider a minimal fractional deformation of Newtonian gravity characterized by a single parameter $\alpha$. In the limit $\alpha \to 1$, the theory reduces to standard Newtonian gravity. Previous works showed that the $\Lambda$CDM…
The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure…
Abductive reasoning seeks the likeliest possible explanation for partial observations. Although abduction is frequently employed in human daily reasoning, it is rarely explored in computer vision literature. In this paper, we propose a new…
An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum…
What is the nature of reality? How should be an answer to this question? At this level, we are so deep that all our concepts are obscure. Quantum theory (QT) is at this level. The quest for interpreting it fails because the clarity of our…
Argumentation theory is a powerful paradigm that formalizes a type of commonsense reasoning that aims to simulate the human ability to resolve a specific problem in an intelligent manner. A classical argumentation process takes into account…
We discuss epistemological and methodological aspects of the Bayesian approach in astrophysics and cosmology. The introduction to the Bayesian framework is given for a further discussion concerning the Bayesian inference in physics. The…
The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the…
In this article I deal with the notion of observation in the most fundamental sense and its representation by means of formal languages serving as expressional tools of formal-axiomatical theories. In doing so, I have taken this notion in…
Many papers have been published over the years that either conjecture or even (claim to) prove the universality of the form of Maxwell's equations. We present yet another derivation of Maxwell's equations and discuss the conclusions…
Action at distance in Newtonian physics is replaced by finite propagation speeds in classical post--Newtonian physics. As a result, the differential equations of motion in Newtonian physics are replaced by functional differential equations,…