Symbolic Logic (1897)
gutenberg.org
Symbolic Logic (1897)
1–10 of 28 posts
Re: Symbolic Logic (1897)
#2On a tangent: http://us.metamath.org/ does the same thing but with theorems logic
Re: Symbolic Logic (1897)
#3Yes, this is That Lewis Carroll
Re: Symbolic Logic (1897)
#4Re: Symbolic Logic (1897)
#5I'm currently reading up on formal logic in order to fully understand Probability Theory by E. T. Jaynes [1] and I've found it difficult to find a good logic book. There's a thousand on Amazon and it's hard to tell which ones are written a century ago w/ re-released dates with old notation or missing some new ideas. An "original publishing" data feature on Amazon would be a godsend.
I've seen a few well reviewed Symbolic logic books but not sure if that fits the criteria. Mostly digging into boolean algebra atm.
[1] https://www.amazon.com/Probability-Theory-Science-T-Jaynes/d...
Re: Symbolic Logic (1897)
#6Joyce's "Principles of Logic"[0] is also worth a read in this vein. Also, Fred Sommers and George Englebretsen have done some interesting work with an updated version of term logic called term functor logic.
Re: Symbolic Logic (1897)
#7I'm currently reading up on formal logic in order to fully understand Probability Theory by E. T. Jaynes [1] and I've found it difficult to find a good logic book. There's a thousand on Amazon and it's hard to tell which ones are written a century ago w/ re-released dates with old notation or missing some new ideas. An "original publishing" data feature on Amazon would be a godsend. I've seen a few well reviewed Symb…
Re: Symbolic Logic (1897)
#8What a glorious conclusion to the introduction:
"Mental recreation is a thing that we all of us need for our mental health; and you may get much healthy enjoyment, no doubt, from Games, such as Back-gammon, Chess, and the new Game “Halma”. But, after all, when you have made yourself a first-rate player at any one of these Games, you have nothing real to show for it, as a result! You enjoyed the Game, and the victory, no doubt, at the time: but you have no result that you can treasure up and get real good out of. And, all the while, you have been leaving unexplored a perfect mine of wealth. Once master the machinery of Symbolic Logic, and you have a mental occupation always at hand, of absorbing interest, and one that will be of real use to you in any subject you may take up. It will give you clearness of thought——the ability to see your way through a puzzle——the habit of arranging your ideas in an orderly and get-at-able form——and, more valuable than all, the power to detect fallacies, and to tear to pieces the flimsy illogical arguments, which you will so continually encounter in books, in newspapers, in speeches, and even in sermons, and which so easily delude those who have never taken the trouble to master this fascinating Art. Try it. That is all I ask of you!"
Re: Symbolic Logic (1897)
#9Here's an interactive website for trying the system out https://lewiscarrollresources.net/gameoflogic/demonstrator.h...
Does anyone know if this graphical reasoning system something Lewis Carroll invented himself?
It looks like he also wrote a sequel book, about how to turn the system into a game: https://archive.org/details/gameoflogic00carruoft/page/28/mo...
Unfortunately it hasn't been digitised as well as OP
Re: Symbolic Logic (1897)
#10I read this when I was a kid. In addition to presenting logic, it's also a delightful read, because Carroll's examples are hilariously sarcastic.