Logic and Cognition Pre-Conference Workshop
March 2, 2019, Indian Institute of Technology Delhi, India.


Information

A pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular:

  1. the paradigmatic false belief tasks, and
  2. higher order social reasoning tasks involving strategic games.

The organizers are interested in both model-theoretic and proof-theoretic approaches. Before describing recent advances in these fields, the organizers plan on giving a brief introduction to relevant modal logics as well as relevant notions from psychology and cognitive science, thus making the workshop self-contained for a broad range of logicians, whatever the background: Computer science, linguistics, philosophy or mathematics.


Organizers

Torben Braüner, Roskilde University, Denmark
torben AT ruc DOT dk
Sujata Ghosh, ISI Chennai, India
sujata AT isichennai DOT res DOT in


Speakers

Rohit Parikh (CUNY, USA)
Torben Braüner (Roskilde University, Denmark)
Sujata Ghosh (ISI Chennai, India)


Accepted abstracts

  1. Reetu Bhattacharjee, Mihir Kr. Chakraborty and Lopamudra Choudhury
    Cognition of absence and diagrams

  2. Naveen Sundar Govindarajulu, Selmer Bringsjord and Atriya Sen
    Toward proof-theoretic semantics for the deontic cognitive event calculus

  3. R. Ramanujam
    Towards models for collective memory

  4. Shikha Singh and Deepak Khemani
    Deception: An epistemic planned event?


Workshop Schedule

2 March 2019
09:00 - 09:05 Introduction to the workshop
09:05 - 10:05 Rohit Parikh
Logic for non-persons
[Abstract] [Slides]
10:05 - 10:30 Break
10:30 - 11:30 Torben Braüner
Logic in psychology: With applications to false-belief tasks
[Abstract] [Slides]
11:30 - 11:45 Break
11:45 - 12:45 Sujata Ghosh
Logic and cognition: Towards interdependent methodologies
[Abstract] [Slides]
12:45 - 14:00 Lunch
14:00 - 14:30 Reetu Bhattacharjee, Mihir Kr.Chakraborty and Lopamudra Choudhury
Cognition of absence and diagrams
[Abstract] [Slides]
14:30 - 15:00 Naveen Sundar Govindarajulu, Selmer Bringsjord and Atriya Sen
Toward proof-theoretic semantics for the deontic cognitive event calculus
[Abstract] [Slides]
15:00 - 15:30 Break
15:30 - 16:00 R. Ramanujam
Towards models for collective memory
[Abstract] [Slides]
16:00 - 16:30 Shikha Singh and Deepak Khemani
Deception: An epistemic planned event?
[Abstract] [Slides]
16:30 - 17:00 A session on 'Research in logic and cognition: Compelling questions'