Notice: Undefined variable: do_generate in /web/html/lomorevi/dipleap/index.php on line 2 Notice: Undefined variable: do_generate in /web/html/lomorevi/dipleap/index.php on line 22 Notice: Undefined variable: need_js in /web/html/lomorevi/dipleap/index.php on line 37 DIPLEAP workshop

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.

Invited Speakers:
This event is funded by the ESF/Eurocores program LogICCC.