Dialogues, Inference, and Proof - Logical and Empirical Perspectives
26 - 28 November, 2010
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.