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

2nd CALL FOR PAPERS: Special issue of "Logica Universalis", Jan Van Heijenoort Centenary

Logica Universalis Special Issue, Second Call for Papers Jean Van Heijenoort Centenary -edited by Irving H. Anellis

Jean van Heijenoort

23 July 2012 marks the centenary of the birth of historian and philosopher 
of logic Jean van Heijenoort, whose anthology *From Frege to Gdel *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 desarrollo de 
la teora de la cuantificacin* 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 Gdel*, 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 emphasis on the pivotal work of Gottlob Frege, 
and corresponding lesser emphasis on the contributions of Frege?s 
contemporaries among the algebraic logicians, and in particular of Charles 
Sanders Peirce and Ernst Schrder, which he considered largely 
peripherally and indirectly, through the lens of the Lwenheim-Skolem 
Theorem and Herbrand?s Fundamental Theorem. 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 smantique des logiques non-classiques*, van Heijenoort 
applied the tree method to intuitionistic and modal logic.

The following have already consented to contribute to this Special Issue:

Irving H. Anellis (Indiana University-Purdue University at Indianapolis)
Solomon Feferman (Stanford University)
John W. Dawson (Pennsylvania State University at York)
Philippe de Rouilhan (Universit de Paris, I)
Georg Kreisel (Institut fr Wissenschaftstheorie, Salzburg)

In addition, this special issue will include Jean van Heijenoort?s 1974 
manuscript ?Historical Development of Modern Logic?, with an introduction 
by the editor.

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 Project
Indiana University-Purdue University at Indianapolis