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.

\n\n The talk will take place on MS Te
ams. Please contact the organizers for information
about how to join the online meeting.

\n
URL:https://tulips.sites.uu.nl
CONTACT:Colin Caret at c.r.caret at uu.nl
END:VEVENT
END:VCALENDAR