The Alan Turing Centenary Conference

June 23, 2012 marks the centenary of the birth of Alan Turing. Alan Turing is arguably the most famous computer scientist of all time.

The Turing Centenary Conference will be held in Manchester on June 22-25, 2012, hosted by The University in Manchester, where Turing worked in 1948-1954. The main theme of the conference is Alan Turing’s Centenary. It has the following aims:

• to celebrate the life and research of Alan Turing;
• to bring together the most distinguished scientists, to understand and analyse the history and development of Computer Science and Artificial Intelligence

Invited Speakers

Rodney Brooks (MIT)	Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner)
Vint Cerf (Google, Turing Award winner)	Edmund M. Clarke (Carnegie Mellon University, Turing Award winner)
Jack Copeland (University of Canterbury)	George Ellis (University of Cape Town, Templeton Award winner)
David Ferrucci (IBM)	Sir Tony Hoare (Microsoft, Turing Award winner)
Garry Kasparov (Kasparov Chess Foundation)	Samuel Klein (Wikipedia)
Don Knuth (Stanford University, Turing Award winner)	Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh)
Hans Meinhardt (Max Planck Institute for Developmental Biology)	Sir Roger Penrose (Oxford, Wolf Prize)
Michael O. Rabin (Harvard University, Turing Award winner)	Adi Shamir (Weizmann Institute of Science, Turing Award winner)
Leslie Valiant (Harvard University, Turing Award winner)	Manuela M. Veloso (Carnegie Mellon University)
Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner) Programme Time Event Speaker Friday June 22, 2012 (University Place) 18:30 – 20:00 Evening invited talk for the General Public: Alan Turing, Pioneer of the Information Age Jack Copeland Saturday June 23, 2012 (Turing Centenary Day) Manchester Town Hall (Manchester Town Hall) 09:00 – 10:00 Opening invited talk: Turing's Legacy in the Networked World Vint Cerf 10:00 – 11:00 Invited talk: Turing, Church, Gödel, Computability, Complexity and Randomization - a Personal Perspective Michael Rabin Coffee break 11:30 – 12:30 Invited talk: Alan Turing and Number Theory Yuri Matiyasevich Lunch 13:30 – 14:30 Invited talk: Beyond Jeopardy! The Future of Watson David Ferrucci 14:30 – 15:30 Invited talk: Turing's Cryptography from a Modern Perspective Adi Shamir Coffee break 15:45 – 16:45 Invited talk: Pilot ACE Architecture in Context Frederick P. Brooks 16:45 – 18:15 Young Scholars Competition Award Ceremony Laudation (awards to be handed over) – 2 invited talks by selected winners (30 minutes each) 18:15 Reception Sunday, June 24, 2012 (Manchester Town Hall) 09:00 – 10:00 Invited talk: Quantum Computing: A Great Science in the Making Andrew Chi-Chih Yao 10:00 – 11:00 Invited talk: Temporal Logic Model Checking Edmund Clarke Coffee break 11:30 – 12:30 Invited talk: Can Computers Understand Their Own Programs? Tony Hoare Lunch 14:00 – 15:00 Invited talk: Symbiotic Autonomy: Robots, Humans and the Web Manuela Veloso 15:00 – 16:00 Invited talk: Computer Science as a Natural Science Leslie Valiant Coffee break 16:30 – 18:00 Panel Discussion: The Big Questions in Computation, Intelligence and Life Break 19:00 Dinner, starting with the Dinner Speech Donald E. Knuth Monday, June 25, 2012 (Manchester Town Hall) 09:00 – 10:00 Invited talk: The Reconstruction of Turing's "Paper Machine" Garry Kasparov 10:00 – 11:00 Invited talk: Turing's Humanoid Thinking Machines Rodney Brooks Coffee break 11:30 – 12:30 Panel Discussion: Turing Test Lunch 14:00 – 15:00 Invited talk: On the Nature of Causation in Digital Computer Systems George Ellis 15:00 – 16:00 Invited talk: Turing’s pioneering paper “The Chemical Basis of Morphogenesis” and the subsequent development of theories of biological pattern formation Hans Meinhardt Coffee break 16:30 – 17:30 Invited talk: TBC. 17:30 – 18:30 Closing invited talk: TBC. Samuel Klein Break 20:00 – 21:30 Evening invited talk for the General Public: The Problem of Modelling the Mathematical Mind Roger Penrose

A defense of contingent logical truths Michael Nelson • Edward N. Zalta

Abstract A formula is a contingent logical truth when it is true in every model
M but, for some model M, false at some world of M. We argue that there are such
truths, given the logic of actuality. Our argument turns on defending Tarski’s
definition of truth and logical truth, extended so as to apply to modal languages with
an actuality operator. We argue that this extension is the philosophically proper
account of validity. We counter recent arguments to the contrary presented in
Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459,
2006).

God’s silence Elisa Paganini

Abstract Vagueness manifests itself (among other things) in our inability to find
boundaries to the extension of vague predicates. A semantic theory of vagueness
plans to justify this inability in terms of the vague semantic rules governing language
and thought. According to a supporter of semantic theory, the inability to find
such a boundary is not dependent on epistemic limits and an omniscient being like
God would be equally unable. Williamson (Vagueness, 1994) argued that cooperative
omniscient beings adequately instructed would find a precise boundary in a
sorites series and that, for this reason, the semantic theory misses its target, while
Hawthorne (Philosophical Studies 122:1–25, 2005) stood with the semantic theorists
and argued that the linguistic behaviour of a cooperative omniscient being like
God would clearly demonstrate that he does not find a precise boundary in the
sorites series. I argue that Hawthorne’s definition of God’s cooperative behaviour
cannot be accepted and that, contrary to what has been assumed by both Williamson
and Hawthorne, an omniscient being like God cannot be a cooperative evaluator of a
semantic theory of vagueness.

A case of confusing probability and confirmation Jeanne Peijnenburg

Abstract Tom Stoneham put forward an argument purporting to show that coherentists
are, under certain conditions, committed to the conjunction fallacy. Stoneham
considers this argument a reductio ad absurdum of any coherence theory of justification.
I argue that Stoneham neglects the distinction between degrees of confirmation
and degrees of probability. Once the distinction is in place, it becomes clear that no
conjunction fallacy has been committed.

A realist partner for Linda: confirming a theoretical hypothesis more than its observational sub-hypothesis, Theo A. F. Kuipers

Abstract It is argued that the conjunction effect has a disjunctive analog of strong
interest for the realism–antirealism debate. It is possible that a proper theory is more
confirmed than its (more probable) observational sub-theory and hence than the latter’s
disjunctive equivalent, i.e., the disjunction of all proper theories that are empirically
equivalent to the given one. This is illustrated by a toy model.

Walter the banker: the conjunction fallacy reconsidered,Stephan Hartmann · Wouter Meijs

Abstract

In a famous experiment by Tversky and Kahneman (Psychol Rev 90:293–

315, 1983), featuring Linda the bank teller, the participants assign a higher probability

to a conjunction of propositions than to one of the conjuncts, thereby seemingly committing

a probabilistic fallacy. In this paper, we discuss a slightly different example

featuring someone namedWalter, who also happens to work at a bank, and argue that,

in this example, it is rational to assign a higher probability to the conjunction of suitably

chosen propositions than to one of the conjuncts. By pointing out the similarities

between Tversky and Kahneman’s experiment and our example, we argue that the participants

in the experiment may assign probabilities to the propositions in question in

such a way that it is also rational for them to give the conjunction a higher probability

than one of the conjuncts.

VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España

VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España

VII CONGRESO DE LA SOCIEDAD DE LÓGICA, METODOLOGÍA Y FILOSOFÍA DE LA CIENCIA EN ESPAÑA La Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España y el Departamento de Lógica y Filosofía Moral de la Universidad de Santiago de Compostela organizan el VII Congreso de la mencionada sociedad que se celebrará en Santiago de Compostela del 18 al 20 de julio de 2012. Como novedad, este congreso de la Sociedad incorpora la celebración de la serie CONFERENCIAS LULIUS de la Sociedad de Lógica y Filosofía de la Ciencia en España. Esta serie de conferencias contará con la presencia de filósofos de prestigio que den a conocer sus últimos trabajos en el seno de nuestra Sociedad. En su primera edición las conferencias correrán a cargo de Philip Kitcher (Columbia University). Las conferencias se distribuirán a lo largo de los tres días de duración del congreso en sesión plenaria. Además, desde la Junta directiva de la SLMFCE se organizará un simposio dedicado a analizar la obra de Philip Kitcher. INFORMACIÓN GENERAL Fechas: 18-20 de Julio de 2012 Lugar de celebración: http://www.usc.es/opencms/es/centros/filosofia/ Facultad de Filosofía Praza de Mazarelos, s/n 15782 Santiago de Compostela, España Organizan: - Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE) - Departamento de Lógica y Filosofía Moral de la Universidad de Santiago de Compostela. Comité organizador: Concha Martínez Vidal (Presidenta del congreso, Universidad de Santiago de Compostela),  José Luis Falguera López (Secretario, Universidad de Santiago de Compostela), Xavier de Donato (Vocal, Universidad de Santiago de Compostela), José Miguel Sagüillo Fernández-Vega (Vocal, Universidad de Santiago de Compostela), María José Frápolli Sanz (Vocal, Universidad de Granada, Presidenta de la SLMFCE), Pierdaniele Giaretta (Vocal, Universidad degli Studi di Padova), Stephen McLeod (Vocal, University of Liverpool), Sofía Miguens (Vocal, Universidade de Porto), Uxía Rivas Monroy (Vocal, Universidad de Santiago de Compostela), Alejandro Sobrino Cerdeiriña (Vocal, Universidad de Santiago de Compostela),  Charles Travis (King?s College/ Porto), Juan Vázquez Sánchez (Vocal, Universidad de Santiago de Compostela), Jesús Vega Encabo (Vocal, Universidad Autónoma de Madrid, Secretario de la SLMFCE), Víctor Verdejo Aparicio (Vocal, Universidad de Santiago de Compostela), Luis Villegas (Vocal, Universidad de Santiago de Compostela). Comité científico: Juan José Acero (Universidad de Granada), John Corcoran (Buffalo University, EEUU), Javier Echeverría (Ikerbasque/ Universidad del País Vasco), Manuel García-Carpintero (Universidad de Barcelona), María Manzano (Universidad de Salamanca), Grzegorz Malinowski (Universidad de Lódz, Polonia), C. Ulises Moulines (Ludwig-Maximilians-Universität de München, Alemania), León Olivé  (Universidad Nacional Autónoma de México), Javier Ordoñez (Universidad Autónoma de Madrid), Stewart Shapiro (Ohio University/St Andrews University). Comunicaciones y simposios: Serán bienvenidas las comunicaciones y propuestas de simposios en español, gallego o inglés, sobre estas secciones: A. Lógica, historia y filosofía de la lógica B. Filosofía del lenguaje, filosofía de la mente, epistemología C. Filosofía y metodología de la ciencia D. Historia de la ciencia E. Ciencia, tecnología y sociedad *Fecha límite para la recepción de los resúmenes de comunicaciones y simposios: 15 de marzo de 2012. *Fecha límite para la comunicación de aceptación de comunicaciones: 22 de abril de 2012. *La fecha límite para la recepción de la versión definitiva de las comunicaciones y presentaciones a simposios aceptadas (a efectos de su publicación en las actas) será el 3 de junio de 2012. (Máximo 2.000 palabras, Times New Roman 12, doble espacio, en formato Word). Se reservará para cada comunicación aceptada un tiempo de exposición de 30 minutos, discusión incluida. Se reservará para cada simposio aceptado un tiempo máximo de 2 horas con la participación máxima de 5 personas. Las propuestas de comunicaciones y simposios se remitirán electrónicamente a: https://www.easychair.org/conferences/?conf=7thslmfce Para garantizar la revisión ciega de las comunicaciones y simposios, se ruega que el correspondiente resumen o propuesta se suba en un documento en el que no figure el nombre del autor o autores. Los resúmenes de las comunicaciones deberán tener una extensión de 1.000 palabras, en Times New Roman 12, y a doble espacio (se admiten varios formatos de documento). En el caso de las propuestas de simposio, deberá incluirse en el documento un breve resumen de la presentación de cada interviniente (sin incluir sus nombres en el resumen) y una justificación del interés del mismo. Para garantizar la evaluación ciega, los nombres de los autores de las comunicaciones y de los intervinientes en los simposios quedarán registrados en el sistema independientemente del resumen o propuesta. PREMIOS/BOLSAS DE VIAJE PARA JÓVENES INVESTIGADORES  Con el fin de seguir incentivando el trabajo de jóvenes investigadores, la SLMFCE convoca tres premios-bolsas de viaje para las tres mejores contribuciones al congreso por parte de investigadores jóvenes. Los candidatos deben cumplir las siguientes condiciones: (a) ser estudiante de máster o doctorado, o haber defendido la tesis doctoral en los tres últimos años a contar desde el plazo de envío de comunicaciones, es decir, haber defendido la tesis con posterioridad al 31 de mayo del 2009. (b) ser socio de la Sociedad o asociarse a la misma en el momento en que se envíe la comunicación. (c) obtener una evaluación de Excelente en la evaluación ciega de su contribución llevada a cabo por el comité científico del congreso. La dotación de la ayuda será para cubrir los gastos ocasionados por el viaje, alojamiento e inscripción del congreso, hasta un máximo de 500 euros para cada premiado.  La SLMFCE acreditará documentalmente la obtención del premio. En caso de que haya más de tres candidatos que cumplan las condiciones y que presenten trabajos de alta calidad, el comité organizador podrá dividir la suma total disponible (1500 euros) entre todos aquellos que sean considerados merecedores del premio.  Más información: Las novedades sobre el congreso irán apareciendo en la página de la Sociedad(http://www.solofici.org/) o en la del Departamento  (http://dlvisit.usc.es/dloxfmrl/pub/Index) y eventualmente en la propia del congreso. Puede obtenerse información adicional sobre alojamiento y viaje en http://www.santiagoturismo.com/ Para solicitar cualquier información sobre el congreso también puede dirigirse a: Para más información.AQUI 1) Por correo electrónico: viislmfce@usc.es 2) Por correo ordinario: VII Congreso de la SLMFCE Departamento de Lógica y Filosofía Moral Facultad de Filosofía Universidade de Santiago de Compostela Praza de Mazarelos,  s/n 15782 SANTIAGO DE COMPOSTELA