Re: syllogism

From: Wolf Kirchmeir (wwolfkir_at_sympatico.ca)
Date: 10/01/04 

Date: Fri, 01 Oct 2004 10:04:36 -0400

patty wrote:

[...]
> <http://icyberspace.net/patty/diagrams/logic-laws.jpg>
>
> patty

The diagram is a version of the standard definition of logical
equality/identity. Looks good.

BTW, if Fa symbolises "some statement about a" as in "skinny woman, big
man", then Fa, Fb assert something about a,b and the class F. So Fa ==
Fb asserts that a, b are both members of F, not that they are identical.
Insofar as they are both members of F, it doesn't matter which is
referred to when asserting statements about F, and in that sense the two
statements are logically equivalent. But some statements about a will be
true about b also, and some won't; and vice versa.

One has to be quite persnickety sometimes.

Relevant Pages

  • Re: I thought this group was about Mystery books & films
    ... I also have been on Dorothy-L - tend to skim there because the majority of book discussion seems to be by authors about their own books, or by members talking about other members' books, so it's all a bit incestuous - but am very involved in the Yahoo group 4_mystery_addicts which has rules, but they are gently enforced. ... I'm one of the moderators there.) ... Sounds draconian, but if you want to talk about mysteries, that's a good place to do it, with three organized book discussions a month and two regular opportunities to share what you've been reading every month. ... Patty might want to take a look at mysterynet - http://www.mysterynet.com/ - it is moderated but not heavy handedly, they also have a social lounge where members can talk about anything they like. ...
    (rec.arts.mystery)
  • Re: everything is a difference
    ... >> Define differences in the usual manner. ... >> Consequently the members of Q are differences and hence members of P. ... The relational operator on P and Q would be a difference, ... Incidentally patty sees no reason that a "relational operator" could not ...
    (sci.logic)
  • Re: everything is a difference
    ... remaining vague. ... this is play of words. ... > Consequently the members of Q are differences and hence members of P. ...
    (sci.logic)
  • everything is a difference
    ... differences in the usual manner. ... P is the universal class if everything is a member of P. ... Consequently the members of Q are differences and hence members of P. ...
    (sci.logic)