Tutorial prof. Tomasza Jarmużka: Relating Logic and Relating Semantics. Theory and Applications
Data: 4 - 8 grudnia 2025 r.
Miejsce: UNSAAC (National University of Saint Anthony the Abbot, Cusco), Peru
Wydarzenie: 8th World Congress on Universal Logic, December 4-14, 2025, Cusco, Peru
Dr hab. Tomasz Jarmużek, prof. UMK, bierze aktywny udział w 8th World Congress on Universal Logic w Peru. W ramach kongresu prof. Jarmużek, na zaproszenie organizatorów, prowadzi Tutorial „Relating Logic and Relating Semantics. Theory and Applications”.
Strona Tutorialu: https://sites.google.com/view/unilog2025/tutorials/relating-logic?authuser=0
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 ośrodków akademickich z całego świata.
Strona Kongresu: https://sites.google.com/view/unilog2025/welcome?authuser=0