Teaching

Instructor for PHIL 150E -

Logic in Action (Spring ′12)

TA for PHIL 359 -

Advanced Modal Logic (Spring ′11)

TA for PHIL 154 -

Modal Logic (Spring ′11)

Instructor for PHIL 23C -

Counterfactuals (Winter ′11)

Instructor for PHIL 239 -

Teaching Methods (Fall ′10)

TA for PHIL 102 -

Modern Philosophy (Spring ′10)

TA for PHIL 164

Central Topics in Philosophy

of Science: Theory and Evidence

(Winter ′10)

TA for PHIL 151 -

First-Order Logic (Winter ′10)

TA for PHIL 152 -

Computability and Logic

(Spring ′09)

TA for PHIL 151 -

First-Order Logic (Winter ′09)

TA for PHIL 150 -

Basic Concepts in

Mathematical Logic (Fall ′08)

TA for NBIO 101/201 -

Social & Ethical

Issues in the Neurosciences

(Spring ′07, ′08)

Slides

Slides on Scott's Isomorphism Theorem, for PHIL 350A - Model Theory (Fall ′08)

Links

Logic and Methodology Workshop 2011 • Logical Dynamics Lab at CSLI • Logic and Rational Interaction loriweb • Stanford Encyclopedia of Philosophy

Family: Dennis Holliday (father), Taylor Holliday (brother),

Subatomic Software

I am a PhD candidate in the Department of Philosophy, Stanford University. 

AOS: Epistemology, Logic, Metaphysics.

AOC: Early Modern Philosophy, Philosophy of Mind.

Committee: Johan van Benthem, Krista Lawlor, Helen Longino, Eric Pacuit

My current research in epistemology concentrates on epistemic closure, fallibilism, skepticism, and contextualism, as well as epistemic paradoxes. My work in modal logic is closely related, focusing on epistemic logic and dynamic epistemic logic. In addition to these and other research interests in philosophical logic, I have strong teaching interests in mathematical logic. In metaphysics, my current research is on freedom, determinism, and laws of nature. I also have strong teaching interests in early modern philosophy.

For more information, please see my CV.

Publications

in journals and books

(1) Wesley H. Holliday. 2012. “Freedom and the Fixity of the Past,” Philosophical Review, Vol. 121, No. 2, 179-207.

(2) Wesley H. Holliday. 2012. “Epistemic Logic and Epistemology,” forthcoming in Handbook of Formal Philosophy, eds. S.O. Hansson and V.F. Hendricks (Springer).

(3) Wesley H. Holliday. 2012. “Epistemic Logic, Relevant Alternatives, and the Dynamics of Context,” forthcoming in New Directions in Logic, Language, and Computation, eds. D. Lassiter and M. Slavkovic (Springer).

(4) Wesley H. Holliday and Thomas F. Icard, III. 2010. “Moorean Phenomena in Epistemic Logic,” in Advances in Modal Logic, Vol. 8, eds. L. Beklemishev, V. Goranko and V. Shehtman (London: College Publications), 178-199. (official AiML version)

in proceedings and yearbooks

(5) Wesley H. Holliday, Tomohiro Hoshi, and Thomas F. Icard, III. 2011. “Schematic Validity in Dynamic Epistemic Logic: Decidability,” in Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI-III), eds. H. van Ditmarsch, J. Lang, and S. Ju, Lecture Notes in Artificial Intelligence, Vol. 6953 (2011), 87-96. (official LNAI version)

(6) Wesley H. Holliday. 2011. “Epistemic Closure and Epistemic Logic I,” in Logic and Interactive Rationality. Seminar’s yearbook 2010, eds. D. Grossi, S. Minica, B. Rodenhäuser, and S. Smets (Institute for Logic, Language, and Information, Universiteit van Amsterdam), 80-110.

(7) Wesley H. Holliday. 2010. “Epistemic Logic and Relevant Alternatives,” in Proceedings of the 15th Student Session of the European Summer School in Logic, Language, and Information, ed. M. Slavkovik, 4-16. Superseded by (3).

(8) Wesley H. Holliday. 2010. “Trust and the Dynamics of Testimony,”

in Logic and Interactive Rationality. Seminar’s yearbook 2009, eds. D. Grossi, L. Kurzen, and F. Velázquez-Quesada (Institute for Logic, Language, and Information, Universiteit van Amsterdam), 147-178.

(9) Wesley H. Holliday. 2009. “Dynamic Testimonial Logic,” in Proceedings of the Second International Conference on Logic, Rationality and Interaction (LORI-II), eds. X. He, J. Horty, and E. Pacuit, Lecture Notes in Artificial Intelligence, Vol. 5834, 161-179. Superseded by (8).

Presentations

“Modal Completeness via Modal Decomposition” in the Mathematical Logic Seminar, Stanford University, May 1, 2012.

“Fallibilism and the Limits of Closure” at UT Austin Philosophy Colloquium, February 6, 2012; UC Berkeley Philosophy Colloquium, January 30, 2012; Yale University Philosophy Colloquium, January 24, 2012; University of Pennsylvania Philosophy Colloquium, January 20, 2012; Stanford University Philosophy Colloquium, January 13, 2012.

“Epistemic Closure and Epistemic Logic,” at the Fourth-Year Colloquium, Department of Philosophy, Stanford University, May 20, 2011.

“Epistemic Logic and Epistemology,” at the Logic and Methodology Workshop, CSLI, Stanford University, May 14, 2011.

Research Report of the Logical Dynamics Lab, in the Logic and Intelligent Interaction Seminar, Stanford University, April 14, 2011.

Tutorial on Conditional Belief and Belief Revision, in the Logic and Intelligent Interaction Seminar, Stanford University, April 7, 2011.

“Open Problems in Public Announcement Logic,’’ in Introduction to Modal Logic, ILLC, University of Amsterdam, Nov. 17, 2010.

“Epistemic Closure and Epistemic Logic,” at the LIRa Seminar Special Session, University of Groningen, November 11, 2010.

“Decidability of the PAL Substitution Core” (presentation of joint work with Tomohiro Hoshi and Thomas Icard), at the Workshop on Logic, Rationality and Intelligent Interaction, ESSLLI 2010, University of Copenhagen, August 20, 2010.

“Epistemic Bandwagons and the Ideal of Independence,” at the 2nd Copenhagen Conference in Epistemology, University of Copenhagen, August 19, 2010.

“Moorean Phenomena in Epistemic Logic,” with Thomas Icard at the Workshop on Logic, Rationality and Intelligent Interaction, ESSLLI 2010, University of Copenhagen, August 16, 2010.

“Epistemic Logic and Relevant Alternatives,” at the ESSLLI 2010 Student Session, University of Copenhagen, August 11, 2010.