Stanford University Online High School

Biography

Originally from Japan, Dr. Hoshi earned his B.A. in Philosophy from the University of Tokyo. He then came to the United States to pursue graduate studies, and received an M.A. in Philosophy at Texas A&M and his Ph.D. in Philosophy at Stanford University. After teaching courses on logic and philosophy at various collegiate institutions, including Stanford University, he joined the OHS community and currently teaches two core courses, History of Science and Methodology of Science - Biology, and some mathematics courses, such as, AP Statistics and Logic in Action.

He actively engages in various research projects on logic, and has published papers in the relevant fields, including philosophy, computer science, and mathematics. This year, he will also assume a lead role in the introduction of a new logic course at the Department of Philosophy at Stanford University, which will also be taught at OHS.

Dr. Hoshi loves cooking. Back in Tokyo, he worked as a cook for four years. His favorite foods are Italian, Korean and Japanese. He also is a part of Stanford Japanese Running Club and has been training for his third marathon this year.

For more information on Dr. Hoshi, see his personal website http://www.stanford.edu/~thoshi.

Courses Taught

Methodology of Science: Biology (OMSB9), History of Science (OHSC0), AP Statistics (OM060), Logic in Action (UM157).

Publications

Wesley H. Holliday, Tomohiro Hoshi, and Thomas F. Icard, III. “Schematic Validity in Dynamic Epistemic Logic: Decidability,” forthcoming in H. van Ditmarsch and J. Lang, eds., Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI-III), Lectures Notes in Computer Science.

Tomohiro Hoshi and Alistair Isaac. “Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with Off Equilibrium Play,” forthcoming in H. van Ditmarsch and J. Lang, eds., Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI-III), Lectures Notes in Computer Science.

T. Hoshi and E. Pacuit, “A Dynamic Logic of Knowledge and Access.” Forthcoming in Synthese, 2010.

T. Hoshi, “Merging DEL and ETL.” Forthcoming in Journal of Logic, Language, and Information, 2010.

T. Hoshi and A. Isaac, “The Strategic Equivalence of Games with Unawareness.” In D. Grossi, L. Kurzen and F. Velázquez-Quesada, eds., Logic and Interactive Rationality (ILLC), 2010.

A. Isaac and T. Hoshi, “Synchronizing Diachronic Uncertainty.” Forthcoming in Journal of Logic, Language, and Information, 2010.

T. Hoshi and A. Yap, “Dynamic Epistemic Logic with Branching Temporal Structure.” Synthese 169 (2), 2010.

J. van Benthem, Jelle Gerbrandy, T. Hoshi, and E. Pacuit, “Merging Frameworks for Interaction.” Journal of Philosophical Logic 38(5) (2010): 491-526.

T. Hoshi, “Public Announcement Logic with Protocol Constraints.” In Logics for Dynamic of Information and Preferences, ed. by L. Kurzen and F. Velázquez-Quesada (2009): 181-214.

P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, “Arbitrary Announcement Logic.” Review of Symbolic Logic 1(3) (2009): 305-334.

G. Mints and T. Hoshi, “Logical Equation in Monadic Logic.” Studies in Zapiski Nauchnyh Seminarov POMI 358:251-270. Also in Journal of Mathematical Sciences 158 (5) (2009): 741-752.

P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, “What can we achieve by arbitrary announcements? - A dynamic take on Fitch’s knowability.” In D. Samet, Proceedings of TARK 2007 (Presses Universitaires de Louvain, 2007): 42-51.