Dear all,
We will have our next LIRa session tomorrow, on Thursday, 25 May 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: Niccolò Rossi (ILLC, University of Amsterdam)
Date and Time: Thursday, May 25th 2023, 16:30-18:00
Venue: ILLC seminar room F3.20 in Science Park 107 and online.
Title: Disjunctions, topics and grounds
Abstract. If Andrea knows that Biden won the last presidential
election, they also know that either Biden won the last presidential
election, or Biden is a reptilian. This is the response that epistemic
logics based on standard Kripke relational semantics provide, which is
consistent with the fact that minimally rational agents can perform
disjunction introduction. This is not the case in topic-sensitive
semantics though. Andrea might not grasp the concept of 'reptilian',
and therefore not be able to know any proposition dealing with
reptilians. I argue that this requirement is too strong. I keep the
idea that topic-grasping is crucial for knowledge, but I weaken the
requirement: only grasping some 'minimal topics' of a proposition is
needed. I use a theory of logical grounding (Correia, 2014) in order
to define which are the minimal grounds of a proposition and define a
minimal topic as the topic of a minimal ground. Once this is done, I
propose a semantic clause for knowledge that maintains the good
features of topic-sensitive semantics while improving its treatment of
disjunction. Doing so, I exploit the concept of logical grounding in
order to define the minimal parts of a proposition which are relevant
truth-wise and topic-wise for the knowledge of such a proposition.
Hope to see you there!
The LIRa team
Dear all,
We will have our next LIRa session on Thursday, 25 May 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: Niccolò Rossi (ILLC, University of Amsterdam)
Date and Time: Thursday, May 25th 2023, 16:30-18:00
Venue: ILLC seminar room F3.20 in Science Park 107 and online.
Title: Disjunctions, topics and grounds
Abstract. If Andrea knows that Biden won the last presidential
election, they also know that either Biden won the last presidential
election, or Biden is a reptilian. This is the response that epistemic
logics based on standard Kripke relational semantics provide, which is
consistent with the fact that minimally rational agents can perform
disjunction introduction. This is not the case in topic-sensitive
semantics though. Andrea might not grasp the concept of 'reptilian',
and therefore not be able to know any proposition dealing with
reptilians. I argue that this requirement is too strong. I keep the
idea that topic-grasping is crucial for knowledge, but I weaken the
requirement: only grasping some 'minimal topics' of a proposition is
needed. I use a theory of logical grounding (Correia, 2014) in order
to define which are the minimal grounds of a proposition and define a
minimal topic as the topic of a minimal ground. Once this is done, I
propose a semantic clause for knowledge that maintains the good
features of topic-sensitive semantics while improving its treatment of
disjunction. Doing so, I exploit the concept of logical grounding in
order to define the minimal parts of a proposition which are relevant
truth-wise and topic-wise for the knowledge of such a proposition.
Hope to see you there!
The LIRa team
Dear all,
There will be no LIRa session this and next week, but we would like to draw your attention to the following LIRa-related event:
*Reasoning about Responsible Agency in AI*
As they become increasingly integrated into our lives, autonomous
systems are used to execute more and more tasks that have both
normative and epistemic relevance. This has led to a growing
literature in machine ethics aiming at addressing the question of how
to build autonomous systems that can, first, acquire and properly
reason about normative and observational information, and, second, use
this information to interact with other agents and the environment in
a way that is responsible and, at the same time, explainable.
The goal of this workshop is to bring together philosophers,
logicians, and computer scientists in order to explore these topics
from an interdisciplinary perspective.
The workshop is associated with the project Responsible Artificial
Agency: A Logical Perspective, funded by the RPA Human(e) AI
University of Amsterdam.
Date: 16 and 17 May 2023
Venue: Doelenzaal (C0.07) in Amsterdam University Library, Singel 425,
1012 WP Amsterdam
NOTE: please REGISTER TODAY if you are planning to attend on location
Registration: free of charge but required, use this form:
https://forms.gle/yF89isYT9ahRM3B26
For all further information, see the workshop website at
https://sites.google.com/view/reasoningaboutresponsibility
Hope to see you there!
The LIRa team