Assistant Professor_Shawn Standefer

Academic positions:

• Assistant Professor, Department of Philosophy, National Taiwan University, 08/2021-Present
• Researcher, Institute of Philosophy, Slovak Academy of Sciences, 03/2021-07/2021
• Postdoctoral fellow on the Australian Research Council project, \Meaning in Action: New Techniques for Language, Logic and Information,” working with Greg Restall, University of Melbourne, 08/2015-12/2020
• Visiting lecturer and researcher, Victoria, University of Wellington, 11/2017-12/2017, 11/2019-12/2019
• Visiting scholar and instructor, Auburn University 09/2014-06/2015
• Visiting lecturer, University of Pittsburgh 08/2013-05/2014

Education:

• University of Pittsburgh Ph.D. Philosophy (2013)
• Stanford University  M.A. Philosophy, concentration in logic and semantics (2006)
• Stanford University  B.A. Philosophy with Honors, Japanese (2006)

AOS: Philosophical logic, philosophy of language, philosophy of logic
AOC: Philosophy of science, metaphysics, philosophy of mathematics, classical Chinese philosophy

• “Weak relevant justication logics” (2022) Journal of Logic and Computation. Forthcoming. doi: 10.1093/logcom/exac057
• “A substructural approach to explicit modal logic” (2022) Journal of Logic, Language and Information. Forthcoming. doi: 10.1007/s10849-022-09380-z
• “Collection frames for distributive substructural logics” (2022) (co-authored with Greg Restall) Review of Symbolic Logic. Forthcoming. doi: 10.1017/S1755020322000272
• “Varieties of relevant S5”, (2022) Logic and Logical Philosophy. Forthcoming. doi: 10.12775/LLP.2022.011
• “What is a relevant connective?” (2022) Journal of Philosophical Logic 51: 919{950. doi: 10.1007/s10992-022-09655-7
• “Completeness via metacompleteness”, (2022) Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn, p. 394{409, editor Katalin Bimbo, College Publications.
• “An incompleteness theorem for modal relevant logics”, Notre Dame Journal of Formal Logic 62(4): 669{681 (2021). doi:10.1215/00294527-2021-0035
• “Revisiting Semilattice Semantics”, Alasdair Urquhart on Nonclassical and Al- gebraic Logic and Complexity of Proofs, p. 241{258 (2022), edited by Ivo Duntsch and Edwin Mares, in the series Outstanding Contributions to Logic. Springer. doi:10.1007/978-3-030-71430-7 7
• “Identity in Mares-Goldblatt models for quantied relevant logic”, Journal of Philosophical Logic 50: 1389{1415 (2021). doi: 10.1007/s10992-021-09603-x
• “Translations between linear and tree natural deduction systems for relevant logics,” Review of Symbolic Logic, 14(2), 285{306 (2021). Cambridge University Press. doi: 10.1017/S1755020319000133
• “Proofs and Models in Naive Property Theory: A Response to Hartry Field’s Properties, Propositions and Conditionals’ “, (co-authored with Greg Restall and Rohan French) Australasian Philosophical Review 4:2, pp. 162{177 (2020). doi:10.1080/24740500.2021.1886690
• “Actual issues for relevant logics”, Ergo 7(8), p. 241{276 (2020). Michigan Publishing. doi:10.3998/ergo.12405314.0007.008
• “Tracking reasons with extensions of relevant logics,” Logic Journal of the IGPL, 27(4): 543{569 (2019), Oxford University Press. doi:10.1093/jigpal/jzz018
• “Translations between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs,” Studia Logica, 107(6): 1103{1134 (2019) Springer. doi:10.1007/s11225- 018-9828-2
• “Trees for E,” Logic Journal of the IGPL, 26(3): 300{315 (2018), Oxford University Press. doi:10.1093/jigpal/jzy003
• “Natural deduction systems for E,” (co-authored with Ross Brady) Logique et Analyse, 242: 163{182 (2018), Peeters Publishers. doi: 10.2143/LEA.242.0.3284749.
• “Inferentialism, Structure, and Conservativeness,” (co-authored with Ole Hjort- land), From Rules to Meanings: New Essays on Inferentialism, eds. Ondrej Beran, Vojtech Kolman, and Ladislav Koren, pp. 115{140, (2018) Routledge.
• “Proof Theory for Functional Modal Logic,” Studia Logica 106(1): 49{84 (2018), Springer. doi:10.1007/s11225-017-9725-0
• “Intersubstitutivity Principles and the Generalization Function of Truth,” (co- authored with Anil Gupta) Synthese, 195(3): 1065{1075 (2018), Springer. doi:10.1007/s11229-017-1318-y
• “The Relevant Logic E and Some Close Neighbours: A Reinterpretation,” (co- authored with Ed Mares) The IfColog Journal of Logics and their Applications (4:3), 695{730 (2017). http://www.collegepublications.co.uk/journals/ifcolog/?00012
• “Non-Classical Circular Denitions,” Australasian Journal of Logic (14:1), Article no. 6, 147{180 (2017). doi:10.26686/ajl.v14i1.4030
• “Conditionals in Theories of Truth,” (co-authored with Anil Gupta) Journal of Philosophical Logic 46(1), p. 27{63 (2017). doi:10.1007/s10992-015-9393-3
• “Contraction and Revision,” Australasian Journal of Logic (13:3), Article no. 2, 58{77 (2016). doi:10.26686/ajl.v13i3.3935
• “On Artifacts and Truth-Preservation,” Australasian Journal of Logic (12:3), Article no. 1, pp. 135{158 (2015). doi:10.26686/ajl.v12i3.2045
• “Solovay-Type Theorems for Circular Denitions,” Review of Symbolic Logic 8(3): 467{487 (2015). doi:10.1017/S1755020314000458

• “Guest Editors’ Introduction,” (co-authored with Riccardo Bruni) Journal of Philosophical Logic, 48(1): 1{9, special issue for the 25th anniversary of the publication of Revision Theory of Truth, (2019). doi: 10.1007/s10992-018-9478- x
• “Non-Triviality Done Proof-Theoretically,” (co-authored with Rohan French) Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings, eds. Alexandru Baltag, Jeremy Seligman and Tomoyuki Yamada, pp. 438{450 (2017). Springer: Berlin, Heidelberg. doi:10.1007/978-3-662-55665-8 30
• Review of Stewart Shapiro’s Varieties of Logic, Notre Dame Philosophical Re- views. http://ndpr.nd.edu/news/58009-varieties-of-logic/
• Review of Leon Horsten’s The Tarskian Turn, Philosophical Review 122(1): 144-147 (2013). doi:10.1215/00318108-1728795.
• “What Is Wrong with the Tarskian Theory of Truth?” The Logica Yearbook 2010, Michael Pelis (ed), pp. 269-281, College Publications.
• “Philosophical Aspects of Display Logic,” The Logica Yearbook 2009, Michael Pelis (ed), pp. 283{296, College Publications.””

Logical Methods, co-authored with Greg Restall. Intermediate-level philosophical logic textbook, in press with MIT Press. Expected publication January 2023.
ISBN: 9780262544849. https://mitpress.mit.edu/books/logical-methods

• Research Grant, 111-2410-H-002-006-MY3, Ministry of Science and Technology of Taiwan 
• Special Outstanding Talent Award, Ministry of Science and Technology of Taiwan 2021
• Melbourne Teaching Certicate 11/2019
• University of Melbourne School of Historical and Philosophical Studies Pedagogy Grant, with Greg Restall 2019
• Melbourne-Glasgow Collaboration Grant, with Greg Restall, to hold two Formal Philosophy Workshops 2017-2018
• “Proof, Truth, Computation” Summer School travel grant 08/2014
• Arche Visiting Researcher Fellowship 05/2010-06/2010
• Alan Ross Anderson Fellowship Fall 2009
• Wesley Salmon Fund Grant 2008, 2010
• Phi Beta Kappa 2006