logic
-
Enough LaTeX for basic logic typesetting
I’m currently taking a (meta)logic class. There are assigned problem sets. A lot of people either don’t know how to type logical symbols or else cannot be bothered to fight with Word. I’m a fan of LaTeX. I like it for several reasons, one of them being easy use of logical symbols. There are a… Continue reading
-
Quote of the Day 2016-12-06: Bertrand Russell
“By the law of excluded middle, either “A is B” or “A is not B ” must be true. Hence either “the present King of France is bald” or “the present King of France is not bald” must be true. Yet if we enumerated the things that are bald, and then the things that are… Continue reading
-
The Most Obnoxious Argument
I see this argument far too often, usually in a limited quantity of forms, but across a wide variety of topics. The argument goes: S entails x. x is good/bad. Therefore S is good/bad. S entails y. Therefore y is good/bad. The word “entails” might be better swapped out for “includes” or some other verb depending on what S is. Usually the… Continue reading
About Me
I write things, mostly about philosophy, psychology, and politics. I also make music and art.
nichiyes.com 