I’d appreciate any suggestions of cool philosophical arguments or puzzles that exemplify (or lend themselves to the exemplification of) key concepts of the sentential calculus.
I find it’s much easier to come up with this sort of thing for the predicate calculus. For example, discussions of Anselm’s ontological argument for the existence of God or Descartes’s argument for substance dualism (or the Heideggarian suggestion that nothing noths) are fun to discuss with students who can handle symbolizations with quantifiers and predicates. But I’m sniffing around for fun things of philosophical applicability to do with students who are just learning to toss around the dots, vels, tildes, and horseshoes.
Thanks in advance!