site banner

Friday Fun Thread for August 4, 2023

Be advised: this thread is not for serious in-depth discussion of weighty topics (we have a link for that), this thread is not for anything Culture War related. This thread is for Fun. You got jokes? Share 'em. You got silly questions? Ask 'em.

3
Jump in the discussion.

No email address required.

Formal logic is... Boolean algebra. Most Electrical/Computer engineering students learn it in 2 weeks.

Mathematical logic is a pretty wide field of which boolean algebra is only a small part of the basics.

Yes, but a philosopher doesn’t need to know anything about model theory or large cardinals (unless they specifically specialize in the philosophy of modern mathematical logic). The only logic that most philosophers need is the very simple boolean algebra they teach you in CS 101.

And what percentage of that shows up in a philosophy course?

Not a lot (then again, it's such a huge field that only a small fraction shows up in a PhD in mathematical logic), but in all likelihood, more than just boolean algebra.

In addition to the propositional calculus (effectively a subset of boolean algebra and probably equivalent to the part you are expecting EE students to learn) I'd expect any advanced student in analytic philosophy to be familiar with the basics of first-order logic as well as modal logic (in fact most research in modal logic is done in philosophy departments because of how essential it is in quite a few areas -- c.f. Saul Kripke).