ILLC-LIRa October 2022

illc-lira@list.uva.nl

1 participants
4 discussions

LIRa-related event: CELT2022: Connections between Epistemic Logic and Topology (Monday 24 to Wednesday 26 October)
by LIRa Seminar 21 Oct '22

21 Oct '22

Dear all, Next week there will be no LIRa session, but you are invited to attend the *CELT2022 workshop*. The workshop starts at 13h00 on Monday, Oct 24th and ends at 13h00 on Wednesday, Oct 26th. For everyone: The *programme and the book of abstracts* are available online on the workshop website: https://easychair.org/cfp/CELT2022 For *online* participants: The entire workshop will be held in hybrid form, and we copy below the Zoom link of the event: https://uva-live.zoom.us/j/87389907885 Meeting ID: 873 8990 7885 For *in-person* participants: The workshop will be held in room Nina van Leerzaal in Allard Pierson Museum in Amsterdam City Center. The easiest way to reach the conference room seems to be via the large gate at Oude Turfmarkt 141, 1012 GC Amsterdam. Someone from the organization team will be in front of this gate at 12h50 on Monday to walk you to the conference room. The conference venue is easily accessible via metro and tram. The closest tram and metro stops are called Amsterdam Rokin and it takes about 2 min walk from these stops to the conference venue. Please do not hesitate to contact the local organizers if you have any questions! We are looking forward to seeing you all next week and have a great weekend, CELT2022 organization team PS: Those who already registered for the workshop might receive this message multiple times. Apologies for multiple copies in advance.

1 0

LIRa session: Adam Bjorndhal (tomorrow, Thursday, 20 October 16:30) NOTE the different location: F3.20 in SP107
by LIRa Seminar 19 Oct '22

19 Oct '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 20 October 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: Adam Bjorndhal Date and Time: Thursday, October 20th 2022, 16:30-18:00 Venue: KdVI seminar room F3.20 in Science Park 107 and online. Please note the unusual location. This is the Mathematics seminar room, not the ILLC seminar room. Title: Knowledge Second Abstract. Classical philosophical analyses seek to explain knowledge as deriving from more basic notions. The influential "knowledge first" program in epistemology reverses this tradition, taking knowledge as its starting point. From the perspective of epistemic logic, however, this is not so much a reversal as it is the default—the field arguably begins with the specialization of "necessity" to "epistemic necessity"; that is, it begins with knowledge. In this context, putting knowledge *second* would be the reversal. This work motivates, develops, and explores such a "knowledge second" approach in epistemic logic, founded on distinguishing what a body of evidence actually entails from what it is (merely) believed to entail. I import a logical framework that captures exactly this distinction (based on previous, joint work with Aybüke Özgün), use it to define formal notions of "internal" and "external" justification, and investigate applications to the KK principle, the regress problem, and the definition of knowledge Hope to see you there! The LIRa team

1 0

LIRa session: Adam Bjorndhal (Thursday, 20 October 16:30)
by LIRa Seminar 14 Oct '22

14 Oct '22

Dear all, We will have our next LIRa session on Thursday, 20 October 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: Adam Bjorndhal Date and Time: Thursday, October 20th 2022, 16:30-18:00 Venue: F3.20 and online. Title: Knowledge Second Abstract. Classical philosophical analyses seek to explain knowledge as deriving from more basic notions. The influential "knowledge first" program in epistemology reverses this tradition, taking knowledge as its starting point. From the perspective of epistemic logic, however, this is not so much a reversal as it is the default—the field arguably begins with the specialization of "necessity" to "epistemic necessity"; that is, it begins with knowledge. In this context, putting knowledge *second* would be the reversal. This work motivates, develops, and explores such a "knowledge second" approach in epistemic logic, founded on distinguishing what a body of evidence actually entails from what it is (merely) believed to entail. I import a logical framework that captures exactly this distinction (based on previous, joint work with Aybüke Özgün), use it to define formal notions of "internal" and "external" justification, and investigate applications to the KK principle, the regress problem, and the definition of knowledge. Hope to see you there! The LIRa team

1 0

LIRa session: Lingyuan Ye (tomorrow, Thursday, 6 October 16:30)
by LIRa Seminar 05 Oct '22

05 Oct '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 6 October 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: Lingyuan Ye Date and Time: Thursday, October 6th 2022, 16:30-18:00 Venue: F1.15 and online. Title: Unification of Semantics of Modal Logic via Topological Categories Abstract. In this talk we will provide a unifying description of different types of semantics of modal logic found in the literature, via topological categories. In particular, we will show how the natural extensions of basic modal logic, including multi-agency, epistemic dependence, group agency, and logical dynamics, could be naturally associated to various semantic structures within topological categories. The unifying description and such correspondence would allow us to generalise the interpretation of these extensions simultaneously to any semantics of modal logic, and prove certain structural results about them in the style of categorical logic. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa October 2022