[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
TITLE
Logical Issues in the History and Philosophy of Computing
GUEST EDITORS
Liesbeth De Mol & Giuseppe Primiero
OCCASION AND BACKGROUND
The computing sciences collect the most diverse complex of experts:
philosophers, logicians, historians, mathematicians, computer scientists,
programmers,
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
and
concrete models of interactive processes. Following the organization of the
first
International Conference on the History and Philosophy of Computing,
http://www.computing-conference.ugent.be
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
of
the Journal History and Philosophy of Logic will appear.
TOPICS
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
are
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
of
computing.
TIMETABLE:
April 15, 2012: Deadline paper submission
July 15, 2012: Deadline reviews papers
October 15, 2012: Deadline revised papers
2013: Publication of the special issue
SUBMISSION DETAILS:
To submit a paper for this Special Issue, please follow all the
instructions for regular submissions, available at
http://www.tandf.co.uk/journals/journal.asp?issn=01445340&linktype=44
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