My brain temporarily read "Symbios Logic (1997)" and I got excited for a good story
Symbolic Logic (1897)
11–20 of 28 posts
Re: Symbolic Logic (1897)
#12What 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,…
Ah, Lewis Carroll. I see some of his works as a step in a long line of thought, from Renaissance philosophy, art and science. In particular, his approach to logic feels like a precursor and influence on books like Gödel, Escher, Bach.
The joy the author takes on conceptualization and mental operations, logic and computation; the willful use of the Imagination to explore and deepen understanding - there's irreverence, "just for fun", like a child working with the most fascinating toy of all - the mind - and at the same time, a respect and reverence to the profound insights, fruits of the work of play.
Re: Symbolic Logic (1897)
#13Gutenberg.org is just so unreadable. It’s a damn shame that the classics of the ages are hidden on a website no one would choose to read on. Why is there no Penguin Books for the web?
Re: Symbolic Logic (1897)
#14Gutenberg.org is just so unreadable. It’s a damn shame that the classics of the ages are hidden on a website no one would choose to read on. Why is there no Penguin Books for the web?
I think what you're looking for is Standard Ebooks: https://standardebooks.org/
They don't have Symbolic Logic, though.
Re: Symbolic Logic (1897)
#15I'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)
#16Gutenberg.org is just so unreadable. It’s a damn shame that the classics of the ages are hidden on a website no one would choose to read on. Why is there no Penguin Books for the web?
Mark 'em up to your liking (at least that's my interpretation of 1.E.6) https://www.gutenberg.org/wiki/Gutenberg:The_Project_Gutenbe...
Aloha
Re: Symbolic Logic (1897)
#17I'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…
I've used forall x (calgary remix), both the winter 2018 and the spring 2020 editions, and I found it quite good. It teaches truth functional and first order logic, and it's probably accessible to most high school graduates. I've seen it taught with good results to students of different academic backgrounds as a 'math' course for general education. I've linked it below and it's free (as in beer and as in freedom) so it's definitely worth glancing at, along with the rest of the open logic project.
Re: Symbolic Logic (1897)
#18Gutenberg.org is just so unreadable. It’s a damn shame that the classics of the ages are hidden on a website no one would choose to read on. Why is there no Penguin Books for the web?
Mark 'em up to your liking (at least that's my interpretation of 1.E.6) https://www.gutenberg.org/wiki/Gutenberg:The_Project_Gutenbe... Aloha
That licence only applies if you want to use the term “Project Gutenberg,” which is trademarked. As noted at the top of that page, the actual book text isn’t protected by copyright at all, and you can do anything you want with it,.
Re: Symbolic Logic (1897)
#19I'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…
As a mathematician, I find this surprising - formal logic and probability theory don't usually have much to do with each other. Is the issue that you have trouble with formal mathematical notation?
Re: Symbolic Logic (1897)
#20I'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…
I second the recommendation of checking the Teach Yourself Logic guides by Peter Smith, but I will give some more specific recommendations:
- Greg Restall - Logic (and he also gives some recommendations of his own that are worth checking out). If you use this, check the errata in Restall's website.
- Richard Jeffrey - Formal Logic: Its Scope and Limits (Smith has a textbook that is modelled largely after this, but Jeffrey's book is more to the point and fun to follow along)
- Daniel Velleman - How to Prove It, which has tons of good exercises for practicing symbolig logic in the context of the construction of proofs, and introduces some mathematics along the way.