ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

LIRa session: Cat Saint-Croix (tomorrow, Thursday, 7 March 16:30, ONLINE only)
by LIRa Seminar 06 Mar '24

06 Mar '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 7 March 16:30. This will be an online only session. To attend, 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: Cat Saint-Croix (University of Minnesota, Twin Cities) Date and Time: Thursday, March 7th 2024, 16:30-18:00 Venue: Only online. Title: Standpoint Epistemology for Bayesians Abstract. It is often supposed that feminist and formal epistemologies stand in opposition to one another. But, this is not so, at least when it comes to Standpoint Epistemology and Bayesian Epistemology. In fact, these two are particularly compatible. I begin by showing that Bayesian Epistemology is not among the usual “targets” of Standpoint Epistemology. Toole (2022) “Demarginalizing Standpoint Epistemology” characterizes these targets as aperspectival and atomistic, neither of which is true of Bayesian approaches. Furthermore, when we consider the convergence theorems—a traditional argument in favor of Bayesian Epistemology—the need for Standpoint Epistemology becomes clear: Bayesians cannot begin to satisfy the conditions necessary for convergence without taking the observations and recommendations of Standpoint Epistemology into account. Hope to see you there! The LIRa team

1 0

LIRa session: Cat Saint-Croix (Thursday, 7 March 16:30, online only)
by LIRa Seminar 01 Mar '24

01 Mar '24

Dear all, We will have our next LIRa session on Thursday, 7 March 16:30. This will be an online only session. To attend, 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: Cat Saint-Croix (University of Minnesota, Twin Cities) Date and Time: Thursday, March 7th 2024, 16:30-18:00 Venue: Only online. Title: Standpoint Epistemology for Bayesians Abstract. It is often supposed that feminist and formal epistemologies stand in opposition to one another. But, this is not so, at least when it comes to Standpoint Epistemology and Bayesian Epistemology. In fact, these two are particularly compatible. I begin by showing that Bayesian Epistemology is not among the usual “targets” of Standpoint Epistemology. Toole (2022) “Demarginalizing Standpoint Epistemology” characterizes these targets as aperspectival and atomistic, neither of which is true of Bayesian approaches. Furthermore, when we consider the convergence theorems—a traditional argument in favor of Bayesian Epistemology—the need for Standpoint Epistemology becomes clear: Bayesians cannot begin to satisfy the conditions necessary for convergence without taking the observations and recommendations of Standpoint Epistemology into account. Hope to see you there! The LIRa team

1 0

LIRa session: Chenwei Shi (tomorrow, Thursday, 22 February 16:30)
by b.r.m.gattinger＠uva.nl 21 Feb '24

21 Feb '24

Dear all, We will have our next LIRa session tomorrow, on Thursday, 22 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: Chenwei Shi (Tsinghua University) Date and Time: Thursday, February 22nd 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Reasoning about Dependence, Preference and Coalitional Power Abstract: Dependence, preference and coalitional power are three key concepts in game theory. There have been lots of logics for reasoning about each of these three notions. Still in want is a unified logical analysis. Baltag and van Benthem’s recent work [1] provides a simple but powerful framework (LFD) for reasoning about functional dependence. The framework is so natural for modeling games in strategic form that it yearns for the inclusion of preference relations. Therefore, by extending LFD with preference relations, we provide a logic which characterizes the interaction between dependence, preference and coalitional power. By making the role of dependence explicit, our logical analysis leads to a unified view of several key concepts in not only non-cooperative but also cooperative game theory, namely Nash equilibrium, Pareto optimality and the core. This talk is based on the joint work [2] with Chen Qian and Yiyan Wang. [1] Baltag, A., van Benthem, J.: A simple logic of functional dependence. Journal of Philosophical Logic 50, 939-1005 (2021). [2] Chen, Q., Shi, C. and Wang, Y.: Reasoning about Dependence, Preference and Coalitional Power, Journal of Philosophical Logic 53, 99-130 (2024). Hope to see you there! The LIRa team

1 0

LIRa session: Chenwei Shi (tomorrow, Thursday, 22 February 16:30)
by LIRa Seminar 21 Feb '24

21 Feb '24

1 0

LIRa session: Chenwei Shi (Thursday, 22 February 16:30)
by LIRa Seminar 16 Feb '24

16 Feb '24

Dear all, We will have our next LIRa session on Thursday, 22 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: Chenwei Shi (Tsinghua University) Date and Time: Thursday, February 22nd 2024, 16:30-18:00 Venue: ILLC seminar room F1.15 in Science Park 107 and online. Title: Reasoning about Dependence, Preference and Coalitional Power Abstract: Dependence, preference and coalitional power are three key concepts in game theory. There have been lots of logics for reasoning about each of these three notions. Still in want is a unified logical analysis. Baltag and van Benthem’s recent work [1] provides a simple but powerful framework (LFD) for reasoning about functional dependence. The framework is so natural for modeling games in strategic form that it yearns for the inclusion of preference relations. Therefore, by extending LFD with preference relations, we provide a logic which characterizes the interaction between dependence, preference and coalitional power. By making the role of dependence explicit, our logical analysis leads to a unified view of several key concepts in not only non-cooperative but also cooperative game theory, namely Nash equilibrium, Pareto optimality and the core. This talk is based on the joint work [2] with Chen Qian and Yiyan Wang. [1] Baltag, A., van Benthem, J.: A simple logic of functional dependence. Journal of Philosophical Logic 50, 939-1005 (2021). [2] Chen, Q., Shi, C. and Wang, Y.: Reasoning about Dependence, Preference and Coalitional Power, Journal of Philosophical Logic 53, 99-130 (2024). Hope to see you there! The LIRa team

1 0

Joint NihiL and LIRa session: Hannes Leitgeb (UNUSUAL ZOOM LINK, TIME, VENUE tomorrow, Thursday, 1 February 15:10)
by LIRa Seminar 31 Jan '24

31 Jan '24

Dear all, We will have a joint NiHil and LIRa session tomorrow, on Thursday, 1 February 15:10, Room F0.01, Bushuis in Kloveniersburgwal 48. NOTE the unusual time and location. This will be a hybrid session. If you want to attend online, please use NiHiL seminar Zoom link: https://uva-live.zoom.us/s/87618965843 NOTE: this is NOT a usual LIRa Zoom link, as it was stated in the previous mail. Sorry for the confusion. You can find the details of the talk below. This will be a joint session together with the NihiL seminar, as a part of NiHiL workshop. Speaker: Hannes Leitgeb (Münich) Title: The Logic of Theoretical Reasons. An Axiomatic Account Date and Time: Thursday, 1 February, 15:10-16:10 Venue: Room F0.01, Bushuis in Kloveniersburgwal 48 or virtually via Zoom at https://uva-live.zoom.us/s/87618965843. Abstract: the talk argues for a system of axioms and definitions that is meant to capture the logic of theoretical reasons, that is, of reasons for belief. The system concerns a primitive direct-reason-for relation, a defined inferential-reason-for relation, an identity criterion for reasons, a primitive aggregation function for reasons, and a primitive function for the revision of belief by reasons. Reasons are assumed to speak for propositions with numerical strengths, the aggregation of reasons involves intersections of propositions and sums of strengths, belief is reconstructed as subjective probability, and ratios of new-to-old-odds are postulated to be a function of strengths of reason. The resulting theory avoids problems that have been ascribed to the additive aggregation of reasons, it entails that reasons conform to a vector structure and that the impact of a reason on belief corresponds to a probabilistic Jeffrey-Field-update, and although the theory differs from existing logics of reason, it is partially continuous with two of them. Hope to see you there! The LIRa team

1 0

Joint NihiL and LIRa session: Hannes Leitgeb (Thursday, 1 February 15:10)
by LIRa Seminar 30 Jan '24

30 Jan '24

Dear all, We will have our next LIRa session on Thursday, 1 February 15:10. 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. This will be a joint session together with the NihiL seminar, as a part of NiHiL workshop. Speaker: Hannes Leitgeb (Münich) Title: The Logic of Theoretical Reasons. An Axiomatic Account Date and Time: Thursday, 1 February, 15:10-16:10 Venue: Room F0.01, Bushuis in Kloveniersburgwal 48 or virtually via Zoom at https://uva-live.zoom.us/s/87618965843. Abstract: the talk argues for a system of axioms and definitions that is meant to capture the logic of theoretical reasons, that is, of reasons for belief. The system concerns a primitive direct-reason-for relation, a defined inferential-reason-for relation, an identity criterion for reasons, a primitive aggregation function for reasons, and a primitive function for the revision of belief by reasons. Reasons are assumed to speak for propositions with numerical strengths, the aggregation of reasons involves intersections of propositions and sums of strengths, belief is reconstructed as subjective probability, and ratios of new-to-old-odds are postulated to be a function of strengths of reason. The resulting theory avoids problems that have been ascribed to the additive aggregation of reasons, it entails that reasons conform to a vector structure and that the impact of a reason on belief corresponds to a probabilistic Jeffrey-Field-update, and although the theory differs from existing logics of reason, it is partially continuous with two of them. Hope to see you there! The LIRa team

1 0

LIRa session: Andreas Herzig (tomorrow, Thursday, 14 December 16:30, online-only)
by LIRa Seminar 13 Dec '23

13 Dec '23

Dear all, We will have our next LIRa session tomorrow, on Thursday, 14 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. Speaker: Andreas Herzig (LILaC, IRIT, Université Paul Sabatier, Toulouse) Date and Time: Thursday, December 14th 2023, 16:30-18:00 Venue: Online only (not hybrid) Title: Dynamic Logic of Propositional Assignments and its Properties Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results. Hope to see you there! The LIRa team

1 0

LIRa session: Andreas Herzig (Thursday, 14 December 16:30, online-only)
by LIRa Seminar 08 Dec '23

08 Dec '23

Dear all, We will have our next LIRa session on Thursday, 14 December 16:30. This will be an online 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: Andreas Herzig (LILaC, IRIT, Université Paul Sabatier, Toulouse) Date and Time: Thursday, December 14th 2023, 16:30-18:00 Venue: Online only (not hybrid) Title: Dynamic Logic of Propositional Assignments and its Properties Abstract. Dynamic Logic of Propositional Assignments (DL-PA) is a variant of PDL whose atomic programs are assignments of propositional variables. It provides an interesting framework for knowledge representation. Its mathematical properties differ from PDL: satisfiability and model checking are both PSPACE-complete. These results follow from the close relation of DL-PA with quantified boolean formulas, coming with expressivity and succinctness results. Hope to see you there! The LIRa team

1 0

Annual VvL Seminar 2023 (Friday, 8 December 14:30-17:30, Utrecht)
by LIRa Seminar 04 Dec '23

04 Dec '23

Dear all, We would like to draw your attention to the ***Annual VvL Seminar 2023*** The second edition of the (in-person) Annual VvL Seminar will be organized by Utrecht University. 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. The details of the event can be found below, as well as on the VvL website https://verenigingvoorlogica.nl/en/Activiteiten/VvL-Joint-Seminar/ *Main speaker*: Natasha Alechina *MSc Thesis Prize winners*: Rodrigo Almeida (supervisors: Nick Bezhanishvili and Tommaso Moraschini), Søren Brinck Knudstorp (supervisors: Johan van Benthem and Nick Bezhanishvili), Raoul Koudijs (supervisor: Balder ten Cate) *Date & time*: December 8, 2023, 14:30-17:30 *Location*: The Sweelinckzaal at Drift 21, room 0.05, Utrecht. For visitors from outside the UU, please go to the university library at Drift 27 and proceed through the lobby to the back exit to reach the other Drift buildings. *Local organizers*: Colin Caret & Johannes Korbmacher *PROGRAM* 14:30-14:40 Opening and Welcome Remarks 14:40-14:50 Brief Presentation on the work of the VvL 14:50-15:50 VvL lecture by Natasha Alechina 15:50-16:10 Coffee Break 16:10-16:20 Remarks by the VvL Master thesis awards committee 16:20-17:20 MSc Thesis Prize presentations (3x20mins) 17:20-17:30 Award Ceremony and Closing Remarks *REGISTRATION* There is no cost for attending the seminar, but to help with organization, please register your attendance using the online form linked below. An optional dinner will follow the event in the Westerdijkkamer of the Academiegebouw (42 euros per person). If you would like to join for dinner you may indicate this in the registration form. https://docs.google.com/forms/d/1_8knDUMzOASuNY8VYavLayDg8DZLKHoHzO7B0_3A1e… Hope to see you there! The LIRa team

1 0

← Newer
1
2
3
4
5
6
7
8
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa