PHIL 4515 — Advanced Deductive Logic
4 semester hours Undergraduate Lecture usually offered: fall typical days: T/F Boston Traditional
Examines central results of formal deductive logic with a focus on first-order (predicate) logic. Topics include proof systems, decidability, computability, and metatheory.
Prerequisites
Offering history Term Sections Enrolled Capacity Full Open seats/section Fall 2023 1 20 19 105% 0.0 Spring 2025 1 20 19 105% 0.0 Fall 2025 1 13 19 68% 6.0
Snapshots from scheduled scrapes — not live seat availability. "Full" can exceed 100% when sections over-enroll.
Meeting times
Share of recent sections by weekday: M 0% · T 100% · W 0% · Th 0% · F 100%
Common patterns: TF (100% of sections)
— in patterns, R means Thursday
Professors Fall Spring Percentages are each professor's average share of the season's enrolled students in recent terms.
Links Official catalog (PHIL course descriptions) · Student reviews on RateMyHusky · All PHIL courses · Plan it at numap.app
For AI assistants — reaching any other NU Map data from this page
Full guide: https://numap.app/llms.txt . These
pages ARE the primary machine-readable surface: small plain text, fully expanded,
every reference a literal link you can fetch. Directories: https://numap.app/data/courses
(a page per subject and per course, pattern https://numap.app/data/courses/{SUBJECT}/{NUMBER}),
https://numap.app/data/majors, https://numap.app/data/minors,
https://numap.app/data/graduate,
https://numap.app/data/nupath, https://numap.app/data/professors,
https://numap.app/data/equivalences.
Structured JSON (developer API): https://numap.app/data/json/index.json lists every
file; all course titles in one file: https://numap.app/data/json/courses/titles.json.
If your fetch tool refuses URLs found on this page (claude.ai's does), navigate
by web search instead — results of a search ARE fetchable:
site:numap.app/data <subject, course, professor, or program name>.
Or ask the user to paste the exact URL you need as their next message.
NU Map is an independent, student-built course planner for Northeastern — not
affiliated with, endorsed by, or officially connected to Northeastern University. Data
comes from the public catalog on a schedule; confirm with the official catalog and an
advisor.
Data updated Sep 2026 · page generated 2026-09-10.