logician

Three logicians walk into a bar... Bartender: can I get you all a drink? 1st logician: maybe 2nd logician: maybe 3rd logician: yes

>"Girard is a logician and Lamping is an autodidactic engineer" Ouch! I can't believe that went to print.

The thing about Nietzsche is, he thought himself less a logician and more an artist. In other words, read him like literature and not like argumentation.

Something like the logician's definition of 'and', I suppose.

So be careful: epistemology can be a rabbit hole to the untrained logician.

From the standpoint of a logician, I disagree. Can faith be scientifically tested, proven, or known without doubt: no.

You've got to break the habits of being a rigid logician; it comes back to connecting disparate thoughts, ideas and knowledge domains in your head. This is imperative too.

They're the arguments of a firebrand or a demagogue---not a logician.

Nevertheless, Gladwell doesn't seem to claim to be a rigorous logician or scientist. He makes a "brand" out of his style of "food for thought" reasoning and the merits of his overall approach are certainly up for discussion.

Disclaimer: I'm not an epistemologist, nor a philosopher, nor an experienced logician. I may have misread this PDF and/or Randi's speech.

Yet, TLA is not just a logician’s toy; it is extremely powerful, both\nin principle and in practice. This report introduces TLA and describes how it is used to specify\nand verify concurrent algorithms.

Aquinas is hard to follow, imo he is a logician before a theologian and I know nothing of the first and very little of the second science. However I am very interested in the subject of his writing.

To put on my logician's hat for a second, the great grandparent said, "You can't teach a person to paint, or to write, because you can't teach them talent, the same is true with math." The unstated assumption in this sentence is that one must be talented at, say, writing in order to learn how to write.

A logician would invoke Beth's theorem on unions of theories and ignore a math professor's tawdry speculation on the circumstances of Turing's death.

Hayek was an amazing logician, but the application of his theories to the modern economy is unproductive. The questions that he asked have been answered by modern economics in the 50 years that have passed since he asked them.

Descartes was a logician. Bacon was an empiricist, Descarte a rationalist reasoning from first principles, beginning with "cogito ergo sum": I think, therefore I am.

However I was surprised to be made aware of the existence of a logician named Haskell Curry. The name struck me as the punchline to a joke only told and appreciated by the uber-nerds in the halls of elite university mathematics departments.

For those who who are curious, he's also a famous logician, mathematician and pacifist in addition to being a philosopher [1]. My first introduction to mathematical logic, set theory and axiomatics [2] was thru his work because he made everything so accessible as a writer and a thinker.

Year after Simula-67 was introduced, logician Hindley presented a polymorphic type system with type inference for lambda-calculus, which was later rediscovered by Milner and incorporated into ML in 1978. Simula-67 didn't have proper parametric polymorphism.

Mathematician, astronomer, chemist, geodesist, surveyor, cartographer, metrologist, spectroscopist, engineer, inventor; psychologist, philologist, lexicographer, historian of science, mathematical economist, lifelong student of medicine; book reviewer, dramatist, actor, short story writer; phenomenologist, semiotician, logician, rhetorician and metaphysician. He was, for a few examples, the first modern experimental psychologist in the Americas, the first metrologist to use a wave-length of light as a unit of measure, the inventor of the quincuncial projection of the sphere, the first known conceiver of the design and theory of an electric switching-circuit computer, and the founder of "the economy of research."