Related papers: Exploring Felix Klein's contested modernism
An out of the box intellectual path exploring the foundations of quantum mechanics is discussed in some detail, in order to clarify why a possibly different way to look at the relevant fundamental questions can be identified and can support…
From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued {\L}ukasiewicz logic and for first-order rational Pavelka logic with each other and with H\'ajek's Hilbert-type calculi for…
Mathematicians and philosophers have appealed to categoricity arguments in a surprisingly varied range of contexts. One familiar example calls on second-order categoricity in an attempt to show that the Continuum Hypothesis, despite its…
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…
This is an English translation of Felix Klein's classical paper "\"Uber die Aufl\"osung der allgemeinen Gleichungen f\"unften und sechsten Grades (Auszug aus einem Schreiben an Herrn K. Hensel)" from 1905 and is put in modern notation. The…
Counterfactuals have become an important area of interdisciplinary interest, especially in logic, philosophy of language, epistemology, metaphysics, psychology, decision theory, and even artificial intelligence. In this study, we propose a…
We respond briefly to the recent comment by Jay Lawrence, Marcin Markiewicz and Marek \'{Z}ukowski [arXiv:2210.09025 and Found. Phys. \textbf{54}, 45 (2024)] regarding our work defending RQM against their previous assessment. We refute the…
Aristotelian assertoric syllogistic, which is currently of growing interest, has attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced…
Recently, very interesting results have been obtained concerning the Fourier spectra of power permutations over a finite field. In this note we survey the recent ideas of Aubry, Feng, Katz, and Langevin, and we pose new open problems…
Essay Review of "Einsteins Gegner. Die \"offentliche Kontroverse um die Relativit\"atstheorie in den 1920er Jahren" by Milena Wazeck.
In this work we address the contemporary debate about quantum individuality expressed as an opposition between those who, like D\'ecio Krause, defend the reference of the theory to "non-individual particles", and those like Dennis Dieks,…
We examine the classical/intuitionist divide, and how it reflects on modern theories of infinitesimals. When leading intuitionist Heyting announced that "the creation of non-standard analysis is a standard model of important mathematical…
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on the way Curien-Herbelin's syntactic kit expressing the…
We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that…
Carl Gustav Hempel (1905-1997) formulated the dilemma that carries his name in an attempt to determine the boundaries of physics. Where does physics go over into metaphysics? The purpose of this contribution is to indicate how a recently…
The early development of conflicting theories about the microscopic mechanism of High Temperature Superconductivity is described. The biographical roots of this diversity are stressed, as well as its subjective/objective roots. This study…
In this brief essay we succinctly comment on the historical origin of Hilbert geometry. In particular, we give a summary of the letter in which David Hilbert informs his friend and colleague Felix Klein about his discovery of this geometry.…
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental theorem". Starting from Miller's expansion-tree-proofs, a…
I reassess the gedankenexperiment of Greenberger, Horne, Shimony and Zeilinger after twenty-five years, finding their influential claim to discovery of an inconsistency inherent in high dimensional formulations of local realism to arise…
Kant and Hegel are among the philosophers who are guiding the way in which we reason these days. It is thus of interest to see how physical theories have been developed along the line of Kant and Hegel. Einstein became interested in how…