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.
Wprowadzenie do logik adaptywnych
Niniejsza praca jest poświęcona pewnym rachunkom logicznym, tzw. logikom adaptującym sprzeczność. Jednym z jej celów jest również porównanie dwóch nieomalże klasycznych już logik adaptujących sprzeczność z logiką dyskusyjną Jaśkowskiego.
Logiki adaptujące sprzeczność stanowią podklasę szerszej rodziny logik adaptywnych (adaptive logics). Twórcą logik adaptywnych jest prof. Diderik Batens z Gandawy w Belgii. Głównym celem, dla którego je stworzono, jest radzenie sobie w sytuacji, gdy przesłanki, którymi operujemy, są sprzeczne, tzn. gdy dają się z nich wydedukować dwa zdania sprzeczne: A i non-A. Można postawić sobie pytanie, dlaczego istnieje konieczność „adaptowania" sprzeczności? Czemu nie wystarcza stosowanie „zwykłej" logiki klasycznej.
W życiu codziennym zwykle unikamy sprzeczności. Dzieje się tak z wielu powodów. Trudno dla przykładu snuć plany na przyszłość, kiedy - pomijając jej nieprzewidywalność - dane, którymi dysponujemy, są jeszcze dodatkowo wzajemnie sprzeczne. Odnalezienie w rozumowaniu naszego rozmówcy uznanych przez niego zdań wzajemnie sprzecznych może stać się dla nas powodem do wątpienia w jego wiarygodność bądź prawdomówność, dając sposobność do dyskusyjnego „ataku". Dlaczego tak się dzieje?
Wprowadzenie /5
1. Fragmenty metateorii logik czysto odrywaniowych /15
Język /15
Konsekwencja czysto odrywaniowa /15
Podstawowe fakty z metateorii logik czysto odrywaniowych /16
2. Logika CLuN /21
Syntaksa logiki CLuN /21
Semantyka logiki CLuN /24
Trafność i pełność logiki CLuN /25
Porównanie logiki CLuN z logiką klasyczną / 29
Inne fakty dotyczące logiki CLuN /31
3. Semantyka i syntaksa logik adaptywnych /38
Logika adaptywna ACLuNl - semantyka / 38
Logika adaptywna ACLuN2 - semantyka /39
Związek między ACLuNl a ACLuN2 / 41
Wprowadzenie do teorii dowodu logik adaptywnych /41
Teoria dowodu dla logiki ACLuN1l/ 43
Teoria dowodu dla logiki ACLuN2 /58
4. Podstawowe fakty dotyczące logik modalnych / 75
Syntaksa /75
Semantyka światów możliwych /78
Modele kanoniczne /81
Logika S5M /82
Aksjomat McKinseya-Sobocińskiego /91
5. Porównanie podejścia szkoły w Gandawie z podejściem Jaśkowskiego /93
Logika Jaśkowskiego Da /93
Logika Jaśkowskiego a logiki adaptujące sprzeczność /97
6. Aksjomat McKinseya-Sobocińskiego w ramie logik dyskusyjnych /107
Dyskusyjna wersja formuły McKinseya-Sobocińskiego /107
Semantyka dla logiki S5M[M] /108
7. Logika adaptywna nad D2 /113
Preliminaria /113
Sformułowanie logiki adaptywnej nad D2 /117
Wykaz symboli /126
Wykaz pojęć /130
Literatura /134
Marek Nasieniewski
- Logiki zdaniowe wyrażalne przez modalność
- Logic and Logical Philosophy 22/1/2013
- Logic and Logical Philosophy 22/2/2013: Special issue on mereology and point-free geometry. I
- Logic and Logical Philosophy 22/3/2013: Special issue on mereology and point-free geometry. II
- Logic and Logical Philosophy 21/1/2012
- Logic and Logical Philosophy 21/3/2012
- Logic and Logical Philosophy 20/1-2/2011: Logic in cognitive science
- Logic and Logical Philosophy 20/3/2011
- Logic and Logical Philosophy 20/4/2011
- Logic and Logical Philosophy 19/1-2/2010: Special Issue on Paraconsistent Logic
- Logic and Logical Philosophy 19/3/2010
- Logic and Logical Philosophy 18/1/2009
- Logic and Logical Philosophy 18/2/2009
- Logic and Logical Philosophy 18/3-4/2009
- Logic and Logical Philosophy 17/3/2008
- Logic and Logical Philosophy 17/4/2008
- Logic and Logical Philosophy 14/1/2005: Patterns of scientific reasoning
- Logic and Logical Philosophy 14/2/2005
- Logic and Logical Philosophy 16/1/2007
- Logic and Logical Philosophy 16/2-3/2007
- Logic and Logical Philosophy 15/1/2006
- Logic and Logical Philosophy 16/4/2007
- Logic and Logical Philosophy 15/2/2006
- Logic and Logical Philosophy 15/3/2006
- Logic and Logical Philosophy 15/4/2006
- Logic and Logical Philosophy 22/4/2013
- Logic and Logical Philosophy 23/1/2014
- Logic and Logical Philosophy 23/2/2014
- Logic and Logical Philosophy 23/3/2014
- Logic and Logical Philosophy 17/1-2/2008: To the memory of Alexander Vladimirovich Kuznetsov (1926-1984)
- Logic and Logical Philosophy 23/4/2014
- Logic and Logical Philosophy 24/1/2015
- Logic and Logical Philosophy 24/2/2015
- Logic and Logical Philosophy 24/3/2015
- Logic and Logical Philosophy 24/4/2015: Special Issue: Mereology and Beyond (I)
- Logic and Logical Philosophy 25/1/2016
- Logic and Logical Philosophy 25/2/2016
- Logic and Logical Philosophy 25/3/2016: Special Issue: Mereology and Beyond (II)
- Logic and Logical Philosophy 25/4/2016
- Logic and Logical Philosophy 26/1/2017
- Logic and Logical Philosophy 26/2/2017
- Logic and Logical Philosophy 26/3/2017: Special Issue on Question Processing
- Logic and Logical Philosophy 26/4/2017
- Logic and Logical Philosophy 27/1/2018
- Logic and Logical Philosophy 27/2/2018
- Logic and Logical Philosophy 27/3/2018
- Logic and Logical Philosophy 27/4/2018
- Logic and Logical Philosophy 28/1/2019
- Logic and Logical Philosophy 28/2/2019
- Logic and Logical Philosophy 28/3/2019
- Logic and Logical Philosophy 28/4/2019
- Logic and Logical Philosophy 29/1/2020
- Logic and Logical Philosophy 29/2/2020
- Logic and Logical Philosophy 29/3/2020
- Logic and Logical Philosophy 29/4/2020
- Logic and Logical Philosophy 30/1/2021
- Logic and Logical Philosophy 30/2/2021
- Logic and Logical Philosophy 30/3/2021
- Logic and Logical Philosophy 30/4/2021: Special Issue: Relating Logic and Relating Semantics. Part I
- Logic and Logical Philosophy 31/1/2022
- Logic and Logical Philosophy 31/2/2022: Special Issue: Logics and Their Interpretations. Part I
- Logic and Logical Philosophy 31/3/2022
- Logic and Logical Philosophy 31/4/2022: Logics and Their Interpretations. Part II
- Logic and Logical Philosophy 32/1/2023
- Logic and Logical Philosophy 32/2/2023
- Logic and Logical Philosophy 32/3/2023: Perspectives on Logical Form
- Logic and Logical Philosophy 32/4/2023: Perspectives on Logical Form