The Roles of Logic and Science in Questions of Theology

The upper-crust forum for scholarly, polite, and respectful discussions only. Heavily moderated. Rated G.
Post Reply
_marg

Re: The Roles of Logic and Science in Questions of Theology

Post by _marg »

Calculus Crusader wrote:
. Gödel defines a God-like being, sets forth some axioms, then proceeds to prove such a being exists.


What definition does Godel give for this "god-like being"?

What axioms are assumed?

Does this "logic" arrive at a conclusive conclusion or a probability?

Does the conclusion conclude that a God exists as an actual entity, by actual I mean a thing which exists in reality.
_Calculus Crusader
_Emeritus
Posts: 1495
Joined: Sun Jan 28, 2007 5:52 am

Re: The Roles of Logic and Science in Questions of Theology

Post by _Calculus Crusader »

marg wrote:What definition does Godel give for this "god-like being"?

What axioms are assumed?

Does this "logic" arrive at a conclusive conclusion or a probability?

Does the conclusion conclude that a God exists as an actual entity, by actual I mean a thing which exists in reality.


From the link I provided:

    Definition 1: x is God-like iff x has as essential properties those and only those properties which are positive

    Definition 2: A is an essence of x iff for every property B, x has B necessarily iff A entails B

    Definition 3: x necessarily exists iff every essence of x is necessarily exemplified

    Axiom 1: If a property is positive, then its negation is not positive.

    Axiom 2: Any property entailed by — i.e., strictly implied by — a positive property is positive

    Axiom 3: The property of being God-like is positive

    Axiom 4: If a property is positive, then it is necessarily positive

    Axiom 5: Necessary existence is positive

    Axiom 6: For any property P, if P is positive, then being necessarily P is positive.

    Theorem 1: If a property is positive, then it is consistent, i.e., possibly exemplified.

    Corollary 1: The property of being God-like is consistent.

    Theorem 2: If something is God-like, then the property of being God-like is an essence of that thing.

    Theorem 3: Necessarily, the property of being God-like is exemplified.
Caeli enarrant gloriam Dei

(I lost access to my Milesius account, so I had to retrieve this one from the mothballs.)
_marg

Re: The Roles of Logic and Science in Questions of Theology

Post by _marg »

I'ts been a long day for me and I don't have a heck of a lot of time,tonight.

Could you please tell me what the conclusion is in layman terms. Is the conclusion conclusive or a probability.

And most of all please answer this question...does the conclusion conclude that a God exists given your layman terms, as an actual entity, by actual I mean a thing which exists in reality.
_The Nehor
_Emeritus
Posts: 11832
Joined: Mon Apr 30, 2007 2:05 am

Re: The Roles of Logic and Science in Questions of Theology

Post by _The Nehor »

Calculus Crusader wrote:
marg wrote:What definition does Godel give for this "god-like being"?

What axioms are assumed?

Does this "logic" arrive at a conclusive conclusion or a probability?

Does the conclusion conclude that a God exists as an actual entity, by actual I mean a thing which exists in reality.


From the link I provided:

    Definition 1: x is God-like iff x has as essential properties those and only those properties which are positive

    Definition 2: A is an essence of x iff for every property B, x has B necessarily iff A entails B

    Definition 3: x necessarily exists iff every essence of x is necessarily exemplified

    Axiom 1: If a property is positive, then its negation is not positive.

    Axiom 2: Any property entailed by — I.e., strictly implied by — a positive property is positive

    Axiom 3: The property of being God-like is positive

    Axiom 4: If a property is positive, then it is necessarily positive

    Axiom 5: Necessary existence is positive

    Axiom 6: For any property P, if P is positive, then being necessarily P is positive.

    Theorem 1: If a property is positive, then it is consistent, I.e., possibly exemplified.

    Corollary 1: The property of being God-like is consistent.

    Theorem 2: If something is God-like, then the property of being God-like is an essence of that thing.

    Theorem 3: Necessarily, the property of being God-like is exemplified.


The Gift of Tongues?!?!?!?!!?!? Who shall step forward and interpret. I think the answer is 5, but I got lost partway through.
"Surely he knows that DCP, The Nehor, Lamanite, and other key apologists..." -Scratch clarifying my status in apologetics
"I admit it; I'm a petty, petty man." -Some Schmo
_Livingstone22
_Emeritus
Posts: 117
Joined: Fri Jun 15, 2007 3:05 am

Re: The Roles of Logic and Science in Questions of Theology

Post by _Livingstone22 »

JAK wrote:
Livingstone22 wrote:
JAK wrote:
There is a kind of logic in that. Of course it’s flawed in that the various assumptions made prior to the because statement were not logical. They were not derived from observation of evidence.

The various God claims were not made from rational exploration (logical study) of anything. Rather, they were invented. So causal links in theology are flawed in that they come from assertions which are not established.

When someone argues that logic is essential to theology, they short-circuit the logical process which we use in analysis and study today.

Yes, one can argue that logic is essential to theology.

However, if we press those who argue that, soon we find they are making claims which were not arrived at by rational investigation.

Many places in religion, theologians argue because for something.

Only if theologians are permitted all the claims and assumptions they want can they say they use logic.

Sorry you don’t have time to discuss presently, but it’s quite understandable.

JAK


Perhaps you misunderstand what logic really is. Logic doesn't come from observations or even true premises--a statement can be logically valid and have false premises. If the premises are true, and the argument is logically valid, the conclusion has also to be true. If the premises are false, and the argument is logically valid, then the conclusion is probably also false. If the premises are true, and the argument is not logically valid, then the conclusion may or may not be true--but by no virtue of the argumantal structure....the same if the premises are false and the argument is not logically valid. A logically valid argument is one that convinces people of the truth of a conclusion based on their accepted premises--but that doesn't have any bearing on what is actually true. A good argument, on the other hand, does have true premises (and is logically valid) and therefore necessarily leads to a true conclusion.

"Rational investigations," on the other hand, you may have a point about.


Logic does not begin with the syllogism.

A faulty major premise contaminates logic. A “valid form” does not make for a reliable conclusion.

Example:

All women are stupid.
marg is a woman.
marg is stupid

The “valid form” does not make for a logically sound argument.

It is not established that All women are stupid.

Failure to establish the major premise makes anything which follows unreliable as my example illustrates.

Livingstone22 stated:
Logic doesn't come from observations or even true premises--a statement can be logically valid and have false premises.


Incorrect. You write as if logic (or logical thinking) begins with a major premise. Logic is comprehensive. Logic includes the inductive process which leads to a conclusion used as a major premise.

A major premise which is flawed or wrong was not constructed by use of logic.

Livingstone22 stated:
A logically valid argument is one that convinces people of the truth of a conclusion based on their accepted premises--but that doesn't have any bearing on what is actually true.


The statement is a very narrow application of “valid.” The most important part of your statement is the last: “but that doesn't have any bearing on what is actually true.”

Hence in totality, we don’t have logic by your own admission in this statement.

Livingstone22 stated:
A good argument, on the other hand, does have true premises (and is logically valid) and therefore necessarily leads to a true conclusion.


No parenthetical relevance here. “Good” is subjective more than is accurate, correct, or established through evidence.

Rational investigation begins at the start. It’s pajorative to suggest that logic begins with a {major premise}. And, it’s false.

It appears to me that you fail to appreciate what “logic” is as I have detailed here.

On a previous post of yours, you purport: “Gödel defines a God-like being, sets forth some axioms, then proceeds to prove such a being exists.”

The problem is a clear absence of objectivity.

“...such a being exists” is not established by Gödel.

Gödel “defines”
Gödel “sets forth some axioms”
Gödel “proceeds to prove such a being (God) exists”

No objective, transparent, peer reviewed, testing here by other philosophers.

No evidence has been established “to prove (God) exists.

It’s a word-game which you apparently fail to recoginze.

Livingstone22 stated:
I accept Gödel's Ontological Argument as valid and work from there.


Your acceptance is fallacious. The very entity to be established by proof is actually assumed. God this, God that -- If God this, then God that, etc. There is no genuine proof here. There is a single and biased source.

It argues God by default. That’s a fundamental flaw. And you accept it.

The problem is that the argument makes assumption. It assumes that it is possible for an omniscient rational individual to exist. That’s a leap to conclusion not established. It's assumed.

As you stated previously and I confirmed: Gödel “defines” God. His definition is not established in objective, logical fashion. To continue is pointless having failed objective, rational conclusion.

Gödel makes multiple assumptions which further errode his credibility with regard to proof for God.

His “if/then” construction is flawed as well.

To accept the ontological arguments of Gödel, requires an irrational leap. His ontological argument has often been said to ascertain God's existence by a philosophical sleight of hand or a ruse of words. Gödel’s arguments are flawed, if by nothing else, his assumptions absent evidence. The minutia of his arguments tends to be intimidating. In any case, they are not transparent and philosophers today do not accept (universally) his assumptions and application of those assumptions to agree with Gödel’s conclusion.

You are incorrect to: “accept Gödel's Ontological Argument as valid...”

JAK



I concede that logically sound arguments are not necessarily those ones that are just valid; also, I have failed to take into account abductive and inductive arguments in my explanation. I have failed to appreciate logic to the extent that you are presenting. Thank you for the clarification. I am presently taking a formal university logic class right now. It shall help me to better understand this topic.

However, you are addressing your comments to me in response to the post "Gödel defines a God-like being, sets forth some axioms, then proceeds to prove such a being exists." I did not post that; Calculus Crusader made that post. That must have been a mistake on your part. That being said, I am probably one here who is taking more of your side in the discussion. I, although a believer, do not find religious claims rationally evident or much meaningful in attempting to prove religious claims. Although the question "Does God exist?" is a fair one--because it does have an answer--I have to take the side of Antony Flew and A.J. Ayer that religious discourse is quite futile because of its falsification and evidential problems which, in turn, even make logical arguments based on shaky or no evidence quite impossible for us mortals to lay good claim. Just read the first two posts in which I tried to clarify my position.

I doubt logic, even if universal and based on true premises, can have a good say in the situation. For every "final refutation" paper that is written, there are endless other rebuttals to be had. It's like Cher's farewell tour.....it's never the end of the discussion.
_marg

Re: The Roles of Logic and Science in Questions of Theology

Post by _marg »

The Nehor wrote: The Gift of Tongues?!?!?!?!!?!? Who shall step forward and interpret. I think the answer is 5, but I got lost partway through.


This is my take. What Calculus is providing is a word game. He would like to give the impression that that word game links to the world we live in, in actuality. That it enables one to aprehend an entity called God.

So in this set up game, the word God is given a particular definition. The only thing I can make out by it, is that this God is defined as a positive. And then the game works backwords with assumptions to support the definition given.

So Calculus with the use of this game has not established any entity exists in actuality, in the world we experience, it only exists within a game.
_JAK
_Emeritus
Posts: 1593
Joined: Sun Jan 14, 2007 4:04 pm

Response to Livingstone 22, Post: Sun Aug 26, 2007 6:04 am

Post by _JAK »

Livingstone22 stated:
However, you are addressing your comments to me in response to the post "Gödel defines a God-like being, sets forth some axioms, then proceeds to prove such a being exists." I did not post that; Calculus Crusader made that post.


Yes and I apologize for the location and credit of post. This format is difficult unless one is able to post immediately following someone so that the sequence is timely.

I shall hope that C.Crusader is able to access my response but realize there is no certainty of that.

Livingstone22 stated:
Although the question "Does God exist?" is a fair one--because it does have an answer...


Please forgive my partial quotation of your complete text. (It’s in the interest of space with no intent to misrepresent.)

Your certainty that “it does have an answer” is open to challenge. It may. That’s different. Further, the answer is not as simple as yes or no. Virtually every claimant for God does not stop at that claim. The claimants make additional claims which purport to detail the character, the power, the presence, and the time-frame for their God claims. In claims by Christianity, there is wide disparity. Hence the 1,000 + denominations, sects, and cults of that religion.

No evidence for the gods in earlier times was reliable. No evidence for God in more recent times (several thousand years) is reliable. Claims lack evidence which is transparent. Vague and ambiguous claims fail any demonstrated evidence which can be skeptically reviewed or tested.

Claims absent evidence which is transparent and open to skeptical review should be rejected. Hence, I disagree with your position of being “a believer” in any religious myth.

Livingstone22 stated:
I doubt logic, even if universal and based on true premises, can have a good say in the situation. For every "final refutation" paper that is written, there are endless other rebuttals to be had. It's like Cher's farewell tour.....it's never the end of the discussion.


There are also bogus rebuttals. While I do not doubt transparent, and skeptically reviewed “logic,” I would recognize that much is yet to be learned. Historical review of discovery should strongly suggest that to us. We (collectively) build on what we have established logically, and we do that with accumulated evidence.

You suggest that we may revise conclusions. I do agree. However, that does not mean that we should “doubt logic.” Rather, we pursue information. We assemble it with logical appositeness and relevance.

It does mean that we should be open to research which produces additional information and contributes to collective knowledge.

When we find better ways to treat cancer, medical science will use those ways. Prior to the polio vaccine, there was no effective treatment. Prevention was the discovery which virtually eliminated that disease. It was rational. It was logical. And Jonas Salk made the break-through. It was rational. It was logical. And it was correct.

“Logic” is not analogous to “Cher’s farewell tour.”

JAK
_The Nehor
_Emeritus
Posts: 11832
Joined: Mon Apr 30, 2007 2:05 am

Re: The Roles of Logic and Science in Questions of Theology

Post by _The Nehor »

marg wrote:
The Nehor wrote: The Gift of Tongues?!?!?!?!!?!? Who shall step forward and interpret. I think the answer is 5, but I got lost partway through.


This is my take. What Calculus is providing is a word game. He would like to give the impression that that word game links to the world we live in, in actuality. That it enables one to aprehend an entity called God.

So in this set up game, the word God is given a particular definition. The only thing I can make out by it, is that this God is defined as a positive. And then the game works backwords with assumptions to support the definition given.

So Calculus with the use of this game has not established any entity exists in actuality, in the world we experience, it only exists within a game.


Establishing God requires digging into the human experience, not empirical data.
"Surely he knows that DCP, The Nehor, Lamanite, and other key apologists..." -Scratch clarifying my status in apologetics
"I admit it; I'm a petty, petty man." -Some Schmo
_JAK
_Emeritus
Posts: 1593
Joined: Sun Jan 14, 2007 4:04 pm

Calculus Crusader's Flawed View

Post by _JAK »

Calculus Crusader wrote:
marg wrote:What definition does Godel give for this "god-like being"?

What axioms are assumed?

Does this "logic" arrive at a conclusive conclusion or a probability?

Does the conclusion conclude that a God exists as an actual entity, by actual I mean a thing which exists in reality.


From the link I provided:

    Definition 1: x is God-like iff x has as essential properties those and only those properties which are positive

    Definition 2: A is an essence of x iff for every property B, x has B necessarily iff A entails B

    Definition 3: x necessarily exists iff every essence of x is necessarily exemplified

    Axiom 1: If a property is positive, then its negation is not positive.

    Axiom 2: Any property entailed by — I.e., strictly implied by — a positive property is positive

    Axiom 3: The property of being God-like is positive

    Axiom 4: If a property is positive, then it is necessarily positive

    Axiom 5: Necessary existence is positive

    Axiom 6: For any property P, if P is positive, then being necessarily P is positive.

    Theorem 1: If a property is positive, then it is consistent, I.e., possibly exemplified.

    Corollary 1: The property of being God-like is consistent.

    Theorem 2: If something is God-like, then the property of being God-like is an essence of that thing.

    Theorem 3: Necessarily, the property of being God-like is exemplified.


The link you (CC) provided is bogus.

It takes an IF statement and proceeds to assume the truth of that which has not been established.

On the other hand modal logic demonstrates its fatal flaw.

The most significant is that it makes assumptions for which no evidence is established. It also does not establish any God claim

In addition, it’s ambiguous.

Note:

“The idea was to distinguish two sorts of truth: necessary truth and mere contingent truth. A contingently true proposition is one which, though true, could be false.”

In CC’s link God-like is an assertion. It does not establish God as CC would like us to believe.

The construction is speculation.

Look at the first of the link which CC provided.

Find this statement at the beginning:

Ontological arguments are arguments, for the conclusion that God exists, from premises which are supposed to derive from some source other than observation of the world — e.g., from reason alone. In other words, ontological arguments are arguments from nothing but analytic, a priori and necessary premises to the conclusion that God exists.

See Here

What CC does is short-circuit the complete website taking us to only that which he wants us to see.

Observe the obvious assumptions in the opening statement from the beginning of the link.

Notice the second paragraph from the 11th. century A.D.

"The first, and best-known, ontological argument was proposed by St. Anselm of Canterbury in the 11th. century A.D. In his Proslogion, St. Anselm claims to derive the existence of God from the concept of a being than which no greater can be conceived." (The bold emphasis I added showing we have A CLAIM, not reason)

CC is deceptive and selective as he attempts to obfuscate the available analysis for his God proof. He has none. Careful reading of his own link demonstrates that as do the links which I provided.

JAK
_JAK
_Emeritus
Posts: 1593
Joined: Sun Jan 14, 2007 4:04 pm

Re: The Roles of Logic and Science in Questions of Theology

Post by _JAK »

marg wrote:I'ts been a long day for me and I don't have a heck of a lot of time,tonight.

Could you please tell me what the conclusion is in layman terms. Is the conclusion conclusive or a probability.

And most of all please answer this question...does the conclusion conclude that a God exists given your layman terms, as an actual entity, by actual I mean a thing which exists in reality.


marg,

See my responses currently on page 2. Some which were addressed to Livingstone 22 should have been addressed to Calculus Crusader. I apologize for the error (as I did to Livingstone 22).

At the heart of CC’s probem is that he fails to recognize assumptions for what they are. Since I cannot link you directly to the posts, you will have to scan for them.

marg stated:
Could you (CC) please tell me what the conclusion is in layman terms. Is the conclusion conclusive or a probability.

And most of all please answer this question...does the conclusion conclude that a God exists given your layman terms, as an actual entity, by actual I mean a thing which exists in reality.


Some of the points I made were these:

There is a kind of logic in that. Of course it’s flawed in that the various assumptions made prior to the because statement were not logical. They were not derived from observation of evidence.

The various God claims were not made from rational exploration (logical study) of anything. Rather, they were invented. So causal links in theology are flawed in that they come from assertions which are not established.

When someone argues that logic is essential to theology, they short-circuit the logical process which we use in analysis and study today.

Yes, one can argue that logic is essential to theology.

However, if we press those who argue that, soon we find they are making claims which were not arrived at by rational investigation.

Many places in religion, theologians argue because for something.

Only if theologians are permitted all the claims and assumptions they want can they say they use logic.

Sorry you (marg) don’t have time to discuss presently, but it’s quite understandable.
-----------------------------------------

Logic does not begin with the syllogism.

A faulty major premise contaminates logic. A “valid form” does not make for a reliable conclusion.

Example:

All women are stupid.
marg is a woman.
marg is stupid

The “valid form” does not make for a logically sound argument.

It is not established that All women are stupid.

Failure to establish the major premise makes anything which follows unreliable as my example illustrates.

Livingstone22 stated:
Logic doesn't come from observations or even true premises--a statement can be logically valid and have false premises.


Incorrect. You write as if logic (or logical thinking) begins with a major premise. Logic is comprehensive. Logic includes the inductive process which leads to a conclusion used as a major premise.

A major premise which is flawed or wrong was not constructed by use of logic.

Livingstone22 stated:
A logically valid argument is one that convinces people of the truth of a conclusion based on their accepted premises--but that doesn't have any bearing on what is actually true.


The statement is a very narrow application of “valid.” The most important part of your statement is the last: “but that doesn't have any bearing on what is actually true.”

Hence in totality, we don’t have logic by your own admission in this statement.

Livingstone22 stated:
A good argument, on the other hand, does have true premises (and is logically valid) and therefore necessarily leads to a true conclusion.


No parenthetical relevance here. “Good” is subjective more than is accurate, correct, or established through evidence.

Rational investigation begins at the start. It’s pajorative to suggest that logic begins with a {major premise}. And, it’s false.

It appears to me that you fail to appreciate what “logic” is as I have detailed here.

On a previous post of yours, you purport: “Gödel defines a God-like being, sets forth some axioms, then proceeds to prove such a being exists.”

The problem is a clear absence of objectivity.

“...such a being exists” is not established by Gödel.

Gödel “defines”
Gödel “sets forth some axioms”
Gödel “proceeds to prove such a being (God) exists”

No objective, transparent, peer reviewed, testing here by other philosophers.

No evidence has been established “to prove (God) exists.

It’s a word-game which you apparently fail to recoginze.

Livingstone22 stated:
I accept Gödel's Ontological Argument as valid and work from there.


Your acceptance is fallacious. The very entity to be established by proof is actually assumed. God this, God that -- If God this, then God that, etc. There is no genuine proof here. There is a single and biased source.

It argues God by default. That’s a fundamental flaw. And you accept it.

The problem is that the argument makes assumption. It assumes that it is possible for an omniscient rational individual to exist. That’s a leap to conclusion not established. It's assumed.

As you stated previously and I confirmed: Gödel “defines” God. His definition is not established in objective, logical fashion. To continue is pointless having failed objective, rational conclusion.

Gödel makes multiple assumptions which further errode his credibility with regard to proof for God.

His “if/then” construction is flawed as well.

To accept the ontological arguments of Gödel, requires an irrational leap. His ontological argument has often been said to ascertain God's existence by a philosophical sleight of hand or a ruse of words. Gödel’s arguments are flawed, if by nothing else, his assumptions absent evidence. The minutia of his arguments tends to be intimidating. In any case, they are not transparent and philosophers today do not accept (universally) his assumptions and application of those assumptions to agree with Gödel’s conclusion.

You are incorrect to: “accept Gödel's Ontological Argument as valid...”

JAK
Post Reply