CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB opportunities Bulletin Item

CALL FOR PAPERS: Special issue on "Jean van Heijenoort Centenary",

Special issue of Logica Universalis -edited by Irving H. Anellis, Indiana University-Purdue University at Indianapolis

23 July 2012 marks the centenary of the birth of historian and philosopher of logic Jean van 
Heijenoort, whose anthology From Frege to Goedel helped define the nature and scope of modern 
mathematical logic for several generations of logicians and the canon of fundamental works that 
comprise the text for the formative period of mathematical logic as we know it today. His influence
in the history of mathematical logic was furthered by his work as the editor of the papers of 
Jacques Herbrand and in his contributions to the publication of the multi-volume Collected Works 
of Kurt Gdel. The articles, published and unpublished, that were brought together in his Selected 
Essays articulated his conception of the course of the origin and development of mathematical logic.
His El dessarollo de la teoria de la cuantificacion provided an exposition of the "family of formal
systems" that comprise quantification theory and its proof procedures: the axiomatic method, itself
comprised of Frege-type systems and Hilbert-type systems; Herbrand quantification; natural deduction;
and the Gentzen sequent calculus, which van Heijenoort enumerated as the four principal approaches 
to first-order predicate calculus. He briefly examined the history of each and considered them in 
their classical, intuitionistic, and minimal versions and compared the strengths and weaknesses of each.

As editor of From Frege to Goedel, van Heijenoort exercised a critical influence on the historiography
of logic through much of the second half of the twentieth century. Although aspects of his views on
the nature and scope of mathematical logic have more recently been challenged, as have aspects of 
his conception of the history of mathematical logic, his ideas remain of continuing influence among
historians and philosophers of logic and frequently serve as the starting point in discussions which
challenge his views, for example, his often exaggerated emphasis on the pivotal work of Gottlob 
Frege and corresponding comparative neglect of the contributions of Frege's contemporaries among 
the algebraic logicians, and in particular of Charles Sanders Peirce and Ernst Schrder. Thus van 
Heijenoort's work continues to occupy a significant place in the historiography and philosophy of logic.

In addition to his historical work, van Heijenoort left a body of manuscripts and typescripts, 
many of which were distributed to a handful of close colleagues and to his Brandeis University 
logic students, and in which he explored the model-theoretic properties of the falsifiability tree 
method, particularly its soundness and completeness, and the relation between the truth tree and 
falsifiability tree methods and its ancestors, in particular Herbrand quantification and Beth 
tableaux. In his Introduction a la smantique des logiques non-classiques, van Heijenoort applied 
the tree method to intuitionistic and modal logic.

We invite contributions to the special issue of Logica Universalis devoted to any and all aspects 
of van Heijenoort?s work in logic, its history and philosophy. Contributions for consideration 
should be sent in PDF to the guest editor Irving H. Anellis at

Publication schedule:
Initial submission: 31 January 2012
Preview copy: 31 March 2012
Final copy: 31 May 2012
Publication target date: 23 July 2012


Irving H. Anellis
Visiting Research Associate
Peirce Edition, Institute for American Thought
902 W. New York St.
Indiana University-Purdue University at Indianapolis Indianapolis, IN 46202-5159 USA