Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26-28 November 2010, Dialogues, Inference, and Proof - Logical and Empirical Perspectives, Vienna, Austria

Date: 26-28 November 2010
Location: 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/

Please note that this newsitem has been archived, and may contain outdated information or links.