PHIL 316/A (Winter 2024): INTERMEDIATE LOGIC