Logiki zdaniowe wyrażalne przez modalność

Celem pracy jest omówienie logik, wyrażonych w języku zawierającym — jako pierwotne — spójniki stosowane w logice klasycznej. Jak się jednak okazuje, w logikach tych rozpatrywane stałe nie są spójnikami klasycznymi. Prawdziwa natura owych funktorów objawia się, gdy dokonamy ich tłumaczenia na język modalny. Omawiane logiki, gdyby przykładowo rozpatrywać same ich syntaktyczne sformułowania, zdają się nie mieć ze sobą nic wspólnego. Jednakże, dokonując ich translacji na jeden język, odkrywamy ich wspólną istotę. Ta jednolita platforma daje możliwość stosowania aparatu badawczego z szerokiego asortymentu narzędzi stosowanych w dziedzinie logiki modalnej. Wśród osób, które jako pierwsze rozpoznały bogactwo ukryte w takim użyciu języka modalnego, należy wymienić K.Godla, S. Jaśkowskiego i C. I. Lewisa.

Nasieniewski Marek

adiunkt w Katedrze Logiki na Wydziale Humanistycznym UMK w Toruniu.

Zainteresowania naukowe:

• logiki adaptujące sprzeczność,
• logiki parakonsystentne,
• algebra uniwersalna,
• sylogistyka relacyjna,
• logiki modalne,
• logika stoicka.

Praca w redakcji pism naukowych: 

• Od 2000 do 2009 sekretarz (Assistant Editor) pisma "Studia Logica", wydawanego przez Kluwer Dordrecht Publishers, a następnie Springer Verlag.

• Od 01 kwietnia 2003 sekretarz pisma "Logic and Logical Philosophy" wydawanego przez Uniwersytet Mikołaja Kopernika.
• Od września 2004 współredaktor "Logic and Logical Philosophy" (wspólnie z prof. Andrzejem Pietruszczakiem).