Philosophy of mathematics asks questions about mathematical theories and practices. It can include questions about the nature or reality of numbers, the ground and limits of formal systems and the nature of the different mathematical disciplines.

learn more… | top users | synonyms (1)

2
votes
0answers
35 views

Mathematical Inventions [on hold]

I have been shown some interesting results recently, and i want to see whether it is possible for me to change my point of view regarding the ontology of mathematics ( which now sees mathematical ...
0
votes
0answers
20 views

Intro to Philosophy: Symbolization [on hold]

How to solve? Use the sentential connectives to create a symbolic sentence. P: Patsy prepares pizza Q: Quincy quaffs quinine S: Skyler savors scones W: William wangles watermelons If Skyler ...
0
votes
0answers
14 views

Philosophy Symbolization [on hold]

How to solve? Use the sentential connectives to create a symbolic sentence. P: Alice is cross Q: Alice frowns R: Alice is mad S: The Hatter is cross T: The Hatter frowns U: The Hatter is mad ...
-1
votes
0answers
20 views

Philosophy 250 Symbolization [closed]

Philosophy symbolization. How to solve? Using the sentential connectives to create a symbolic sentences. P: Archie authorizes action Q: Archie angers authorities T: Judi judges jumping R: Carol ...
0
votes
5answers
86 views

Can there be ugliness in the world of a Mathematical God? [closed]

Let us assume that Mathematics is infinite, represents the multiverse and beyond, and is the deterministic cause of everything we know to exist (the Big Bang and our universe, the formation of the ...
5
votes
2answers
160 views

How does GEB support AI?

Typically, Godel's Incompleteness theorems have been used to argue against the possibility that the human mind is essentially equivalent to a formal system. However, in Daniel Dennett's book "Darwin's ...
1
vote
1answer
39 views

Let A be a finite non-empty set and S a finite symbol set. Show that there are only finitely many S-structures with A as the domain [closed]

Let A be a finite non-empty set and S a finite symbol set. Show that there are only finitely many S-structures with A as the domain Let k be the number of elements in A, for all constant symbols c ...
0
votes
3answers
71 views

How can teleological explanations not fit with modern science?

Source: Prof Michael Sandel, Justice: ..., Episode 09: "ARGUING AFFIRMATIVE ACTION 52:21: We grew up and and we’re talked out of this way thinking about the world. 52:30: But here's a question: ...
1
vote
3answers
62 views

Can a point of space be identified?

Consider a single particle in empty space; by what argument can we say that it always occupies the same position or place? Space itself has no identifying mark or label being everywhere the same. ...
2
votes
1answer
106 views

How can you translate the mathematical statement 5=5 into a second order symbolic logic statement?

Hi I'm trying to describe the statement 5=5 using symbolic logic. I initially attempted to describe this into English as: There is such a thing x and such a thing y, such that x is equivalent to ...
8
votes
3answers
247 views

What are the historic stances on the epistemological status of mathematics?

I know that Plato and Kant thought it was synthetic a priori (although Plato would not have phrased it in that way). What other major thinkers have weighed in on this issue, on both sides of both the ...
7
votes
6answers
179 views

What did Poincaré mean when he said “Mathematicians do not deal in objects, but in relations among objects”?

The mathematician Henri Poincaré had said, "Mathematicians do not deal in objects, but in relations among objects; they are free to replace some object by others so long as the relations remain ...
1
vote
1answer
78 views

Is this enough to conclude that G is false?

Let us assume a logical system with only 3 axioms (laws of thought): Axiom 1: A statement that is true will remain true till a change is made in the system. Axiom 2: A statement may not be true and ...
2
votes
3answers
153 views

Is graph theory a good model for Seven Bridges of Koenigsberg?

I've asked this question on MathSE, but apparently people over there don't like philosophy. Seven Bridges of Koenigsberg is the problem whose solution (by Euler) gave a rise to graph theory and ...
2
votes
3answers
177 views

What is the minimum number of axioms required for a system of axioms?

What is the minimum number of axioms you need, apart from definitions and usage of the notation, such that you have a system that does not contradict itself? I would just think that the answer is ...
3
votes
5answers
133 views

Is there a poset based/category theoretical definition of God?

As a current atheist, who was a former theist, I feel that God is not a logically incoherent concept. However, many definitions of God, especially those that involve omnipotence, omniscience etc. are ...
4
votes
5answers
263 views

The belief that everything is expressible in mathematical terms?

For want of a better word, mathematicism will be defined as the belief that everything is expressible in mathematical terms. I'm not sure if this is a position that anyone affirms, as my thoughts on ...
3
votes
3answers
147 views

What makes generalization of a mathematical notion correct?

As far as I know, the notion of open set has been formulated after the notion of open interval in the real line. Was the goal of generalization to allow the definition to work in higher dimensions? ...
5
votes
9answers
547 views

Should I trust mathematics?

First of all I'm not an expert in this field, please correct me if I'm lacking relevant knowledge here. A few hundreds years ago mathematics was largery based on intuition. People realised we need to ...
0
votes
0answers
20 views

On a question of likeness as elaborated by Parmenides

(This question is a tribute to Grothendieck died recently, and whose obituary is here he was amongst the first to theorise on higher morphisms - likenesses). Socrates in a dialectical debate with ...
0
votes
0answers
31 views

considering the line and circle as not just a contrary, but as a extremes on a continuum

Question: In Greek philosophy, it is generally taken that the line and the circle form a contrary. For example in Aristoteles Physics generally takes that motion can be formed out of this contrary, ...
-4
votes
2answers
74 views

Is knowledge a form of energy? [closed]

To better describe my question, do the following experiment: Calculate x=12+26+67+71 Now you might have spent some time in getting the answer. You burnt sugar, you used up energy to get the ...
2
votes
2answers
97 views

Mathematical Platonism vs Platonic Platonism

According to the summary of Platonism (ie the Forms) by Aristotles Metaphysics: Besides sensible things, and the Forms, there are mathematical objects; of the first (the sensible) they share in ...
0
votes
0answers
31 views

Is the inconsistent (or paraconsistent) line a possibility?

According to the SEP: Another place to find applications of inconsistency in analysis is topology, where one readily observes the practice of cutting and pasting spaces being described as ...
3
votes
4answers
483 views

Is mathematics as pure as originally thought?

It is said that theorems in mathematics cannot be proved or disproved by experimentation. I assert that if a statement is decidable, then it can be proved or disproved in a finite amount of time by a ...
4
votes
3answers
260 views

What is the number 2?

My friend told me that he took a course in the philosophy of mathematics and said that they defined the number 2 to be "the set of all sets with two elements." I may be remembering wrong, but this is ...
2
votes
6answers
249 views

If a cone is divided in a plane parallel to its base, are the surfaces produced by the cut the same or different in size?

Democritus of Abdera, the ancient philosopher of Greece, reasoned over two thousand years ago: If a cut were made through a cone parallel to its base, how should we conceive of the two opposing ...
-3
votes
4answers
276 views

Can we add Pi to Pi [closed]

Can we say we can add Pi plus Pi? (from http://deepturtel.blogspot.in/2015/01/pi-plus-pi.html): Are the rules of addition in Maths defined for such a process? Or do we always add only approximations ...
3
votes
6answers
513 views

Mathematical versus philosophical reasoning (and the mathematics of philosophical arguments)?

What is the difference between mathematical reasoning and philosophical reasoning and why isn't philosophy just considered to be a branch of mathematics? Is any study not a branch of mathematics ...
1
vote
3answers
90 views

How historically grounded is the standard narrative of the Irrationals in Antiquity?

Its commonly said that the Pythagoreans were unbalanced by the discovery of the irrationals; since their philosophy was predicated on ratios; ratios of two finite numbers. Still, it is natural to ...
3
votes
3answers
393 views

Input/output in 'mathematical' programming languages [closed]

More than once I have observed this: A person describes a functional programming language (as opposed to a programming language that makes heavy use of interspersed states), that person will say it is ...
-2
votes
1answer
79 views

Creativity in mathematics [duplicate]

Hello can anyone especially e.g. an actual mathematician, from the horses mouth, explain what role this has in mathematics, both through the whole course of learning skills and mathematics, and ...
6
votes
2answers
325 views

Is mathematical platonism compatible with Platonism?

When calling themselves "Platonists" mathematicians usually mean that they feel they discover ideal facts that eternally exist in some way. My question is if this sentiment is consistent with Plato's ...
2
votes
4answers
235 views

What does Deleuze mean by “the world can be regarded as a 'remainder'”?

Deleuze in Difference & Repetition writes in the chapter named as the Assymetrical synthesis of the sensible: It is therefore true that God makes the world by calculating, but his calculations ...
5
votes
4answers
391 views

What is the intersection of Physics & Philosophy?

(I've already asked this question on Meta, but as one answer (by Joseph Weissman) pointed out this is already a philosophical question; so I thought it worth asking here). I've asked a number of ...
2
votes
3answers
53 views

Dual of identity relation?

Does anyone have any intuitions about what the dual of the identity relation might be? I.e. is there a 'natural' concept expressed by a statement such as 'it is not the case that a is not identical to ...
2
votes
4answers
147 views

Countable additivity

Graham Oppy writes in »Philosophical Perspectives on Infinity«: Without countable additivity, it seems – for example – that we must lose the result that an arithmetic sum of an infinite series is ...
3
votes
2answers
178 views

Why does Aristotle suggest One is not a number?

Parmenides showed Nothing is not the same as Zero; the second is a number, and the first is not, in more than one sense; it also differs from the Buddhist notion of Sunyatta, which is nothing in a ...
2
votes
3answers
250 views

What is one divided by zero?

The Pythagoreans were (probably apocryphally) disturbed by the discovery of irrational magnitudes; its useful pointed out here, that irrational means, in one sense, and not now generally alluded, ...
0
votes
3answers
124 views

Mathematical reductionism: senseless

Does it make any sense to ask if logic can be reduced to math? Truth be told I have no idea what the inverse logical reduction could look like. Naturally I'm familiar with a kind of reductionism, in ...
-1
votes
2answers
72 views

Should the easiness with which math is applied to the world be a surprise?

I study physics at an undergraduate level. Since early on, I've was a person who thought math was 'logical' and as such, its applications to the world aren't really a surprise since math is so ...
4
votes
3answers
250 views

What purpose do mathematics and philosophy serve epistemologically (compared to sciences)?

Kant did not consider them sciences, but meta-disciplines that study a priori conditions of doing science. Indeed, both mathematics and philosophy permeate all empirical sciences to varying degrees, ...
2
votes
3answers
134 views

Are there any naturally occuring non-embedded manifolds?

Mathematicians are always insisting that manifolds need not be embedded, and by Occams Razor, are best thought without the surrounding ambient space. For example, the surface of a table is a 2d ...
5
votes
3answers
192 views

Do mathematician always agree at the end?

I know it's a off beat question but I thought philosophical answer would be better. I've been trying to study some different sciences in my life, ranging from biology to mathematics, and if I try to ...
4
votes
1answer
329 views

Do Mobius Strips have a front and back?

Mobius strips, are generally held to have only one side - if one marks a place on the strip and on what looks like the other side then a pencil can draw a line between these two points without ever ...
5
votes
7answers
487 views

When is Mathematics not about counting?

A comment on an answer I posted asserted that "Mathematics is NOT always about counting". My thoughts were that if there's a unit (inches / milligrams / light years etc), then someting is being ...
3
votes
2answers
165 views

Where does Quine say logic should have no ontological presuppositions?

I'm sure I recall Quine saying in various places that one distinction between logic and set theory is that logic should have no ontological presuppositions (or, at most should presuppose some thing ...
5
votes
2answers
185 views

What is mathematics? [duplicate]

Is mathematical practice: an act of discovery of eternal objects and ideas independent of human existence; an intuition-free game in which symbols are manipulated according to a fixed sets of rules; ...
-4
votes
5answers
251 views

What proves the law of non-contradiction true?

How has man determined that "The Law Of Non-contradiction" is true? The first time I heard it, if I understand it correctly, I proved it false. Do I understand correctly, that a matter for ...
-1
votes
1answer
46 views

Jorge Luis Borges suggests that using a lottery is an “intensification of chance.” Does this make sense?

By intensification of chance, Borges adds that a lottery brings "a periodic infusion of chaos into the cosmos." To me, the idea that chance can be "intensified" seems strange. However, I'm also not ...