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        <p>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&quot;. 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.</p>\n    \n        <p>For mor
 e information, contact <a class="email">t.achourio
 ti <span class="at">at</span> uva.nl</a></p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7229/14-
 March-2016-AUC-Logic-Lectures-Sonja-Smets
END:VEVENT
END:VCALENDAR