Fwd: [LOGBOG: 1280] Fwd: PhD studentship in logic and information at UCL

[Samuel Gomes da Silva]

---

De: Pedro <phzam...@gmail.com>
Para: logbog <log...@googlegroups.com>
Data: terça-feira, 28 de outubro de 2025 às 09:24 -03
Assunto: [LOGBOG: 1280] Fwd: PhD studentship in logic and information at UCL

---------- Forwarded message ---------
De: Pym, David <d....@ucl.ac.uk>
Date: mar, 28 oct 2025 a la(s) 6:03 a.m.
Subject: PhD studentship in logic and information at UCL

Applications are invited for a PhD studentship at UCL with project title 'A Foundational Theory of Information Based on Inference’. The joint supervisors are Tim Button and David Pym. UK and international candidates can be considered. 


Application deadline: 


13:00 UK time on Monday 05 January 2026. Note that two references must also be submitted by this time. 


Description:  

Information is one of the most widely-used concepts of our times. But it has not yet been given convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems, including AI systems, upon which the society depends.

This project will rectify this by developing an inferentialist semantic theory of information. There are three key components:

CONCEPTUAL ANALYSIS. The project begins with a philosophically precise account of the concepts required for an inferentialist account of information (there is at present no such inferentialist account in the literature). Dretske expressed the key concepts of information in terms of intentionality, truth, and transmissibility (in ‘Metaphysics of Information’); we crucially replace truth with inferability, and trace the consequences of this replacement.

LOGIC. Proof-theoretic semantics (P-tS) provides a mathematical-logical realization of inferentialist reasoning. The project will develop a P-tS for the logical theory of information, capturing the conceptual analysis developed in (1) by developing the mathematical-logical theory of an inferentialist primitive unit of information, the ‘inferon’. This proof-theoretic approach will counterpoint the model-theoretic view of information articulated in ‘situation theory’ (as developed by Barwise, Seligman, Devlin, and others).

SYSTEMS. The P-tS tools developed in (2) will provide the basis for a mathematical account of distributed systems modelling — a key tool from computer science for understanding the organization of information processing systems. This will yield a reasoning-based theory of information flow in models of distributed systems.

This PhD project will be supervised jointly by Professor Tim Button (UCL Philosophy) and Professor David Pym (UCL Computer Science and Institute of Philosophy, University of London). Applicants should hold or be about to obtain a strong Master-level degree in philosophy, mathematics, or computer science, and have a strong background and interest in logic.


Project details: 

https://ucl-epsrc-dtp.github.io/2026-27-project-catalogue/projects/2531bd1693.html


Studentship details and application process:

https://www.ucl.ac.uk/epsrc-doctoral-training/prospective-students/ucl-epsrc-landscape-award-uela-studentships


Contacts: 

Tim Button (tim.b...@ucl.ac.uk, https://www.homepages.ucl.ac.uk/~uctytbu/)  

David Pym (davi...@sas.ac.uk, www.cantab.net/users/david.pym/)  

--
--
Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog
 
Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" .
Para enviar un mensaje, envíe un email a log...@googlegroups.com
Para salir del grupo, envíe un email a logbog-un...@googlegroups.com
Para más opciones, visite http://groups.google.com/group/logbog?hl=es
---
Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google.
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a logbog+un...@googlegroups.com.
Para ver este debate, visita https://groups.google.com/d/msgid/logbog/CAHHvcWvRy3TjBt6-mBqq0Mjm88CgcQbTQKrOZcWLs8%2BPPPqk6g%40mail.gmail.com.