Hi! I'm Shane, a PhD candidate in Philosophy and Symbolic Systems at Stanford University. Before that, I studied Philosophy, Mathematics, and Computer Science at The Johns Hopkins University. I have also been a Visiting Student at the Institute for Logic, Language, and Computation and the Munich Center for Mathematical Philosophy.

I work on various topics in logic and language. Some current keywords are quantifiers, compositionality, procedural semantics, and semantic competence. You can find out more by looking at my CV or just scrolling down.

When I'm not working on those things, I like to lift weights, climb rocks, play disc sports, and drink and brew nice coffee.

You can reach me via snail or electronic mail:

450 Serra Mall, Bulding 90
Stanford, CA 94305

shanest AT stanford DOT edu

Research

Journal Articles

Grigori Mints and Shane Steinert-Threlkeld, "ADC Method of Proof Search in Intuitionistic Propositional Natural Deduction", Journal of Logic and Computation (DOI: 10.1093/logcom/ext032)

Shane Steinert-Threlkeld and Thomas F. Icard, III., "Iterating semantic automata", Linguistics and Philosophy, vol 36 no 2, pp. 151-173 (DOI: 10.1007/s0988-013-9132-6)

Shane Steinert-Threlkeld, Siamak Ardekani, Jose L.V. Mejino, Landon Todd Detwiler, James F. Brinkley, Michael Halle, Ron Kikinis, Raimond L. Winslow, Michael I. Miller, and J. Tilak Ratnanather, "Ontological Labels for Automated Location of Anatomical Shape Differences", Journal of Biomedical Informatics, vol 45 no 3, pp. 522-527 (DOI: 10.1016/j.jbi/2012.02.013)

Conference Proceedings

Shane Steinert-Threlkeld, "Learning to Use Function Words in Signaling Games", Proceedings of Information Dynamics in Artificial Societies (IDAS-14)

Shane Steinert-Threlkeld, "On the Decidability of Iterated Languages", Proceedings of Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML2014), pp. 215-224

Jakub Szymanik, Shane Steinert-Threlkeld, Marcin Zajenkowski, and Thomas F. Icard, III., "Automata and Complexity in Multiple-Quantifier Sentence Verification", Proceedings of the 12th International Conference on Cognitive Modeling (ICCM)

Shane Steinert-Threlkeld, Siamak Ardekani, Jose L.V. Mejino, Landon Todd Detwiler, James F. Brinkley, Michael Halle, Ron Kikinis, Raimond L. Winslow, Michael I. Miller, and J. Tilak Ratnanather, "Ontological Labels for Automated Location of Left-Ventricular Remodeling", Proceedings of 2011 Fifth IEEE International Conference on Semantic Computing, pp. 572- 573 (DOI: 10.1109/ICSC.2011.99)

Other Refereed Talks

Eric Acton, Daria Popova, and Shane Steinert-Threlkeld, "Quantifier Scope and Tensed Clauses", at 6th California Universities Semantics and Pragmatics Conference

Shane Steinert-Threlkeld, "Deflationism, Gaps, and Expressive Power", at 2013 Berkeley-Stanford-Davis Graduate Student Conference

Encyclopedias, etc.

Shane Steinert-Threlkeld, "Lambda Calculi", Internet Encyclopedia of Philosophy

Works in Progress

Compositional Signaling in a Complex World (in prep)

Kant on the Impossibility of Psychology as a Proper Science (under review)

Semantic Automata and Working Memory in Proportional Quantifier Verification (under review)

Some Properties of Iterated Languages (under review)

Teaching

Primary Instructor

Teaching Assistant

  • PHIL 99: Minds and Machines (Fall 2014) [also: SYMSYS 100, LINGUIST 144, PSYCH 35]
  • PHIL 152: Computability and Logic (Spring 2013)
  • PHIL 80: Mind, Matter, Meaning (Fall 2012)
  • PHIL 151: First-Order Logic (Winter 2012, Winter 2013)
  • MATH 107: Calculus II (Spring 2011, Johns Hopkins)
  • MATH 106: Calculus I (Fall 2010, Johns Hopkins)

Service

Conference Organization

Program committee:

  • NASSLLI 2014 Student Session

Organizing committee:

  • 1st, 2nd, 3rd CSLI Workshop on Logic, Rationality, and Intelligent Interaction
  • 1st, 2nd Prometheus Undergraduate Philosophy Conference

Offices

  • Admit visit co-coordinator (2014-2015)
  • Graduate Student Faculty co-Representative (2013-2014)
  • Hume Society (graduate student) co-President (2012-2013)
  • Graduate co-Advisor to The Dualist (2012-2014)
  • Editor-in-Chief, Prometheus (2008-2011)

Miscellany

Expository Material

Erdös Number

My Erdös Number is 4, via at least three paths:

  • Grigori Mints - Yuri Matiyasevitch - Richard Guy - Paul Erdös
  • Michael I Miller - Ulf Grenander - Oved Shisha - Paul Erdös
  • Raimond L Winslow - Daniel Q. Naiman - János Pach - Paul Erdös