Hierarchie systemów logiki parakonsystentnej

Janusz Ciuciura

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-8142-191-1

DOI:

Wydawnictwo:

Wydawnictwo Uniwersytetu Łódzkiego

Rok wydania:

2018

Liczba stron:

158

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Ciuciura, Janusz. Hierarchie systemów logiki parakonsystentnej. Red. . Łódź: Wydawnictwo Uniwersytetu Łódzkiego, 2018, 158 s. ISBN 978-83-8142-191-1

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Ciuciura, J.

T1 Hierarchie systemów logiki parakonsystentnej

PB Wydawnictwo Uniwersytetu Łódzkiego

PP Łódź

YR 2018

SN 978-83-8142-191-1

Bibliografia BibTex:

@Book{ 199090, author = "Ciuciura, Janusz", editor = "", title = "Hierarchie systemów logiki parakonsystentnej", publisher = "Wydawnictwo Uniwersytetu Łódzkiego", year = "2018", address = "Łódź", isbn = "978-83-8142-191-1" }

Bibliografia endNote:

TY - BOOK

AU - Ciuciura, Janusz

ED -

TI - Hierarchie systemów logiki parakonsystentnej

PB - Wydawnictwo Uniwersytetu Łódzkiego

CY - Łódź

PY - 2018

SN - 978-83-8142-191-1

ER -

Netografia (standard APA):

Ciuciura, Janusz. Hierarchie systemów logiki parakonsystentnej [baza danych online] Łódź: Wydawnictwo Uniwersytetu Łódzkiego, 2018 [dostęp: 07 07 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/hierarchie-systemow-logiki-parakonsystentnej-janusz-ciuciura-199090.

logika parakonsystentna, zasada niesprzeczności, logika urojona, logika minimalna, logika dialektyczna, Logiki Niesprzeczności Formalnej

Praca [...] na gruncie polskim nie ma odpowiednika. Nowe jest zarówno ujęcie przeglądu wątków związanych z intuicjami dotyczącymi parakonsystencji i historii rachunków z tej rodziny, jak też stanowiące samodzielne osiągnięcie naukowe uporządkowani...

Więcej

ISBN/ISSN:

978-83-8142-191-1

DOI:

Wydawnictwo:

Wydawnictwo Uniwersytetu Łódzkiego

Rok wydania:

2018

Liczba stron:

158

XML:ISBN/ISSN:

ONIX MARC21

Wstęp7
1.1. Kryteria15
Rozdział 1. Logika parakonsystentna. Założenia filozoficzne15
1.2. Zasada ex falso quodlibet20
1.3. Szkoły logiki parakonsystentnej23
2.1. Łukasiewicz i zasada niesprzeczności31
Rozdział 2. Początki logiki parakonsystentnej31
2.2. Logika urojona Wasiliewa33
2.3. System Orłowa42
2.4. System Kołmogorowa i logika minimalna Johanssona45
2.5. Logika dyskusyjna Jaśkowskiego47
2.6. Cn–systemy da Costy (1 ≤ n < ω)57
2.7. Logika antynomii Asenjo i Tamburino65
2.8. Logika dialektyczna Routleya i Meyera72
Rozdział 3. Hierarchie oparte na kryterium ilościowym75
3.1. Logika PI Batensa77
3.2. Hierarchia Bn–systemów (n ≥ 1)80
3.3. Hierarchia Bn–systemów (n ≥ 1) a logika supraklasyczna85
4.1. Parakonsystencja na poziomie zmiennych zdaniowych. System P1 Settego101
Rozdział 4. Hierarchie oparte na kryterium jakościowym101
4.2. Hierarchia Pn–systemów (n ≥ 1)109
4.3. Hierarchia Sn–systemów (n ≥ 1)113
4.4. Hierarchia Rn–systemów (n ≥ 1)124
5.1. V-systemy Arrudy i Alvesa127
Rozdział 5. Hierarchie oparte na kryterium mieszanym127
5.2. Hierarchia Bn i Dn–systemów Bundera (n ≥ 1)132
5.3. Logiki Niesprzeczności Formalnej137
Zakończenie145
Bibliografia147