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...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



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 ianellis@iupui.edu.

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
URL: http://www.irvinganellis.info