tag:blogger.com,1999:blog-9106890883561797850.post1816458833472677239..comments2024-01-23T09:03:14.169-08:00Comments on Llamas and my stegosaurus: Chalmer's Argument of PerfectionsUnknownnoreply@blogger.comBlogger4125tag:blogger.com,1999:blog-9106890883561797850.post-42222832102642759822007-06-08T09:27:00.000-07:002007-06-08T09:27:00.000-07:00That's a good answer to the paradox! It's always ...That's a good answer to the paradox! It's always nice when they lead to a deeper understanding.Dhttps://www.blogger.com/profile/15141040566131538098noreply@blogger.comtag:blogger.com,1999:blog-9106890883561797850.post-25355008698572112412007-06-07T14:00:00.000-07:002007-06-07T14:00:00.000-07:00Yes, classical logic assumes an omniscient, omnipo...Yes, classical logic assumes an omniscient, omnipotent "I". Small wonder that there are those who feel it's not as useful as some other flavors of logic!<BR/><BR/>If your definition of truth includes the possibility that something may be "true" without you knowing it, then you're working in intuitionistic logic. There, they define truth to be "known truth." <BR/><BR/>Then the only true things are those that you have a proof for and the law of the excluded middle doesn't hold: if something is not provable, that doesn't imply that it's false. <BR/><BR/>In this context, omniscient means "I know all proven things," which is hardly surprising.<BR/><BR/>Statement 2 translates as "If I believe X, then I have a proof for X," which implies omnipotence, as before. Its negation is "It is not the case that (I do not believe X or I have a proof for X)." For example, I could believe X when X is unproven.Mike Stayhttps://www.blogger.com/profile/03408641732412584050noreply@blogger.comtag:blogger.com,1999:blog-9106890883561797850.post-55620758027405645962007-06-07T07:54:00.000-07:002007-06-07T07:54:00.000-07:00The phrase "If X is true" in philosophical languag...The phrase "If X is true" in philosophical language means "Assume X is true" or "Take X as an axiom." So one automatically knows X is true in the context of the argument, that's given. And if you know X is true, then you believe X, by your own admission.Dhttps://www.blogger.com/profile/15141040566131538098noreply@blogger.comtag:blogger.com,1999:blog-9106890883561797850.post-24208892454095096972007-06-05T15:16:00.000-07:002007-06-05T15:16:00.000-07:00There are plenty of true things that I don't belie...There are plenty of true things that I don't believe. There are party games where someone gives a bunch of weird statements and you have to pick which one is true, i.e. which one you find most believable.<BR/><BR/>"If I know X is true then I believe X."Mike Stayhttps://www.blogger.com/profile/03408641732412584050noreply@blogger.com