Add to ORKGAbstract. Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized by opposing philosophical views of Science. This paper shows that, by giving formal proofs a more promi-nent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this ap-proach allows, by means of Proof Theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
The way in which philosophers have thought about the scientific method and the nature of good scient...
International audienceThis paper investigates an anti-realist theory of meaning suitable for both lo...
Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized ...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
We present a mathematical model formalizing the practice of science in nature. The model, which we n...
In this article, we reflect on the use of formal methods in the philosophy of science. These are tak...
Though the truths of logic and pure mathematics are objective and independent of any contingent fact...
<p>Proof theory began in the 1920’s as a part of Hilbert’s program. That program aimed to secure the...
This paper is a brief formulation of a radical thesis. We start with the formalist doctrine that mat...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
This book addresses the logical aspects of the foundations of scientific theories. Even though the r...
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature...
The concept of proof is briefly illuminated from mathematical, philosophical and historical perspect...
Abstract. In this paper, we report our first experiments in using learning-assisted automated reason...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
The way in which philosophers have thought about the scientific method and the nature of good scient...
International audienceThis paper investigates an anti-realist theory of meaning suitable for both lo...
Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized ...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
We present a mathematical model formalizing the practice of science in nature. The model, which we n...
In this article, we reflect on the use of formal methods in the philosophy of science. These are tak...
Though the truths of logic and pure mathematics are objective and independent of any contingent fact...
<p>Proof theory began in the 1920’s as a part of Hilbert’s program. That program aimed to secure the...
This paper is a brief formulation of a radical thesis. We start with the formalist doctrine that mat...
20 ABSTRACT (Continued) Mechanical procedures for the manipulation of formal proofs have played a ce...
This book addresses the logical aspects of the foundations of scientific theories. Even though the r...
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature...
The concept of proof is briefly illuminated from mathematical, philosophical and historical perspect...
Abstract. In this paper, we report our first experiments in using learning-assisted automated reason...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
The way in which philosophers have thought about the scientific method and the nature of good scient...
International audienceThis paper investigates an anti-realist theory of meaning suitable for both lo...