# How do I prove this argument valid?

1. Philosophy Forum
2. » Logic
3. » How do I prove this argument valid?

Thu 17 Jul, 2008 03:06 pm
How do I prove this argument valid using reductio ad absurdum and disjunction elimination?

"I am a Christian iff I have Jesus as my Savior. I have Jesus as my Savior. Therefore, I am a Christian."

1. C<->J
2. J
3. :.C

Thanks!

boagie

Thu 17 Jul, 2008 03:13 pm
@Protoman2050,
Hi Protoman,

I am not really into syllogisms but I believe this one is circular, actually as near as I can understand it, its solid, but circular arguments are apparently a no no. We have some gifted people here in the realm of logic I am sure they will show you the error of your ways. Good luck!!

Protoman2050

Thu 17 Jul, 2008 03:53 pm
@boagie,
boagie wrote:
Hi Protoman,

I am not really into syllogisms but I believe this one is circular, actually as near as I can understand it, its solid, but circular arguments are apparently a no no. We have some gifted people here in the realm of logic I am sure they will show you the error of your ways. Good luck!!

Circular? How? Biconditionals express equivalence, and they have rules of inference. As you said, I'll wait for a logician to get to this thread.

boagie

Thu 17 Jul, 2008 07:17 pm
@Protoman2050,

In circular reasoning, "The definition comes first and then the supposed proof is based on that definition. This is proving something (at the end) by making logical deductions from premises that themselves contain the conclusion. Looping from the end to the beginning that way is called circular reasoning. Circular reasoning often sounds right, but it is invalid nonetheless. ... It is often hard to recognize reasoning as circular because the steps between the first and last may be many." {Logic and Literary Argument by Eric Rabkin}

VideCorSpoon

Thu 17 Jul, 2008 10:46 pm
@boagie,

Gotta love Modus Ponens! Hope this helps.

Protoman2050

Fri 18 Jul, 2008 02:11 am
@VideCorSpoon,
VideCorSpoon wrote:

Gotta love Modus Ponens! Hope this helps.

That's so cool! But I'd love to see the RAA proof...that'd look interesting --I have no problem in denying my faith if it's in the course of a logical proof to prove said faith--, in both propositional form and plain English. As well as the RAA proof of this:

1. God is either unity or triune
2. If God was unity, He could not know Himself
3. God can know Himself
4. Therefore, He must be triune

Thanks!

Alan McDougall

Thu 22 Jan, 2009 10:40 pm
@Protoman2050,
Protoman

Quote:

"I am a Christian iff I have Jesus as my Savior. I have Jesus as my Savior. Therefore, I am a Christian."

1. C<->J
2. J
3. :.C

Thanks!

Remove the irrelevant term Christian and you are left with what saves you. The Person Jesus

hammersklavier

Fri 23 Jan, 2009 08:18 am
@Alan McDougall,
I think the argument is syllogistically stronger if you replace have with accept. The formal proof, however, ought to remain the same.

VideCorSpoon

Fri 23 Jan, 2009 08:39 am
@hammersklavier,
Alan McDougall,

You separate the two terms "Christian" and "Jesus" from one another? Etymologically, they are essentially the same thing, just called by different names. Christ is the English translation of the Latin Christus (greek khristosIesous translated from the Aramaic Yeshua (Jeshua).

Conceptually, I would think even by the same token you could not separate the two terms.

hammersklavier

Fri 23 Jan, 2009 01:50 pm
@VideCorSpoon,
Vide, according to your etymology, Joshua is a derivative of Yeshua. I usually hear messiah is the Aramaic for Greek khristos, that is, 'anointed one.' But since Christianity refers explicitly to Jesus' traditional name, acceptance of Christianity requires acceptance of Jesus (as the Son of God) and vice versa; other religions get around this problem by positing that Jesus was a spiritually superior person--prophet, avatar, bodhisattva--in whatever belief system said faith draws upon (although not the Son of God {but his divinity is theoretically accepted in Hinduism}).

kennethamy

Fri 23 Jan, 2009 02:46 pm
@VideCorSpoon,
VideCorSpoon wrote:

But Boagie makes a good point. Bi-Conditionals could be considered a tautologies if we examine them a bit closer.

He does? Why?

1. Not all bi-conditionals are tautologies no matter how closely we examine them. For example, Obama is president iff Obama is commander in chief of the armed forces of the United States is a true bi-conditional, but it is not a tautology.

2.And, tautologies are not circular. Tautologies are propositions. Arguments are circular. No tautology is an argument. Therefore, no tautology is circular.

3. And even if he knew what he was talking about, what would that have to do with the question?

Alan McDougall

Fri 23 Jan, 2009 03:54 pm
@hammersklavier,
VideCorSpoon

Quote:
You separate the two terms "Christian" and "Jesus" from one another? Etymologically, they are essentially the same thing, just called by different names. Christ is the English translation of the Latin Christus (greek khristosIesous translated from the Aramaic Yeshua (Jeshua).

I am familiar with Greek and Hebrew but make no claim of being an expert in the ancient forms of those languages

A Christian is a follower of Christ. Christ means Anointed One. The word Christianity is not synonymous with Christ. The name Jesus is also synonymous with Joshua.

Christianity is a religion and Christ is a person , the "Son of the Living God"

It is Christ Jesus that saves you, the person of Jesus not a religious way.

Jesus said I am the way the truth and the life. Note not his words but his person is the way to God. The I AM statement by Jesus reveals the truth about him , he is God clothed in a mortal body.

Messiah Messiah the anointed expected one of Judaism is not a saviour but a mighty warrior king.

Of course Jesus is the mighty worrier king of the gentiles as well as the Jews they just do not know it yet

Alan McDougall

Fri 23 Jan, 2009 04:16 pm
@Alan McDougall,
Oh!! the language of logic

For those who might not be informed

Tautologies

A truth table column which consists entirely of T's indicates a situation where the proposition is true no matter whether the individual propositions of which it is composed are true or false. The most simple example would be (p

T F T
F T T

A proposition which is true independently of the truth or falsity of the atomic propositions from which it is composed is known as a tautology.

Similarly, a proposition which is false independently of the truth or falsity of the atomic propositions from which it is composed is known as a contradiction.

The simplest example of this would be (p

T F F
F T F
[CENTER]Biconditional Statement
An "If-Then" Statement that is true in both directions.
Sample conditional statement: p q. This is read If p, then q AND If q then p. The biconditional statement is only true when both p and q have the same truth values.[/CENTER]

[CENTER][CENTER][/CENTER]

[CENTER][/CENTER]
[/CENTER]

Fido

Fri 23 Jan, 2009 04:26 pm
@Protoman2050,
Protoman2050 wrote:
How do I prove this argument valid using reductio ad absurdum and disjunction elimination?

"I am a Christian iff I have Jesus as my Savior. I have Jesus as my Savior. Therefore, I am a Christian."

1. C<->J
2. J
3. :.C

Thanks!

Isn't there a problem with your major premise??? There is no generally accepted definition of a Christian so you need more than your own beliefs to define Christianity..And sometimes it is possible to believe Jesus came to save the world, and not alone Christians...

VideCorSpoon

Fri 23 Jan, 2009 05:06 pm
@Fido,
Hammersklavier,

I agree with what you say on etymological translations. Incidently, you may like this website Online Etymology DictionaryEthicsKennethamy,

Why not?

To address your first point, a tautology is P may replace or be replaced by PvP or P&P. This is logically bi-equivalent in translation. In bi-conditionals, they can (and notice I italicize "can" because I was highlighting how it "could" be seen as such if we "examine it a bit closer") be seen as tautologies because both replacement rules adhere to logical equivalence. Equivalence in so many words in the world of propositional logic states that two statements are equivalent if and only if they imply each other. The connective in each replacement rule implies equivalence which is shared between these two rules. If you do examine them, it can be seen. It all depends on how familiar you are with propositional logic and how far you can see the similarity. The bi-conditional you gave about Obama is for all intensive purposes a bi-conditional, but it canAlan McDougall,Fido,

In the realm of propositional logic, the sky can be green and unicorns could roam the earth devouring small kittens. "Christian" is Protoman's unique variable independent of what we may think.

Didymos Thomas

Fri 23 Jan, 2009 07:02 pm
@hammersklavier,
hammersklavier wrote:
{but his divinity is theoretically accepted in Hinduism}).

In Buddhism, too. He is thought of as a Bodhisattva.

Alan McDougall

Fri 23 Jan, 2009 07:34 pm
@Didymos Thomas,
Let me try another approach

There is a room with two doors the one leads to death the other to freedom. The prisoner does not know which door leads to which destiny/

There are two wardens in the room with him. He is allowed only one question.

One warden is a liar the other truthful he does not know which

He is allowed only one question.

So he points to any one of the doors (The wrong one) and selects any warden at random and asks them a question.

Is the door I am pointing at the the door that leads to life.

If the answer is yes, he walks through the other door.

A negation lie cancels out truth

T F T
T T F

Or wrong =right

?

kennethamy

Fri 23 Jan, 2009 07:39 pm
@Alan McDougall,
Alan McDougall wrote:
Let me try another approach

There is a room with two doors the one leads to death the other to freedom. The prisoner does not know which door leads to which destiny/

There are two wardens in the room with him. He is allowed only one question.

One warden is a liar the other truthful he does not know which

He is allowed only one question.

So he points to any one of the doors (The wrong one) and selects any warden at random and asks them a question.

Is the door I am pointing at the the door that leads to life.

If the answer is yes, he walks through the other door.

A negation lie cancels out truth

T F T
T T F

Or wrong =right

?

I will try to take care. But, after your post, I may not be able to do so.

Alan McDougall

Fri 23 Jan, 2009 08:10 pm
@kennethamy,
kennethamy

Quote:

I will try to take care. But, after your post, I may not be able to do so.

Pray dear fellow why?:perplexed: :perplexed: :perplexed:

Christ = truth

Deceiver = lie

I should have stated that he (the prisoner) knew one warden was a liar

AND I SHOULD HAVE SAID IF THE PRISONER ASKES ANY WARDEN "WHAT WOULD THE OTHER WARDEN SAY IF THIS DOOR I AM POINTING AT IS THE ONE THAT LEADS TO LIFE?"

THE ANSWER IS ALWAYS THE OPPOSITE TO THE TRUTH DUE TO THE LIAR

If both warden were truthful, he does not know this

The prisoner points at one door and says Is the door I am pointing at the right one??

Answer yes The prisoner asked a truthful question to a truthful warden and got a truthful answer

T T T
T

If there is a lying warden then

He asks a truthful question to the liar who lies = F or

HE asks a truthful question to a truthful warden who gives him a false answer due to the liars influence

T T F
F

:perplexed:

T F T
T F

hammersklavier

Sat 24 Jan, 2009 11:38 am
@Protoman2050,
Vide, Alan, et al: My point was to say that in the Christian Weltanschauung (which Calvin incidentally misspelled viz my avatar) the act of accepting Christ is what makes one a Christian. I think. Therefore, by saying (and truly believing, of course) "Jesus Christ died for my sins," one is inherently Christian.

This argument rests on whether one buys into the Christian mindset.

1. Philosophy Forum
2. » Logic
3. » How do I prove this argument valid?