BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240328T101603Z DTSTART;TZID=Europe/Amsterdam:20111215T090000 DTEND;TZID=Europe/Amsterdam:20111216T170000 SUMMARY:Conference on Computing Natural Reasoning UID:20240328T115109Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Europe/Amsterdam LOCATION:Tilburg\, Netherlands DESCRIPTION:
Logic was originally meant to systematize and analyze arguments in natural language. \; But in the 20th century the main developments in logic focused on mathematics and its foundations. \; Recently\, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear\, although some recent work has begun to address formal foundations.
The aim of this conference is to contribute to this direction in semantics and to discuss logics\, especially proof systems\, well-suited for natural language semantics and to explore comparisons between these systems.