牛津大学哲学教授
复旦大学光华人文基金讲座
时间:
地点:光华西主楼 2501室
主题:Paradoxes of Truth and Modality
主讲人:
Philosophy of Language, Epistemology
讲座邀请人:邵强进 副教授
Tarski-Hierarchien, Ph.D. thesis, Centrum für Informations- und Sprachverarbeitung, München, 1994
Axiomatische Wahrheitstheorien, Akademie Verlag,
The Logic Manual,
Axiomatic Theories of Truth,
1、 Reducing Compositional to Disquotational Truth, Review of Symbolic Logic 2 (2009), 786-798
2、 On the Benefits of a Reduction of Modal Predicates to Modal Operators, in Reduction - Abstraction - Analysis, proceedings of the 31st International Wittgenstein Symposium Kirchberg, Ontos Verlag, Heusenstamm bei Frankfurt a.M, 2009, 323-333.
3、 Necessities and Necessary Truths: A Prolegomenon to the Metaphysics of Modality (with Philip Welch), Mind 118 (2009), 71-100
4、 On a Side Effect of Solving Fitch's Paradox by Typing Knowledge, Analysis 68 (2008), 114-120
5、 How not to state the T-sentences, Analysis 66 (2006), 276-280, correction in vol. 67, 268 • download as pdf file
6、 Axiomatizing Kripke’s Theory of Truth (with Leon Horsten), Journal of Symbolic Logic 71 (2006), 677-712
7、Axiomatic Theories of Truth, The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.), http://plato.stanford.edu/archives/spr2006/entries/truth-axiomatic/
8、 The Deflationist’s Axioms for Truth (with Leon Horsten), in Deflationism and Paradox, JC Beall and Brad Armour-Garb (eds.), Oxford University Press, 2005, 203-217
9、 Possible Worlds Semantics for Predicates (with Hannes Leitgeb and Philip Welch), in Intensionality, Reinhard Kahle (ed.), Lecture Notes in Logic 22, Association of Symbolic Logic, A K Peters, Wellesley, 2005, 20-41
10、 Computational Structuralism (with Leon Horsten), Philosophia Mathematica 13 (2005), 174-186
11、 Wahrheit, in Logik in der Philosophie, Peter Schröder-Heister, Wolfgang Spohn and Erik J.Olsson (eds.), Synchron, Heidelberg, 2005, 227-245
12、 Axiomatische Theorien der Wahrheit und wahrheitstheoretischer Deflationismus, Information Philosophie 31 (2003), 62-68
special issue Coherence and Dynamics of Belief (with Erik Olsson), Erkenntnis 50, 1999 (2-3), double issue
special issue Methods for Investigating Self-Referential Truth, Studia Logica 68 (1), 2001
Principles of Truth (with Leon Horsten), Ontos-Verlag 2002
book series logos (with Alexander Hieke, Hannes Leitgeb and Holger Sturm), Ontos Verlag, since 2002
special issue Reflections on Frege and Hilbert (with Bernd Buldt and Reinhard Kahle), Synthese 147 (2005)
1. the Journal of Symbolic Logic,since1995,
2. Erkenntnis,since1996,
3. Notre Dame Journal of Formal Logic , since 1997,
4. Journal of Philosophical Logic, since1997,
受邀担任多家专业权威杂志的评论人(Reviewer),包括:
1. the Zentralblatt MATH, from 2000 to 2006,
2. the Bulletin of Symbolic Logic,since 2000,
3. Analysis, since 2001,
4. Trends in Logic (book series by Kluwer) since 2001,
5. Dialectica,since 2002,
6.
7. Canadian Journal of Philosophy,since 2002,
8. Studia Logica, since 2002,
9. Philosophia Mathematica, since 2004,
10. Philosophical Quarterly,since 2005,
11. Mind,since 2005,
12. Yeditpe’de Felsefe, since 2006,
13. Journal of Semantics, since 2006,
14. Journal of Logic and Computation,since 2008,
15.
16. Theoria, since 2010,
17. Archiv für Geschichteder Philosophie, since 2011.