Students who have taken logic often have a clear sense of the kinds of things students taking logic are likely to find difficult. In addition, in attempting to explain such things to other students, students who have taken logic find their own understanding enhanced by the kind of work they need to do in order to explain it to others.

With this in mind, students in my Topics in Logic course are preparing brief explanatory essays on selected topics encountered in my Symbolic Logic course. So far, we have:

"Order and Ambiguity with Mixed Quantifiers in FOL," by Ken Hemba.

"The Barber Paradox," by Linda Shaver.

"Removing Some of the Mystery of the Material Conditional in Symbolic Logic," by James Johnson.

"Why Anything Follows from a contradiction…Explaining Contradiction Elimination," by Sara Bergene

"Understanding the Brilliance of Aristole…The Four Aristolelian Forms", by Sara Bergene

The Indiscernibility of Identicals, by Tariq Engineer

The Inclusive and Exclusive Sense of ‘Or’by Tariq Engineer

Ana Con: Analytic Truth Behind The Scenes, by Sam Garty

Atomic Sentences: The Building Blocks of FOL, by Sam Garty

Truth-Functionality of Boolean Connectives, by Gypsy Meltzer