Skip to main content

Questions tagged [constructivism]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
26 views

Are quantum epistemology and intuitionistic constructivism compatible?

A somewhat recent article coming out of the University of Toronto and the Institute for Theoretical Physics in Zurich claims "no": Constructivist epistemology posits that all truths are ...
Kristian Berry's user avatar
1 vote
0 answers
37 views

How does Achille Varzi’s metaphysics avoid collapsing into Mark Heller’s Eliminativism

Achille Varzi is apparently a conventionalist about all kinds, natural and artifactual while being a mereological universalist who has a pretty permissive ontology. What keeps his position from ...
Craigory 's user avatar
4 votes
2 answers
119 views

Are Bourbaki and Deligne Mathematical Realists?

The following are two closely related questions. What was Bourbaki's position on the ontological status of mathematical objects? Were they some kind of Realist/Platonist or were they Formalist? ...
Luqman Waheeduddin's user avatar
3 votes
2 answers
757 views

Is perspectivism a subtype of relativism?

This question is motivated by a comment discussion from my previous question. From this article that was linked in a comment: “Perspectivism, or scientific relativism, is never relative to a subject: ...
user avatar
5 votes
3 answers
214 views

Why would constructivists object to the common definition of a function?

In this blog post, we find the following passage: This connects with something Thomas Forster said, when he rightly highlighted the distinctively modern conception of a function as any old pairing of ...
Frank's user avatar
  • 2,454
4 votes
2 answers
232 views

Is the axiom of dependent choice constructive?

Page xvii of Schechter's Handbook of Analysis and its Foundation says that the Principle of Dependent Choice(DC) is constructive. Is DC considered constructive? Different debaters may have different ...
Hayatsu's user avatar
  • 141
5 votes
8 answers
1k views

What condition(s) must be met to claim that something exists?

What is the fundamental difference between something that exists and something that doesn't exist? What exactly are we claiming when we say that something "exists"? Is there a distinctive ...
WokeBloke's user avatar
  • 107
15 votes
7 answers
9k views

Why do universities not teach constructive mathematics to CS undergraduates?

I had a conversation with a user on the Internet. And it did indeed wake my interest regarding something that I had also been asking myself long ago. Why do so many universities still teach beginners ...
Tetragrammaton's user avatar
1 vote
0 answers
158 views

Do constructivists (or intuitionists) reject real numbers, except the computable ones?

SEP has a bunch of pages on what (various flavors) of intuitionists or constructivists seem to accept as a model theory or as a set theory (they actually seem to diverge on the latter, in the sense of ...
got trolled too much this week's user avatar
5 votes
1 answer
128 views

Actual and potential truth for neo-verificationists

Neo-verificationists such as Martin-Löf and Prawitz make a distinction between actual and potential truth of a proposition, roughly defined as follows: ... that a proposition A is actually true means ...
carina's user avatar
  • 59
0 votes
1 answer
65 views

What are the main sources of the social constructivist view in the philosophy of science?

What are the main sources of the social constructivist view in the philosophy of science? I am looking for the main books that introduce or develop this view of science.
Sasan's user avatar
  • 511
1 vote
0 answers
146 views

Things can exist even if it is impossible to provide concrete examples of it?

In mathematics, there are many things that can be rigorously proven to exist, but at the same time rigorously proven that no concrete examples of it can be given. This is a crazy idea for non-...
Ma Joad's user avatar
  • 111
-2 votes
4 answers
613 views

Have I contradicted the "law" non-contradiction?

In the 2nd half of the 20th century the American mathematician Haskell Curry and logician William Alvin Howard discovered an analogy between logical proofs and working computer programs. This is known ...
Type Theorist's user avatar
3 votes
2 answers
212 views

Does expressing an emotion change it?

Does expressing an emotion change it? A feeling is a sensation that has been checked against previous experiences and labelled. It is personal and biographical because every person has a ...
user avatar
1 vote
1 answer
52 views

Social Constructivism and Logical Necessity

I am after some kind of reading list on the topic of logical necessity and social constructivism. Any recommendations? I'd like to be in a position to argue cogently that social constructivism can ...
user3752935's user avatar
2 votes
2 answers
231 views

To what extent can reality be described as 'culturally constructed'?

I'm having this argument with my gf about the relevance of cultural constructivism to the real world. She argues that everything is 'culturally constructed' aka nothing exists outside the boundaries ...
Sifu's user avatar
  • 21
2 votes
1 answer
552 views

How Relativistic is Social Constructivism?

Social Constructivism is a theory that cuts across a number of social science and humanities disciplines. Its fundamental claim is that certain aspects of social reality are not mind-independent. In ...
Jay's user avatar
  • 21
2 votes
1 answer
161 views

Reference Request for an introduction to constructive mathematics and intuitionistic logic

I have become deeply interested in intuitionist and constructivist logics after reading the well phrased answer of joberkmark here: Nondisprovable Claims And some of the works of Brouwer. I am ...
user avatar
10 votes
3 answers
801 views

How come intuitive thinking is related to constructing a proof?

I am researching Constructivism and Intuitionism. I can't understand why Intuitionism and Intuitionistic Logic are named as they are. Intuitionistic logic requires constructing a proof of every ...
NotSure's user avatar
  • 259
11 votes
1 answer
983 views

What does mathematical constructivism gain us philosophically?

Constructivists restrict the kind of entities they are willing to let into the mathematical domain; thus, e.g., Leopold Kronecker did not accept transcendental numbers as well as other entities (see ...
L.M. Student's user avatar
  • 2,731
6 votes
2 answers
442 views

For a mathematical realist, is there a distinction between real mathematical objects and constructed mathematical objects?

Mathematical realists believe that mathematical entities exit independently of human minds. Mathematical objects have an objective independent existence, and they are discovered by mathematicians, not ...
Alexander S King's user avatar
2 votes
2 answers
276 views

Do limitations on computability and computational resources have any consequences for epistemology?

Do Turing undecidability and computational complexity considerations (NP-hardness, etc...) have consequences for epistemology? If X function or propostion is undecidable or requires an intractable ...
Alexander S King's user avatar