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 \nFor 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