PROGRAMME PROFILE
At a glance
- Associated institution
- Stanford University
- Destination
- United States
- Format & duration
- Online / campus or hybrid · By session
- Age / stage
- See eligibility
- Type
- Academic courses
- Information year
- 2026
Sources checked: 2026-11-11 · Facts and editorial guidance are labelled separately
Learning and approach
- Use formal languages and reasoning techniques to test conclusions step by step.
Turning a statement into a checkable argument
Introductory logic distinguishes ordinary language, formal statements and steps of inference. Symbols are a starting point; judging validity means explaining a rule or finding a case where the premises hold but the conclusion fails.
Eligibility and international applicants
Check the schedule and format before enrolling. The in-person camp requires commuting arrangements.
Dates and costs
Schedule
Current dates await publication or further verification.
Costs
Current full costs require verification. Check tuition, accommodation, meals, insurance and travel inclusions.
Fit and preparation
Try a set of propositional logic problems and compare an everyday argument with a formal proof.
Try this before you apply
Compare “if it rains, the ground is wet” with its converse. Try a counterexample for each, draw the two implications and explain why reversing the arrow changes the claim.
Frequently asked questions
How does it differ from a coding camp?
The emphasis is expressing and checking arguments rather than building an application. If discovering a counterexample is satisfying, explore logic; if you want to ship software, compare coding workshops.
Official sources and verification
- Official source 1 ↗logic.stanford.edu
Check the relevant official edition for fees, eligibility and sessions. Images primarily use official programme or university material, with other sources credited separately. They illustrate programme or campus context, not a specific current-year class.
