Results 21 to 30 of about 6,946 (217)
Models, fictions and explanations: A study in historical epistemology of economics [PDF]
This paper examines the standard criticism of the neoclassical economic theory that takes mathematical formalism and the practice of modelling as the most problematic aspect of orthodox economics. The aim of the paper is to explore the epistemic
Žitko Mislav
doaj +1 more source
Foundation of Mathematics between Theory and Practice
In this article I propose to look at set theory not only as a foundation of mathematics in a traditional sense, but as a foundation for mathematical practice.
Giorgio Venturi
doaj +1 more source
La physique dans la recherche en mathématiques constructives
I focus on a practice of mathematical research which consists in reformulating constructively physical theories. More precisely, I discuss three features of this practice. First, I show that it is stimulated by philosophical views and discuss how physics
Vincent Ardourel
doaj +1 more source
This expository paper relates the Hole Argument in general relativity (GR) to the well-known theorem of Choquet-Bruhat and Geroch (1969) on the existence and uniqueness of globally hyperbolic solutions to the Einstein field equations.
Klaas Landsman
doaj +1 more source
We review Ferreirós and Lassalle Casanave's recently publishedbook "El árbol de los números". The book is a result of the Brazilian-Spanish conference "Sobre la elucidación del concepto de número: cognición, lógica y práctica matemática" hosted in ...
Bruno Mendonça
doaj +1 more source
How to annotate a corpus for research on frames in the language of mathematics
This paper outlines a plan for designing a corpus-linguistic project from which an analysis of frames specific to mathematical proof texts shall be derived. Previous work has already developed instances of frames for mathematical texts.
Bernhard Fisseni +2 more
doaj +1 more source
Fontenelle : jouer et philosopher
As Leibniz’s interlocutor, as an assiduous (and quietly polemic) reader of Pascal, and as a distant follower of Epicurus, Fontenelle had every reason not to ignore the moral and philosophical importance of gambling.
Christophe Martin
doaj +1 more source
Leibniz entre logicisme, formalisme et intuitionnisme ?
Leibniz has often been presented as one of the precursors of logicism or formalism but more rarely a precursor of intuitionism. He was a staunch defender of the Tertium non datur, reasoning in forma and blind thought, so at first glance he appears far ...
David Rabouin
doaj +1 more source
Lange on Mathematical Explanation, Grounding, and the Divergence Thesis
Mark Lange has defended the view that mathematical explanation and grounding explanation diverge. In this paper, I argue that at least one type of grounding relation is immune to his criticisms. After fixing a minimal separatist theory of ground, I show
Mohammad Maarefi
doaj +1 more source
Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rigorous when there is no gap in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor
Yacin Hamami
doaj +1 more source

