Things philosophers have debated
post by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-31T05:09:00.208Z · LW · GW · Legacy · 78 commentsContents
[edit]See also [edit]References [edit]Further reading None 78 comments
I just had to stare at this a while. We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.
My favorite part is at the very end.
Trivialism is the theory that every proposition is true. A consequence of trivialism is that all statements, including all contradictions of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.[1]
[edit]See also
[edit]References
- ^ Graham Priest; John Woods (2007). "Paraconsistency and Dialetheism". The Many Valued and Nonmonotonic Turn in Logic. Elsevier. p. 131. ISBN 978-0-444-51623-7.
[edit]Further reading
- Paul Kabay (2008). "A defense of trivialism". PhD thesis, School of Philosophy, Anthropology, and Social Inquiry, The University of Melbourne.
- Paul Kabay (2010). On the Plenitude of Truth. A Defense of Trivialism. Lambert Academic Publishing. ISBN 978-3-8383-5102-5.
- Luis Estrada-González (2012) "Models of Possibilism and Trivialism", Logic and Logical Philosophy, Volume 21, 175–205
- Frederick Kroon (2004). "Realism and Dialetheism". In Graham Priest, J. C. Beall, and Bradley Armour-Garb. The Law of Non-Contradiction: New Philosophical Essays. Oxford University Press. ISBN 978-0-19-926517-6.
- Paul Kabay (2010). Interpreting the divyadhvani: On Why the Digambara Sect Is Right about the Nature of the Kevalin. The Australasian Philosophy of Religion Association Conference
- Bueno, O. V. (2007). "Troubles with Trivialism". Inquiry 50 (6): 655–667. doi:10.1080/00201740701698670.
- Priest, G. (2000). "Could everything be true?". Australasian Journal of Philosophy 78 (2): 189–195. doi:10.1080/00048400012349471.
 |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
78 comments
Comments sorted by top scores.
comment by Kawoomba · 2012-10-31T06:53:56.145Z · LW(p) · GW(p)
Challenge: Now find a trivialist philosopher who disagrees with your criticism.
Replies from: None↑ comment by [deleted] · 2012-10-31T06:55:23.057Z · LW(p) · GW(p)
What criticism?
Replies from: CarlShulman↑ comment by CarlShulman · 2012-10-31T07:19:38.232Z · LW(p) · GW(p)
The incredulous stare?
Replies from: Larks, None, Benquo↑ comment by [deleted] · 2012-10-31T16:43:52.982Z · LW(p) · GW(p)
I was being serious -- I can't tell what that stare means. The explicit claim, "FAI research is more inherently valuable than trivialism research," is clear, but that's not a criticism of trivialism. As far as I can tell, EY believes many serious research fields are less valuable than FAI research.
Replies from: DaFranker↑ comment by DaFranker · 2012-10-31T17:05:53.012Z · LW(p) · GW(p)
The primary statement of trivialism, as I understand it:
"(X and ¬X) for any possible value of X
Therefore, P(X|A) = P(¬X|A) = 1.
Therefore, for any evidence A, Value of Information = 0."
Personally, I think they have successfully found the ideal philosophy of perfect emptiness. [Insert disdainful status signal]
Replies from: None, Decius↑ comment by [deleted] · 2012-10-31T17:29:48.282Z · LW(p) · GW(p)
[Insert disdainful status signal]
Exactly! Status signals aren't valid arguments!
Replies from: DaFranker↑ comment by DaFranker · 2012-10-31T19:31:13.754Z · LW(p) · GW(p)
I agree. I think this was obvious, but I'm also not quite clear on what the real criticism is. It doesn't seem like trivialism is useful at all, but usefulness is not correlated to truth according to the priors of proponents of trivialism (or at least, I expect that to be true).
I just accept that the hypothesis does not match the evidence according to my own models and current model-forming strategies (some of which I was presumably born with and are there because ancestors which happened to have those traits had more children) and that as such should be discarded. It also doesn't produce any value within my best estimate of my utility system, and I attribute utility to a belief or theory producing value in said system... so we're back to "This is ridiculous" full circle.
Replies from: None↑ comment by [deleted] · 2012-10-31T20:37:25.780Z · LW(p) · GW(p)
It doesn't seem like trivialism is useful at all, but usefulness is not correlated to truth according to the priors of proponents of trivialism (or at least, I expect that to be true).
It isn't practically useful, no. But from a politico-philosophical standpoint, if dialetheism can't distinguish itself from trivialism, nobody will bother to study it.
By analogy, a running joke in some mathematics circles involves people studying Hoelder continuous functions with parameter greater than one. As it turns out, all such functions are constant. However, before one knows that fact, there is a very nice research program that can be run proving all sorts of interesting properties of such functions, e.g., they are all smooth (which would be unexpected to such a mathematician, as when the parameter is one they are not even differentiable everywhere). Such a research program is ultimately useless, but only after one knows the critical fact.
As for the overwhelming amount of empirical evidence against trivialism, this is covered in the dissertation. However, a shorter argument one could give is that humanity will likely only ever "observe" the truth value of finitely many propositions. That subset is of measure zero in the set of all propositions, i.e., practically no evidence. Since trivialism necessarily rejects the law of non-contradiction, observing finitely many false sentences does not imply that all sentences are not true. For example, perhaps it's just much harder to "observe" that the sentences we've observed to be false are also true, as would be the case if, say, proving their truth required a proof of length 3^^^3.
↑ comment by Decius · 2012-11-01T16:26:19.730Z · LW(p) · GW(p)
Also:
¬(P(X|A) = P(¬X|A) = 1)
Therefore, for any evidence A, Value of information > 0.
Contradictions are not failure conditions in trivialsim.
Replies from: DaFranker↑ comment by DaFranker · 2012-11-01T16:50:18.859Z · LW(p) · GW(p)
I wasn't positing this as a failure condition within trivialism, but of trivialism.
According to what I'm seeing here, a perfectly trivialist agent sees no difference between the truth of dying when shooting themselves in the head, the truth of not dying when shooting themselves in the head, and the truth of dying and not dying when being alive. No imaginable action can have any effect on the world, because everything is true, and so there's no real reason to do anything, including living. This too is true, as is the opposite, to said agent.
Basically, a trivialist assigns the null hypothesis over whether to care or not about the universe and themselves? Everything is true, but that doesn't consist in a reason to not act? Everything is true when it lets you write a paper and get grant money, but otherwise some things can safely be considered false for the purposes of living a normal life?
How convenient can question-begging get? Can I become a billionaire doing nothing but this? ("Yes, that's true." says the trivialist)
The way I see it, trivialism rejects logic and any kind of possibly imaginable rule for the purposes of writing philosophy papers, but conveniently ignores itself whenever it's time to go home or eat or live a perfectly normal life just like they would if some possible things were actually false.
Replies from: Decius↑ comment by Decius · 2012-11-01T23:17:26.882Z · LW(p) · GW(p)
Lots of strawman in there- especially with the assumption that trivialism implies meta-trivialism.
Doesn't the strict rationalist have trouble with the truth value of statements conditioned on false statements?
You are looking for a philosophy which tells you what the indicated course of action is. That means that trivialism is poorly suited for you.
You are looking for a philosophy because you want your philosophy to tell you what you should do. That means that trivialism is the perfect philosophy for you to practice.
Trivialism is not nihilism, and only a perfect trivialist could believe that it was.
As a final koan: Why are the characteristics of trivialism that you list negative? So what? Why does that matter?
Replies from: DaFranker↑ comment by DaFranker · 2012-11-02T12:51:32.008Z · LW(p) · GW(p)
Sorry, not my intention to strawman. It is alien to me.
Doesn't the strict rationalist have trouble with the truth value of statements conditioned on false statements?
No. Not bayesians, at any rate.
You are looking for a philosophy which tells you what the indicated course of action is. That means that trivialism is poorly suited for you.
What's an "indicated" course of action? How is it different from "what you should do", below?
You are looking for a philosophy because you want your philosophy to tell you what you should do. That means that trivialism is the perfect philosophy for you to practice.
What does trivialism predict? What does it tell us to do? Does trivialism let me predict anything more accurately than any other theory? A single instance of one thing that it would predict more accurately and/or reliably in reality than any other theory would make it instantly much less worthy of derision.
At present, it is to me nothing more than a humorous thought experiment similar to "This sentence is false."
Replies from: Decius↑ comment by Decius · 2012-11-02T14:14:58.083Z · LW(p) · GW(p)
When you try to make predictions, use a philosophy that performs predictions well. Bayesian rationality provides many useful tools to determine what the expected results are, but no tools to determine which expected result to choose. Trivialism provides tools more well suited for deciding in the absence of information.
Replies from: DaFranker↑ comment by DaFranker · 2012-11-02T14:21:51.655Z · LW(p) · GW(p)
[...] tools to determine which expected result to choose. Trivialism provides tools more well suited for deciding in the absence of information.
Whoa whoa whoa. Too much inferential distance. I don't even have the slightest remote idea of where to begin imagining how trivialism could possibly be used or imply anything even remotely like a tool for "choosing" anything.
Is there a "Learn Trivialism the Hard Way" thing somewhere that would help me bridge the gap between "X is true for all X" and actually choosing an action, a belief, anything at all? I'm obviously not going to gain much just from the wikipedia page, and googling doesn't seem to provide anything useful either.
Replies from: Decius↑ comment by Decius · 2012-11-02T14:48:21.537Z · LW(p) · GW(p)
It is going to rain and it is not going to rain.
Do you bring your umbrella?
Personally, I am not a trivialist, because there are no arguments which convince me that trivialism is superior to the blended philosophy that I haphazardly adhere to. That could be because I don't understand it well enough to internalize it, or it could be because trivialism isn't a robust philosophy. Either way, as long as you are trying to use information to make informed choices, you aren't well served by trivialism. Trivialism is best used to make trivial choices; in pure trivialism all choices are trivial. If you believe that a choice is nontrivial, you are not trivialist.
Replies from: DaFranker↑ comment by DaFranker · 2012-11-02T15:01:29.335Z · LW(p) · GW(p)
If you believe that a choice is nontrivial, you are not trivialist.
Is it then strawman to say that a good trivialist sees no important distinction between the decision to jump off a cliff and the decision to not jump off a cliff? After all, it is true that they can fly and it is true that they cannot fly - and if I'm interpreting your umbrella example correctly, this should imply that they might as well act as if they did fly with certainty.
Replies from: Decius↑ comment by Decius · 2012-11-03T00:44:03.234Z · LW(p) · GW(p)
Is that line of though the absolute best line description of trivialism as you understand it?
What the pure, complete trivialist decides does not have much bearing on what an outside rationalist observer observes. It is true that if the trivialist decides to jump off the cliff, they will not jump off the cliff.
A hybrid trivialist rationalist might say "I can fly and I cannot fly. Since I can fly, I gain utility x from jumping off a cliff. Since I cannot fly, I gain negative utility y from jumping off of a cliff. My expected utility from jumping off of a cliff is x-y. This line of thought is neither pure trivialism nor pure rationalism.
comment by [deleted] · 2012-10-31T16:28:43.984Z · LW(p) · GW(p)
It's probably not a good idea to laugh at people until you've at least heard their arguments. It is at the very least very bad signaling for an intellectual community to dismiss a small body of work because a sentence on Wikipedia (source unknown) makes it sound silly.
Remember that LW sounds pretty silly on Rational Wiki.
Replies from: Liron, Armok_GoB↑ comment by Liron · 2012-11-01T15:17:11.144Z · LW(p) · GW(p)
It's probably not a good idea to laugh at people until you've at least heard their arguments.
I think Wikipedia's Trivialism page already contains a comprehensive list of its supporting arguments.
Replies from: Swimmy↑ comment by Swimmy · 2012-11-04T21:34:00.739Z · LW(p) · GW(p)
Here is the abstract for the dissertation linked on Wikipedia. It argues that it is impossible to reject trivialism, as there are no alternatives to trivialism. It furthermore argues that common refutations of trivialism are incorrect for various reasons.
I'm not sure any of that refutes what you just said.
The paper is offered freely on the page.
↑ comment by Armok_GoB · 2012-10-31T19:23:30.252Z · LW(p) · GW(p)
Yea. My personal guess would be that the people in question were never even exposed to a lot of hidden (correct) assumptions we have that makes it so obviously silly, like the nature of things like math, "statements" and "truth".
EDIT:: I'm apparently not all here today and sprouting bull**, sorry.
Replies from: Nonecomment by [deleted] · 2012-10-31T19:49:30.421Z · LW(p) · GW(p)
We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.
Are you implying that you are trying to get papers published about Friendly AI subproblems and having difficulty?
comment by Benya (Benja) · 2012-10-31T06:13:30.118Z · LW(p) · GW(p)
Pfft, I don't see what's so funny about the end. If it had been , alright, that would have been somewhat ironic at least, but
)? Nobody was even arguing against that.
↑ comment by Stuart_Armstrong · 2012-10-31T10:23:37.783Z · LW(p) · GW(p)
I saw "You can help Wikipedia by expanding it." as the amusing ending...
↑ comment by Kingoftheinternet · 2012-10-31T16:45:43.126Z · LW(p) · GW(p)
Trivialists are!
Replies from: Maelin↑ comment by Maelin · 2012-11-01T02:35:21.951Z · LW(p) · GW(p)
But they weren't. Trivialists certainly do assert that ) is true, and so is
↑ comment by Kingoftheinternet · 2012-11-01T15:08:44.391Z · LW(p) · GW(p)
A trivialist would insist that "Trivialists argue ) is false" is true. Believing that you're arguing something isn't quite the same as arguing something, but I wanted to point out that under trivialism, trivialists think they're arguing for and against all propositions simultaneously.
comment by MixedNuts · 2012-10-31T17:43:52.097Z · LW(p) · GW(p)
In college I was part of the cult of Alfred the Duck. It was a religion with five or so members, formed when our founder decided to take False as an axiom, and also drew a little picture of a duck. Using the holy T=F axiom, it's easy to prove that Alfred the Duck knows all and sees all, and that everything both exists and doesn't exist. It actually worked pretty well as a religion. (There was also something about welcoming alien invaders, but I think that was a different religion.)
That seems to be a practical accomplishment of trivialist philosophy.
Replies from: Emilecomment by RHollerith (rhollerith_dot_com) · 2012-10-31T06:12:27.130Z · LW(p) · GW(p)
I am a proponent of Wednesdayism. "Wednesdayism is the view that true is true and false is false except, crucially, on Wednesdays."
Replies from: Kaj_Sotala, Mestroyer↑ comment by Kaj_Sotala · 2012-10-31T07:08:28.561Z · LW(p) · GW(p)
Is Wednesdayism true or false on Wednesdays?
Replies from: Decius, Jayson_Virissimo↑ comment by Jayson_Virissimo · 2012-10-31T10:55:09.738Z · LW(p) · GW(p)
False, but true on all the other days.
↑ comment by Mestroyer · 2012-10-31T08:50:58.472Z · LW(p) · GW(p)
What does this imply for Last Wednesdayism?
comment by CarlShulman · 2012-10-31T05:40:28.425Z · LW(p) · GW(p)
The Kabay dissertation is interesting in a bizarre way.
Replies from: Nisan, None, lukeprog, JonathanLivengood, endoself↑ comment by Nisan · 2012-10-31T16:18:06.254Z · LW(p) · GW(p)
Heh.
Replies from: Richard_KennawayMy own view is that this argument is as convincing as an argument for any philosophically interesting position, and so should be taken seriously. Trivialism should not be treated as a special case in this regard. Philosophers have committed to claims on the basis of a lot less.
↑ comment by Richard_Kennaway · 2012-11-01T14:23:08.241Z · LW(p) · GW(p)
If you leave out the phrase "and so should be taken seriously", I'd agree with that.
↑ comment by [deleted] · 2012-10-31T06:48:14.355Z · LW(p) · GW(p)
It was definitely worth skimming through. Two... well, not really questions, but thoughts:
How does trivialism differ from assuming the existence of a Tegmark IV universe?
A spectral argument given in defense of trivialism in the dissertation runs like this:
a. Natural language is inconsistent.
b. Therefore, by explosion, every sentence in natural language is true.
c. Every classical proposition may be interpreted in natural language.
d. Therefore, classical logic is inconsistent.
The error in the argument is actually quite subtle!
Replies from: aaronde, MrMind↑ comment by aaronde · 2012-10-31T16:39:33.962Z · LW(p) · GW(p)
How does trivialism differ from assuming the existence of a Tegmark IV universe?
Tegmark IV is the space of all computable mathematical structures. You can make true and false statements about this space, and there is nothing about it that implies a contradiction. You may think that any coherent empirical claim is true in Tegmark IV, in that anything we say about the world is true of some world. But being true in some world does not make it true in this world. If I say that the sky is green, I am implicitly referring to the sky that I experience, which is blue. That is, I am saying that the sky which is blue is green. So I'm contradicting myself, and the statement is false. You don't even need to think of alternate universes to reason through this. After all, some planet in our galaxy surely has a green sky.
A spectral argument given in defense of trivialism in the dissertation runs like this...
It all looks shaky, but most obviously, just because every classical proposition may be interpreted in natural language doesn't mean that every natural language proposition may be interpreted in classical logic. In particular, the aspects of natural language that make it inconsistent probably can't be translated into classical logic. After all, that's why we invented classical logic in the first place.
Did these points come up in the dissertation?
Replies from: None↑ comment by [deleted] · 2012-10-31T17:04:14.362Z · LW(p) · GW(p)
Tegmark IV is the space of all computable mathematical structures.
From one of Tegmark's pop sci papers:
Level IV refers to parallel worlds in distinct mathematical structures, which may have fundamentally different laws of physics.
Trivialism induces a mathematical structure, and so is contained in the level IV multiverse. I think there's some meta-level confusion in the rest of the first part of your comment.
It all looks shaky, but most obviously, just because every classical proposition may be interpreted in natural language doesn't mean that every natural language proposition may be interpreted in classical logic.
It's not clear to me how this claim affects the argument. Asserting the negation of the converse of (c) doesn't imply anything about (c).
Did these points come up in the dissertation?
The argument is not central to the dissertation. He reports it from a trivialist to establish the existence of at least one trivialist.
↑ comment by MrMind · 2012-10-31T17:03:11.746Z · LW(p) · GW(p)
How does trivialism differ from assuming the existence of a Tegmark IV universe?
Because even if we assume the existence of every mathematical structure, we are still assuming that they are coherent. Mind you, there are consistent models of some paraconsistent logic (even in set theory), but there is no model of the theory of all sentences. This is pretty standar model theory: the class of models of the total theory is empty (viceversa: the theory of the class of all models is empty).
Anyway, assuming trivialism is uninteresting (as the name correctly imply ;)): we still can play a formal game that mimics the difference between truth and falsity.
↑ comment by [deleted] · 2012-10-31T17:17:24.470Z · LW(p) · GW(p)
This is pretty standard model theory: the class of models of the total theory is empty (viceversa: the theory of the class of all models is empty).
I'm not sure why level IV would restrict itself to standard model theory. In a tri-valued logic (i.e., all propositions are either true, false, or both), there are non-trivial models of trivialism.
Replies from: Luke_A_Somers↑ comment by Luke_A_Somers · 2012-11-05T16:01:11.369Z · LW(p) · GW(p)
Trivialism would not respect Tegmark IV's subsections which comply with our model of logic.
↑ comment by lukeprog · 2012-10-31T06:45:16.458Z · LW(p) · GW(p)
I read this sentence differently than its author intended, I think:
Replies from: NoneIt never ceases to astound me that Graham Priest was willing to take this project seriously enough to act as its supervisor – a clear demonstration of the philosophical spirit.
↑ comment by [deleted] · 2012-10-31T06:53:43.505Z · LW(p) · GW(p)
It makes sense; as he lays out in the first section, it isn't clear why dialetheism is different from trivialism. If they weren't different, then a good part of his advisor's field would become trivial! Taking on a willing grad student to devote time to separating the two is just good politics.
Replies from: Manfred↑ comment by Manfred · 2012-10-31T18:06:16.116Z · LW(p) · GW(p)
it isn't clear why dialetheism is different from trivialism.
Imagine all well-formed logical statements, stretching out in an infinite list.
Each of these statements are to be marked "true" or "false." For each possible marking, there is a shortest set of rules that generates that marking. Those rules are "rules of logic" you'd be following if that was how all the statements were to be marked true or false.
Trivialism is a particularly simple rule: "mark all true." Dialetheism points to a category of markings, where both A and not-A are true for some A - and thus points to a category of rules that generate such patterns.
Replies from: None↑ comment by [deleted] · 2012-10-31T19:09:34.447Z · LW(p) · GW(p)
Trivialism is a particularly simple rule: "mark all true."
This is one form of trivialism; the dissertation also uses it to mean something like "whatever marking you place on the list, every item is marked true (but also possibly marked something else)."
↑ comment by JonathanLivengood · 2012-10-31T06:44:57.969Z · LW(p) · GW(p)
I wonder ... when he signed the declaration on page 4, what was he asserting?
comment by Kingoftheinternet · 2012-10-31T17:42:12.452Z · LW(p) · GW(p)
Trivialists think "Trivialists think trivialism is false" is true.
Replies from: Kindlycomment by A1987dM (army1987) · 2012-10-31T15:25:34.899Z · LW(p) · GW(p)
That must be a hoax. Tell me it's a hoax! [takes a look at the references] No, it isn't a hoax. What the ...
Replies from: DaFranker↑ comment by DaFranker · 2012-10-31T16:08:14.683Z · LW(p) · GW(p)
Unfortunately, that's just another canary.
A daily reading of all the front-page Phys.org "science news" articles (for, say, two weeks) should numb you enough through sheer numbers of ridiculously silly papers and experiments that stuff like this doesn't really surprise you anymore.
comment by mapnoterritory · 2012-11-01T20:05:55.906Z · LW(p) · GW(p)
Graham Priest interview with Julia Galef and Massimo Pigliucci on paraconsitency and dialetheism:
http://rationallyspeaking.blogspot.de/2012/11/rationally-speaking-podcast-graham.html
comment by MrMind · 2012-10-31T17:47:20.152Z · LW(p) · GW(p)
Does anyone know if trivialism has to be interpreted as "every sentence is at least true" or as "every sentence is true and only true"?
Replies from: Manfred, Oligopsony↑ comment by Oligopsony · 2012-11-05T17:20:34.588Z · LW(p) · GW(p)
Every sentence (or rather, proposition) is both true and false, since "false" is defined here to mean having a true negation (and all negations are established as being true.) So for P to be both true and false would be for both P and ~P to be true, or, deflatively, for it to obtain that P and ~P.
If (alternatively) neither P nor ~P - as might sometimes be the case according to intuitionists - we would say that P is neither true nor false.
Replies from: MrMind↑ comment by MrMind · 2012-11-06T13:31:47.657Z · LW(p) · GW(p)
Every sentence (or rather, proposition) is both true and false, since "false" is defined here to mean having a true negation (and all negations are established as being true.)
If false is defined as the property of having a true negation, than under trivialism there's no real semantic distinction between true and false, since there's no property that can distinguish between the set of true and false propositions. This is of course to be expected, but I was curious if trivialism could be interpreted as a system that poses significant distinctions of truth values: for example, one that postulates that some propositions can be true and false, but not necessarily all of them: some of them could just plainly be true.
I know that such a system can be formally coherent (after all, there is one that is isomorphic to classical logic), but I'm interested if it has been used in that way.
If (alternatively) neither P nor ~P - as might sometimes be the case according to intuitionists - we would say that P is neither true nor false.
But this, I get, is not trivialism.
Replies from: Oligopsony↑ comment by Oligopsony · 2012-11-07T15:25:12.167Z · LW(p) · GW(p)
I was curious if trivialism could be interpreted as a system that poses significant distinctions of truth values: for example, one that postulates that some propositions can be true and false, but not necessarily all of them: some of them could just plainly be true. I know that such a system can be formally coherent (after all, there is one that is isomorphic to classical logic), but I'm interested if it has been used in that way.
In that case it's not trivialism anymore, but there are nonclassical logics where some (but not all) propositions are true and false; indeed such things are considerably more popular than trivialism (for what I presume to be obvious reasons.) Graham Priest, for instance, is constantly pointing out that if you drop the principle of explosion it's very easy to have the Liar's Paradox be simultaneously true and false without implying that Socrates simultaneously is and isn't mortal.
But this, I get, is not trivialism.
You get correctly, yes.
comment by faul_sname · 2012-10-31T09:07:21.142Z · LW(p) · GW(p)
I think my brain just imploded.
Replies from: Jayson_Virissimo↑ comment by Jayson_Virissimo · 2012-10-31T11:17:58.578Z · LW(p) · GW(p)
I think my brain just imploded.
I don't think that you think that your brain just imploded.
comment by asparisi · 2012-10-31T12:55:27.501Z · LW(p) · GW(p)
sighs This is why, when one studies philosophy, one does well to pretty much ignore anyone who claims that the universe is completely knowable a priori.
In fact, given the number of sets of axioms from which one can derive statements, pretty much any argument that hinges primarily on a priori claims is probably mistaken. (Note: This is an a posteriori claim.)
Replies from: None↑ comment by [deleted] · 2012-10-31T20:57:53.188Z · LW(p) · GW(p)
This is why, when one studies philosophy, one does well to pretty much ignore anyone who claims that the universe is completely knowable a priori.
May I add that a failure to ignore these people is a very bad sign for a student: no one (or at least no one significant) has ever claimed this!
Replies from: asparisi, asparisi, TimS↑ comment by asparisi · 2012-11-01T02:56:55.504Z · LW(p) · GW(p)
Oh, and Plato.
Replies from: None↑ comment by [deleted] · 2012-11-01T11:55:37.801Z · LW(p) · GW(p)
Spinoza: His views are tricky, because of his particular brand of monism. You're right that we should generally take the 'Ethics' as a work of a priori reasoning, but nevertheless he considered our knowledge of the contents of nature to be empirical knowledge: in order to know that there is a knife on the table, my mind has to interact with the 'mind' of the knife, and this involves physical contact.
Plato: The trouble with saying something like this about Plato is that he neither deployed the a priori/a posteriori distinction, nor had views similar to ours about knowledge. And he predates the very idea of deductive logic.
For Plato, knowledge was distinct from 'correct opinion' in being unchangeable. This means that knowledge was necessarily not about nature. However, it doesn't follow from this that the knowledge is a priori. So in dialogues like the Meno or the Phaedo, Plato claims that we have access to knowledge of things like geometry through recollection. If we take him literally, then this could not be in any way a priori knowledge: recollection is firmly an experience (remember, 'a priori' doesn't refer to innate knowledge, or knowledge that is temporally prior to experience). There's plenty of room to take him less literally, of course.
Replies from: asparisi↑ comment by asparisi · 2012-11-01T14:26:30.901Z · LW(p) · GW(p)
Ah, but in the case of Spinoza, you can't get real 'empirical knowledge' because to get 'knowledge' of the knife on the table, you'd have to learn the entire causal history of the knife on the table. Otherwise, you don't have knowledge, you have something like an incomplete modification of an idea. So the only way he can have knowledge is a priori reasoning, which is why he relies so heavily on his axiomatic system.
I'll grant you Plato did not use this distinction, but while recognition allows us to access knowledge, Plato does claim that we already "have it" in some sense. I suppose that makes it debatable whether or not the knowledge is truly a priori: generally we take ourselves to lack knowledge, rather than to have it and not recognize it. Still, if we run with that idea: I might not be remembering some detail at a given moment. My mom's hair-color, for instance. Nevertheless, we would say that I have knowledge of my mom's hair before I 'recollect' it. Similarly, if we have the knowledge before we have the experience that allows us to recollect the knowledge, that would make the knowledge itself a priori.
Replies from: None↑ comment by [deleted] · 2012-11-01T16:39:16.625Z · LW(p) · GW(p)
As to Spinoza, you make a good point, though using Spinoza's (or Plato's) refined sense of what 'knowledge' is as opposed to the everyday claims we would today call 'knowledge' (e.g. I know that the sky over Chicago is clear today) seems to me to go against the spirit of your initial complaint: neither Plato nor Spinoza thinks you can 'know everything about the universe a priori' in our sense of 'know'. If they do believe that, then it is because they have a much stricter understanding of what knowledge is. It's not as if they think they can deduce the existence of my pen from a priori axioms.
Replies from: asparisi↑ comment by asparisi · 2012-11-01T16:57:39.570Z · LW(p) · GW(p)
Point taken, but I would point out that both Plato and Spinoza think that our everyday claims about knowledge don't map onto reality, so they can't talk about what we 'know' in the everyday sense of 'know.' They don't think that is a valid way to talk about knowledge at all.
↑ comment by TimS · 2012-11-01T03:34:38.679Z · LW(p) · GW(p)
Kant claimed one could know most of the interesting things a priori, even if one couldn't know everything.
Replies from: None↑ comment by [deleted] · 2012-11-01T11:41:17.735Z · LW(p) · GW(p)
I don't think that's true. Much of the point of the first Critique was to vindicate experience as a source of knowledge, for which he thought he needed to appeal to certain synthetic a priori propositions (like causality). When we at LW appeal to causality as a necessary part of the map, but not necessarily a part of the territory, we are making a similar move. Kant was the great enemy of metaphysics.
About morality, you're largely right, though a fair bulk of his writing on morality consists of discussions of social practices and law.
Replies from: thomblakecomment by drethelin · 2012-10-31T22:54:12.608Z · LW(p) · GW(p)
You appear to be winning this round, so what's the problem?
Eliezer Shlomo Yudkowsky (born September 11, 1979[1]) is an American writer, blogger, and advocate for the development of friendly artificial intelligence[2][3] and the understanding of a possible future singularity. Contents [hide] 1 Biography 2 Work 3 Publications 4 References 5 Further reading 6 External links [edit]Biography
Yudkowsky, who lives in Redwood City, California, [4] did not attend high school and is an autodidact, having no formal education in computer science or artificial intelligence. He co-founded the nonprofit Singularity Institute for Artificial Intelligence (SIAI) in 2000 and continues to be employed as a full-time Research Fellow there.[5] [edit]Work
Yudkowsky's interest focuses on Artificial Intelligence theory for self-understanding, self-modification, and recursive self-improvement (seed AI); and also on artificial-intelligence architectures and decision theories for stably benevolent motivational structures (Friendly AI, and Coherent Extrapolated Volition in particular).[6] Apart from his research work, Yudkowsky has written explanations of various philosophical topics in non-academic language, particularly on rationality, such as "An Intuitive Explanation of Bayes' Theorem".[7] Yudkowsky is also a strong proponent of cryonics, the practice of vitrifying one's body after death in the hope of future resuscitation.[8] [edit]Publications
Yudkowsky was, along with Robin Hanson, one of the principal contributors to the blog Overcoming Bias[9] sponsored by the Future of Humanity Institute of Oxford University. In early 2009, he helped to found Less Wrong, a "community blog devoted to refining the art of human rationality".[10] The Sequences[11] on Less Wrong, comprising over two years of blog posts on epistemology, Artificial Intelligence, and metaethics, form the single largest bulk of Yudkowsky's writing. He contributed two chapters to Oxford philosopher Nick Bostrom's and Milan Ćirković's edited volume Global Catastrophic Risks,[12] and "Complex Value Systems are Required to Realize Valuable Futures"[13] to the conference AGI-11. Yudkowsky is the author of the Singularity Institute publications "Creating Friendly AI"[14] (2001), "Levels of Organization in General Intelligence"[15] (2002), "Coherent Extrapolated Volition"[16] (2004), and "Timeless Decision Theory"[17] (2010).[18] Yudkowsky has also written several works[19] of science fiction and other fiction. His Harry Potter fan fiction story Harry Potter and the Methods of Rationality illustrates topics in cognitive science and rationality (The New Yorker described it as "a thousand-page online 'fanfic' text called 'Harry Potter and the Methods of Rationality', which recasts the original story in an attempt to explain Harry's wizardry through the scientific method"[20]), and has been favorably reviewed by authors David Brin[21][22][23] and Rachel Aaron,[24][25] Robin Hanson,[26] Aaron Swartz,[27] and by programmer Eric S. Raymond.[28] [edit]References
^ Autobiography ^ Miller, James (2012). Singularity Rising. Texas: BenBella Books. pp. 35-44. ISBN 1936661659. ^ "Singularity Institute for Artificial Intelligence: Team". Singularity Institute for Artificial Intelligence. Retrieved 2009-07-16. ^ Eliezer Yudkowsky: About ^ Kurzweil, Ray (2005). The Singularity Is Near. New York, US: Viking Penguin. p. 599. ISBN 0-670-03384-7. ^ Kurzweil, Ray (2005). The Singularity Is Near. New York, US: Viking Penguin. p. 420. ISBN 0-670-03384-7. ^ An Intuitive Explanation of Bayes' Theorem ^ "Normal Cryonics". Less Wrong. Retrieved 2012-08-31. ^ "Overcoming Bias: About". Robin Hanson. Retrieved 2012-02-01. ^ "Welcome to Less Wrong". Less Wrong. Retrieved 2012-02-01. ^ "Sequences-Lesswrongwiki". Retrieved 2012-02-01. ^ Bostrom, Nick; Ćirković, Milan M., eds. (2008). Global Catastrophic Risks. Oxford, UK: Oxford University Press. pp. 91–119, 308–345. ISBN 978-0-19-857050-9. ^ Yudkowsky, Eliezer (2011). "Complex Value Systems are Required to Realize Valuable Futures". AGI-11. ^ Yudkowsky, Eliezer. "Creating Friendly AI". Singularity Institute for Artificial Intelligence. Retrieved 2012-02-01. ^ Yudkowsky, Eliezer. "Levels of Organization in General Intelligence". Singularity Institute for Artificial Intelligence. Retrieved 2012-02-01. ^ Yudkowsky, Eliezer. "Coherent Extrapolated Volition". Singularity Institute for Artificial Intelligence. Retrieved 2012-02-01. ^ Yudkowsky, Eliezer. "Timeless Decision Theory". Singularity Institute for Artificial Intelligence. Retrieved 2012-02-01. ^ "Eliezer Yudkowsky Profile". Accelerating Future. ^ "Yudkowsky- Fiction". Eliezer Yudkowsky. ^ pg 54, "No Death, No Taxes: The libertarian futurism of a Silicon Valley billionaire" ^ David Brin (2010-06-21). "CONTRARY BRIN: A secret of college life... plus controversies and science!". Davidbrin.blogspot.com. Retrieved 2012-08-31. ^ "'Harry Potter' and the Key to Immortality", Daniel Snyder, The Atlantic ^ David Brin (2012-01-20). "CONTRARY BRIN: David Brin's List of "Greatest Science Fiction and Fantasy Tales"". Davidbrin.blogspot.com. Retrieved 2012-08-31. ^ Authors (2012-04-02). "Rachel Aaron interview (April 2012)". Fantasybookreview.co.uk. Retrieved 2012-08-31. ^ "Civilian Reader: An Interview with Rachel Aaron". Civilian-reader.blogspot.com. 2011-05-04. Retrieved 2012-08-31. ^ Hanson, Robin (2010-10-31). "Hyper-Rational Harry". Overcoming Bias. Retrieved 2012-08-31. ^ Swartz, Aaron. "The 2011 Review of Books (Aaron Swartz's Raw Thought)". Aaronsw.com. Retrieved 2012-08-31. ^ "Harry Potter and the Methods of Rationality". Esr.ibiblio.org. 2010-07-06. Retrieved 2012-08-31. [edit]Further reading
Our Molecular Future: How Nanotechnology, Robotics, Genetics and Artificial Intelligence Will Transform Our World by Douglas Mulhall, 2002, p. 321. The Spike: How Our Lives Are Being Transformed By Rapidly Advancing Technologies by Damien Broderick, 2001, pp. 236, 265-272, 289, 321, 324, 326, 337-339, 345, 353, 370. [edit]External links
Wikiquote has a collection of quotations related to: Eliezer Yudkowsky
Personal web site Less Wrong - "A community blog devoted to refining the art of human rationality" co-founded by Yudkowsky. Biography page at KurzweilAI.net Biography page at the Singularity Institute Downloadable papers and bibliography Predicting The Future :: Eliezer Yudkowsky, NYTA Keynote Address - Feb 2003 Harry Potter and the Methods of Rationality Harry Potter and the Methods of Rationality - The Podcast