ILLC-LIRa October 2017

illc-lira@list.uva.nl

2 participants
5 discussions

Thursday LIRa session: Yuri David Santos
by LIRa Seminar 30 Oct '17

30 Oct '17

Dear all, This Thursday we have our next LIRa session. Speaker: Yuri David Santos (Faculty of Philosophy, University of Groningen) Date and Time: Thursday, November 2nd 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: A Dynamic Informational-Epistemic Logic. Abstract. Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this work, we will explore a four-valued epistemic logic designed to deal with situations of this sort, where the agents only have knowledge about the available information (not about facts), which can be incomplete or conflicting. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. Last, we discuss methods of consolidating this \"knowledge about information\" into factual knowledge/belief. Hope to see you there! The LIRa team

1 0

Thursday next week: Yuri David Santos: A Dynamic Informational-Epistemic Logic.
by LIRa Seminar 24 Oct '17

24 Oct '17

Dear all, Next week we will have our next LIRa session. Speaker: Yuri David Santos (Faculty of Philosophy, University of Groningen) Date and Time: Thursday, November 2nd 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: A Dynamic Informational-Epistemic Logic. Abstract. Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this work, we will explore a four-valued epistemic logic designed to deal with situations of this sort, where the agents only have knowledge about the available information (not about facts), which can be incomplete or conflicting. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. Last, we discuss methods of consolidating this \"knowledge about information\" into factual knowledge/belief. Hope to see you there! The LIRa team

1 0

LIRA session: Adam Bjorndahl
by LIRa Seminar 18 Oct '17

18 Oct '17

Dear all, Tomorrow we\'ll have our next LIRa session. Speaker: Adam Bjorndahl (Carnegie Mellon University, Pittsburgh) Date and Time: Thursday, October 19th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: The Epistemology of Nondeterminism. Abstract. Propositional dynamic logic (PDL) is a framework for reasoning about nondeterministic program execution. In this setting, nondeterminism is taken as a primitive: a program is nondeterministic iff it has multiple possible outcomes. But what is the sense of “possibility” at play here? This talk explores an epistemic interpretation: working in an enriched logical setting, we represent nondeterminism as a relationship between a program and an agent deriving from the agent’s (in)ability to adequately measure the dynamics of the program execution. More precisely, using topology to capture the observational powers of an agent, we define the nondeterministic outcomes of a given program execution to be those outcomes that the agent is unable to rule out in advance, so that nondeterminism is realized, loosely speaking, as discontinuity in the observation topology. This allows us to embed PDL into (dynamic) topological (subset space) logic, laying the groundwork for a deeper investigation into the epistemology (and topology) of nondeterminism. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Shane Steinert-Threlkeld
by LIRa Seminar 11 Oct '17

11 Oct '17

Dear all, tomorrow we will have our next LIRa session. Speaker: Shane Steinert-Threlkeld (ILLC, Amsterdam) Date and Time: Thursday, October 12th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Expressivism for Epistemic Modals: Dynamics and Uniform Definability Abstract. Expressivists about a given fragment of language argue that the primary function of an assertion of a sentence from that fragment is not to state a fact but to express some other kind of attitude of the speaker. In this talk, I will discuss expressivism for epistemic modals like ‘might’ and investigate new logical problems that arise. For example: on the standard theory of assertion, an update operation like public announcement adequately models the evolution of the common ground. What is the corresponding dynamics for an expressivist? Answering this question requires showing that a certain disjunction is definable in terms of the other connectives. I will also show that this disjunction is not uniformly definable and discuss the implications of that result. Hope to see you there! The LIRa team

1 0

Next Thurdsay: LIRa session with Shane Steinert-Threlkeld
by LIRa Seminar 07 Oct '17

07 Oct '17

Dear all, on Thursday we will have our next LIRa session. Speaker: Shane Steinert-Threlkeld (ILLC, Amsterdam) Date and Time: Thursday, October 12th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Expressivism for Epistemic Modals: Dynamics and Uniform Definability Abstract. Expressivists about a given fragment of language argue that the primary function of an assertion of a sentence from that fragment is not to state a fact but to express some other kind of attitude of the speaker. In this talk, I will discuss expressivism for epistemic modals like ‘might’ and investigate new logical problems that arise. For example: on the standard theory of assertion, an update operation like public announcement adequately models the evolution of the common ground. What is the corresponding dynamics for an expressivist? Answering this question requires showing that a certain disjunction is definable in terms of the other connectives. I will also show that this disjunction is not uniformly definable and discuss the implications of that result. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa October 2017