3 ms·
Graham Priest's Introduction to Non-Classical Logic https://www.cambridge.org/core/books/an-introduction-to-nonclassical-logic/61AD69C1D1B88006588B26C37F3A788E
by leoc 5y ago
Graham Priest's Introduction to Non-Classical Logic https://www.cambridge.org/core/books/an-introduction-to-nonclassical-logic/61AD69C1D1B88006588B26C37F3A788E https://www.cambridge.org/core/books/an-introduction-to-nonc... is so good and deserves to have a SICP-like fandom. But it's certainly going to talk to you in terms of proof, formality and so on.
- slibhb 5y agoAn excerpt: > 6.2.1 Let us start with a look at the original rationale for intuitionism. Consider the sentence ‘Granny had led a sedate life until she decided to start pushing crack on a small tropical island just south of the Equator.’ You can understand this, and indefinitely many other sentences that you have never (I presume) heard before. How is this possible?