Philosophy of Logic Seminar 2025-2