ILLC-LIRa

illc-lira@list.uva.nl

1 participants
582 discussions

LIRa Session: Fausto Barbero
by LIRa Seminar 15 Mar '19

15 Mar '19

Dear all, The next LIRa session will take place on Thursday, March 21st. Please, find the details below: Speaker: Fausto Barbero (University of Helsinki) Date and Time: Thursday, March 21st 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Interventionist Counterfactuals in Team Semantics. Abstract. Team semantics is a generalization of Tarskian semantics which allows the introduction of a greater variety of logical operators - most notably, atoms which express dependencies among variables. This extra degree of freedom is obtained by replacing the notion of satisfaction by an assignment with satisfaction by a set of assignments (\"team\"). I will show how to enrich this framework so that a notion of intervention (in the spirit of structural equation modeling) can be applied to teams. After this move, it becomes possible to introduce interventionist counterfactuals over teams, and express a variety of notions of causal dependence in terms of them. I will consider a basic formalism which conservatively extends the usual languages of causal modelling, and some further operators. Passing from teams to multiteams (multisets of assignments), we will see a way of introducing probabilities in the framework. It will emerge that some distinctions made in causal modelling, e.g. between \"do expressions\" and \"counterfactual expressions\", can be explained in terms of commutation of simpler logical operators. . Hope to see you there! The LIRa team

1 0

LIRa Session: Bahareh Afshari
by LIRa Seminar 13 Mar '19

13 Mar '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Bahareh Afshari (ILLC) Date and Time: Thursday, March 14th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: An infinitary treatment of fixed point modal logic. Abstract. Fixed point modal logic deals with the concepts of induction and recursion in a most fundamental way. The term refers to any logic built on the foundation of modal logic that features inductively and/or co-inductively defined operators. Examples range from simple temporal logics (e.g. Tense Logic and Linear Time Logic) to the highly expressive Modal Mu-Calculus and its extensions. In this talk I will introduce the modal mu-calculus and present a complete proof system for it based on nested sequents. We will see how the proof system can be used to obtain a proof of the finite model property and, time permitting, I will also explain how the framework lends itself to a sound and complete axiomatisation for the extension of mu-calculus with backward modalities. (Joint work with Gerhard Jäger and Graham Leigh) Hope to see you there! The LIRa team

1 0

LIRa Session: Bahareh Afshari
by LIRa Seminar 08 Mar '19

08 Mar '19

Dear all, The next LIRa session will take place on Thursday, March 14th. Please, find the details below: Speaker: Bahareh Afshari (ILLC) Date and Time: Thursday, March 14th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: An infinitary treatment of fixed point modal logic. Abstract. Fixed point modal logic deals with the concepts of induction and recursion in a most fundamental way. The term refers to any logic built on the foundation of modal logic that features inductively and/or co-inductively defined operators. Examples range from simple temporal logics (e.g. Tense Logic and Linear Time Logic) to the highly expressive Modal Mu-Calculus and its extensions. In this talk I will introduce the modal mu-calculus and present a complete proof system for it based on nested sequents. We will see how the proof system can be used to obtain a proof of the finite model property and, time permitting, I will also explain how the framework lends itself to a sound and complete axiomatisation for the extension of mu-calculus with backward modalities. (Joint work with Gerhard Jäger and Graham Leigh) Hope to see you there! The LIRa team

1 0

LIRa Session: Shane Steinert-Threlkeld
by LIRa Seminar 06 Mar '19

06 Mar '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Shane Steinert-Threlkeld (ILLC) Date and Time: Thursday, March 7th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Explaining Semantic Universals. Abstract. Semantic universals are properties of meaning that are attested in all of the languages of the world. In this talk, I develop an explanation for why such universals arise: expressions satisfying them are easier to learn than those that do not. Using techniques from machine learning, I show that this answer can provide a unified explanation of universals in three disparate linguistic domains, encompassing both function and content words: quantifiers, responsive predicates, and color terms. I conclude by canvassing ongoing work on this project. Hope to see you there! The LIRa team

1 0

LIRa-related events
by LIRa Seminar 04 Mar '19

04 Mar '19

Dear all, We would like to bring the following two events to your attention, as they are closely related to our LIRa topics. You are also encouraged to submit your work! 1) IACAP 2019: Distributed Computing and Epistemic Logic Track (June 5, UNAM, Mexico City. Deadline for submissions: March 24, 2019) You can find more about IACAP in the following link: https://projects.illc.uva.nl/lgc/seminar/2019/03/special-extended-cfa-iacap… 2) 2nd DaLi. Dynamic Logic: New Trends and Applications (October 9, 2019, Porto, Portugal. Deadline for submissions: June 14, 2019) You can find more about DaLi in the following link: https://projects.illc.uva.nl/lgc/seminar/2019/03/cfp-2nd-dali-dynamic-logic… The LIRa team

1 0

LIRa Session: Shane Steinert-Threlkeld
by LIRa Seminar 03 Mar '19

03 Mar '19

Dear all, The next LIRa session will take place on Thursday, March 7th. Please, find the details below: Speaker: Shane Steinert-Threlkeld (ILLC) Date and Time: Thursday, March 7th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Explaining Semantic Universals. Abstract. Semantic universals are properties of meaning that are attested in all of the languages of the world. In this talk, I develop an explanation for why such universals arise: expressions satisfying them are easier to learn than those that do not. Using techniques from machine learning, I show that this answer can provide a unified explanation of universals in three disparate linguistic domains, encompassing both function and content words: quantifiers, responsive predicates, and color terms. I conclude by canvassing ongoing work on this project. Hope to see you there! The LIRa team

1 0

LIRa Session: Katrin Schulz
by LIRa Seminar 26 Feb '19

26 Feb '19

Dear all, The next LIRa session will take place on Thursday, February 28th. Please, find the details below: Speaker: Katrin Schulz Date and Time: Thursday, February 28th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Conditionals, Causality and Conditional Probability. Abstract. The appropriateness, or acceptability, of a conditional does not just \'go with\' the corresponding conditional probability. A condition of dependence is required as well (cf. Douven, 2008, 2016; Skovgaard-Olsen et al., 2016). In this talk a particular notion of dependence is proposed. It is shown that under both a forward causal and a backward evidential (or diagnostic) reading of the conditional, this appropriateness condition reduces to conditional probability under some natural circumstances. Because this is in particular the case for the so-called diagnostic reading of the conditional, this analysis might help to explain some of Douven and Verbrugge\'s (2010) empirical observations. (Joint work with Robert van Rooij) Hope to see you there! The LIRa team

1 0

LIRa Session: Leendert van Maanen
by LIRa Seminar 20 Feb '19

20 Feb '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Leendert van Maanen (Department of Psychological Methods, UvA) Date and Time: Thursday, February 21st 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Evidence accumulation modeling to understand simple and complex behavior. Abstract. In this talk, I will highlight the use of accumulator models to study simple and more complex cognitive processing. The central idea of an accumulator model is that in order to perform an action – either to execute observable behavior or in order to trigger another internal cognitive process – cognitive agents need to accumulate evidence over time in support of that action. Formalisms of this idea have been used to understand how experimental manipulations influence both response times and type of choices. After an introduction of the canonical accumulator model, I will discuss recent work that suggests a close relationship between people’s sense of time and evidence accumulation processes in simple choice behavior. I will end by discussing two potential directions that can be taken to apply evidence accumulation to more complex cognitive processes such as reasoning. The first direction involves the idea that certain complex cognitive processes can also be understood as evidence accumulation. The second direction involves EEG to identify critical cognitive processing stages in more complex tasks. Hope to see you there! The LIRa team

1 0

LIRa Session: Leendert van Maanen
by LIRa Seminar 15 Feb '19

15 Feb '19

Dear all, The next LIRa session will take place on Thursday, February 21st. Please, find the details below: Speaker: Leendert van Maanen (Department of Psychological Methods, UvA) Date and Time: Thursday, February 21st 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Evidence accumulation modeling to understand simple and complex behavior. Abstract. In this talk, I will highlight the use of accumulator models to study simple and more complex cognitive processing. The central idea of an accumulator model is that in order to perform an action – either to execute observable behavior or in order to trigger another internal cognitive process – cognitive agents need to accumulate evidence over time in support of that action. Formalisms of this idea have been used to understand how experimental manipulations influence both response times and type of choices. After an introduction of the canonical accumulator model, I will discuss recent work that suggests a close relationship between people’s sense of time and evidence accumulation processes in simple choice behavior. I will end by discussing two potential directions that can be taken to apply evidence accumulation to more complex cognitive processes such as reasoning. The first direction involves the idea that certain complex cognitive processes can also be understood as evidence accumulation. The second direction involves EEG to identify critical cognitive processing stages in more complex tasks. Hope to see you there! The LIRa team

1 0

LIRa Session: Aidan Lyon
by LIRa Seminar 13 Feb '19

13 Feb '19

Dear all, Tomorrow we will have our next LIRa session. Please, find the details below: Speaker: Aidan Lyon (ILLC) Date and Time: Thursday, February 14th 2019, 16:30-18:00 Venue: ILLC Seminar Room F1.15, Science Park 107. Title: Psychedelic Experience and the Mathematics of Hallucination. Abstract. In this talk, I will present three kinds of mathematical model of psychedelic hallucinations: (i) those based on Turing bifurcation patterns, (ii) Bayesian / predictive coding models, and (iii) models based on convolutional neural networks. I will discuss the relationships between the three kinds of model and propose an account of psychedelic hallucination that unifies the models. I will also discuss the philosophical implications of this unified account. Hope to see you there! The LIRa team

1 0

← Newer
1
...
36
37
38
39
40
41
42
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

ILLC-LIRa