AISB opportunities Bulletin Item
CALL FOR PAPERS: Special issue on "Logical Issues in the History and Philosophy of Computing"
Special issue of the 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 ChurchTuring 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, destination of the submission.