BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260416T204850Z DTSTART;TZID=Europe/Berlin:20131011T100000 DTEND;TZID=Europe/Berlin:20131012T180000 SUMMARY:Meaning: Models and proofs UID:20260422T112133Z-iCalPlugin-Grails@philevents-web-f5d4878dd-x5n6c TZID:Europe/Berlin LOCATION:Professor-Huber-Platz\, Munich\, Germany\, Germany DESCRIPTION:

What does a theory of meaning involve? Does it consist in representation in terms of models\, is it best articulated rather in terms of inferential connections\, or is there some third possibility? The central theme of the workshop concerns formal approaches to meaning\, and the meaning of logical connectives in particular. Are the meanings of the logical constants best characterized truth-conditionally or proof-conditionally\, or in some other way? Is there indeed a conflict between model-theoretic and proof-theoretic semantics\, or can the two be reconciled? What\, if any\, are the constraints on semantic characterizations of logical expressions? For instance\, is the infamous &lsquo\;tonk&rsquo\; semantically well-defined? How do the meaning of the logical constants connect with deductive practice? Is Modus Ponens valid in virtue of the meaning of &lsquo\;if&rsquo\;\, or does the validity of the inference define the meaning of the conditional? How do philosophical and formal questions about the semantics of logical expressions extend to various non-classical logics?

ORGANIZER;CN=Stephen Read: METHOD:PUBLISH END:VEVENT END:VCALENDAR