Talk:Anti-realism

message: Rovelli's 'Relational' interpretation of quantum mechanics is anti-realist (it should be called 'Perspectival'). In analytic philosophy, anti-realism is an epistemological position first articulated by British philosopher Michael Dummett. There are others. There are six types of Anti-realism, which is Metaphysical anti-realism, Mathematical anti-realism, Semantic anti-realism, Scientific anti-realism, Moral anti-realism, Epistemic anti-realism. 
2601:647:CD01:628:5880:17FB:EA34:806D (talk) 19:42, 1 March 2017 (UTC)
thread_title: Anti-realism in the foundations of physics

message: Actually I would rather describe anti-realists as being agnostics toward "reality" and Irrealists as being open to all workable versions. e.g. Realism works some of the time.Joseane 15:24, 15 August 2006 (UTC)
thread_title: Untitled

message: I have re-worded:
Similarly, intuitionistists object to the failure of the existence property for classical logic, where one can prove \exists x.\phi(x), without there being some term t for which \phi(t) is provable.
to be 
Similarly, intuitionistists object to the failure of the existence property for classical logic, where one can prove \exists x.\phi(x), without being able to produce any term t of which \phi  holds.
I think that classical logicians believe that there real mathematical things which they cannot construct (I used the unformal word `produce'), but which nonetheless exist. So when a classical logician gives a non-constructive proof of \exists x.\phi(x) he or she really does believe that there is some suitable term. But I confess I don't really understand what classical mathematicians mean when they say 'exists' Neil Leslie 10:54, 31 December 2005 (UTC)
replies: text: The change is a good one.  Classical logicians believe that one can have abstract grounds for believing in the existence of an entity without being able to produce it: the famous non-constructive proof of the existence of two irrationals that can be combined by the exponential operator to produce a rational shows what kind of grounds are indicated here.  If you want to get philosophical, Michael Dummett's talk about verification transcendence cuts to the meat here. --- Charles Stewart 13:41, 31 December 2005 (UTC)
thread_title:  Beliefs of classical logicians (mathematical realists) 

message: I think it might be worth noting somewhere in this article Tim Williamson's paper "Must Do Better", which I think is available somewhere on his website, which criticizes anti-realism and made quite a stir when it was first given. Yesterdog 21:05, 25 April 2006 (UTC)
thread_title:  Timothy Williamson's "Must Do Better" 

message: the material world, or even thought. Anti-realism, as a psychological construct, is most often found among American evangelical Christians.[citation needed]
This needs more than just a citation needed since:
1- It doesn't make much sense ( "As a psychological construct"?)
2- It is false.
:Honestly I have a hard time believing that Evangelists are antirealists - if antirealism is "true" there is no objective reality and thus "God's view" is perspective and not actually "true". Please, please reference the American Evangelical bit! They might be anti-realists in one sense scientifcally (they don't believe electron's really exist, for example) but I thought if that happened they tended to believe God is there instead - "objectively" there, realistically there. Certain realists have given their POV that American Evangelists are anti-realist (and non-cognitive), but that doesn't mean they are. mr_happyhour
(I moved the last comments under this heading.) I agree; this line baffled me when I came across it. There's no other mention of a 'psychological construct', this article explores a philosophical one. And why should this particular group be singled out, anyway? Deleted.Eaglizard 07:38, 14 July 2006 (UTC)
thread_title:  American Evangelicals are so special?? 

message: The article is very limited. It implies that anti-realists deny the existence of the external world. This isn't necessarily the case, certainly in the most simple (and I think sensible) interpretation. External, 'objective' things clearly 'exist', the anti-realist position as I understand it is that the concepts that define those external things only exist in the minds of the perceiver. The 'classic' example being the table that is actually a 'bunch' or 'bundle' of energy arranged in a certain way. That is its 'objective reality'. Its existence as a 'real' table is entirely dependent on the minds of the subjects perceiving it. Thus no 'thing' is real except by having been defined as such by something perceiving it. If there were no-one around to see it as a table and put stuff on it, it wouldn't be a table, even though the 'bundle of energy' we call a table would still be there.
I've just noticed the American Evangelical point. Denying the existence of something is very different to being an anti-realist. American Evangelicals are the ultimate realists, everything is real in the external, objective world, whether you perceive it correctly or not, because of the existence of God. God is the basis of the underlying reality of all things, the guarantor of the external world. If you believe in God (certainly as that word is usually understood) then you're a realist. Denying the existence of electrons is simply on a par with denying evolution. 00Mike26 (talk) 22:26, 20 March 2008 (UTC)
thread_title:  External World 

message: The article says:
:For example, an "anti-realist" who denies that other minds exist (i. e., a solipsist) is quite different from an "anti-realist" who claims that there is no fact of the matter as to whether or not there are unobservable other minds (i. e., a logical behaviorist).
To whom do they deny it? To themselves, then how do we know? To us, then why, and who are we? Rursus dixit. (mbork3!) 16:06, 14 May 2010 (UTC)
thread_title:  Solipsists claiming ...

message: While I'm not up on the details, I've added a section after Dummett to cover Putnam's anti-realism; someone more knowledgeable than I should feel free to expand; for now it just has a link to the section of Putnam's article that discusses internal realism BrideOfKripkenstein (talk) 02:19, 15 November 2010 (UTC)
thread_title:  Putnam's anti-realism 

message: Well, there were a couple of errors and omissions in the Dummett section so I edited that up a bit.
Cheers
Simon  —Preceding unsigned comment added by 80.47.34.55 (talk) 22:35, 6 December 2010 (UTC)
thread_title:  Some corrections on Dummett's  version of  A-R 

message: Cleaned up a dangling (citation needed?) in the summary which was not relevant. There was however an interesting point raised, although arm-chairish IMHO. In response to
:For example, an "anti-realist" who denies that other minds exist (i. e., a solipsist) is quite different from an "anti-realist" who claims that there is no fact of the matter as to whether or not there are unobservable other minds (i. e., a logical behaviorist).
The inquisitor objects "Actually this presumes that there are declared solipsists; to whom do they declare themselves?"
This is a valid point, but I think it distracts from the summary and really confuses the matter. This is material for, say, a problem at the end of a section on anti-realism in a text on analytic philosophy intended for first-year students, but I don't think it is notable enough to warrant inclusion in the article proper. The article isn't meant to poke its head into all of the dark corners, but it may be of some interest to someone here. 173.239.78.54 (talk) 07:22, 26 November 2011 (UTC)
thread_title:  Question raised in article summary 

message: The view presented in this article about intuitionism and platonism presents a false dichotomy and also fails to present the maximally anti-realist view of mathematics, namely that of formalism.  From a formalist perspective, the 'truth' of a statement is not a question of consequence, and the truth of a statement is not derivable from within the theory.  What we care about is the 'provability' of a statement, which obviously depends on our ability to derive it from the axioms of our mathematical theory (See N. Bourbaki's Theory of Sets for an explanation).  Intuitionistic logic and classical logic then both can be expressed within this anti-realist framework.  'Truth' insofar as we care about is generally not even something we can make sense of, given the existence of unprovable 'true' statements.  — Preceding unsigned comment added by 173.15.243.98 (talk) 09:45, 3 October 2012 (UTC)
thread_title:  Intuitionism vs. Platonism vs. Formalism 

message: In particular, we cannot in general claim that "P or not P" is true (the law of Excluded Middle), since in some cases we may not be able to prove the statement "P" nor prove the statement "not P"
How can you not prove "P or not P"? There is no cited reference, and in bivalent logic "not P" is not a proposition of its own, it's simply the inverse of P. Whatever P is, NOT P is the opposite, and as such "P or not P" is true. Who argues for the statement I am quoting, and on what basis? 83.254.193.127 (talk) 20:34, 27 June 2013 (UTC)
thread_title:  What do I make of this? 

message: , I have a quick question for you about the material recently added regarding the relation of moral relativism to moral anti-realism. It seems to me that there is an obvious retort to the claim that a relativism that makes reference only to written laws is any different to a relativism that makes direct reference to mental states, namely that the written laws are still just expressions of someone's mental states, and conversely, someone's brain-state encoding a mental state is just as physical as the ink on a page is; what matters is whether the morality-maker is just "because X says so" or not. I would be shocked if this is an original thought of my own, but you're clearly much better-versed in finding sources for things like this, so I was wondering if you were familiar with a source discussing this, both for my own further reading, and because it seems something like that should warrant inclusion in the encyclopedia. Thanks for your time. --Pfhorrest (talk) 22:24, 11 March 2021 (UTC)
thread_title:  A question about moral anti-realism and relativism 

message: Maybe I'm lost but is this description really exactly true: Since neither language nor logic can ever be a completely self-consistent domain, due to Gödel's incompleteness theorems ?
I'm not sure what work the phrase "self-consistent domain" is intended to exactly do here, but if it is trying to say that a system simply cannot be 'completely'(?) consistent, that is just afaik false -- the first theorem states that a (sufficiently nontrivial) consistent system is necessarily *incomplete* (not impossible), and the second theorem that consistency in such a system is *unprovable*, which is an important distinction.
Soo, you can actually, thankfully, have a consistent system, which seems to be denied in the sentence above, you just won't be able to prove it within the theory itself. afaik that is the exact position mathematicians (to the extent they think about it) suspect ZFC and similar axiomatizations of set theory have -- a belief that it actually *is* consistent (see wiki page on ZFC stating this explicitly), but merely on the basis that inconsistency has not yet been uncovered in it (well, and perhaps because it is provably consistent in other systems like MK, but that are then themselves in a similar situation). 141.138.39.237 (talk) 15:28, 5 December 2023 (UTC)
replies: text: I solved this problem quite easily by removing the paragraph as unsourced per WP:V. Biogeographist (talk) 21:34, 5 December 2023 (UTC)
thread_title:  Gödel's incompleteness theorems