Math Folks: Set Theory Question

Finally, here’s a question that I can answer without the slightest hint of uncertainty.

No.

You do realize that my post was tongue-in-cheek, I hope.

This is headed for GD, but I have to wonder: why on earth would you think you’d be able to prove any theological or philosophical result using mathematical axioms and logic? It’d be like holding a protest rally against earthquakes. If god exists, why would he be bound by mathematical logic?

It reminds me a little of the time I asked a devout, intelligent Christian friend if God could make 1+1 = 3, or true = false. He asserted that he didn’t think so - he believed that logic are “the mind of God”. I still never quite figured it out.

In any case - suppose you were somehow able to string together a bunch of propositional logic or set theory, and reach some kind of conclusion which you arbitrarily interpret as “therefore, God [does|doesn’t] exist.” If God is supposed to be omnipotent, why would he be bound by your conclusion?

This seems like some kind of logical fallacy - a ‘category mistake’, perhaps, like “multiplying Monday by Tuesday”.

Of course, I’m sure someone already mentioned that the empty set has but one subset.
Also, one college prof (Arunas) used to call the whole set “the whole damn thing” in this context

Moving to GD for further discussion.

-xash
General Questions Moderator

Basically, what I already said.

He’s implicitly assuming that there is a unique logic which does obtain, and that such logic is consistent and strong enough to model Peano’s axioms of arithmetic.

To a certain extent. It’s a little hairier than that, though…

Points frantically: Junior mod, junior mod!

NO…kidding, really. I did mean something different (at least to me), but I’m not convinced of how well I can communicate the distinction. To me, existence (with a small “e”) is the normal mundane type of limited existence…my vocabulary is going to fail me here, I suspect. There exists an apple in my refrigerator. There exists a number of “Far Side” collections on my bookshelf. There exists a healthy volume of beer in my stomach. However, Existence (with a capital “E”) refers (in my brain, anyway) to existence at the universal level…as a totalistic concept. Things exist, but Everything Exists. With a small “e” it is limited; with a capital “E” it is limitless. The same goes for the rest of the terms. Sorry you don’t like them, but to me they denote a valid distinction. I was just trying to be clear.

The reason that I was playing with goes back to the “Why is there Something rather than Nothing?” question. If God exists (which, by definition, He must for everything else to exist), then there clearly IS Something rather than Nothing, and that right there is a dichotomy. Therefore, the concept of Dichotomy in general must exist. Therefore, if there is a God, there must also be a “not-God”: i.e.: Satan (or possibly Pat Robertson).

Proof? Nope, sorry. Don’t have it. But I’m not trying to start a church, here. Just thinking, is all.

Certainly not bad advice, but it isn’t really that important to me (for one thing, the SDMB is a hell of a lot cheaper than college). I just got thinking about this, and wasn’t sure if I remembered what I needed to answer the questions I had. Hence, my coming here. Fighting Ignorance, and all that, you know.

God in a nutshell, in my book…although perhaps not in the revised edition.

And if you don’t define exactly what you mean by using the capital letter you’re not being clear. You just make yourself look like a crank. You’re more than halfway there by trying to apply mathematics to theology to begin with, so I’d avoid as many such signals as possible.

WOAH! There are a lot of people who would call you out right there.

That some dichotomies exist is not under question. That all things exist in dichotomy is. Just because light and dark are dichotomous doesn’t mean that everything has an opposite. As an example, there are three “colors” of the strong nuclear force – a trichotomy. Do you mean that then there must be another figure besides God and Satan? Or maybe you’ll use this to justify the doctrine of the trinity, in which case where are the other two counterparts to Satan? You see how ludicrous that sort of reasoning very quickly becomes.

Sigh…

Well…if I’m not being clear to someone, they are free to ask for clarification. You did so, and I answered you. I fail to see the problem with that.

I make myself look like a crank? I’m more than halfway there by trying to apply mathematics to theology to begin with, so you’d avoid as many such signals as possible? Care to check the forum rules again? Are you pissed that I’m not sleeping with you, or something? My understanding of mathematics (which I freely admit–and have done so–is not complete) is that it is one of the more logically rigorous disciplines. If theology could stand up to any test, it should be mathematical. That is my opinion, and again I’m not trying to start a church, nor asking anyone to follow me.

Well, then they would be wrong in doing so. If the definition of God is: That which must exist in order for anything else to exist, then calling me out on the definition would indicate a misunderstanding of that definition. What’s my proof that this is the correct definition? Again, I don’t have any. That’s simply what I was taught to believe the word “God” meant.

I’m not claiming that ALL things exist in dichotomy, because that seems clearly false to me. That (AUGH! Capital letter!) Dichotmy itself (as a concept) exists seems clear. It is the most fundamental manifestation of plurality in general, and therefore must exist as a prerequisite to trichotomies, or any other higher -otomies.

Nope, not claiming anything of the sort, so you see how ludicrous the condemnation of that sort of reasoning very quickly becomes. :wink:

Look, I’m not sure why or how I’m pissing you off so bad. I am not advancing a theology, I am not reinventing mathematics, I am not trying to pull an Time Cube on anyone. I was just thinking, and was missing some details of set theory since I haven’t really studied it for close to a quarter-century. If you find it so irritating, I don’t understand why you keep posting. But I would ask that if you do keep posting (and I appreciate the knowledge you’ve contributed), you might scale back the derision.

Please.

Thank you.

Well, the thing is that mathematics doesn’t really exist in the real world. It can only be used to prove things in an idealized world, under specific axioms. Of course, applied mathematics exist (this is what I do), but what they give you is an approximation to the real solution, which is usually good enough when you’re working with, for example, engineering problems. You will have trouble trying to apply mathematics to theology. I don’t think Mathochist is angry with you or anything. He’s just trying to make you realize that what you’re trying to do will in all probability not work, and does, in some ways, look like the work of a crank. I’m not saying this to insult you. It’s just that to me, what you’re doing is pretty similar to “applying” laws of modern physics to social sciences. Which doesn’t work and is pseudoscientific.

I won’t try to criticise your arguments since I know next to nothing about philosophy and theology. I’ll just say that I had trouble following them, and that, as Mathochist said, they’re based on axioms that many people would disagree with. I wish you good luck.

I understand this, and have no problem accepting it.

Well, that might be part of the problem: I wasn’t really trying to do anything. It was just a thought experiment, and required a few details of set theory which I hadn’t studied for a quarter-century. That was really all it was. So I was kind of bewildered as to why his responses were (at least to me) over the top and unduly antagonistic. I’m not out to take offence unless it’s vehemently intended. It just started to seem as if he was trying to pick a fight. If he misinterpreted my intent, and lost patience with it, that might explain why he felt entitled to be a bit testy.
But he DID misinterpret my intent. That’s what baffled me.

Of course, I would certainly apologise for not being clear; but the point of my original thread was not to propose a thesis, but to garner facts to determine the legitimacy of a(n) hypothesis.

If you wish me to clarify my point of view further (which I am personally not thoroughly convinced of any longer), I would be happy to. Otherwise, I at least appreciate your good wishes.

The problem is that you know a number of mathematical “words”, but your notion of mathematical “grammar” – not to mention “literature” – is very shaky. There simply isn’t a mathematical test for theology. There isn’t even a consensus on to what extent mathematics describes the real world or not.

You can’t just throw around a bunch of math words, plug in “God” here and “Satan” there and call it a proof. It doesn’t work like that. You can go ahead and play around all you want, but please don’t go thinking it’s mathematical.

And again, this highlights your lack of understanding of what mathematics is. If you base everything on this premise, the best you can say is either “If this premise is true, God exists” or “If this premise is true, God doesn’t exist”. If you want a proof, you need to make no choices.

So why does the something/nothing dichotomy imply that God has a dichotomous counterpart? You just used the mere existence of the something/nothing dichotomy as proof of the God/Satan dichotomy, which doesn’t follow at all unless you’re asserting universality.

Maybe not “trying”…

I keep posting because your assertions are shot through with imprecisions and fallacies, and you seem to need someone to remind you how to make a coherent, logical argument

Sir, (a + b[sup]n[/sup])/n = x; hence God exists; reply!

There! Ran circles 'round you logically!

No, the problem seems to be that you don’t get the fact that I simply was hazy on a few details of set theory (which I haven’t studied for 25 years–oh, and excuse the hell out of me for that). I have never claimed (nor do I believe) there is a mathematical test for theology, so your criticism is once again unjustified. I have asked you to drop the antagonism, but evidently you don’t intend to.

Haven’t, and am not. Nowhere have I called ANYTHING a proof. Are you trying to drag this into the Pit?

Good lord, this doesn’t even merit a response (but I don’t want you to feel ignored).

Okay, I’m going to try one more time here.

First, I didn’t use ANYTHING as a proof of ANYTHING. Insofar as “asserting universality,” that was kind of what those pesky capital letters were for.

Okay, you ARE trying to drag this into the Pit.

*::bangs head on desk::*I am NOT TRYING TO MAKE ANY ARGUMENT AT ALL!!! Jesus Christ, what is wrong with your brain???

Mods: do what you want with this. The GQ was asked and answered. I don’t have the patience for this shit.