ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

Cancellation: No LIRa this week.
by LIRa Seminar 07 Feb '23

07 Feb '23

Dear all, Unfortunately the LIRa session this Thursday 9 February is cancelled. The talk by Erman Acar has been rescheduled to a later date. Our next session will be on Thursday 16 February with Jos Baeten. kind regards, The LIRa team

1 0

LIRa session: Erman Acar (Thursday, 9 February 16:30)
by LIRa Seminar 03 Feb '23

03 Feb '23

Dear all, We will have our next LIRa session on Thursday, 9 February 16:30. This will be a hybrid session. 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: Erman Acar (ILLC & IvI, University of Amsterdam) Date and Time: Thursday, February 9th 2023, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: A Canvas on Integrating Learning & Reasoning Abstract. Integrating learning and reasoning is one of the major current challenges in AI research, and becoming more frequently pronounced under the name called "neuro-symbolic AI". Logic definitely has an important part in this research direction. In this talk, I will give a brief summary about the field, and the state of the art, as well as my work including differentiable logics, and methods on embedding the background logic. I will also outline some of the pitfalls and the current challenges in making the logical inference a part of the new learning algorithms. Hope to see you there! The LIRa team

1 0

LIRa session: Jialiang Yan (tomorrow, Thursday, 2 February 14:00) (UNUSUAL TIME and ONLINE ONLY)
by LIRa Seminar 01 Feb '23

01 Feb '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 2 February. Please note the UNUSUAL TIME of 14:00 (Amsterdam time) and that this will be an ONLINE ONLY session. 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: Jialiang Yan Date and Time: Thursday, February 2nd 2023, 14:00-15:30 (NOTE the unusual time, earlier than usual) Venue: fully online. (i.e. not hybrid) Title: Knowing and believing an epistemic possibility Abstract. What does it mean to know or believe that something might be the case? In this talk, we address the issue focusing on the epistemic possibility expressed by English might when embedded under the propositional attitude verbs know and believe. We present some puzzles to highlight the challenges arising from such know-might and believe-might sentences. We propose a framework to solve the puzzles, in which epistemic might is defined as quantifying over the epistemic possibilities in an information state, and belief is formalized in term of a plausibility ordering. In contrast to the classical epistemic logic, the factivity of knowledge is treated as a presupposition rather than being solely dependent on the reflexivity of the accessibility relation. All analyses are implemented in a team-based modal logic BSEL, an epistemic variant of Aloni’s (2022) BSML. Hope to see you there! The LIRa team

1 0

LIRa session: Jialiang Yan (Thursday, 2 February 14:00) (UNUSUAL TIME and ONLINE ONLY)
by LIRa Seminar 27 Jan '23

27 Jan '23

Dear all, We will resume our LIRa sessions in 2023 with our first talk next week, on Thursday, 2 February. Please note the UNUSUAL TIME of 14:00 (Amsterdam time) and that this will be an ONLINE ONLY session. 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: Jialiang Yan Date and Time: Thursday, February 2nd 2023, 14:00-15:30 (NOTE the unusual time, earlier than usual) Venue: fully online. (i.e. not hybrid, zoom only) Title: Knowing and believing an epistemic possibility Abstract. What does it mean to know or believe that something might be the case? In this talk, we address the issue focusing on the epistemic possibility expressed by English might when embedded under the propositional attitude verbs know and believe. We present some puzzles to highlight the challenges arising from such know-might and believe-might sentences. We propose a framework to solve the puzzles, in which epistemic might is defined as quantifying over the epistemic possibilities in an information state, and belief is formalized in term of a plausibility ordering. In contrast to the classical epistemic logic, the factivity of knowledge is treated as a presupposition rather than being solely dependent on the reflexivity of the accessibility relation. All analyses are implemented in a team-based modal logic BSEL, an epistemic variant of Aloni’s (2022) BSML. Hope to see you there! The LIRa team

1 0

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

LIRa session: Peter van Emde Boas and Ghica van Emde Boas–Lubsen (tomorrow, Thursday, 1 December 16:30)
by LIRa Seminar 30 Nov '22

30 Nov '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 1 December 16:30. This will be a hybrid session, with the speakers 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. Speakers: Peter van Emde Boas (ILLC, FNWI, UvA (retired)) & Ghica van Emde Boas–Lubsen (independent scholar) Date and Time: Thursday, December 1st 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps Abstract. The title of the talk coincides with the title of our book which appeared recently with Springer in the Logic in Asia series, coauthored by Kaibo Xie and Bonan Zhao, both past students at our institute. This book (https://doi.org/10.1007/978-981-19-6250-9) presents a bi-lingual version of the text of this 2500 years old treatise on Chinese strategy (English, derived from the Giles translation from 1910, and the Chinese source). But the book presents it in an unusual way, using so-called Text Tree Mindmaps. This representation enables us (but also the reader) to obtain direct access to the logic and reasoning patterns of Sun Tzu. Other editions, which are more focused on historical, military, cultural or linguistic aspects (aside of the various books which study Sun Tzu in the context of business strategy) have not aimed at representing and preserving the logical structure of the text. In order to do this we had to modify the Giles translation at several points. Logic in this context has little to do with what is considered to be logic in the sense studied at ILLC; it refers to the structural patterns which frequently appear in the text. Our book presents a full inventory of the occurrences of these patterns found in the text. Moreover, in the introductory sections of the book we pay attention to connections with logic and game theory; (this was the topic of our initial research for the forthcoming handbook of the history of logical thought in China.) If time permits we may also illustrates the relevance of the teachings of Sun Tzu for understanding the developments of warfare in our era. We can illustrate this by the examples from the battle at Gettysburg during the American Civil War in 1863, or on the current War in Ukraine. Hope to see you there! The LIRa team

1 0

LIRa session: Peter van Emde Boas and Ghica van Emde Boas–Lubsen (Thursday, 1 December 16:30)
by LIRa Seminar 25 Nov '22

25 Nov '22

Dear all, We will have our next LIRa session on Thursday, 1 December 16:30. This will be a hybrid session. 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. Speakers: Peter van Emde Boas (ILLC, FNWI, UvA (retired)) & Ghica van Emde Boas–Lubsen (independent scholar) Date and Time: Thursday, December 1st 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps Abstract. The title of the talk coincides with the title of our book which appeared recently with Springer in the Logic in Asia series, coauthored by Kaibo Xie and Bonan Zhao, both past students at our institute. This book (https://doi.org/10.1007/978-981-19-6250-9) presents a bi-lingual version of the text of this 2500 years old treatise on Chinese strategy (English, derived from the Giles translation from 1910, and the Chinese source). But the book presents it in an unusual way, using so-called Text Tree Mindmaps. This representation enables us (but also the reader) to obtain direct access to the logic and reasoning patterns of Sun Tzu. Other editions, which are more focused on historical, military, cultural or linguistic aspects (aside of the various books which study Sun Tzu in the context of business strategy) have not aimed at representing and preserving the logical structure of the text. In order to do this we had to modify the Giles translation at several points. Logic in this context has little to do with what is considered to be logic in the sense studied at ILLC; it refers to the structural patterns which frequently appear in the text. Our book presents a full inventory of the occurrences of these patterns found in the text. Moreover, in the introductory sections of the book we pay attention to connections with logic and game theory; (this was the topic of our initial research for the forthcoming handbook of the history of logical thought in China.) If time permits we may also illustrates the relevance of the teachings of Sun Tzu for understanding the developments of warfare in our era. We can illustrate this by the examples from the battle at Gettysburg during the American Civil War in 1863, or on the current War in Ukraine. Hope to see you there! The LIRa team

1 0

← Newer
1
...
8
9
10
11
12
13
14
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa