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/2016/newsitem/7229/14-
March-2016-AUC-Logic-Lectures-Sonja-Smets
DTSTAMP:20160310T000000
SUMMARY:AUC Logic Lectures, Sonja Smets
ATTENDEE;ROLE=Speaker:Sonja Smets
DTSTART;TZID=Europe/Amsterdam:20160314T180000
DTEND;TZID=Europe/Amsterdam:20160314T190000
LOCATION:AUC common room, Science Park 113, Amster
dam
DESCRIPTION:Abstract: In this presentation I addre
ss the old question on whether a logical understan
ding of Quantum Mechanics requires abandoning some
of the principles of classical logic. My answer t
o this question is "no". The argument is based on
insights from the recently-developed setting of Dy
namic Quantum Logic in which we can explicitly ref
er to the operational meaning of quantum-mechanica
l concepts. I use this setting to show that the co
rrect interpretation of quantum-logical connective
s is dynamical, rather than purely propositional.
This allows me to argue for the fact that there is
no contradiction between classical logic and (the
dynamic reinterpretation of) quantum logic. Overa
ll, in this talk I show how logic can handle infor
mational processes such as observations and measur
ements of quantum systems and I highlight the basi
c logical principles that are needed to reason abo
ut quantum physical processes. For more informati
on, contact t.achourioti at uva.nl
X-ALT-DESC;FMTTYPE=text/html:\n Abstract
: In this presentation I address the old question
on whether a logical understanding of Quantum Mech
anics requires abandoning some of the principles o
f classical logic. My answer to this question is &
quot;no". The argument is based on insights f
rom the recently-developed setting of Dynamic Quan
tum Logic in which we can explicitly refer to the
operational meaning of quantum-mechanical concepts
. I use this setting to show that the correct inte
rpretation of quantum-logical connectives is dynam
ical, rather than purely propositional. This allow
s me to argue for the fact that there is no contra
diction between classical logic and (the dynamic r
einterpretation of) quantum logic. Overall, in thi
s talk I show how logic can handle informational p
rocesses such as observations and measurements of
quantum systems and I highlight the basic logical
principles that are needed to reason about quantum
physical processes.

\n \n For mor
e information, contact t.achourio
ti at uva.nl

URL:/NewsandEvents/Archives/2016/newsitem/7229/14-
March-2016-AUC-Logic-Lectures-Sonja-Smets
END:VEVENT
END:VCALENDAR