ILLC-LIRa April 2022

illc-lira@list.uva.nl

1 participants
6 discussions

LIRa session: Marianna Girlando (tomorrow, Thursday, 28 April 16:30)
by LIRa Seminar 27 Apr '22

27 Apr '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 28 April 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Marianna Girlando (University of Birmingham) Date and Time: Thursday, April 28th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Counterfactuals, comparative plausibility and neighbourhoods: from semantics to automated theorem proving. Abstract. Conditional logics can be used to express counterfactuals (Lewis) or forms of non-monotonic reasoning (Burgess). They are defined by adding to classical propositional logic a two-places modality, the conditional operator. Semantics for conditional logics can be uniformly defined in terms of neighbourhood semantics, generalising Lewis' sphere models. In this talk, I will show the relations between the conditional operator and a weaker modal operator, the comparative plausibility, that I will use to define analytic proof systems for some of the stronger logics in the conditional family. Then, I will illustrate how these proof systems can be implemented to design automated reasoning tools for conditional logics. This talk is based on joint work with Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato and Stefano Pesce. The theorem prover is available here: http://193.51.60.97:8000/tuclever/ Hope to see you there! The LIRa team

1 0

LIRa session: Marianna Girlando (Thursday, 28 April 16:30)
by LIRa Seminar 24 Apr '22

24 Apr '22

Dear all, We will have our next LIRa session on Thursday, 28 April 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Marianna Girlando (University of Birmingham) Date and Time: Thursday, April 28th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Counterfactuals, comparative plausibility and neighbourhoods: from semantics to automated theorem proving. Abstract. Conditional logics can be used to express counterfactuals (Lewis) or forms of non-monotonic reasoning (Burgess). They are defined by adding to classical propositional logic a two-places modality, the conditional operator. Semantics for conditional logics can be uniformly defined in terms of neighbourhood semantics, generalising Lewis' sphere models. In this talk, I will show the relations between the conditional operator and a weaker modal operator, the comparative plausibility, that I will use to define analytic proof systems for some of the stronger logics in the conditional family. Then, I will illustrate how these proof systems can be implemented to design automated reasoning tools for conditional logics. This talk is based on joint work with Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato and Stefano Pesce. The theorem prover is available here: http://193.51.60.97:8000/tuclever/ Hope to see you there! The LIRa team

1 0

LIRa affiliated event: Logic4Peace (22 and 23 April) // (no LIRa next week)
by LIRa Seminar 15 Apr '22

15 Apr '22

Dear all, There will be no LIRa session next week, but we invite you to attend Logic4Peace next Friday and Saturday. See the information below and please note that the registration deadline is Thursday 21 April 2022, 12:00 noon CET. Hope to see you there! The LIRa team Logic4Peace - Fundraising online Logic event for Peace Dates: Friday 22 and Saturday 23 April 2022 Venue: Online (information will be provided to registered participants) Logicians participating in this conference stand united for Peace. The on-going Russian military invasion in Ukraine is causing death, destruction and it is the direct cause of a gigantic humanitarian crisis. Educational facilities have been hit, supply chains have been broken and people have lost their families and homes. By organizing this conference, we offer our moral and financial support to our colleagues in Ukraine in this time of war. This event is used to collect financial aid for two specific causes: We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes. As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic, including: philosophical logic, philosophy of logic and history of logic, mathematical and computational logic, applied logic and logical structures used in science and the humanities. The registration page and the donation page for this conference are open (*). The registration fees and donations will be entirely used to offer financial aid to Ukraine to help our colleagues and the Voices of Children. Website: https://events.illc.uva.nl/Logic4Peace/ On behalf of the Co-Organizing Associations and Institutions: * ILLC, Institute for Logic, Language and Computation * AILA, Associazione Italiana di Logica e Applicazioni * VVL, Dutch Association for Logic and Philosophy of the Exact Sciences * SLS, Scandinavian Logic Society * PTLiFN, Polish Association for Logic and Philosophy of Science * GLG, Georgian Logic Group * CNRL-NCNL, The Belgian National Centre for Research in Logic * SSLPS, the Swiss Society of Logic and Philosophy of Science * FoLLI, The Association for Logic, Language and Information * LogICS, The Logic Group at the Institute of Computer Science of the Czech Academy of Sciences. * IRIT, Institut de Recherche en Informatique de Toulouse * MCMP, Munich Center for Mathematical Philosophy * Theory, Modelling and Computation theme of the Scottish Informatics & CS Alliance * DVMLG, Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der exakten Wissenschaften * GAP, German Society for Analytic Philosophy * Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Université Paris 1 Panthéon-Sorbonne, CNRS * BLC, British Logic Colloquium * Co-Organizing Team in Ukraine: Prof. Iryna Khomenko, Logic Department at Taras Shevchenko National University of Kyiv, and Prof. Yaroslav Shramko, Kryvyi Rih State Pedagogical University. (*) Due to the current sanctions against Russian institutions and their implementation for Dutch knowledge institutions, we cannot accept participation by researchers who list a Russian or Belarusian institution as their affiliation. But we welcome participation by researchers of every nationality, provided they register to the conference either as individual researchers (i.e. by listing “Individual researcher” as their affiliation), or listing another affiliation to an institution that is not located in the above-mentioned countries.

1 0

LIRa session: Dingmar van Eck (tomorrow, Thursday, 7 April 16:30)
by LIRa Seminar 06 Apr '22

06 Apr '22

Dear all, We will have our next LIRa session tomorrow, on Thursday, 7 April 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Dingmar van Eck (ILLC, University of Amsterdam) Date and Time: Thursday, April 7th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Explanation and Idealisation in Systems Biology Abstract. This paper adds to the philosophical literature on mechanistic explanation by elaborating two related explanatory functions of idealisation in mechanistic models. The first function involves explaining the presence of structural/organizational features of mechanisms by reference to their role as difference-makers for performance requirements. The second involves tracking counterfactual dependency relations between features of mechanisms and features of mechanistic explanandum phenomena. To make these functions salient, we relate our discussion to an exemplar from systems biological research on the mechanism for countering heat shock — the heat shock response (HSR) system — in Escherichia coli (E.coli) bacteria. This research also reinforces a more general lesson: ontic constraint accounts in the literature on mechanistic explanation provide insufficiently informative normative appraisals of mechanistic models. We close by outlining an alternative view on the explanatory norms governing mechanistic representation. Link to related publication: https://doi.org/10.1007/s11229-020-02816-8 Hope to see you there! The LIRa team

1 0

LIRa session: Dingmar van Eck (Thursday, 7 April 16:30)
by LIRa Seminar 04 Apr '22

04 Apr '22

Dear all, We will have our next LIRa session on Thursday, 7 April 16:30. Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984) You can find the details of the talk below. Speaker: Dingmar van Eck Date and Time: Thursday, April 7th 2022, 16:30-18:00, Amsterdam time. Venue: online. Title: Explanation and Idealisation in Systems Biology Abstract. This paper adds to the philosophical literature on mechanistic explanation by elaborating two related explanatory functions of idealisation in mechanistic models. The first function involves explaining the presence of structural/organizational features of mechanisms by reference to their role as difference-makers for performance requirements. The second involves tracking counterfactual dependency relations between features of mechanisms and features of mechanistic explanandum phenomena. To make these functions salient, we relate our discussion to an exemplar from systems biological research on the mechanism for countering heat shock — the heat shock response (HSR) system — in Escherichia coli (E.coli) bacteria. This research also reinforces a more general lesson: ontic constraint accounts in the literature on mechanistic explanation provide insufficiently informative normative appraisals of mechanistic models. We close by outlining an alternative view on the explanatory norms governing mechanistic representation. Hope to see you there! The LIRa team

1 0

LIRa affiliated event: Logic4Peace /// next LIRa session: Thursday 7 April
by LIRa Seminar 01 Apr '22

01 Apr '22

Dear all, We will have our next LIRa session on Thursday, 7 April 16:30. You will receive the title and abstract for this session next week. In the meantime we also forward the following Call for abstracts. For all information, please see the event website at https://events.illc.uva.nl/Logic4Peace/About/ kind regards, The LIRa team --- Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic, including: - philosophical logic, philosophy of logic and history of logic, - mathematical and computational logic, - applied logic and logical structures used in science and the humanities. Abstracts should be short, maximum 1 page or 500 words, not including the references and should be uploaded in PDF format on easychair at https://easychair.org/conferences/?conf=logic4peace by 11 April 2022 (9AM Central European Time). We welcome participants from all nationalities to submit an abstract.(*) We welcome new ideas as well as on-going work and reports about already published results. All organizers and participants are asked to register for the conference, their registration fees will be entirely used to offer financial aid to Ukraine to help our colleagues and the Voices of Children. We invite academic institutions and organizations to sponsor this online logic event. (*) Due to the current sanctions against Russian institutions and their implementation for Dutch knowledge institutions, we cannot accept participation by researchers who list a Russian or Belarusian institution as their affiliation. But we welcome participation by researchers of every nationality, provided they register to the conference either as individual researchers (i.e. by listing “Individual researcher” as their affiliation), or listing another affiliation to an institution that is not located in the above-mentioned countries. ---

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa April 2022