[HN Gopher] Symbolic Logic (1897)
___________________________________________________________________
Symbolic Logic (1897)
Author : kritixilithos
Score : 74 points
Date : 2020-05-29 10:58 UTC (12 hours ago)
(HTM) web link (www.gutenberg.org)
(TXT) w3m dump (www.gutenberg.org)
| dmix wrote:
| I'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...
| nmadden wrote:
| https://www.logicmatters.net/tyl/
| lihaciudaniel wrote:
| On a tangent: http://us.metamath.org/ does the same thing but
| with theorems logic
| mitchtbaum wrote:
| http://finitegeometry.org/sc/16/logic.html
|
| https://en.wikipedia.org/wiki/Charles_Howard_Hinton
|
| https://en.wikisource.org/wiki/Author:Charles_Howard_Hinton
| danielam wrote:
| Joyce'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.
|
| [0] https://archive.org/details/principleslogic00joycuoft
| Gormisdomai wrote:
| Here'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
| kristopolous wrote:
| Yes, this is That Lewis Carroll
| bdefore wrote:
| What 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!"
___________________________________________________________________
(page generated 2020-05-29 23:00 UTC)