Workshop on
Dialogues, Inference, and Proof - Logical and Empirical Perspectives
26 - 28 November, 2010
Vienna, Austria
Traditional conceptions of logic model correct inference quite abstractly by Tarski style semantics or by reference to formal proof systems without much concern about empirical findings about human reasoning. The fact that logical inference has to be embedded in language use and thus implies communicative interaction between human agents, that is to be addressed also by empirical methods, is often neglected. The three Eurocores/ LogICCC projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various ways. The workshop aims at corresponding cross fertilization, stimulated by invited talks by external experts.
- Michiel van Lambalgen (Universiteit van Amsterdam)
- Keith Stenning (University of Edinburgh)
- Lance Rips (Northwestern University, WCAS, Illinois)
- David Over (Durham University)
This event is funded by the ESF/Eurocores program LogICCC.
