BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2010/newsitem/3619/26- 28-November-2010-Dialogues-Inference-and-Proof---L ogical-and-Empirical-Perspectives-Vienna-Austria DTSTAMP:20101104T000000 SUMMARY:Dialogues, Inference, and Proof - Logical and Empirical Perspectives, Vienna, Austria DTSTART;VALUE=DATE:20101126 DTEND;VALUE=DATE:20101128 LOCATION:Vienna, Austria DESCRIPTION:Traditional conceptions of logic model correct inference quite abstractly by Tarski styl e semantics or by reference to formal proof system s without much concern about empirical findings ab out human reasoning. The fact that logical inferen ce has to be embedded in language use and thus imp lies communicative interaction between human agent s, that is to be addressed also by empirical metho ds, is often neglected. The three EurocoresLogICCC projects organising this workshop DiFoS, LcpR, and LoMoReVI address this challenge in various way s. The workshop aims at corresponding cross fertil ization, stimulated by invited talks by external e xperts. For more information, see http://www.logi c.at/lomorevi/dipleap/ X-ALT-DESC;FMTTYPE=text/html:\n
Traditio
nal conceptions of logic model correct inference q
uite abstractly by Tarski style semantics or by re
ference to formal proof systems without much conce
rn about empirical findings about human reasoning.
The fact that logical inference has to be embedde
d in language use and thus implies communicative i
nteraction between human agents, that is to be add
ressed also by empirical methods, is often neglect
ed. The three EurocoresLogICCC
\n proj
ects organising this workshop DiFoS, LcpR, and LoM
oReVI 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/diplea p/
URL:/NewsandEvents/Archives/2010/newsitem/3619/26- 28-November-2010-Dialogues-Inference-and-Proof---L ogical-and-Empirical-Perspectives-Vienna-Austria END:VEVENT END:VCALENDAR