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

For more information, see http://www.logic.at/lomorevi/dipleap/