# Re: Leibniz Semantics

From: rwas rwas <mc68332.domain.name.hidden>
Date: Wed, 28 Mar 2001 18:00:39 -0800 (PST)

I guess this kinda stuff confuses me because of the
assumptions.

> Now let us consider whether her father is telling
> the truth. Suppose
> Sally is good and he does take her. In this case
> his statement is true.

Are we using symbology to analyze someone's statement?

In boolean algebra, we don't care what the values are.
We use symbology to define the behavior of a system
described with a boolean algebra statement.

Here it appears we are implying:

1. That there is a statement.

2. That there is an expression.

3. That the <IF> statement attempts to formalize
the relationship between a statement and an
expression and express them with a second
statement.

This is much different from the use of logic to define
a logic circuit. The final expression is the result of
an input expression and a statement (algebraic
formula), resulting in an output statement.

My biggest problem in understanding this kind of
language or dialog is the difference I just described.

Robert Wasierski

> are good." This means that if she is good, he will
> take her, but if
> she is bad, he will not take her. The truth table
> is:
>
> AB:C
> 11 1
> 10 0
> 01 0
> 00 1
>
> And we see that C is true when A and B have the same
> value.
>
> Sometimes when we use "if" in common language we
> really mean "if and
> only if", other times we mean the weaker "if" used
> in symbolic logic.
> For the weaker "if", the statement is automatically
> true any time the
> antecedant (the A above) is false.
>
> Hal
>

__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail.
http://personal.mail.yahoo.com/?.refer=text
Received on Wed Mar 28 2001 - 18:03:29 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST