# Questions tagged [foundations-of-mathematics]

The tag has no usage guidance.

35 questions
Filter by
Sorted by
Tagged with
341 views

### Why is the definition of the real numbers not contradictory? [closed]

I understand that a set whose members can, in principle, be enumerated (by having a formula) can be considered as a well-defined set. Therefore, set of all even numbers, multiples of 3, and so on ...
85 views

### Inductive argument for Con(ZFC)

If you ask a mathematician, particularly a set theorist, about whether ZFC is consistent, they will answer that we can't know for sure because of Gödel's theorems. If you ask what evidence at all is ...
52 views

### Is Constructivism (philosophy of mathematics) against classical logic?

Is Constructivism (philosophy of mathematics) against classical logic? I might be wrong, but mathematics' main branch of logic is based on classical logic, and I was wondering if Constructivism was ...
72 views

### What is the current status of Foundation-of-Mathematics programmes?

I have been reading 'A Very Short Introduction to Mathematics' by Timothy Gowers and at one point he mentions that most of the mathematical proofs can be finally resolved to a set of logical ...
38 views

### Why did Voevodsky feel “objects of a category can never be equal”?

In a lecture that Voevodsky gave at the IAS on the different notions of equality. He specified how this came from people who worked with categories and their higher analogues. The main problem he ...
47 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 {...
46 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 ...
89 views

### Books on Philosophy of Mathematics [duplicate]

I want to buy a philosophy of mathematics book. I have three options in mind: Philosophy of Mathematics by Øystein Linnebo, Philosophy of Mathematics: Selected Readings by Paul Benacerraf, or The ...
98 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. ...
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 ...
335 views

### What separates mathematics from logic? Can “mathematical” operations be applied to logical systems?

In my 'Introduction to Logic' class, my professor told us that half of the class will be based on "mathematical" operations withing logic. After looking through the textbook, I realized that ...
162 views

### Is it possible to create an axiomatic system where 1+1 doesn't equal 2? What would be the consequences of such a system? [closed]

1+1=2 is a result (perhaps arguably more of a definition than a theorem?) of Peano Arithmetic, as well as other systems such as ZFC. I understand that 1+1 doesn't necessarily have to equal 2 if we ...
298 views

### What are the limitations of the language of mathematics?

I was told that mathematics cannot express qualitatively what the elements of a set are, such that you cannot say for example that the members of a set consists of white tigers. So mathematics cannot ...
55 views

### Epistemological Basis of Mathematics Debate

In the following link: https://plato.stanford.edu/entries/intuitionism/ in the last paragraph in Section 1, there is mention of the "lack of epistemological and ontological basis for Mathematics.&...
149 views

### Symbolic Processes & Thinking

My question is if there is some concrete symbolic logic at the foundation of human reasoning -something very rudimentary, but still formal? Question may be seen in context of the article given below. ...
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 ...
165 views

### Non-consistent mathematical axioms

It is known that axioms are the building blocks of mathematics. Differents sets of axioms different "games". What I don't understand is how do we know that we pick axioms that are consistent? . Does ...
334 views

### Which problems do you consider as most important open problems in philosophy of mathematics?

At the "intersection" of mathematics and philosophy, or, rather, within their "union", surely some problems are still open and no general consensus is attained when those problems are discussed. ...
87 views

### Is the attempt to separate between Philosophy and Mathematics may be considered as some kind of Philosophy?

When deal with fundamental notions, many mathematicians and some philosophers agree that Philosophy is not an appropriate framework for mathematical frameworks' developments. Is the attempt to ...
480 views

### Does a Cycle Based Alternative to Set Theory Exist?

My (limited) understanding of Mathematics in general and of Set Theory (being a widely accepted foundational system of Mathematics) in particular, is that the mathematical objects described therein ...
130 views

### In non-platonism, can undecidable statements have truth value?

Most sources I can find about Gödel's incompleteness theorems summarize the result as "there exist true arithmetical statements that have no proof." It seems coherent to say that there exist ...
109 views

### Did Descartes believe arguments for Euclid's parallel postulate were cogent?

If Descartes wanted to found philosophy on the certainty of mathematics, it seems he must have considered arguments for Euclid's parallel postulate cogent, or at least not doubted them. Gerolamo ...
222 views

### Is Mathematical Platonism a meaningful thing? [closed]

How can we be sure that asking If Mathematics is Platonic or If it is Our Own Construction is a meaningful thing to ask, and not just abuse of natural language? Can somebody provide a convincing ...
1k views

### Why do we need geometry for pure math?

Karl Weierstrass had a very interesting critique of Riemann's work. Supporters of Riemann, claim that a pure logician would never have been able to see the things that the "geometric imagination" of ...
246 views

### Why is it argued that an argument has one and only one conclusion?

Why can't an argument have more than just one conclusion? If we assume some premises and we assume them to be true, then by some inference rules we are sometimes able to deduce more than just one true ...
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 ...
143 views

### Consistency of Axioms

In Godel's Proof by Nagel & Newmann, they write : In Riemannian geometry, for example, Euclid's parallel postulate is replaced by the assumption that through a given point outside a line no ...
328 views

### Argument against Platonism

Platonic view of mathematics states that numbers have abstract reality. One way to test what this really means is to do a thought experiment of extinction of humanity. Also suppose after all evidence ...
217 views

### Can zero be defined without some definition of one? Can one be defined without some definition of zero?

I would prefer to ask this in the math community, but that crowd is hostile toward anything hinting of philosophy. It is my contention that a construction of the real number system which begins with ...
396 views

The Axiom of Choice (AoC) in set theory famously gives rise to controversial and counterintuitive theorems. (Examples: Banach-Tarski paradox and existence of non-measurable sets.) I'm aware of some ...
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,...
87 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 ...
272 views

This may be a duplicate question. What is the best way to get started with the philosophy of mathematics? Given that I know (from university) the basics that are discussed (Set theory, Russell's ...