PHIL 350: Logic and Its Applications