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/2020/newsitem/12214/8- December-2020-The-Utrecht-Logic-in-Progress-Series -TULIPS-Bogdan-Dicher DTSTAMP:20201201T183236 SUMMARY:The Utrecht Logic in Progress Series (TULI PS), Bogdan Dicher ATTENDEE;ROLE=Speaker:Bogdan Dicher (Lisbon) DTSTART;TZID=Europe/Amsterdam:20201208T160000 DTEND;TZID=Europe/Amsterdam:20201208T171500 LOCATION:Online DESCRIPTION:Abstract: Proof-theoretic semantics a ims to explain the meaning of the logical constant s in terms of the inference rules that govern thei r behaviour in proofs. One of its central concepts is that of harmony: roughly, the match between th e rules stipulating the conditions for introducing a logical constant in a proof and those for elimi nating it from a proof. There are many accounts of harmony, most of them are developed against a bac kground that assumes the rules of Identity and Cut , taken to codify the reflexivity and transitivity of logical consequence. We have argued elsewhere that the proof-theoretic project should be approac hed relative to a logic, i.e., relative to a conse quence relation, and that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability rela tion in Gentzen systems. This relation is always r eflexive, monotonic, and transitive, but it being so does not depend on the availability of sequent rules codifying these properties. In this talk we investigate the prospects for an account of harmon y adequate for logics that lack the structural rul es of Identity and Cut. The talk will take place on MS Teams. Please contact the organizers for in formation about how to join the online meeting. X-ALT-DESC;FMTTYPE=text/html:\n
Abstract:
\
n Proof-theoretic semantics aims to explain the m
eaning of the logical constants in terms of the in
ference rules that govern their behaviour in proof
s. One of its central concepts is that of harmony:
roughly, the match between the rules stipulating
the conditions for introducing a logical constant
in a proof and those for eliminating it from a pro
of. There are many accounts of harmony, most of th
em are developed against a background that assumes
the rules of Identity and Cut, taken to codify th
e reflexivity and transitivity of logical conseque
nce. We have argued elsewhere that the proof-theor
etic project should be approached relative to a lo
gic, i.e., relative to a consequence relation, and
that the consequence relation relevant for proof-
theoretic semantics is the one given by the sequen
t-to-sequent derivability relation in Gentzen syst
ems. This relation is always reflexive, monotonic,
and transitive, but it being so does not depend o
n the availability of sequent rules codifying thes
e properties. In this talk we investigate the pros
pects for an account of harmony adequate for logic
s that lack the structural rules of Identity and C
ut.
The talk will take place on MS Te ams. Please contact the organizers for information about how to join the online meeting.
URL:https://tulips.sites.uu.nl CONTACT:Colin Caret at c.r.caret at uu.nl END:VEVENT END:VCALENDAR