ILLC-LIRa December 2022

illc-lira@list.uva.nl

1 participants
4 discussions

LIRa session: Fan Yang (tomorrow, Thursday, 15 December 16:30)
by LIRa Seminar 14 Dec '22

14 Dec '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 15 December 16:30. This will be a hybrid session with the speaker present on location. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Fan Yang (Utrecht University) Date and Time: Thursday, December 15th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Generalizing propositional team semantics Abstract. In this talk, we discuss a generalization of the standard team semantics in the propositional logic context. Team semantics was introduced by Hodges (1997) and later advanced by Väänänen (2007) in dependence logic. Propositional dependence logic (studied in (Yang & Väänänen 2016)) is an extension of (classical) propositional logic with a new type of atomic formulas, called dependence atoms, to express the (functional) dependencies between propositions. The key idea of team semantics is that such dependency properties can only make sense in multitudes. A formula in such a logic is thus evaluated on a set of valuations or possible worlds (called teams). Dependence atoms correspond exactly to functional dependencies studied in database theory; in particular, these atoms satisfy Armstrong’s Axioms (1974), which completely axiomatize the implication problem of functional dependencies. The same type of team semantics was also independently adopted in inquisitive logic (Ciardelli & Roelofsen 2011). Essentially, team semantics is defined over an underlying powerset (Kripke) frame of the teams, which also forms a bounded join-semilattice. Several authors ((Puncochar 2016 & 2017),(Holliday 2020),(Dmitrieva 2021),(Bezhanishvili & Yang 2022)) have recently defined different generalizations of the standard team semantics by modifying this powerset structure from different perspectives. In this talk, we propose a new definition of team semantics that tries to combine the approaches of (Puncochar 2017),(Dmitrieva 2021),(Bezhanishvili & Yang 2022) and also preserve the key original idea of Hodges (1997). We define a team (Kripke) frame simply as an arbitrary bounded join-semilattice satisfying certain conditions. The semantics for connectives and constants are generalized in a natural manner. The dependence atoms in this generalized setting still satisfy Armstrong’s Axioms of functional dependencies. Hope to see you there! The LIRa team

1 0

LIRa session: Fan Yang (Thursday, 15 December 16:30)
by LIRa Seminar 10 Dec '22

10 Dec '22

Dear all, We will have our next LIRa session on Thursday, 15 December 16:30. This will be a hybrid session with the speaker on location. If you want to attend online, please use our recurring zoom link: https://uva-live.zoom.us/j/89230639823?pwd=YWJuSnJmTDhXcWhmd1ZkeG5zb0o5UT09 (Meeting ID: 892 3063 9823, Passcode: 421723) You can find the details of the talk below. Speaker: Fan Yang (Utrecht University) Date and Time: Thursday, December 15th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Generalizing propositional team semantics Abstract. In this talk, we discuss a generalization of the standard team semantics in the propositional logic context. Team semantics was introduced by Hodges (1997) and later advanced by Väänänen (2007) in dependence logic. Propositional dependence logic (studied in (Yang & Väänänen 2016)) is an extension of (classical) propositional logic with a new type of atomic formulas, called dependence atoms, to express the (functional) dependencies between propositions. The key idea of team semantics is that such dependency properties can only make sense in multitudes. A formula in such a logic is thus evaluated on a set of valuations or possible worlds (called teams). Dependence atoms correspond exactly to functional dependencies studied in database theory; in particular, these atoms satisfy Armstrong’s Axioms (1974), which completely axiomatize the implication problem of functional dependencies. The same type of team semantics was also independently adopted in inquisitive logic (Ciardelli & Roelofsen 2011). Essentially, team semantics is defined over an underlying powerset (Kripke) frame of the teams, which also forms a bounded join-semilattice. Several authors ((Puncochar 2016 & 2017),(Holliday 2020),(Dmitrieva 2021),(Bezhanishvili & Yang 2022)) have recently defined different generalizations of the standard team semantics by modifying this powerset structure from different perspectives. In this talk, we propose a new definition of team semantics that tries to combine the approaches of (Puncochar 2017),(Dmitrieva 2021),(Bezhanishvili & Yang 2022) and also preserve the key original idea of Hodges (1997). We define a team (Kripke) frame simply as an arbitrary bounded join-semilattice satisfying certain conditions. The semantics for connectives and constants are generalized in a natural manner. The dependence atoms in this generalized setting still satisfy Armstrong’s Axioms of functional dependencies. Hope to see you there! The LIRa team

1 0

VvL Joint Seminar and VvL Master Thesis Prize award ceremony (Groningen) (tomorrow, Thursday, 8 December 15:00)
by LIRa Seminar 07 Dec '22

07 Dec '22

Dear all, Tomorrow you are invited to the joint seminar organised by VvL and the logic seminars of the Netherlands. There will be no regular LIRa session. The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) will hold an annual in-person joint seminar organized by the University of Groningen. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. For more information, see the GroLog website here: https://sites.google.com/rug.nl/grolog/home In particular please note that you should register to attend the event via this form before 5 December: https://forms.gle/5EYXwK6eh3uy5naAA The event will be fully on location, with no hybrid or online participation. Date and time: Thursday, December 8th 2022, 15:00-17:00 Location: Jantina Tammeszaal, in the University Library in the centre, Broerstraat 4, 9712 CP Groningen. Title: The Annual VvL Seminar 2022 Speakers: Invited talk: - Sonja Smets (ILLC, University of Amsterdam) MSc Thesis Prize winners: - Anna Dmitrieva (supervisors: Nick Bezhanishvili & Tommaso Moraschini), - Maximilian Siemers (supervisor: Aybüke Özgün), - Dominik Wehr (supervisor: Bahareh Afshari) Hope to see you there! The LIRa team

1 0

VvL Joint Seminar and VvL Master Thesis Prize award ceremony (Groningen) (Thursday, 8 December 15:00)
by LIRa Seminar 02 Dec '22

02 Dec '22

Dear all, Next week you are invited to the joint seminar organised by VvL and the logic seminars of the Netherlands. There will be no regular LIRa session. The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) will hold an annual in-person joint seminar organized by the University of Groningen. The event is inspired by the departmental logic seminars that are organized at each university, and aims to unify the universities for a collaborative seminar. Besides hosting a main speaker, the seminar will also be the location of the award ceremony of the VvL MSc Thesis Prize winners, who will give a short presentation of their thesis. For more information, see the GroLog website here: https://sites.google.com/rug.nl/grolog/home In particular please note that you should register to attend the event via this form before 5 December: https://forms.gle/5EYXwK6eh3uy5naAA The event will be fully on location, with no hybrid or online participation. Date and time: Thursday, December 8th 2022, 15:00-17:00 Location: Jantina Tammeszaal, in the University Library in the centre, Broerstraat 4, 9712 CP Groningen. Title: The Annual VvL Seminar 2022 Speakers: Invited talk: - Sonja Smets (ILLC, University of Amsterdam) MSc Thesis Prize winners: - Anna Dmitrieva (supervisors: Nick Bezhanishvili & Tommaso Moraschini), - Maximilian Siemers (supervisor: Aybüke Özgün), - Dominik Wehr (supervisor: Bahareh Afshari) Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa December 2022