ILLC-LIRa November 2022

illc-lira@list.uva.nl

1 participants
9 discussions

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

LIRa session: Thomas Schindler (tomorrow, Thursday, 24 November 16:30)
by LIRa Seminar 23 Nov '22

23 Nov '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 24 November 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: Thomas Schindler (University of Amsterdam) Date and Time: Thursday, November 24th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Unrestricted quantification, higher order logic, and type-free theories Abstract. Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory (higher order logic) as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed (e.g. Williamson 2003). However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. Hope to see you there! The LIRa team

1 0

Save the date: 8 December - VvL Joint Seminar and VvL Master Thesis Prize award ceremony (Groningen)
by LIRa Seminar 22 Nov '22

22 Nov '22

Dear all, We will have our next LIRa session on Thursday. In the meantime we would like to draw your attention to the following special joint event from the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) and the various Logic seminars around the Netherlands. 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. Title: *The Annual VvL Seminar 2022* Date and time: Thursday, December 8th 2022, 15:00-17:00 with dinner afterwards Location: Jantina Tammeszaal, in the University Library in the centre, Broerstraat 4, 9712 CP Groningen. 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) For more information, see the VvL and GroLog websites: https://www.verenigingvoorlogica.nl/en/Activities/VvL-Joint-Seminar/ https://sites.google.com/rug.nl/grolog/home Hope to see you there! The LIRa team

1 0

LIRa session: Thomas Schindler (Thursday, 24 November 16:30)
by LIRa Seminar 18 Nov '22

18 Nov '22

Dear all, We will have our next LIRa session on Thursday, 24 November 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: Thomas Schindler (University of Amsterdam) Date and Time: Thursday, November 24th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Unrestricted quantification, higher order logic, and type-free theories Abstract. Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory (higher order logic) as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed (e.g. Williamson 2003). However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. Hope to see you there! The LIRa team

1 0

LIRa session: Paolo Galeazzi (tomorrow, Thursday, 17 November 16:30)
by LIRa Seminar 16 Nov '22

16 Nov '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 17 November 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: Paolo Galeazzi Date and Time: Thursday, November 17th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Games with different decision criteria Abstract. In this talk I will argue that interactions where the agents are allowed to adopt different decision criteria have been overlooked in the game-theoretic literature. In particular, I will focus on three different perspectives on games (epistemic, evolutionary, and equilibrium analysis), and I will show that introducing heterogeneity in the criteria adopted by the agents leads to new interesting results in all the three perspectives considered. Hope to see you there! The LIRa team

1 0

LIRa session: Paolo Galeazzi (Thursday, 17 November 16:30)
by LIRa Seminar 12 Nov '22

12 Nov '22

Dear all, We will have our next LIRa session on Thursday, 17 November 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: Paolo Galeazzi Date and Time: Thursday, November 17th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Games with different decision criteria Abstract. In this talk I will argue that interactions where the agents are allowed to adopt different decision criteria have been overlooked in the game-theoretic literature. In particular, I will focus on three different perspectives on games (epistemic, evolutionary, and equilibrium analysis), and I will show that introducing heterogeneity in the criteria adopted by the agents leads to new interesting results in all the three perspectives considered. Hope to see you there! The LIRa team

1 0

LIRa session: Franz Berto (tomorrow, Thursday, 10 November 16:30)
by LIRa Seminar 09 Nov '22

09 Nov '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 10 November 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: Franz Berto (University of St Andrews & University of Amsterdam) Date and Time: Thursday, November 10th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Cognitive Synonymy: a Dead Parrot? Joint work with Levin Hornischer (University of Amsterdam). Abstract. Sentences φ and ψ are cognitive synonyms for one when they play the same role in one’s cognitive life. The notion is pervasive, but elusive and subject to conflicting desiderata: it is bound to be hyperintensional, but excessive fine-graining would trivialize it. Conceptual limitations stand in the way of a natural algebra, and it should be sensitive to subject matters. Besides, a cognitively adequate individuation of content may be intransitive due to ‘dead parrot’ series: sequences of sentences φ1, . . . , φn where adjacent φi and φi+1 are cognitive synonyms while φ1 and φn are not. But finding an intransitive account is hard! In particular, a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle. In spite of this mess, we come up with a formal semantics, thereby showing that the notion is coherent. Then we re-assess the desiderata in its light. Hope to see you there! The LIRa team

1 0

LIRa session: Franz Berto (Thursday, 10 November 16:30)
by LIRa Seminar 04 Nov '22

04 Nov '22

Dear all, We will have our next LIRa session on Thursday, 10 November 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: Franz Berto (University of St Andrews & University of Amsterdam) Date and Time: Thursday, November 10th 2022, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Cognitive Synonymy: a Dead Parrot? Joint work with Levin Hornischer (University of Amsterdam). Abstract. Sentences φ and ψ are cognitive synonyms for one when they play the same role in one’s cognitive life. The notion is pervasive, but elusive and subject to conflicting desiderata: it is bound to be hyperintensional, but excessive fine-graining would trivialize it. Conceptual limitations stand in the way of a natural algebra, and it should be sensitive to subject matters. Besides, a cognitively adequate individuation of content may be intransitive due to ‘dead parrot’ series: sequences of sentences φ1, . . . , φn where adjacent φi and φi+1 are cognitive synonyms while φ1 and φn are not. But finding an intransitive account is hard! In particular, a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle. In spite of this mess, we come up with a formal semantics, thereby showing that the notion is coherent. Then we re-assess the desiderata in its light. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa November 2022