@GrumplessGrinch @cwage > confused, but I think the phrase “Aristotelian logic” was what tripped him up. https://en.wikipedia.org/wiki/Term_logic
@GrumplessGrinch @cwage You are probably implicitly quantifying over the network; which works fine some of the time.
-
-
@Meaningness@cwage The nodes in the network aren't themselves propositions in PT. -
@GrumplessGrinch@cwage Right; they are atomic. Extra-theoretically, you apply the model to the world by instantiating.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.