PHILO 311 — Philosophy of Logic