25/02/2025
Zapraszamy serdecznie na kolejne edycje naszego seminarium Logica Copernicana (https://logicacopernicana.umk.pl/forthcoming.html). W ramach seminarium wykłady wygłoszą dr Jialiang Yan (Tsinghua University) oraz dr William Zuluaga (Universidad Nacional del Centro de la Provincia de Buenos Aires) (poniżej streszczenia).
Wykłady odbędą się odpowiednio 25 lutego (wtorek) o godzinie 09:30 oraz 28 lutego (piątek) o godzinie 14:00 w Katedrze Logiki, ul. Moniuszki 16/20.
***
Dr Jialiang Yan, "A logic for instrumental obligation"
In this talk, I will present a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish causal deontic models that extends causal models with priority structures, in which both the instrumental and deontic meaning of an obligation can be represented. In the model, instrumental obligation is defined as a derived notion through intervention formulas in causal reasoning, where an action is considered instrumentally obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept of instrumental permission and multi-goal instrumental obligation are also taken into account. This talk is based on a joint work with Qingyu He.
***
Dr William Zuluaga, "A Stone-like relational duality for Pseudo-Inference algebras"
In classical Euclidean geometry, a point is considered a fundamental primitive notion. In contrast, the region-based theory of space (RBTS) takes regions (abstracted physical bodies) as primitives, along with basic mereological relations such as part-of, overlap, and underlap. This approach allowed De Laguna [dL] to introduce Contact Algebras, which have become a milestone in the study of RBTS. Later, Ivanova [I] introduced Extended Contact Algebras in an effort to provide structures with a more expressive language, enabling the expression of the predicate of internal connectedness of a region—interpreted as the existence of cavities in a physical body (see [PH] for details). Inspired by the approach of [CJ] for subordination algebras, in this talk, we introduce Pseudo-Inference algebras (PSI-algebras, for short). These structures are Boolean algebras equipped with a ternary monotone operator that preserves binary joins in the first two coordinates, satisfies certain axioms, and serves as a generalization of Extended Contact Algebras. Our aim is to establish a Stone-type relational duality for PSI-algebras.
Acknowledgement. This is an ongoing project in collaboration with Rafał Gruszczyński, Paula Menchón, and Sergio Celani as part of the MOSAIC Project 101007627, funded by the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Actions.
References:
[CJ] Celani, S., Jansana, R., A variety of algebras closely related to subordination algebras, Journal of Applied Non-Classical Logics, 32:2-3, 200-238, DOI: 10.1080/11663081.2022.2109122, 2022.
[dL] De Laguna, T., Point, line and surface as sets of solids, J. Philos 19:449–461, 1922.
[I] Ivanova, T., Extended contact algebras and internal connectedness, Studia Logica 108:239–254, 2020.
[PH] Pratt-Hartmann, I., Empiricism and Rationalism in Region-based Theories of Space, Fundamenta Informaticae 45:159–186, 2001.
