Dr Jeremy Michael Seligman

BA (Oxford), PhD (Edinburgh)

Profile Image
Senior Lecturer


I am a philosopher and logician, applying ideas from mathematics and logic to philosophical problems, currently focussing on social reasoning and the history of logic in China. I have been a member of the Philosophy Department at The University of Auckland since 1998 and I have close ties to a number of universities in China, including South West University (Chongqing), where I am a regular vistor at the Insitute of Logic and Intelligence, and Tsinghua University (Beijing) where I am a member of the Tsinghua-Amsterdam Joint Research Centre in Logic.

Full details and a current CV can be found on my Academia page.

Research | Current

  • Modal logic
  • Hybrid logic
  • Philosophy of information and computation
  • Situation theory
  • Logic in social networks
  • History of logical thought in China


Much of the depth and complexity of rational behaviour emerges only when one considers interactions between agents. Yet logic, with its traditional focus on the justification of an individual's beliefs, has only recently been adapted to a multi-agent setting, in which  concepts such as common knowledge, strategic game-playing, and the dynamics of communication can be addressed.  The broadening of the subject allows research in logic to engage productively with related areas of social science such as theoretical economics.  In a recent development of this trend, relevant social relationships such as `friend', `trusted advisor', or `student' are explicitly represented in formal languages, so that there role in reasoning in social settings can be studied.  This is a current and ongoing research interest of mine. 


Situation Theory was an ambitious attempt in the 1980s and 90s to devise a foundational theory that is to the informational sciences what set theory is to mathematics. It never reached that goal, but had a big influence on developments in formal semantics and computational ontology. My biggest contribution was the book `Information Flow’ that I wrote with Jon Barwise in 1997, which has over 700 citations. I continue to work on this topic from time to time.


A recent interest of mine is to understand and model, using technics from modern applied logic, the logical structure of Mohist theories of argumentation, based on the notion of tuilei 推类.  This has led to an on-going collaboration with Liu Fenrong (Tsinghua).  We are co-organising  a conference series The History of Logic in China  held in Amsterdam (2010) and Nankai University (Tianjin, 2013 and 2014) and planned to continue in 2015. This is closely related to a bigger project: The Handbook of the History of Logical Thought in China, under contract with Springer, of which we are the main editors, together with Zhai Jincheng (Nankai). The handbook involves 40 authors, and is planned to have over 1000 pages, with funding from many sources. Liu Fenrong and I are also editing (and translating) a series of interviews with Chinese and overseas researchers in the filed, called 5 Questions in the History of Logical Thought In China, to be published in 2014. Details of all these things can be seen on the HOLIC website: www.holicnet.net

Please see my Academia page for current research, publications, etc.


Teaching | Current

PHIL 101 Introduction to Logic

PHIL 222 Intermediate Logic

PHIL 315 Topics in Applied Logic

PHIL 737 Logic 2

Postgraduate supervision

Andrew Withy (PhD 2014)  Liang Zhen (PhD candidate)  Zhu Rui (PhD candidate)

Doctoral supervision policy

As a supervisor, my aim is to help you to achieve the best you can in the limited time you have as a doctoral student. This is probably the only time in your life that you will have available to devote your attention to a single research project. It is to be cherished and enjoyed. For this reason, I have no general specification that fits all students. I only ask that you make a commitment to me and to yourself to be honest about your expectations and faithful to the arrangements we make to meet. I will offer advice that I believe suits you best, given your educational background, ability and expectations. I will also give you a clear indication of the standard expected by the external examiners. It is your responsibility to ensure that you meet those standards. I prefer face-to-face meetings and oral feedback to written feedback, at least until the final stages of thesis writing. I am tolerant of a wide variety of working styles but require clarity about want you want and expect from our interaction, which is a matter of ongoing negotiation between us.


International Liaison, School of Humanities Information for international students at Auckland ...

Areas of expertise

Modal logic, hybrid logic, philosophy of information and computation, situation theory, logic in social networks, history of logical thought in China.

Committees/Professional groups/Services

International Liaison, School of Humanities

Selected publications and creative works (Research Outputs)

As of 29 October 2020 there will be no automatic updating of 'selected publications and creative works' from Research Outputs. Please continue to keep your Research Outputs profile up to date.
  • Xiong, Z., Agotnes, T., Seligman, J., & Zhu, R. (2017). Towards a logic of tweeting. In A. Baltag, J. M. Seligman, T. Yamada (Eds.) Logic, rationality, and interaction: 6th International Workshop, LORI 2017, Proceedings, 49-64. Sapporo, Japan: Springer.
  • Thompson, D., & Seligman, J. (2017). Teaching natural deduction in the right order with Natural Deduction Planner. IfCoLog Journal of Logics and their Applications, 4 (1), 193-219.
  • Seligman, J., & Ma, M. (2016). A quantale interpretation of dynamic logic. Paper presented at Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC2016), Guangzhou, China. 5 December - 9 December 2016.
    URL: http://hdl.handle.net/2292/39255
  • Liu, F., & Seligman, J. (2015). History of Logic in China: 5 Questions. Automatic Press Publishing. Pages: 252.
  • Seligman, J. M., & Thompson, D. (2015). Teaching natural deduction in the right order with Natural Deduction Planner. In M. A. Huertas, J. Marcos, M. Manzano, S. Pinchinat, F. Schwarzentruber (Eds.) Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), 199-206. Rennes, France. Related URL.
  • Seligman, J., & Thompson, D. (2015). Boolean network games and lterated boolean games. In W. VanDerHoek, W. H. Holliday, W. F. Wang (Eds.) Logic, rationality, and interaction: 5th International Workshop, LORI 2015, Proceedings, LNCS, volume 9394, 353-365. Heidelberg: SPRINGER INT PUBLISHING AG. 10.1007/978-3-662-48561-3_29
  • Ma, M., & Seligman, J. (2015). Algebraic semantics for dynamic dynamic logic. In W. VanDerHoek, W. H. Holliday, W. F. Wang (Eds.) Logic, rationality, and interaction: 5th International Workshop, LORI 2015, Proceedings, LNCS, volume 9394, 255-267. Heidelberg: SPRINGER INT PUBLISHING AG. 10.1007/978-3-662-48561-3_21
  • Seligman, J. (2014). Situation theory reconsidered. In A. Baltag, S. Smets (Eds.) Johan van Benthem on logic and information dynamics (pp. 895-932). Switzerland: Springer International Publishing Switzerland. 10.1007/978-3-319-06025-5_35

Contact details

Alternative contact

+64 9 923 7992

Office hours

2018, second semester

Thu. 10-11  PHIL 315
Fri. 10-11    PHIL 101
Fri. 11-12    Logic and Computation UG/PG advice

Primary office location

ARTS 1 - Bldg 206
Level 4, Room 445
New Zealand

Social links

Web links