Questions tagged [foundations-of-mathematics]

Filter by
Sorted by
Tagged with
0
votes
1answer
127 views

Are there systems of set theory structured to allow various ideas to be formulated, instead of structured to deduce foregone conclusions? [closed]

When the conclusions are prejudged to be true, and premises are invented to fulfill the criterion of reaching those foregone conclusions, the concepts may be distorted, and there may be a risk of ...
-1
votes
0answers
45 views

In classical model theory, how does one represent the one-place predicate R(x) where for all x, R(x) iff (x∉x)? [closed]

If we try to represent the predicate by means of the set of values that satisfy it, then of course we run into Russell's paradox. Now, in ZF, we could simply use the whole domain of the theory, but ...
4
votes
3answers
128 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 ...
0
votes
1answer
278 views

Can all formal systems be generalized as specified relations between finite strings? [closed]

https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics) In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be ...
3
votes
4answers
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 ...
1
vote
0answers
71 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 ...
1
vote
4answers
171 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 ...
1
vote
3answers
106 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 ...
6
votes
1answer
2k views

What are the main issues on which the schools of Intuitionism, Formalism, and Logicism disagree?

What is the difference between Intuitionism, Formalism, and Logicism? Namely - on which issues do they disagree? And what is the relation of those schools of thought to Platonism, Nominalism, and ...
1
vote
2answers
206 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 ...
6
votes
1answer
330 views

What's so bad about giving up the Axiom of Choice?

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 ...
3
votes
0answers
133 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,...
1
vote
0answers
70 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 ...
0
votes
1answer
184 views

Where to start with the philosophy of mathematics?

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 ...
3
votes
3answers
174 views

Do picture proofs of the Pythagorean theorem make it empirical?

As I understand it, the Pythagorean Theorem, which defines the metric for Euclidean space, is said to be strictly mathematical in the sense that it is derived from a set of purely theoretical axioms (...