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/2018/newsitem/9290/21- --26-June-2018-Workshop-on-Logical-Correctness-at- UNILOG-2018-Vichy-France- DTSTAMP:20170914T171004 SUMMARY:Workshop on Logical Correctness at UNILOG 2018, Vichy (France) DTSTART;VALUE=DATE:20180621 DTEND;VALUE=DATE:20180626 LOCATION:Vichy (France) DESCRIPTION:Typically, logical correctness is take n to concern whether or not an argument or proof f ollows a logical path from premises to conclusions . In recent years, however, such a view has been c omplicated by the proliferation of logics, approac hes to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logica l consequences of these changes with regard to how , or if, there is any sort of criteria by which a logical structure could be deemed correct, and whe ther or not those criteria are context-relevant in some specifiable manner. Keynote speaker: Ole HJ ORTLAND (University of Bergen, Norway). We invite abstracts for papers dealing with any of the work shop topics (though not necessarily limited to the m). X-ALT-DESC;FMTTYPE=text/html:
Typically , logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, ho wever, such a view has been complicated by the pro liferation of logics, approaches to logic, and use s of logic. In this workshop, we intend to discuss the philosophical and logical consequences of the se changes with regard to how, or if, there is any sort of criteria by which a logical structure cou ld be deemed correct, and whether or not those cri teria are context-relevant in some specifiable man ner.
\n\nKeynote speaker: Ole HJORTLAND (U niversity of Bergen, Norway).
We invite abstracts for papers dealing with any o f the workshop topics (though not necessarily limi ted to them).