Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [philosophy-of-mathematics]

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.

1
vote
4answers
372 views

Philosophy - Does Einstein's Block Universe theory prove Nietzsche's Eternal Return theory is true?

If the Past, Present, and Future all exist in exactly the same way, then every single moment would be a ‘Now’ moment for me. it would also mean that me being dead in the future is equally real in the ...
0
votes
3answers
316 views

Mathematics and disagreements

I was just pondering as a mathematics major, is there a particular instance where a mathematician's work doe NOT require agreements among peer scholars of mathematics to determine the quality of the ...
2
votes
2answers
248 views

can we reason about logic?

People who study mathematical logic make arguments about logic itself. So it seems that people take for granted an "intuitive logic" (otherwise, how would they form arguments?). So the observation is ...
3
votes
1answer
100 views

Looking for references for some remark of Quine's

I'm looking for a comment I think I remember Quine having made. He's talking about our understanding of proofs. I think he says something along the following lines... If you understand many different ...
2
votes
1answer
207 views

Are mathematical results influenced by the way we reason?

Intuitions of mathematicians, and the mathematics they develop, are ostensibly influenced by whether they primarily rely on visual_spatial and/or verbal_symbolic reasoning skills. Is it fair to say ...
1
vote
1answer
58 views

Could generalization of scientific theories be possible by just adding an ad hoc hypothesis?

In a seventeenth century world the Newtonian model did mostly very well to describe how gravity works in the universe and did well with most empirical evidence of that time. Of course now we know that ...
1
vote
1answer
120 views

Is mathematics something real or just an abstraction we created?

Is mathematics something real like something so correlated in our universe which would be different in other theoretically universes or is it just an abstract universe-independent layer/framework we ...
1
vote
1answer
66 views

Correct Way of Handling A Corollary of A Corollary?

I have a conclusion S that is moderately interesting. While the corollary of S is more interesting, the corollary of the corollary of S is extremely interesting. Should I just label them corollary 1 ...
0
votes
1answer
163 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 ...
-1
votes
1answer
121 views

Philosophy - Is Nietzsche's Eternal Return theory true?

Is Nietzsche's Eternal Return theory true? I am extremely worried that it is because of the very likely fact that Einstein's Block Universe theory is true, and what renders Einstein's Block Universe ...
3
votes
0answers
69 views

What questions or areas in the foundations of mathematics remain active research fields?

By foundations of mathematics I am referring to the mathematical, logical, and philosophical foundations of the subject. I'm interested in seeing which of these have active research going on within ...
2
votes
0answers
61 views

What was Wittgenstein's argument against Cantor's transfinite numbers and where did he make his objection?

G. E. M. Anscombe had this to say about propositions in Wittgenstein's Tractatus: (page 137) It seems likely enough, indeed, that Wittgenstein objected to Cantor's result even at this date, and ...
2
votes
0answers
201 views

Does Reflective Set Theory “RfST” fulfill the requirements of founding Category Theory and Mathematics?

On mathoverflow I've posed the question in the title in connection to Muller's 2001 criteria for a founding theory of mathematics, which largely raised in connection to Category theory [see here]. ...
2
votes
0answers
54 views

Mathematical structuralism and Saussure

Is mathematical structuralism related with structuralism that arose from Saussurean linguistics?
2
votes
0answers
185 views

journal for mathematics of philosophy/mythology

I have been working on research involving the use of mathematical formulas and reasoning in order to philosophical concepts, specifically concepts concerning mythology, the Jungian model of the psyche,...
2
votes
0answers
103 views

why is ontological parsimony important for philosophy of mathematics

It appears that one important motivation for being a (Quinean) nominalist about mathematical objects is ontological parsimony: mathematical objects are ontologically extravagant; so if we can rewrite ...
2
votes
0answers
185 views

Criticisim of Hilbertian Formalism

The two main criticisms against the philosophical position on mathematics which is called game formalism (see here for details) are, The first is the question of applicability: if mathematics is ...
2
votes
0answers
95 views

Why didn't Newton pursue philosophy?

Why didn't he pursue philosophy in the same way Leibniz did, many "natural philosophers" during that time often delved into many fields since it wasn't really required to specialize yet, but it seems ...
2
votes
0answers
103 views

Philosophy and Reading: Towards Math, and Physics

I was reading a book about learning philosophy for beginners called Introduction to Philosophy Classical and Contemporary Readings Edited by John Perry, Michael Bratman, John Martin Fischer It ...
2
votes
0answers
214 views

Some questions on Graham Priest's remarks about Russell's solution of paradoxes

In his book Beyond the Limits of Thought while talking about Russell's solution of paradoxes Graham Priest writes (text made bold, footnotes and references omitted), Russell solved these problems ...
2
votes
0answers
54 views

Do (any) philosophers worry if there can be a priori truths about a changing world?

Do (any) philosophers question how there can be a priori truths about a changing world -- has anyone worried whether this is possible, or if those different modes, of timeless truth and contingent ...
2
votes
0answers
149 views

What are the differences (if any) between classical and modern predicativity

I am researching Predicativity and I've encounterd defenition for classical predicativity and for modern predicativity but I can't understand the differences between them. Thanks
2
votes
0answers
47 views

Nominalist views and contradictions

Given a flavor of nominalism which denies that simple sentences and existential quantifiers referring to mathematical objects are literally true (pretense theory, fictionalism, figuralism, etc.), ...
2
votes
0answers
110 views

How can rational choice theory be explanatory?

In his work, John Harsanyi appears to have taken issue with classical social theorists' account of social phenomena. For example, he criticized Max Weber's typological approach on the grounds, "If we ...
2
votes
0answers
129 views

Should I take Math GRE Subject Tests for applying to Philosophy Phd to study Philosophy of Math?

If I was interested in studying philosophy of another field (e.g. philosophy of math or physics), would philosophy phd programs I apply to be interested to see my scores on the gre subject test for ...
2
votes
0answers
92 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, ...
2
votes
0answers
278 views

Are numbers universal in Set Theory and nominalist in Category Theory?

The number 3, when considered as a universal, abstracts the property of 3'ness from all groups of 3 objects. One supposes that this universal, by conceptual neccessity of what is understood by the ...
1
vote
0answers
29 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 ...
1
vote
0answers
50 views

Does Tegmark himself include paraconsistent mathematical structures in his mathematical multiverse hypothesis?

Tegmark postulates in his hypothesis that all possible mathematical structures would exist. But does he include also possible mathematical structures described by other types of logic like ...
1
vote
0answers
67 views

Is there any correlation between numbers and sensory experience?

Numbers exist, that is clear to me, but is there any logical correlation between numbers and sensory experience? This question came while I was reading Einstein's comments on Bertrand Russell's theory ...
1
vote
0answers
70 views

Is the couplet about mathematics and poetry about logocentricism and deconstructionism?

I find this couplet really interesting: Mathematics is the art of giving the same name to different things Poetry is the art of giving different names to the same thing The first one is made ...
1
vote
0answers
107 views

William James on mathematical conceptions not related to perceptions?

I'm studying William James. I'm mainly interested in his Radical Empiricism and Pluralism. I really like his views but I need some clarification on what is his position on conceptions that are not ...
1
vote
0answers
92 views

Is it 'natural' to hold that big sets and proper classes exist?

Various set\class theories present different kinds of ontology, broadly speaking there is the dichotomy of classes versus Ur-elements, and the former can be further subdivided into sets and proper ...
1
vote
0answers
239 views

Does string theory raise new philosophical questions about existence of physical objects?

If you look at the configuration space of a robot arm, it is a manifold. Does this manifold exist in the same sense as strings in string theory? Or do the strings in string theory exist in another ...
1
vote
0answers
94 views

Rethinking arithmetic operations after J.L. Austin's performativity?

According to Kant, arithmetic statements such as "7+5=12" are synthetic a priori. Could we alternatively think of this not as a statement, but as an arithmetic-logic operation to be executed (like a ...
1
vote
0answers
125 views

Hilbert's formalism and game formalism differences and similarities

I've recently encounterd differences and Hilbert's formalism and game formalism. They seem pretty much simillar in my eyes. I wish to understand, In what way Hilbert’s formalism resembles game ...
1
vote
0answers
47 views

What consequences (types of) exist in the real world (categorical monoidal logic)?

Springer book http://www.springer.com/la/book/9783642128202 "New Structures for Physics" (which contains lot of metaphysics despite the physics in its title) elaborates categorical and monoidal ...
1
vote
0answers
44 views

Question about Imre Hermann's book Parallelismes

Apparently, in his book Parallelismes, Imre Hermann discusses Hilbert, Brouwer en Russell from the viewpoint of psycho-pathology. Does anyone know whether the entire book is about mathematicians/...
1
vote
0answers
135 views

Universal quantifier in Russell's Theory of descriptions - Who is the UNIVERSE?

In Russell's 1905 paper "on denoting" in which he introduces his theory of descriptions, he uses his method of analyzing propositions that include denoting phrases (descriptive ones), by rewriting ...
1
vote
0answers
66 views

Are Axiomatic systems derived from Law?

Axiomatic systems arose in Greece & India in Geometry and Language, the exemplary texts being Euclids Elements and Paninis Ashtadyayi (grammar). Now, when one considers the idea of Law: Law ...
0
votes
0answers
184 views

How much this theory fulfills of criteria for a foundational theory of mathematics?

[EDIT] The criteria for a founding theory of mathematics, especially if it uses large cardinal axioms that I want to refer to are those of Harvey Friedman's 2000 criteria given in pages 5-6 of the ...
0
votes
0answers
52 views

Is psychologism still a thing? What are common rejections of psychologism?

Recently, I learnt that there exist people who go so far as to claim that "mathematics is a branch of psychology". I thought that psychologism was long outdated, in connection with mathematics at ...
0
votes
0answers
127 views

Can other “sciences” be applications of mathematics?

Can other "sciences" (it's in quotation marks, because the definition for a science is not necessarily exact) be applications of mathematics? If other sciences, be it philosophy or economics or ...
0
votes
0answers
217 views

What is going on with Russell's “beauty cold and austere” of mathematics?

I admit that this is an idle question, but I wondered why it is that mathematics appears "beautiful cold and austere" to those who are particularly gifted at it. The full quite from wikipedia on this ...
0
votes
0answers
47 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 “...