State of the Art? ¹

There is a long tradition of CompSci in SocSci (agent-based modelling, ...) and of SocSci in CompSci (HCI, ...).

But there has been a surge of interest over the last decade.

Examples of recent research areas that overlap SocSci and CompSci. These examples illustrate interactions between SocSci and CompSci,

• using CompSci-tools in SocSci (eg ABM),

• applying CompSci-maths to SocSci (eg algorithms),

• arising from novel challenges posed by techonological CompSci-developments (eg Machine Ethics).

The 2nd item is closest to my research expertise and so I would like to speculate on physics mathematics vs computer science mathematics.

CompSci-maths (or Theoretical Computer Science (TCS)) lays the foundation of computer science. It is sometimes divided into algorithms and into logic/semantics, where I see myself in logic/semantics.

• What are the contributions CompSci-maths can make and what are the more specific contributions of logic and semantics?

A related question is

• How to integrate discrete/logical methods with statistical methocs? This question is of interest both for CompSci iteself (eg, in Artificial Intelligence integrate logical methods with the statistical methods of machine learning) and for the interaction of CompSci and SocSci (simply because many existing methods in SocSci are statistics based).

My own contributions have been helping to organise events in which these questions are pursued and a series of papers coauthored with Balco, Frittella, Greco, Palmigiano, Sikimic aiming at making dynamic epistemic and related logics applicable to SocSci (but the work itself is technical and in proof theory).