ILLC-LIRa December 2016

illc-lira@list.uva.nl

1 participants
3 discussions

Tomorrow: LIRa session with Alexandru Baltag
by LIRa Seminar 15 Dec '16

15 Dec '16

Dear all, tomorrow we will have our next LIRa session. Speaker: Alexandru Baltag (ILLC, Amsterdam) Date and Time: Friday, December 16th 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Knowing the Answer. Abstract: What does it mean to \"know the answer\" to a question? What is the relationship between this form of knowledge and the usual propositional \"knowledge that\" operator? Can we know the answer without knowing the question? Can we know the answer without knowing that it is the answer to this question? I investigate logics(s) for knowing/learning answers to questions, and argue that all knowledge can in fact be reduced to this kind: at a first approximation, to know is know how to answer a question. Moreover, if questions (and answers) are properly construed, then knowledge, from an abstract point of view, is just a correlation between two questions (where the answer to the first carries information about the answer to the second). By reflection, agents can themselves come to know such correlations. In this sense, to know is to know how to use questions to answer other questions. Hope to see you there! The LIRa team

1 0

This Friday: LIRa session with Alexandru Baltag
by LIRa Seminar 13 Dec '16

13 Dec '16

Dear all, this Friday we will have our next LIRa session. Speaker: Alexandru Baltag (ILLC, Amsterdam) Date and Time: Friday, December 16th 2016, 15:30-17:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Knowing the Answer. Abstract: What does it mean to \"know the answer\" to a question? What is the relationship between this form of knowledge and the usual propositional \"knowledge that\" operator? Can we know the answer without knowing the question? Can we know the answer without knowing that it is the answer to this question? I investigate logics(s) for knowing/learning answers to questions, and argue that all knowledge can in fact be reduced to this kind: at a first approximation, to know is know how to answer a question. Moreover, if questions (and answers) are properly construed, then knowledge, from an abstract point of view, is just a correlation between two questions (where the answer to the first carries information about the answer to the second). By reflection, agents can themselves come to know such correlations. In this sense, to know is to know how to use questions to answer other questions. Hope to see you there! The LIRa team

1 0

Tomorrow: LIRa session with Johan van Benthem
by LIRa Seminar 01 Dec '16

01 Dec '16

Dear all, tomorrow we will have our next LIRa session. Speaker: Johan van Benthem (ILLC & Stanford) Date and Time: Friday, December 2nd 2016, 15:00-16:10 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Decidable Versions of First-Order Predicate Logic. Abstract: There are two roads to decidability in first-order logic: one restricts attention to language fragments, or one generalizes the usual semantics. I will discuss a recent semantics by Aldo Antonelli, which gives a decidable version of predicate logic with an effective translation into the Guarded Fragment. I compare this with existing decidable semantics via general assignment models, with logics of generalized quantifiers, and with the move from relational semantics to neighborhood semantics. Open problems are flagged throughout. Hope to see you there! The LIRa team

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa December 2016