相关论文: Why we must heed Wittgenstein's "notorious paragra…

As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that ``everyone is aware of the holistic character of…

It is a widespread belief that results like G\"odel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are…

We explore Leibniz's understanding of the differential calculus, and argue that his methods were more coherent than is generally recognized. The foundations of the historical infinitesimal calculus of Newton and Leibniz have been a target…

We argue that robustness of explanations---i.e., that similar inputs should give rise to similar explanations---is a key desideratum for interpretability. We introduce metrics to quantify robustness and demonstrate that current methods do…

Crull (2014) claims that by invoking decoherence it is possible (i) to obviate many ``fine grained'' issues often conflated under the common designation of measurement problem, and (ii) to make substantial progresses in the fields of…

In this paper of "The Epistemology of Contemporary Physics" series we investigate the epistemological significance and sensibility (and hence interpretability and interpretation) of classical mechanics in its Newtonian and non-Newtonian…

The literature dealing with G\"{o}del's legacy is largely preoccupied with challenging his philosophical views, regarding them as outdated. We believe that such an approach prevents us from seeing G\"{o}del's views in the right light and…

I present the proof of Goedel's First Incompleteness theorem in an intuitive manner, while covering all technically challenging steps. I present generalizations of Goedel's fixed point lemma to two-sentence and multi-sentence versions,…

Mathematics cannot anymore be assimilated to a linguistic game, where formal proofs are strongly differentiated with conjectural thinking, without building any category of knowledge to understand the passage (Wittgenstein's gist). Nowadays,…

This is a systematic review of the concept of indistinguishability in both classical and quantum mechanics, with particular attention to Gibbs' paradox. Section 1 is on the Gibbs paradox; section 2 is a defense of the concept of classical…

I show--contrary to common beliefs tolerated by the 'bosses'--that any interpretation of ZF that admits Aristotle's particularisation is not sound; that the standard interpretation of PA is not sound; that PA is consistent but…

This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for classical logic. The central question addressed herein is: 'What…

Geometric theories based on classical logic are conservative over their intuitionistic counterparts for geometric implications. The latter result (sometimes referred to as Barr's theorem) is squarely a consequence of Gentzen's Hauptsatz.…

We discuss some outstanding open questions regarding the validity and uniqueness of the standard second order Newton-Einstein classical gravitational theory. On the observational side we discuss the degree to which the realm of validity of…

In his ontological argument G\"{o}del says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order…

No, but the paper argues that Bohr understood his correspondence principle, or at least an aspect of that principle expressed by the notion of rational generalization, as grounded in Hankel's principle of permanence, adapted to new…

We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evidential state as a fixed subset of the state space, our…

We still lack any consensus about what one is actually talking about as one uses quantum mechanics. There is a gap between the abstract terms in which the theory is couched and the phenomena the theory enables each of us to account for so…

We introduce some early considerations of physical and mathematical impossibility as preludes to the Goedel incompleteness theorems. We consider some informal aspects of these theorems and their underlying assumptions and discuss some the…

Most discussions of G\"odel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating G\"odel's proofs to…