:From Kant to Hilbert: A Source Book in the Foundations of Mathematics

@article{Kosinski2003FromKT,
  title={:From Kant to Hilbert: A Source Book in the Foundations of Mathematics},
  author={Antoni A. Kosinski},
  journal={Isis},
  year={2003}
}
The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes
As a matter of fact, it is by no means impossible to build up a consistent " non-Archimedean " theory of magnitudes in which the axiom of Eudoxus (usually named after Archimedes) does not hold.
On the methodology of informal rigour: set theory, semantics, and intuitionism
This paper provides a critical overview of Georg Kreisel's method of informal rigour, most famously presented in his 1967 paper `Informal rigour and completeness proofs'. After first considering
CDD: 510.1 HILBERT BETWEEN THE FORMAL AND THE INFOR- MAL SIDE OF MATHEMATICS
In this article we analyze the key concept of Hilbert’s axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert’s foundation of geometry
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic
Hilbert’s choice operators τ and e, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker
IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS
  • P. Mancosu
  • Computer Science, Mathematics
    The Review of Symbolic Logic
  • 2015
TLDR
There are countably-infinite many abstraction principles that are ‘good’, in the sense that they share the same virtues of HP and from which the authors can derive the axioms of second-order arithmetic.
Senior Seminar in Philosophical Foundations of Mathematics
At Hamilton College, the small liberal arts college at which I teach, every concentration must culminate in a “capstone experience”, undertaken by students in their senior year. In the mathematics
How to be a structuralist all the way down
This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the “algebraic” approach to
Philosophy of Mathematics
The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape.
Blanqui Lecture - in the Sign of the Axiomatic Method: Mathematics as the Role Model for Neoclassical Economics
Born out of the conscious effort to imitate mechanical physics, neoclassical economics ended up in the mid 20th century embracing a purely mathematical notion of rigor as embodied by the axiomatic
Mathematical Discourse vs. Mathematical Intuition
One of the most uninformative statements one could possibly make about mathematics is that the axiomatic method expresses the real nature of mathematics, i.e., that mathematics consists in the
...
1
2
3
4
5
...