EGMT 1520: Building Truth from Scratch
(Empirical & Scientific Engagement)
Instructor: Leonid Petrov
Semester: Spring 2026
An up-to-date accessible syllabus is always at this link.
How do we know a claim is true?
This course is a hands-on workshop in making and testing arguments in the context of mathematics. We will generate conjectures from examples, search for counterexamples, and turn ideas into precise statements and proofs. Through problem-solving sessions and math debates, you'll practice evaluating arguments, giving and receiving constructive feedback, and communicating clearly in writing and speech. By experiencing mathematics as a creative process — where patterns suggest conjectures and logical reasoning turns intuition into conviction — you'll develop a practical sense for what counts as evidence in mathematics and how to build reliable conclusions.
By the end of the course, you will be able to:
- Define and delimit what constitutes valid mathematical evidence by distinguishing between examples, counterexamples, conjectures, and formal proofs, while recognizing the limitations of empirical observations.
- Develop a framework for discerning different types of mathematical knowledge by exploring how empirical evidence, abstract reasoning, and logical structure work together to shape mathematical understanding.
- Formulate and communicate mathematical reasoning by translating intuitive insights into precise statements, evaluating the soundness of arguments, and engaging in constructive dialogue to identify and resolve reasoning gaps.
- Reflect on the nature of mathematical truth by examining personal assumptions about certainty, analyzing when and why certain arguments are conclusive, and articulating how purely empirical approaches can both inform and limit our understanding of complex phenomena.
Contact & Logistics
| Instructor: | Leonid Petrov | Office: | 209 Kerchof Hall |
|---|---|---|---|
| Email: | petrov@virginia.edu | Office hours: | Tue 10–11am, Thu 10–11am |
| Website: | https://lpetrov.cc | or by appointment (email me; you can make as many appointments as you need) | |
Course Info: EGMT 1520-123 (19659) — Empirical Engagement.
Weekly rhythm: Class meets Mondays and Wednesdays 5:00 PM – 6:15 PM in Clark 101.
- Dates: January 12, 2026 – March 9, 2026.
- No Class: January 19 (MLK Day) and March 2/4 (Spring Break).
Course materials: There are no required textbooks for this course. All materials will be handed out in class and later posted on Canvas. The Commonplace Book is an integral part of the course for homework assignments and reflections — I recommend you bring it to each class session. Pencils, paper, and manipulatives are provided in class.
Canvas: Problem sets and weekly writing submission assignments will be posted on Canvas.
Digital accessibility: This course uses a variety of digital tools and content. If you have trouble reading, viewing, or interacting with any materials, please let me know right away so we can work through this together.
How we work together in class
This is a hands-on, pen-and-paper course. Since we meet twice a week, our workflow is designed to move from intuition to rigor over the course of a "Problem Cycle."
The Weekly Problem Cycle
- Monday (Launch & Explore):
- The Primer: We begin with a short introduction of the week's core topic so you have the tools you need before you start solving.
- Problem Solving: You receive a fresh problem set and work in your home subgroups. Problems are ordered by difficulty (Easy → Medium → Hard). I circulate, ask questions, and may invite nearby peers to listen in and challenge your reasoning.
- Wednesday (Refine & Debate):
- Model Proof Analysis: One of the students will present a "Model Solution" on the board to explicitly highlight expectations for structure, clarity, and logical flow. The audience will ask clarifying questions, and challenge any gaps.
- Mini-Debates: We will hold impromptu debates where groups present their partial solutions to harder problems from Monday, and the class acts as "Skeptics" to test the arguments.
- Acceptance: By the end of class (or the start of the next), your group aims to have your solutions "accepted" by the instructor. A problem is "accepted" when your subgroup can answer follow-ups and defend key steps without unresolved gaps.
Home subgroups (fixed)
On Week 2 we form "home subgroups" for in-class collaboration: δ (delta), θ (theta), ζ (zeta), ρ (rho), λ (lambda), φ (phi). Math and science use Greek symbols very often. Subgroups remain stable throughout the course.
Team roles (rotate each meeting)
In subgroups of 5–6, the following sample roles work well:
- Explainer: articulates the current approach and restates the problem in your own words.
- Skeptic: presses on assumptions, looks for gaps, and frames precise questions.
- Counterexample Hunter: designs and tests examples/edge cases to probe the claim.
- Recorder: maintains a clean write-up of the steps in the problem.
- Verifier: checks computations and logic, and ensures steps follow from the stated problem.
- Connector: ensures that all subgroup members understand and can explain the solution.
You may keep the roles informal or explicitly assign them in your subgroup, but make sure you rotate them at least each week, if not more often.
Commonplace book
The Commonplace Book is used for your weekly writing assignments and reflections, which you submit as photos to Canvas. It is helpful to bring it to class each time, but pencils and paper are provided.
Topic
The weekly math topic is not announced in advance — we need everyone to bring their curiosity and creativity to the class for a shared joy of discovering new ideas.
Devices
Please keep devices in your bag unless you have an accommodation that requires otherwise. This is a pen-and-paper course.
Commonplace Book weekly assignments
Each week after the class, you will need to complete an assignment in your Commonplace Book, and submit photos of the pages to Canvas. Sample assignments include (there may be 1 or 2 in a given week):
- Weekly reflection (300 words / 1 page limit) — question changes every week. Examples:
- What is the hardest mathematical fact I have ever seen and understood in my life? (first week assignment). Describe your mathematical journey in your own words (not just list math classes you took). What was the hardest mathematical thing you have ever seen and understood? This assignment will help me form balanced home subgroups starting in the second week.
- What counted as evidence for me? Name one math experience from this week and list exactly what made it convincing to you (e.g., a minimal example, a failed counterexample, a definition that removed ambiguity, an auxiliary statement that closed a gap). End with one thing that would change your mind about this experience being convincing.
- Reflect on the nature of mathematical truth. What does it mean for a mathematical claim to be true? How is it different from a scientific claim, like "water boils at 100 degrees Celsius"? What is the role of examples, counterexamples, and proofs in establishing mathematical truth?
- Assumption audit. Pick one problem from the problem set, and list all assumptions you used in your solution (not just those stated in the problem). For each, mark: needed / not needed / uncertain. Then try to drop one: either give a tiny counterexample that shows it was needed, or a brief note explaining why the argument still goes through.
- Problem Cycle Completion. Instead of a single Sunday deadline for problems, our work flows from Monday to Wednesday.
- In-Class Acceptance: Your goal is to get your group's solution "accepted" by the instructor by the end of the Wednesday class. An accepted solution has no unresolved logic gaps.
- The Write-up: Once accepted, you may be asked to capture the final, polished argument in your Commonplace book.
- Weekly Reflection. Due Sunday 10:00 pm on Canvas. This remains a vital part of your grade. You will reflect on the nature of the evidence you encountered during the previous Mon-Wed cycle.
Submission format: Clear photos or a single PDF to Canvas by Sunday 10:00 pm, submitted to the required assignment.
Engaging Grounds
This component is an integral part of the Engagements program. You need to complete the following tasks:
- Chart a Path: EITHER attend one of the "Liberal Arts &" series events OR complete Pathway U, a quick and easy online assessment that helps you explore educational and career options. Write two paragraphs reflecting on your experience. What were your most significant takeaways?
- Revisit Resources: Return to the list of resources that you learned about in Quarter 1. Have you made use of any of these resources? If so, how would you describe this resource to a friend? Choose two additional resources to learn about using the list on page 240:
- Name of Resource: What does it offer?
- Name of Resource: What does it offer?
- Attend an Academic Event: Attend one Academic Event from the Engagements Calendar and respond to the following prompts: Which Academic Event did you attend? Where/When was it? What were the highlights? What questions did this event provoke? Would you recommend this event to a friend? Why or why not?
Completion must be documented in the Commonplace book, and the photos must be submitted to Canvas by the end of the semester. The Engaging Grounds component is worth 10% of the final grade.
Grading
- In-class work & explanations (50%): Assessed on:
- Clarity of explanations at the table.
- Responsiveness to questions and proposed counterexamples (can you repair, refine, or retract a claim when pressed?).
- Equitable participation within the subgroup (roles rotate; multiple voices contribute to each explanation).
Attendance is required to earn credit. A problem is "accepted" when your subgroup can answer follow-ups and defend key steps without unresolved gaps.
- Commonplace notebook (40%): Weekly writing assignments, submitted on Canvas by Sunday 10:00 pm as photos or a PDF scan. Grading is on the following scale: Meets (full credit), Revise (resubmission within 72 hours yields full credit), or Missing (0). Lowest one weekly submission is dropped automatically.
- Engaging Grounds (10%): Complete the three tasks in the Commonplace book, and submit photos of the pages to Canvas by the end of the semester.
The percentage grade is not rounded up, and is calculated according to the following scale:
| Percentage | Grade | Percentage | Grade | Percentage | Grade |
|---|---|---|---|---|---|
| 100+ | A+ | 83–86.99 | B | 67–69.99 | D+ |
| 93–99.9 | A | 80–82.99 | B- | 63–66.99 | D |
| 90–92.99 | A- | 77–79.99 | C+ | 60–62.99 | D- |
| 87–89.99 | B+ | 73–76.99 | C | <60 | F |
| 70–72.99 | C- |
Policies
Late work
Each weekly notebook assignment is due on Sunday at 10pm (with a small forgiveness window for technical issues). You have one no-questions-asked Grace Week: submit any one weekly notebook by Wednesday 10 pm with no penalty. Beyond that, late assignments are not accepted. If you have special needs or an emergency, please let me know as soon as possible.
Honor Code
The University of Virginia Honor Code applies to this course and is taken seriously. Any Honor Code violations will be referred to the Honor Committee.
Devices
This is a pen-and-paper course. Please keep all devices in your bag during class activities, unless you have an accommodation that directs otherwise.
Use of AI
- Allowed for learning: asking conceptual questions; generating small practice examples; checking ideas (not text) for plausibility.
For learning with LLMs, here is an example prompt that might be helpful.
- Allowed with citation: grammar/clarity edits to your own draft (light copy-editing only). If used, add a one-line note at the end: AI-assisted for copy-editing only.
- Not allowed: drafting any part of the submitted solution or reflections; step-by-step proofs; problem-specific hints beyond what's provided in class; rewriting your math into polished prose.
Attendance
Consistent attendance and thoughtful in-class participation are absolutely essential for your successful completion of Engagements courses. Since each course is only 14 classes, each absence is significant. That said, there are situations in which you may need to miss a class meeting. In those situations, Engagements professors are asked to observe the following policy:
- Excused absences: Authorized university activities (such as university-sponsored athletic events) and the observance of religious holidays are considered excused absences. However, you must submit a written request detailing the dates of these absences directly to me by email by January 20. If these types of absences would result in you missing more than 2 of the required class meetings, you may need to switch to a different course with fewer scheduling conflicts.
- Other causes of absences: We all get sick and we all have experienced unexpected family and personal emergencies. If you must miss class for any reason, you should notify me in advance, when possible, and you are responsible for making up any missed work. In line with College policy, professors are under no obligation to offer alternative assignments or to organize and facilitate make-up work: students must take the initiative.
After the second absence, any subsequent unexcused absence will incur an automatic one letter-grade (or 10 out of 100 points) penalty. For example:
- A student with "A" level work who misses a total of 3 classes would receive a "B" letter grade.
- A student with "A" level work who misses a total of 4 classes would receive a "C" letter grade.
Important Reminder: If you are experiencing significant and pressing personal circumstances, particularly if those circumstances interfere with your ability to attend class and complete coursework, you should contact your academic advisor to talk through the situation as soon as possible. Help is available, and these situations can almost always be worked out — but you need to let me know that there's a problem.
Special needs
All students with special needs requiring accommodations should present the appropriate paperwork from the Student Disability Access Center (SDAC). It is the student's responsibility to present this paperwork in a timely fashion and to follow up with the instructor about the accommodations being offered.