Skip to main content

Questions tagged [constructivism]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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