Reykjavik Summer of Cool Logic 2024 (SCooL 2024)

Registration is open for NLS, SLSS, and GandALF 2024! Early registration deadline for all: May 31.

SLSS 2024

Reykjavik Summer of Cool Logic 2024 (SCooL 2024), Reykjavik 10-21/6 2024


Twelfth Scandinavian Logic Symposium (SLSS 2024)

14–16 June 2024, Reykjavík, Iceland

The twelfth Scandinavian Logic Symposium (SLSS 2024) will be held at Reykjavik University, Iceland, during 14-16 June, 2024, under the auspices of the Scandinavian Logic Society. The previous four meetings of the SLSS were held in Bergen in Norway (2022), Gothenburg in Sweden (2018), Tampere in Finland (2014), and Roskilde in Denmark (2012).

The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

Suggested topics
The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others. Major topics include (but are not limited to)

Programme Committee

Co-chairs
Antonios Achilleos (Reykjavik University)
Dag Westerståhl (Stockholm University, Tsinghua University)

Members
Gaia Belardinelli (University of Copenhagen)
Jens Classen (Roskilde University)
Salvatore Florio (University of Oslo)
Juha Kontinen (University of Helsinki)
Vera Koponen (Uppsala University)
Magdalena Ortiz (TU Wien)
Mina Young Pedersen (University of Bergen)
Esko Turunen (TU Wien)

Invited Speakers

Fausto Barbero (University of Helsinki)
Sara Negri (University of Genoa)
Aybüke Özgün (ILLC, University of Amsterdam)


Submissions

Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=slss2024.

Abstracts should be typeset following the format of a LaTeX class file SLS2014.cls, or in a similar format if you prefer to not use LaTeX.

Important dates

Submission deadline: 7 April 12 April
Notification: 30 April
Early registration deadline: 24 May
Conference: 14-16 June, 2024


Programme

Invited Talk Abstracts


Fausto Barbero (University of Helsinki)

Title: Causal models and their generalizations

Abstract: The Structural Equation models considered in the field of causal inference describe causation in terms of functions that relate the behaviour of different magnitudes (variables). Galles and Pearl (1997) observed that the same framework supports a notion of (interventionist) counterfactual that differs from those offered by the philosophical literature, and to which many notions of causation can be reduced.

I will give an overview of the logic literature on interventionist counterfactuals, starting with the classical results in the context of standard causal models. Next, I will point to some causality-related issues that are not represented in causal models, such as the interaction of observations and interventions, and the possibility of assuming indeterministic causal laws; and make a case that appropriate generalizations of team semantics and possible-world semantics may be good candidates for extending the formalization of causal discourse.


Sara Negri (University of Genoa)

Title: Second order well-behaved

Abstract: Second-order logic extends the expressive power of first-order logic, allowing for the representation of properties that involve quantification over all subsets or families of subsets within a given structure, addressing a fundamental need in mathematical discourse. However, while offering significant advantages, full second-order logic faces challenges due to its impredicative nature and the absence of crucial metalogical properties, which complicates the development of proof systems. Our research tackles these challenges by introducing G3-style sequent calculi that incorporate a predicative comprehension schema, facilitating constructive cut-elimination proofs.
Expanding upon these calculi, we delve into the proof theory of mathematical theories, adapting methods from first-order calculi and establishing structural results for both classical and intuitionistic versions of the calculi. Additionally, we define extensional equality and apartness within second-order logic, demonstrating the ability to reduce mathematical concepts to pure logical terms. To illustrate, we present the theories of von Neumann–G¨odel–Bernays set theory and predicative second-order arithmetic. Moreover, we establish a variant of Herbrand’s theorem tailored for predicative second-order intuitionistic logic, demonstrating the conservativity of predicative second-order Heyting arithmetic over its first-order counterpart. Furthermore, we extend the interpolation theorem and modal embedding of intuitionistic logic to predicative second-order logic.


Aybüke Özgün (ILLC, University of Amsterdam)

Title: Imagination, Mereotopology, and Topic Expansion

Abstract: Intentional modals have recently received topic-sensitive treatment. One application involves the logic of imagination. According to a prominent treatment by Berto (2018, 2022), the topic of the imaginative output must be contained within the topic of the imaginative input. That is, imaginative episodes can never expand what they are about. We argue that this constraint is implausible from a psychological point of view, and it wrongly predicts the falsehood of true reports of imagination. Thus the constraint should be relaxed; but how? In this work, we explore a number of direct approaches to relaxing the controversial content-inclusion constraint. The core idea is to consider adding an expansion operator to the mereology of topics. The logic that results depends on the formal constraints placed on topic expansion, the choice of which are subject to philosophical dispute. The first semantics we explore is a topological approach using a closure operator. The second approach uses an inclusive and monotone increasing operator, and we give a sound and complete axiomatisation for its logic. The third approach uses an inclusive and additive operator, and we show that the associated logic is strictly weaker than the previous two systems.

Time permitting, I will also elaborate on further generalizations of the topic-sensitive semantics of imagination and the applications of proposed topic expansion operators to knowledge, belief, and conditionals. The main part of this talk is based on joint work with Aaron J. Cotnoir.


Accepted Papers

Authors Title
Alexander Gheorghiu, Tao Gu and David Pym A Note on an Inferentialist Approach to Resource Semantics
Bartosz Więckowski Proof-theoretic considerations on the structure of reasoning with counterfactuals and knowledge
Bas Kortenbach, Luca Incurvati and Julian Schlöder Multilateral Supervaluationism and Classicality
Camillo Fiore Notational Variance in Substructural Logics
Camillo Fiore and Bruno Da Ré Maximally Substructural Classical Logic
Daniel Leivant Finitism distilled
Pawel Pawlowski and Daniel Skurt Non-deterministic approach to modality
Elio La Rosa Epsilon Modal Logics
Giada Coleschi Gibberish and Ungrammaticality
Haitian Wang, Malvin Gattinger and Avijeet Gosh How to represent a Kripke model? BDDs versus Mental Programs
Kerkko Luosto and Lauri Hella Variants of the prenex normal form game
Karol Wapniarski The (Non)emptiness Problem: Ontological Assumptions of Traditional Logic from Aristotle to Gorge Boole
Ludovica Conti Arbitrary Abstraction and Logicality
Merel Semeijn Common ground beyond the grave
Micol Pasti Theory or metatheory? At What Level Should We Be Pluralists About Logic?
Pedro del Valle-Inclan Carnap’s Problem, Definability and Compositionality
Pietro Vigiani Entailment and Containment: a Ternary and Contextual approach to Information and Topic Inclusion
Sam Sanders and Dag Normann The Big, Bigger, and Biggest Five of Reverse Mathematics
Stipe Pandžić Inductive learning with first-order justification logic
Tianyi Chu A Logic of Topic-sensitive and Fragmented Hyperintensional Belief
Vera Koponen Random Expansions of finite structures with bounded degree
Vít Punčochář An algebraic representation of information types

Schedule

  Friday Saturday Sunday
8:30-8:50 Registration    
8:50-9:00 Welcome - opening    
9:00-10:00
Invited talks:
Aybüke Özgün. Imagination, Mereotopology, and Topic Expansion Fausto Barbero. Causal models and their generalizations Sara Negri. Second-order well-behaved
10:00-10:30 Coffee break Coffee break Coffee break
10:30-11:00 Alexander Gheorghiu, Tao Gu and David Pym. A Note on an Inferentialist Approach to Resource Semantics Micol Pasti. Theory or metatheory? At What Level Should We Be Pluralists About Logic? Vít Punčochář. An algebraic representation of information types
11:00-11:30 Tianyi Chu. A Logic of Topic-sensitive and Fragmented Hyperintensional Belief Pietro Vigiani. Entailment and Containment: a Ternary and Contextual approach to Information and Topic Inclusion Kerkko Luosto and Lauri Hella. Variants of the prenex normal form game
11:30-12:00 Elio La Rosa. Epsilon Modal Logics Giada Coleschi. Gibberish and Ungrammaticality Vera Koponen. Random Expansions Of Finite Structures With Bounded Degree
12:00-13:30 Lunch Lunch Lunch
13:30-14:00 Haitian Wang, Malvin Gattinger and Avijeet Gosh. How to represent a Kripke model? From BDDs to Mental Programs Bas Kortenbach, Luca Incurvati and Julian Schlöder. Multilateral Supervaluationism and Classicality Pawel Pawlowski and Daniel Skurt. Non-deterministic approach to modality
14:00-14:30 Stipe Pandžić. Inductive learning with first-order justification logic Pedro del Valle-Inclan. Carnap’s Problem, Definability and Compositionality Camillo Fiore and Bruno Da Ré. Maximally Substructural Classical Logic
14:30-15:00 Coffee break Sam Sanders and Dag Normann. The Big, Bigger, and Biggest Five of Reverse Mathematics Camillo Fiore. Notational Variance in Substructural Logics
15:00-15:30 Bartosz Więckowski. Proof-theoretic considerations on the structure of reasoning with counterfactuals and knowledge    
15:30-16:00 Karol Wapniarski. The (Non)emptiness Problem: Ontological Assumptions of Traditional Logic from Aristotle to Gorge Boole    
16:00-16:30 Daniel Leivant. Finitism distilled    

Room: M103
The room is on the ground floor (1st floor) of the building. Maps of the building can be found here.

The NLS and SLSS dinner takes place on Thursday 13/6 at 7 pm at La Primavera restaurant at Harpa. For directions, see here.