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  <p>Abstract:<br>\
 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.​</p>\n\n  <p>The talk will take place on MS Te
 ams. Please contact the organizers for information
  about how to join the online meeting.</p>\n
URL:https://tulips.sites.uu.nl
CONTACT:Colin Caret at c.r.caret at uu.nl
END:VEVENT
END:VCALENDAR