# Questions tagged [foundations-of-mathematics]

The tag has no usage guidance.

10 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
97 views

### Is defining the concept of Probability still an open problem in the Philosophy of Science?

There exist several interpretations of the concept of Probability: https://en.wikipedia.org/wiki/Probability_interpretations Being the assumption of Repeatability an important difference between them. ...
143 views

### Relation of Mathematical Propositions to Natural Language

Treating Natural Language as a language game, what role does it play in our understanding of mathematics? Does natural language provide meaning to mathematics? Does a proof of a conjecture, say FLT,...
46 views

### How would a monistic approach account for these categories of probabilities?

Donald Gillies, in his book "Philosophical Theories of Probability," draws a distinction between monistic views and dualistic views of probability, the latter of which, at least in his ...
45 views

### Is there some non-classical logic where the van der Waerden theorem does not apply?

The van der Waerden theorem is a theorem in the branch of mathematics called Ramsey theory which states that for any given positive integers r and k, there is some number N such that if the integers {...
82 views

### Are the foundations of mathematics “doomed” to be set-theoretic in nature?

Let's say we want to come up with a foundational theory for all of mathematics and let's say that it is embedded in first-order logic. Note that the machinery of first-order logic is described with ...
85 views

### The nature of Nominalist Formalism

In this entry in the stanford encyclopedia of philosophy, it is stated that the theory of nominalist formalism deals with the metatheory problem of formalism as follows: Commendably, Goodman and ...
43 views

### What is the connection between Lawvere and Cantor?

Lawvere wrote in a couple papers that Cantors word “menge” which is usually understood as “set” is actually a cohesive type. And the “kardinale” is the abstraction from this by getting rid of the ...
121 views

### Is there an infinity of axioms in mathematics?

As I was trying to find a list of mathematical axioms used in modern branches of mathematics, I wondered if there's any meaning to the question of "how many mathematical axioms are there ?", and then ...