[FOM] Reminder: CfP: Journal History and Philosophy of Logic - Logical Issues in the History and Philosophy of Computing

gprimiero at libero.it gprimiero at libero.it
Sun Jan 15 05:52:30 EST 2012

Call for Papers 
Journal History and Philosophy of Logic

Logical Issues in the History and Philosophy of Computing

Liesbeth De Mol & Giuseppe Primiero

The computing sciences collect the most diverse complex of experts: 
philosophers, logicians, historians, mathematicians, computer scientists, 
engineers. The number of involved subjects grows accordingly: from 
foundational issues 
to their applications; from philosophical questions to problems of 
realizability and design of 
specifications; from theoretical studies of computational barriers to the 
relevance of
machines for educational purposes. A historical awareness of the evolution of 
computing not only
helps to clarify the complex structure of the computing sciences, but it also 
provides an
insight in what computing was, is and maybe could be in the future. 
Philosophy, on the
other hand, helps to tackle some of the fundamental problems of computing, 
going from the
limits of the “mathematicizing power of homo sapiens”to the design of feasible 
concrete models of interactive processes. Following the organization of the 
International Conference on the History and Philosophy of Computing,


held from November 7 to 10, 2011 at the University of Ghent and
organized by the Centre for Logic and Philosophy of Science, a special issue 
the Journal History and Philosophy of Logic will appear.

Philosophy and Computability share a common ground in the logical
foundations and their application to computational problems. The role of Logic 
is thus
undoubtedly crucial to the rise and growth of Computing. From the problems 
related to the 
Grundlagenkrisis at the end of the XIX to the understanding of crucial notions 
as infinity and
meaning manipulation in formal systems; from the definition of algorithmic 
processes to their 
limitation and abstraction with respect to resources; from complexity to
undecidability; from systems of computations to programs. These are all topics 
that exist precisely at
the intersection of philosophy and computing, where the logical roots of both 
discovered. But if the role of the logical foundations for both Computability 
and Philosophy is
evident, less evident appears to be an understanding of the methodological and 
historical role that
this plays today and how this shapes its technical and applicational problems.

We solicit submissions of papers that combine both historical and
systematic aspects of the computational sciences, in particular related to the 
logical and
philosophical foundations of: computational systems and machines; models of 
computability; physical 
Church-Turing Thesis; semantic theories of programming languages; epistemology 

April 15, 2012: Deadline paper submission
July 15, 2012: Deadline reviews papers
October 15, 2012: Deadline revised papers
2013: Publication of the special issue

To submit a paper for this Special Issue, please follow all the
instructions for regular submissions, available at


including Word and Latex templates, formats and destination of the
submission. Please specify "Special Issue History and Philosophy of Computing" 
in the subject line of your email.

More information about the FOM mailing list