Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.
bentrem
Russell observes that "the process of the inference cannot be reduced to symbols. Its sole record is the occurrence of ⊦q [the consequent] . . . an inference is the dropping of a true premise; it is the dissolution of an implication".
I would really like to have someone unpack this for me.
Modus ponens - Wikipedia, the free encyclopedia

Don't be the product, buy the product!

Schweinderl