ILLC-LIRa April 2017

illc-lira@list.uva.nl

1 participants
6 discussions

Thursday: LIRa session with Daniel Hoek
by LIRa Seminar 30 Apr '17

30 Apr '17

Dear all, this Thursday we will have our next LIRa session. Speaker: Daniel Hoek (New York University) Date and Time: Thursday, May 4th 2017, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Logical Omniscience and the Epistemology of Phone Numbers. Abstract. There are two major schools of thought about the nature of belief. According to the first school, our beliefs are different aspects of a single, coherent picture we have of the world. This overall picture can be represented as a set of possible worlds. This account of belief has many theoretical virtues and meshes nicely with decision theory. But it is widely regarded as unrealistic, because it faces the so-called problem of logical omniscience. We can call this the map theory of belief, after Ramsey’s slogan for it: “belief is the map by which we steer”. Opposed to the map school is the belief box school, according to which our beliefs are separate entities that are to be represented as sentences or other syntactically structured objects such as Russellian propositions. While the belief box model is much more popular amongst philosophers, only the map model plays a role of any significance in economics and cognitive science. In this talk, I develop a proposal from Yalcin (2016) to show there is a third way. According to Yalcin’s theory, the objects of belief aren’t pieces of information or sentences. Rather, they are answers to specific questions. This allows us to form a conception of belief according to which our beliefs are connected insofar as their subject matters are related. On this theory, there are constitutive links holding all or most of our beliefs together into a single web, but the beliefs in the web need not add up to a single, coherent overall picture of the world. I will try to show that this third way marries the applicability of the map theory with some of the central advantages of the belief box theory. Hope to see you there! The LIRa team

1 0

Workshop on Quantum Structures IQSA-2017: Call for Abstracts
by LIRa Seminar 26 Apr '17

26 Apr '17

WORKSHOP ON QUANTUM STRUCTURES (IQSA-2017) CALL FOR ABSTRACTS An intermediate workshop on Quantum Structures 2017 will be hosted by the International Quantum Structures Association (IQSA) from Tuesday July 4th to Friday the 7th at the Radboud University Nijmegen, in the Netherlands. The workshop is a satellite event of the 14th International Conference on Quantum Physics and Logic (QPL), see: http://qpl.science.ru.nl/ *Topics and Scope*: The workshop will encourage discussion and collaboration between the IQSA and QPL communities, we will bring together researchers active in the following areas: - quantum structures and their applications in physics, mathematics and philosophy - logico-algebraic structures, orthomodular structures, quantum logics, empirical logics, operational structures - quantum mechanics - quantum measurements - quantum computation, quantum information, quantum communication - philosophy and history of quantum mechanics - quantum probability - interdisciplinary applications of quantum structures - algebraic methods of quantum mechanics - foundations of quantum mechanics - interdisciplinary applications of quantum structures *Call for Abstracts*: We welcome abstracts (not exceeding two pages) for a proposed contributed talk on any topic within the mentioned scope of the workshop. The deadline for submission of abstracts is May 15th. Abstracts have to be uploaded on the EasyChair Conference Website: https://easychair.org/conferences/?conf=iqsa2017 *Deadlines*: Abstract submission deadline: 15 May 2017 Notification of acceptance by 3 June 2017 Conference dates: 4-7 July 2017 *Invited Speakers*: - Guido Bacciagaluppi (Utrecht) - Hans Maassen (Radboud/Amsterdam) - Miriam Backens (Bristol) Practical information about the location is posted on the following website: http://qpl.science.ru.nl/ It is highly recommended you book your hotel accommodation well in advance, as places tend to fill up in the summer months. A list of hotels is available on the mentioned website. To participate in the IQSA2017 workshop we ask a Conference Registration Fee. The fee entitles participants to attend both events, IQSA and QPL. Regular registration: 225 euro before 10 June, and 300 euro after 10 June Student registration: 50 euro before 10 June, 90 euro after 10 June *Local Organizing team*: Aleks Kissinger Bart Jacobs Sander Uijlen *Chair IQSA2017 Programme Committee*: Sonja Smets (ILLC, University of Amsterdam) For more information, contact iqsa2017(a)easychair.org

1 0

PhD defense in June: Giovanni Cinà -- Categories for the working modal logician
by LIRa Seminar 25 Apr '17

25 Apr '17

Dear all, Giovanni Cinà will defend his PhD thesis Categories for the working modal logician on Friday, June 16th, 2017. The ceremony will start at 11:00 and last till 12:30 in the Aula of the Lutherse Kerk. On the same day there will be a workshop associated to the defense. It will be titled Interweaving Modal Logic and Category Theory and will take place in the afternoon. More details will be announced later. *Thesis abstract* We attempt to build a ladder connecting the heavens of Category Theory to the interests of modal logicians, in particular those concerned with modelling tasks and therefore involved with specific models and languages. The body of work presented in this theses witnesses two possible modes of interaction. The first is the study of hybrid models, namely structures that are on one hand significant from a category-theoretic perspective and on the other hand lend themselves to a treatment with modal languages. We show how presheaf models can be seen as particular relational structures and develop a hierarchy of modal languages to express their properties. To argue in favor of the flexibility of this framework we review several applications; we especially dive into the details of a modal logic for social choice functions. Furthermore, we highlight how in this setting some of the traditional issues of Modal Logic, e.g. completeness, expressivity and decidability, receive an original twist and can be resolved with alternative solutions. A second mode, more heuristic in nature, consists of regarding a given class of models as a category. The benefit of this stance is the baggage of questions that come with it. The right notion of morphism for these models, its closure under composition, the functoriality of some uniform constructions, these are some of the basic issues that get raised in this context. In the second half of the thesis we explicate how they can shape research in Modal Logic and how they are intertwined with existing problems. Hope to see you there! The LIRa team

1 0

TODAY at 17:00: LIRa session with Ilaria Canavotto
by LIRa Seminar 13 Apr '17

13 Apr '17

Dear all, today we will have our next LIRa session. Speaker: Ilaria Canavotto (ILLC, Amsterdam) Date and Time: Thursday, April 13th 2017, 17:00-18:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Deontic Conflicts in Explicit Dynamic Deontic Logic. Abstract. A deontic conflict is a situation in which it is obligatory to do A and it is obligatory to do B, but it is impossible to do both A and B. Despite being common in everyday life, deontic conflicts are ruled out by standard systems of deontic logic. This has led to several attempts to formulate conflict tolerant deontic systems. Yet, the main strategies that have been embraced in the current debate, see e.g. Goble (2005, 2009) and Horty (2003, 2012), are subject to three significant limitations. First, they do not allow us to distinguish different kinds of deontic conflicts. Second, they do not provide us with the tools to refer to the norms from which the conflicts originate. Finally, and relatedly, they do not allow us to model agents who update their individual codes by accepting possibly conflicting norms as binding. In light of this, we propose a new system of deontic logic in which ideas from explicit epistemic logic (we introduce norms and codes as explicit sources of obligation) and from dynamic epistemic logic (we introduce an update procedure on codes) are combined. We show that within our system it is possible to distinguish a considerable variety of interesting normative conflicts, including abstract and concrete normative conflicts and, within the latter, social, civil, legal and moral conflicts. We then apply these distinctions to provide an original analysis of three paradigmatic cases of normative conflicts, viz. those of Antigone, of Gandhi, and Sophie’s choice. (This is a joint work with Alessandro Giordani.) Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Ilaria Canavotto
by LIRa Seminar 12 Apr '17

12 Apr '17

Dear all, tomorrow we will have our next LIRa session. Speaker: Ilaria Canavotto (ILLC, Amsterdam) Date and Time: Thursday, April 13th 2017, 17:00-18:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Deontic Conflicts in Explicit Dynamic Deontic Logic. Abstract. A deontic conflict is a situation in which it is obligatory to do A and it is obligatory to do B, but it is impossible to do both A and B. Despite being common in everyday life, deontic conflicts are ruled out by standard systems of deontic logic. This has led to several attempts to formulate conflict tolerant deontic systems. Yet, the main strategies that have been embraced in the current debate, see e.g. Goble (2005, 2009) and Horty (2003, 2012), are subject to three significant limitations. First, they do not allow us to distinguish different kinds of deontic conflicts. Second, they do not provide us with the tools to refer to the norms from which the conflicts originate. Finally, and relatedly, they do not allow us to model agents who update their individual codes by accepting possibly conflicting norms as binding. In light of this, we propose a new system of deontic logic in which ideas from explicit epistemic logic (we introduce norms and codes as explicit sources of obligation) and from dynamic epistemic logic (we introduce an update procedure on codes) are combined. We show that within our system it is possible to distinguish a considerable variety of interesting normative conflicts, including abstract and concrete normative conflicts and, within the latter, social, civil, legal and moral conflicts. We then apply these distinctions to provide an original analysis of three paradigmatic cases of normative conflicts, viz. those of Antigone, of Gandhi, and Sophie’s choice. (This is a joint work with Alessandro Giordani.) Hope to see you there! The LIRa team

1 0

Thursday next week: LIRa session with Ilaria Canavotto
by LIRa Seminar 05 Apr '17

05 Apr '17

Dear all, please note that there is no LIRa this week. Our next session will be on Thursday next week. Speaker: Ilaria Canavotto (ILLC, Amsterdam) Date and Time: Thursday, April 13th 2017, 17:00-18:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Deontic Conflicts in Explicit Dynamic Deontic Logic. Abstract. A deontic conflict is a situation in which it is obligatory to do A and it is obligatory to do B, but it is impossible to do both A and B. Despite being common in everyday life, deontic conflicts are ruled out by standard systems of deontic logic. This has led to several attempts to formulate conflict tolerant deontic systems. Yet, the main strategies that have been embraced in the current debate, see e.g. Goble (2005, 2009) and Horty (2003, 2012), are subject to three significant limitations. First, they do not allow us to distinguish different kinds of deontic conflicts. Second, they do not provide us with the tools to refer to the norms from which the conflicts originate. Finally, and relatedly, they do not allow us to model agents who update their individual codes by accepting possibly conflicting norms as binding. In light of this, we propose a new system of deontic logic in which ideas from explicit epistemic logic (we introduce norms and codes as explicit sources of obligation) and from dynamic epistemic logic (we introduce an update procedure on codes) are combined. We show that within our system it is possible to distinguish a considerable variety of interesting normative conflicts, including abstract and concrete normative conflicts and, within the latter, social, civil, legal and moral conflicts. We then apply these distinctions to provide an original analysis of three paradigmatic cases of normative conflicts, viz. those of Antigone, of Gandhi, and Sophie’s choice. (This is a joint work with Alessandro Giordani.) Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa April 2017