PHIL 214/A (Fall 2025): DEDUCTIVE LOGIC