Questions tagged [constructivism]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
116 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-...
-1
votes
4answers
335 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 ...
3
votes
1answer
107 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 ...
1
vote
1answer
42 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 ...
2
votes
2answers
112 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 ...
1
vote
1answer
185 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 ...
2
votes
1answer
115 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 ...
12
votes
3answers
731 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 ...
7
votes
1answer
671 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 ...
6
votes
2answers
216 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 ...
2
votes
2answers
206 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 ...