[identity profile] x-mass.livejournal.com 2004-02-08 05:55 pm (UTC)(link)
er - what do the symbols mean ????

[identity profile] robinbloke.livejournal.com 2004-02-09 12:36 am (UTC)(link)
I'd like it more if I could remember anything from Set theory; damn it's been a while!
toothycat: (Default)

[personal profile] toothycat 2004-02-09 01:50 am (UTC)(link)
Uh.. but surely (B[ƒ]⇒¬D[ƒ])∧(D[ƒ]⇒¬B[ƒ]) ..?

Meeple

[identity profile] casby.livejournal.com 2004-02-09 04:52 am (UTC)(link)
The excluded middle-path? :) Law of the excluded agnostic?

Faiths are 'fuzzy' logic (to say the least). They're neither necesarily transitive nor intransitive, probably cos they are solely human (no empirical interference in *that* crazy world) so they can break whatever rules they like.

Aristotle teaching Logic:

A - So Jesus was a prophet?
Man - Yes.
A - And he said he was the son of God?
Man - Yes.
A - And prophets speak the infallible word of God?
Man - Er, yes?
A - So you have faith that he was the son of God?
Man - Er......no.
A - Okay, two plates of aporia to table five, please.



Casby the rusty logician

p.s. Is (not)B[f] equivalent to D[f]? (Like fun it is)



[identity profile] ashley-y.livejournal.com 2004-02-14 07:39 pm (UTC)(link)
f is a faith, which you've defined as a set of beliefs (subset of B), rather than a belief. What is your definition of "believe" for a set of beliefs?