Re: If-then in Logic vs Programming
From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 03/20/05
- Next message: David C. Ullrich: "Re: Some Simple Questions"
- Previous message: guenther.vonKnakspott_at_gmx.de: "Re: Some Simple Questions"
- In reply to: R-matrix: "Re: If-then in Logic vs Programming"
- Next in thread: David C. Ullrich: "Re: If-then in Logic vs Programming"
- Messages sorted by: [ date ] [ thread ]
Date: Sun, 20 Mar 2005 08:19:50 -0600
On Sat, 19 Mar 2005 11:24:24 -0500, R-matrix <random@matrix.mx> wrote:
>David C. Ullrich <ullrich@math.okstate.edu> wrote:
>
>>On Fri, 18 Mar 2005 12:49:55 -0500, R-matrix <random@matrix.mx> wrote:
>>
>>>David C. Ullrich <ullrich@math.okstate.edu> wrote:
>>>
>>>>> But it's academic since it seems that George and Acme have both
>>>>>shown, contrary to your assertions, that the if-then of classic logic
>>>>>still exists in programming:
>>>>
>>>>This is ridiculous. I didn't say that that logic did not exist.
>>>
>>>
>>> Really?! My initial post argued that that logic did not exist in
>>>programming and your reply to it was: "Of course 'if-then' in logic
>>>and programming are different - they're much more different than this
>>>description would seem to indicate!"
>>
>>Yes, I said that. How you get from there to concluding that I said
>>that logic doesn't exist in programming is beyond me.
>
>
> I'm not saying that you said logic does not exist in programming.
Uh, right.
>What I'm doing is asking you to explain why the truth conditions of
>the if-then of classic logic and of programming seem to you to be
>different. After I argued that they were different, you replied:
>
>"Of course 'if-then' in logic and programming are different - they're
>much more different than this description would seem to indicate!"
>
>But according to Larry (Acme), in programming "the truth condition of
>the 'IF...THEN...' statement is preserved." So, if that is the case,
>in what way is there a meaningful difference between the if-then of
>classic logic and the if-then of programming?
I give up. If you were actually interested in getting straight
what you were confused about all this would have ended long
ago - you've been given perfectly clear explanations, including
one from me. Here where you cite Acme as contradicting me
_again_, after he's _explicitly_ told you that no, the things
he said did not contradict what I'd said previously, it
becomes clear that you're not interested in getting things
straight, you're desperate to prove you were right and/or
that someone else was wrong about something.
Have fun playing with yourself.
************************
David C. Ullrich
- Next message: David C. Ullrich: "Re: Some Simple Questions"
- Previous message: guenther.vonKnakspott_at_gmx.de: "Re: Some Simple Questions"
- In reply to: R-matrix: "Re: If-then in Logic vs Programming"
- Next in thread: David C. Ullrich: "Re: If-then in Logic vs Programming"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
