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        <p>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 <br/>\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.
 </p>\n\n    \n        <p>For more information, see
  <a target="_blank" href="http://www.logic.at/lomo
 revi/dipleap/">http://www.logic.at/lomorevi/diplea
 p/</a></p>\n    
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