Name: Thomas Benda
Mailing Address: Institute of Philosophy of Mind and Cognition, National Yang Ming University
_____________ 11221 Taipei, Taiwan
Ph.D. in logic and philosophy of science at University of Munich, Germany
Topic of thesis: A Formal Construction of Spacetime
2010- Associate Professor and Graduate Consultant, Institute of Philosophy of Mind and Cognition, National Yang Ming University, Taiwan
2008-2010 Assistant professor, Institute of Philosophy of Mind and Cognition, National Yang Ming University, Taiwan
2004-2008 Assistant professor, Department of Philosophy, National Chungcheng University, Taiwan
2003-2004 Assistant professor, Department of Foreign Languages at Bei-Tai Institute of Technology, Taipei, Taiwan
2002-2003 Teacher and computer system administrator, Department of Sinology, University of Munich, Germany
2013 Benda, Thomas. ¡§An axiomatic foundation of relativistic spacetime.¡¨ Synthese, available online, DOI 10.1007/s11229-013-0345-
2010 Benda, Thomas. ¡§Formalizing quantum mechanics without quantum logic¡¨. Studies in Logic, vol. 3, issue 1, pp. 51-72.
2009 Benda, Thomas. ¡§The Difficulties of Constructing a Consistent First-Person Doxastic Logic¡¨. Studies in Logic, vol. 2,
____ issue 2, pp. 30-52.
2009 Benda, Thomas. ¡§Quasi-Set Theory: Can There Be a Set Theory of Non-Individuals?¡¨ In Cheng-Hung Lin (ed.),
____ Philosophy of Logic, pp.
369-392, Pro-Ed Publishing Company.
2008 Benda, Thomas. ¡§A Formal Construction of a Spacetime Theory.¡¨ Journal of Philosophical Logic, vol. 37, pp. 441-478.
2012 Benda, Thomas. ¡§An axiomatic foundation of relativistic spacetime¡¨, presented on the 1st Logic and Relativity Conference in
Honor of Professor Nemeti's 70th Birthday at the Alfred Renyi Institute of Mathematics, Budapest, Hungary, September 8-12, 2012.
2010 Benda, Thomas. ¡§Minds, machines and Lucas-Penrose.¡¨ Towards a Science of Consciousness 2010,
____ Tucson, Arizona, USA, April 13-17, 2010.
2009 Benda, Thomas. ¡§Formalizing quantum mechanics without quantum logic.¡¨ The 8th International Conference on Logic
____ and Cognition, Guangzhou, China, November 2-4, 2009.
2009 Benda, Thomas. ¡§Are fermions individuals?¡¨, The Annual Meeting of the British Society for the Philosophy
____ of Science at the University of Southampton, UK, July 13-14, 2009.
2009 Benda, Thomas, "How aliens help us to embrace content internalism." Toward A Science of Consciousness
____ 2009, Hong Kong, China, June 11-14, 2009.
2009 Liu, Nai-Jia and Benda, Thomas, "Can a materialist accept ¡§what is it like to be a bat¡¨?" Toward A Science of
____ Consciousness 2009, Hong Kong, China, June 11-14, 2009.
2009 Benda, Thomas, ¡§What is knowing everything physical?¡¨ Workshop of Yang-Ming University and Soochow University
____ on Philosophy -- Metaphysics , Taipei, Taiwan, May 2, 2009.
2008 Benda, Thomas. ¡§Quasi-Set Theory: Can There Be a Set Theory of Non-Individuals?¡¨ presented on the Third
____ Cross-Strait Conference on Logic Teaching and Research at Soochow University, May 30, 2008.
2007 Benda, Thomas. ¡§Empirical Beliefs and Their Physical Carrier States¡¨, presented on the Fourth Conference on
____ Experience and Truth at National Taiwan University, November 9-10, 2007.
2007 Benda, Thomas. ¡§Do Everettian branches need to be clearly defined?¡¨, presented on the Annual Meeting of the
____ British Society for the Philosophy of Science at the University of Bristol, July 5-6, 2007.
2006 Benda, Thomas. ¡§Quasi-set theory: Can there be a set theory of non-individuals¡¨, presented on the Third Conference
____ on Experience and Truth at Soochow University, November 24-25, 2006.
2006 Benda, Thomas. ¡§A formal base of Bohmian quantum mechanics¡¨, presented on the Annual Meeting of the British
____ Society for the Philosophy of Science at the University of Southampton, July 6-7, 2006.
2006 Benda, Thomas. ¡§Beliefs as part of non-collapse quantum mechanics¡¨ presented on Conference on Naturalized
____ Epistemology and Philosophy of Science at Soochow University, May 31, 2006.
2006 Benda, Thomas. ¡§In favor of a rigorous foundation of physics and how to perform it¡¨ for the 5th International
____ Conference on Logic and Cognition (ICLC), Guangzhou, China, May 29, 2006.
2005 Benda, Thomas. ¡§Belief, believers, and physical states¡¨, presented on the Second Conference on Experience
____ and Truth at National Taiwan University, June 24-25, 2005.
2005 Benda, Thomas. ¡§Truth and first-person perspective¡¨, presented on the First Conference on Experience and
____ Truth at National Taiwan University, March 11-12, 2005.
1988 Benda, Thomas & Schmeer, Helmut. "A new approach to electromagnetic coupling." IEEE 1988 International
____ Symposium on Electromagnetic Compatibility, pp. 140ff.