(June 12, 2010 at 3:33 am)Purple Rabbit Wrote:(June 12, 2010 at 3:12 am)The_Flying_Skeptic Wrote:My apology if I erronuously attruibuted the quote to you.(June 12, 2010 at 2:48 am)Purple Rabbit Wrote:
I agree with you on this one. The "in all possible wolds" often used in philosophy differs from the "in all possible worlds" used in mathematics. The latter is short for "in all possible logical frameworks where a particular set X of axiomas holds" where in most cases X is specified, but not necessarily is about logical frameworks that apply to reality. The former is even more vague about what possible worlds are but strongly suggests they have something to do with reality. IMO this really is an attempt to make assertions on things one possibly cannot know. I side with Wittgenstein here: "Whereof one cannot speak, thereof one must be silent."
actually, caecilian wrote that i think but i agree with that too. define 'logical frameworks'. you keep saying that but we aren't talking about a framework here; at least i'm not talking about a framework. i'm just talking about logics. this whole branch is all a product of my response to someone saying that a universe is logical because of x property. i disagree that any universe should be considered logical based on a property unless that property is 'where we may formulate logical conclusions'. His or her choice of words was a product of confusing a reality with logics. confusing reality with logics is basically the theme of this thread (hence why i didn't try to start this topic in a different thread): atheists call theists illogical but that's not accurate since theists have made a conclusion based on premises in a logical manner just based on false premises in our opinion.
Depends on what you mean by logics, I'd say. There is propositional logic, modal logic, inductive reasoning, deductive reasoning and so on . There is no such a thing as 'just logics'. In a broad sense however 'logic' mostly refers to traditional propositional logic. But again, that logic is boolean (due to the law of the excluded middle, which is not a aw at all but an axioma, something you take for granted), it assumes that a statement is either true or false. In multi-valued logic such as quantum logic other values are allowed. And we're currently at the beginning of building computers on that!
So with a logical framework I mean the logic that is build and formalized on a explicitly stated specific set of axiomas such as the law of the excluded middle.
even if there is a computational logic where different values are allowed instead of just 1 or 0, there is still no reason to believe an 'illogical universe' exists. what is 'quantum illogic' anyway?