史德凡 專任助理教授

學經歷 Education and Experiences

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)

研究領域 Research Interests

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

論文期刊 Journal Articles

“Weak relevant justication 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 quantied 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 Denitions,” 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 Denitions,” Review of Symbolic Logic 8(3): 467{487 (2015). doi:10.1017/S1755020314000458

會議論文 Conference Paper

“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.””

專書 Books

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

研究計畫及榮譽 Projects& Honors

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 Certicate 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