Ray Turner (científico informático)

El profesor Raymond Turner (nacido el 28 de abril de 1947) es un lógico, filósofo e informático teórico inglés , adscrito a la Universidad de Essex . Es conocido principalmente por su trabajo sobre lógica en informática y por su labor pionera en la filosofía de la informática . Forma parte de los consejos editoriales del Journal of Logic and Computation ^{[ 1 ]} y de la Stanford Encyclopedia of Philosophy , en la sección de Lógica, Computación y Agencia ^{[ 2 ] .}

• Lógica para la inteligencia artificial , 121 páginas, E. Horwood, 1984, ISBN 0-470-20123-1
• Verdad y modalidad para la representación del conocimiento , 141 páginas, The MIT Press, 1991, ISBN 0-262-20080-5
• Fundamentos constructivos para lenguajes funcionales , 288 páginas, McGraw-Hill Publishing Co, 1 de mayo de 1991, ISBN 0-07-707411-4
• Modelos Computables , 240 páginas, Springer, 2009, ISBN 1-84882-051-8
• Artefactos computacionales: Hacia una filosofía de la informática , 285 páginas, Springer, 2018, ISBN 978-3-662-55565-1

• Una teoría de las propiedades , The Journal of Symbolic Logic. 52 (02), 455–472.
• Contrafactuales sin mundos posibles , Journal of Philosophical Logic. 10 (4), 453–493.
• Lógicas de la verdad , Notre Dame Journal of Formal Logic. 31 (2), 308–329.
• Comprensión de los lenguajes de programación , Mentes y Máquinas. 17 (2), 203–216.
• Los fundamentos de la especificación . Revista de lógica y computación. 15 (5), 623–662.
• Semántica y estratificación , Revista de Lógica y Computación. 15 (2), 145–158.
• Inferencia de tipos para la teoría de conjuntos , Ciencias de la Computación Teórica. 266 (1–2), 951–974.
• Leer entre líneas en la teoría de tipos constructiva , Journal of Logic and Computation. 7 (2), 229–250.
• Teorías débiles de operaciones y tipos , Journal of Logic and Computation. 6 (1), 5–31.
• Teorías perezosas de operaciones y tipos , Journal of Logic and Computation. 3 (1), 77–102.
• Filosofía de la informática , Enciclopedia de Filosofía de Stanford,.
• Especificación , Mentes y Máquinas, 21 (2):135–152.
• Tipos , en Manual de lógica y lenguaje. 1.ª edición. Editores: J. van Benthem, A. ter Meulen . ISBN 9780080533087.

Premio Covey 2017..

• Inicio en Essex:.
• Academia:.
• Genealogía matemática:.
• Philpapers:.
• Informática: