ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

Thursday LIRa session with Anthia Solaki
by LIRa Seminar 27 Nov '17

27 Nov '17

Dear all, This Thursday we will have our next LIRa session. Speaker: Anthia Solaki (ILLC, Amsterdam) Date and Time: Thursday, November 30th 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Not so lost in the Wild: logical systems for resource-bounded reasoning. Abstract. Standard epistemic logic is often criticized on the grounds of the problem of logical omniscience: its agents are perfect reasoners with unlimited inferential power. We argue that the appropriate (normative) notion to focus on is that of moderate logical competence and the boundedness of resources is the important feature that determines it. We therefore build a non-standard framework that does justice to both the fallibility and the bounded reasoning of an agent. The former is achieved via the inclusion of impossible worlds to the traditional possible-worlds models. The latter is achieved by imposing suitable connections among the worlds and introducing actions that capture the agent\'s cognitively costly applications of inference rules. More specifically, it is shown that consequences of one\'s knowledge cannot be automatically and effortlessly ascribed to her. However, provided that she can afford to follow the right reasoning path, she can eventually navigate in the Wild and get to know some of them. We also develop non-standard plausibility models to account for the interaction between internal deductive reasoning and the external information the agent receives. A reduction of models to awareness-like structures is devised so that standard modal logic techniques can be exploited to obtain sound and complete axiomatizations. Finally, we discuss connections of these logical systems to dual-process theories of reasoning and give a formal treatment to some of their real-life manifestations. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Peter Hawke
by LIRa Seminar 22 Nov '17

22 Nov '17

Dear all, Tomorrow we will have our next LIRa seminar. Speaker: Peter Hawke (ILLC, Amsterdam) Date and Time: Thursday, November 23rd 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Epistemic Logic as Knowability Relative to Information. Abstract. We present a formal semantics for epistemic logic, aimed at capturing the notion of knowability relative to information (KRI). We move from Dretske\'s account of the nature of information, along with his insight that what an agent can know depends on her (empirical) information. We treat operators of the form KAB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Thus, we develop epistemic logic as a conditional logic. Variable strictness models the non-monotonicity of knowledge acquisition while ensuring a more basic sense in which knowledge is stable. Aboutness-preservation models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic (i.e. in the style of Hintikka), KRI accommodates various plausible approaches to the Kripke-Harman dogmatism paradox. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. In this talk, we focus on foundational motivations, leaving meta-logical results for elsewhere. Hope to see you there! The LIRa team

1 0

LIRa session: Jean Wagemans
by LIRa Seminar 15 Nov '17

15 Nov '17

Dear all, Tomorrow we will have our next LIRa session. Note that this time is in room F3.20 (seminar room in the third floor). Speaker: Jean Wagemans (FGW, University of Amsterdam) Date and Time: Thursday, November 16th 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Informal sisters of Dame Logica: On the dialectical and rhetorical accounts of argument. Abstract. Inspired by the classical disciplines of dialectic and rhetoric, present-day argumentation theorists have proposed a great variety of classifications of arguments, fallacies, and other means of persuasion. Although these accounts of argument are used for the purpose of producing, analysing, and evaluating argumentative discourse, they are not very satisfactory from a theoretical point of view. Dialectical and rhetorical approaches conceptualize the notion ‘argument’ in a very different way, the descriptions of the types of arguments employ informal language and the classifications are not always based on a clear theoretical rationale. In this talk, Wagemans will present a recently developed framework for integrating the dialectical and rhetorical accounts into a systematic and comprehensive Periodic Table of Arguments. After having given an overview of the main differences between logical, dialectical and rhetorical approaches to argument, he will explain the theoretical framework of the table and illustrate its contents by means of examples. The talk will be concluded with a discussion of the applications of the Periodic Table of Arguments. Hope to see you there! The LIRa team

1 0

Thursday session: Jean Wagemans
by LIRa Seminar 13 Nov '17

13 Nov '17

Dear all, This Thursday we will have our next LIRa session. Speaker: Jean Wagemans (FGW, University of Amsterdam) Date and Time: Thursday, November 16th 2017, 16:00-17:30 Venue: KdVI Seminar Room F3.20, Science Park 107. Title: Informal sisters of Dame Logica: On the dialectical and rhetorical accounts of argument. Abstract. Inspired by the classical disciplines of dialectic and rhetoric, present-day argumentation theorists have proposed a great variety of classifications of arguments, fallacies, and other means of persuasion. Although these accounts of argument are used for the purpose of producing, analysing, and evaluating argumentative discourse, they are not very satisfactory from a theoretical point of view. Dialectical and rhetorical approaches conceptualize the notion ‘argument’ in a very different way, the descriptions of the types of arguments employ informal language and the classifications are not always based on a clear theoretical rationale. In this talk, Wagemans will present a recently developed framework for integrating the dialectical and rhetorical accounts into a systematic and comprehensive Periodic Table of Arguments. After having given an overview of the main differences between logical, dialectical and rhetorical approaches to argument, he will explain the theoretical framework of the table and illustrate its contents by means of examples. The talk will be concluded with a discussion of the applications of the Periodic Table of Arguments. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with 石辰威 Chenwei Shi
by LIRa Seminar 08 Nov '17

08 Nov '17

Dear all, Tomorrow we have our next LIRa session. Speaker: 石辰威 Chenwei Shi (ILLC, Amsterdam) Date and Time: Thursday, November 9th 2017, 16:00-17:30 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: DeGroot Meets Kripke -- Group belief as a tendency towards consensus. Abstract. In this talk, I propose a notion of group belief -- potential group belief and study its logic. What is group belief? For example, common belief is a notion of group belief, which is studied a lot in epistemic logic. The notion I will talk about is more in line with what is studied in belief merging and judgement aggregation. But our perspective is a little different. Rather than aggregation mechanisms, we put focus on the role of the social network and its influence in the forming of the group\'s collective belief. In this sense, it is more similar to opinion diffusion. This is why we start from the DeGroot model, where the social network and its influence on group members are explicitly characterized. The difficulty is that the DeGroot model deals with degree of belief rather than binary or qualitative belief. Our endeavour thus starts with overcoming this difficulty. After introducing potential group belief, I will show how we can study its logical properties by bringing Kripke semantics into play. Some interesting logical properties emerge, for example, failing to be closed under conjunction. If time permits, I will talk about how to avoid this failure by revising the definition of potential group belief. This is a joint work with Alexandru Baltag, Sonja Smets and Fenrong Liu. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Yuri David Santos
by LIRa Seminar 01 Nov '17

01 Nov '17

Dear all, Tomorrow 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

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

← Newer
1
...
43
44
45
46
47
48
49
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa