PHIL110

INTRO TO SYMBOLIC LOGIC

Clark Core FA Formal Analysis

This course is offered in a current or upcoming term. Check the official course schedule before registering.

Also listed under 2 other titles

Introduction to Symbolic Logic
INTRO TO LOGIC

Department: Philosophy
Terms offered: 33
Data refreshed: Sep 1, 2026

Description

An introduction to symbolic logic with attention to proofs within the formal system of first-order logic and translations from sentences in this formal language into sentences in ordinary English. (The department recommends that students not take this course as their introductory course to the major. The course material is mathematical in nature and is not representative of the topics and reading material typically found in other philosophy courses.)

Syllabi

Offering history & forecast 2016–2026

Forecast

1995

2026

Sections offered by academic year and season, with estimated offering chances for future years above the divider
Year	Fall	Spring	Summer	Intersession
2030	2030 Fall: 56% chance, medium confidence. Offered in every fall term since 2018. Department course count falling about 4% per year.	2030 Spring: 7% chance, medium confidence. Offered in 0 of 9 spring terms since 2018.	2030 Summer: 7% chance, medium confidence. Offered in 0 of 9 summer terms since 2018.	2030 Intersession: 8% chance, medium confidence. Offered in 0 of 6 intersession terms since 2020.
2029	2029 Fall: 61% chance, medium confidence. Offered in every fall term since 2017. Department course count falling about 3% per year.	2029 Spring: 6% chance, medium confidence. Offered in 0 of 10 spring terms since 2017.	2029 Summer: 6% chance, medium confidence. Offered in 0 of 10 summer terms since 2017.	2029 Intersession: 7% chance, medium confidence. Offered in 0 of 7 intersession terms since 2017.
2028	2028 Fall: 65% chance, medium confidence. Offered in every fall term since 2016. Department course count falling about 3% per year.	2028 Spring: 5% chance, medium confidence. Offered in 0 of 11 spring terms since 2016.	2028 Summer: 5% chance, medium confidence. Offered in 0 of 11 summer terms since 2016.	2028 Intersession: 7% chance, medium confidence. Offered in 0 of 7 intersession terms since 2017.
2027	2027 Fall: 74% chance, medium confidence. Offered in every fall term since 2015.	2027 Spring: 5% chance, high confidence. Offered in 0 of 12 spring terms since 2015.	2027 Summer: 5% chance, high confidence. Offered in 0 of 12 summer terms since 2015.	2027 Intersession: 6% chance, medium confidence. Offered in 0 of 7 intersession terms since 2017.

2026	1 section	Not offered	Not offered	No data for this term
2025	1 section	Not offered	Not offered	Not offered
2024	1 section	Not offered	Not offered	Not offered
2023	1 section	Not offered	Not offered	Not offered
2022	1 section	Not offered	Not offered	Not offered
2021	1 section	Not offered	Not offered	Not offered
2020	1 section	Not offered	Not offered	Not offered
2019	1 section	Not offered	Not offered	No data for this term
2018	1 section	Not offered	Not offered	No data for this term
2017	1 section	Not offered	Not offered	Not offered
2016	1 section	Not offered	Not offered	No data for this term

Forecast Under 15% 15–39% 40–69% 70–89% 90%+ Not enough history

Fall Spring Summer Intersession Darker means more sections Not offered No data for term

Future estimates combine recent offering frequency with detected multi-year cycles. Hover a cell for confidence and evidence; low-confidence estimates are marked with ~.

Meeting times

Most recent first

Tue, Fri, 12:00 PM–1:15 PM JC106 202620252003
Mon, Wed, 4:15 PM–5:30 PM JC204 201120102009
Mon, Thu, 1:25 PM–2:40 PM JC215 2008200720052005-2
Mon, Thu, 2:50 PM–4:05 PM JC215 2006
Wed, 1:00 PM–2:00 PM JC204 2005-1
Tue, 6:00 PM–7:00 PM Jefferson Academic Center JF222 2005-3
Tue, Thu, 2:40 PM–3:55 PM Sackler Science Center N105 2002
Tue, Thu, 9:00 AM–10:15 AM JC204 2001200019981996

2026–27 1 entry

Credit-bearing sections of PHIL110, 2026–27
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2026	Scott Hendricks	Lecture	1	26 of 32 enrolled	20154

2025–26 1 entry

Credit-bearing sections of PHIL110, 2025–26
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2025	Scott Hendricks	Lecture	1	29 of 32 enrolled	20154

2024–25 1 entry

Credit-bearing sections of PHIL110, 2024–25
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2024	Scott Hendricks	Lecture	1	30 of 32 enrolled	20154

2023–24 1 entry

Credit-bearing sections of PHIL110, 2023–24
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2023	Scott Hendricks	Lecture	1	31 of 32 enrolled	20154

2022–23 1 entry

Credit-bearing sections of PHIL110, 2022–23
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2022	Scott Hendricks	Lecture	1	26 of 32 enrolled	20154

2021–22 1 entry

Credit-bearing sections of PHIL110, 2021–22
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2021	Scott Hendricks	Lecture	1	28 of 32 enrolled	20562

2020–21 1 entry

Credit-bearing sections of PHIL110, 2020–21
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2020	Scott Hendricks	Lecture	1	29 of 32 enrolled	20562

2019–20 1 entry

Credit-bearing sections of PHIL110, 2019–20
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2019	Paul J. Broderick	Lecture	1	27 of 32 enrolled	20562

2018–19 1 entry

Credit-bearing sections of PHIL110, 2018–19
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2018	Scott Hendricks	Lecture	1	26 of 32 enrolled	20562

2017–18 1 entry

Credit-bearing sections of PHIL110, 2017–18
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2017	Scott Hendricks	Lecture	1	28 of 30 enrolled	20562

2016–17 1 entry

Credit-bearing sections of PHIL110, 2016–17
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2016	Scott Hendricks	Lecture	1	28 of 30 enrolled	20562

2015–16 1 entry

Credit-bearing sections of PHIL110, 2015–16
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2015	Scott Hendricks	Lecture	1	23 of 30 enrolled	20562

2014–15 1 entry

Credit-bearing sections of PHIL110, 2014–15
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2014	Scott Hendricks	Lecture	1	22 of 30 enrolled	20562

2013–14 1 entry

Credit-bearing sections of PHIL110, 2013–14
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2013	Scott Hendricks	Lecture	1	25 of 40 enrolled	20562

2012–13 1 entry

Credit-bearing sections of PHIL110, 2012–13
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2012	Scott Hendricks	Lecture	1	31 of 35 enrolled	20562

2011–12 1 entry

Credit-bearing sections of PHIL110, 2011–12
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2011	Scott Hendricks	Lecture	1	31 of 35 enrolled	20562

2010–11 1 entry

Credit-bearing sections of PHIL110, 2010–11
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2010	Scott Hendricks	Lecture	1	32 of 35 enrolled	27616

2009–10 1 entry

Credit-bearing sections of PHIL110, 2009–10
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2009	Scott Hendricks	Lecture	1	33 of 35 enrolled	23220

2008–09 1 entry

Credit-bearing sections of PHIL110, 2008–09
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2008	Scott Hendricks	Lecture	1	35 of 30 enrolled	23220

2007–08 1 entry

Credit-bearing sections of PHIL110, 2007–08
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2007	Scott Hendricks	Lecture	1	29 of 30 enrolled	23220

2006–07 1 entry

Credit-bearing sections of PHIL110, 2006–07
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2006	Scott Hendricks	Lecture	1	28 of 30 enrolled	23220

2005–06 1 entry

Credit-bearing sections of PHIL110, 2005–06
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2005	Scott Hendricks	Lecture	1	25 of 25 enrolled	23220

2004–05 1 entry

Credit-bearing sections of PHIL110, 2004–05
Term	Professor	Type	Credits	Enrollment	CRN
Spring 2005	Scott Hendricks	Lecture	1	32 of 30 enrolled	32323

2003–04 1 entry

Credit-bearing sections of PHIL110, 2003–04
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2003	Scott Hendricks	Lecture	1	29 of 30 enrolled	20278

2002–03 1 entry

Credit-bearing sections of PHIL110, 2002–03
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2002	Scott Hendricks	Lecture	1	26 of 30 enrolled	22307

2001–02 1 entry

Credit-bearing sections of PHIL110, 2001–02
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2001	Michael Pakaluk	Lecture	1	30 of 99 enrolled	22307

2000–01 1 entry

Credit-bearing sections of PHIL110, 2000–01
Term	Professor	Type	Credits	Enrollment	CRN
Fall 2000	Michael Pakaluk	Lecture	1	38 of 99 enrolled	22307

1999–00 1 entry

Credit-bearing sections of PHIL110, 1999–00
Term	Professor	Type	Credits	Enrollment	CRN
Fall 1999	Michael Pakaluk	Lecture	1	38 of 99 enrolled	22307

1998–99 1 entry

Credit-bearing sections of PHIL110, 1998–99
Term	Professor	Type	Credits	Enrollment	CRN
Fall 1998	Barbara R. Carlson	Lecture	1	29 of 36 enrolled	22307

1997–98 1 entry

Credit-bearing sections of PHIL110, 1997–98
Term	Professor	Type	Credits	Enrollment	CRN
Fall 1997	Michael Pakaluk	Lecture	1	29 of 36 enrolled	22307

1996–97 1 entry

Credit-bearing sections of PHIL110, 1996–97
Term	Professor	Type	Credits	Enrollment	CRN
Spring 1997	Barbara R. Carlson	Lecture	1	43 of 999 enrolled	30336

1995–96 2 entries

Credit-bearing sections of PHIL110, 1995–96
Term	Professor	Type	Credits	Enrollment	CRN
Spring 1996	Michael Pakaluk	Lecture	1	15 of 999 enrolled	30336
Fall 1995	Michael Pakaluk	Lecture	1	29 of 35 enrolled	20350

PHIL110

Description

Syllabi

Offering history & forecast 2016–2026 Sections Section Count Demand Enrollment Demand Forecast

Meeting times

Offering history & forecast 2016–2026

Forecast