Introduction to relating semantics with selected application examples

Dr hab. Tomasz Jarmużek, prof. UMK, odbywa wizytę badawczą w Chinach w ramach programu „Inicjatywa Doskonałości – Uczelnia Badawcza”. W ramach tegorocznego wyjazdu prof. Jarmużek prowadzi badania z przedstawicielami ważnych ośrodków akademickich w Chinach, takich jak, Tsinghua University w Pekinie oraz Beijing Normal University.

W dniu 10 kwietnia 2025 w godz. 16.00-17.30 prof. Jarmużek wygłosi na Uniwersytecie Tsinghua, uznawanym za jedną z najlepszych uczelni w Chinach, wykład pt. Introduction to relating semantics with selected application examples. Wykład zostanie poświęcony logice wiążącej (relating logic).

Podstawowym pomysłem stojącym za tego typu logiką jest to, że wartość logiczna danego złożonego zdania jest wyznaczona przez dwa czynniki:

(i) wartości logiczne głównych składników tego złożonego zdania,

(ii) wartościowanie zależności między tymi składnikami.

Ogólny zarys semantyki wiążącej i wybrane przykłady zastosowań można znaleźć w artykule: Relating Semantics as Fine-Grained Semantics for Intensional Logics (https://link.springer.com/chapter/10.1007/978-3-030-53487-5_2).

Prof. Jarmużek od wielu lat rozwija badania nad logiką i jej aplikacjami z przedstawicielami chińskich ośrodków akademickich. Owocami tej międzykontynentalnej współpracy są regularne wizyty pracowników naukowych z Chin w ramach konferencji organizowanych przez Katedrę Logiki UMK (np. w ramach ostatniej edycji konferencji BLESS, https://sites.google.com/view/trends-bless-2023/home) czy też stażów badawczych na naszym Uniwersytecie. Dalsza współpraca z chińskimi logikami zaowocuje nowymi wynikami w obszarach, w których specjalizują się toruńscy naukowcy (logika modalna, logika parakonsystentna, logika wiążąca).