Hierarchie systemów logiki parakonsystentnej - Ebook (Książka PDF) do pobrania w formacie PDF

Darmowy fragment

Hierarchie systemów logiki parakonsystentnej - ebook

Janusz Ciuciura

Wydawnictwo:

Wydawnictwo Uniwersytetu Łódzkiego

Format:

PDF

Data wydania:

1 stycznia 2018

1995 pkt

punktów Virtualo

Hierarchie systemów logiki parakonsystentnej - ebook

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ądkowanie pewnych grup takich rachunków w postaci hierarchii wyznaczonych kilkoma kryteriami.

Z recenzji
prof. dr. hab. Wojciecha Suchonia

Większość systemów logiki parakonsystentnej toleruje sprzeczność nie dlatego, że możliwe jest w nich współistnienie dwóch zdań, z których jedno jest zaprzeczeniem drugiego, lecz dlatego, iż z pary zdań, nie wyprowadzi my dowolnego zdania. [...] Systemy logiki parakonsystentnej to zatem formalizmy, w których odrzuca się możliwość ich trywializacji za sprawą pary formuł sprzecznych.

Ze Wstępu

Spis treści

Wstęp 7

Rozdział 1. Logika parakonsystentna. Założenia filozoficzne 15

1.1. Kryteria 15

1.2. Zasada ex falso quodlibet 20

1.3. Szkoły logiki parakonsystentnej 23

Rozdział 2. Początki logiki parakonsystentnej 31

2.1. Łukasiewicz i zasada niesprzeczności 31

2.2. Logika urojona Wasiliewa 33

2.3. System Orłowa 42

2.4. System Kołmogorowa i logika minimalna Johanssona 45

2.5. Logika dyskusyjna Jaśkowskiego 47

2.6. C_n–systemy da Costy (1 ≤ n < ω) 57

2.7. Logika antynomii Asenjo i Tamburino 65

2.8. Logika dialektyczna Routleya i Meyera 72

Rozdział 3. Hierarchie oparte na kryterium ilościowym 75

3.1. Logika PI Batensa 77

3.2. Hierarchia Bⁿ–systemów (n ≥ 1) 80

3.3. Hierarchia Bⁿ–systemów (n ≥ 1) a logika supraklasyczna 85

Rozdział 4. Hierarchie oparte na kryterium jakościowym 101

4.1. Parakonsystencja na poziomie zmiennych zdaniowych. System P¹Settego 101

4.2. Hierarchia Pⁿ–systemów (n ≥ 1) 109

4.3. Hierarchia Sⁿ–systemów (n ≥ 1) 113

4.4. Hierarchia Rⁿ–systemów (n ≥ 1) 124

Rozdział 5. Hierarchie oparte na kryterium mieszanym 127

5.1. V-systemy Arrudy i Alvesa 127

5.2. Hierarchia B_ni D_n–systemów Bundera (n ≥ 1) 132

5.3. Logiki Niesprzeczności Formalnej 137

Zakończenie 145

Bibliografia 147

Kategoria:	Filozofia
Język:	Polski
Zabezpieczenie:	Watermark Watermark Watermarkowanie polega na znakowaniu plików wewnątrz treści, dzięki czemu możliwe jest rozpoznanie unikatowej licencji transakcyjnej Użytkownika. E-książki zabezpieczone watermarkiem można odczytywać na wszystkich urządzeniach odtwarzających wybrany format (czytniki, tablety, smartfony). Nie ma również ograniczeń liczby licencji oraz istnieje możliwość swobodnego przenoszenia plików między urządzeniami. Pliki z watermarkiem są kompatybilne z popularnymi programami do odczytywania ebooków, jak np. Calibre oraz aplikacjami na urządzenia mobilne na takie platformy jak iOS oraz Android.
ISBN:	978-83-8142-191-1
Rozmiar pliku:	1,5 MB
Użytkowanie:	w granicach licencji Informacje na temat użytkowania Kopia przeznaczona jest wyłącznie do własnego użytku osobistego w granicach udzielonej licencji. Wszelkie prawa są zastrzeżone chyba, że właściciel praw autorskich udzieli wyraźnej licencji. Z wyjątkiem sytuacji dopuszczalnych przez prawo lub uzyskania zgody uprawnionego z tytułu praw autorskich, jakiekolwiek powielanie, montaż, wyświetlanie, wypożyczanie, publiczne pokazy czy inne rozpowszechnianie zawartości tej kopii lub jej fragmentów czy części jest bezwzględnie zabronione. Niniejsza kopia nie może być przedmiotem odsprzedaży czy dystrybucji i sprzedaży handlowej bez uzyskania odpowiedniej licencji udzielonej przez Virtualo sp. z o.o.
Drukowanie:	w granicach licencji Informacje na temat użytkowania Kopia przeznaczona jest wyłącznie do własnego użytku osobistego w granicach udzielonej licencji. Wszelkie prawa są zastrzeżone chyba, że właściciel praw autorskich udzieli wyraźnej licencji. Z wyjątkiem sytuacji dopuszczalnych przez prawo lub uzyskania zgody uprawnionego z tytułu praw autorskich, jakiekolwiek powielanie, montaż, wyświetlanie, wypożyczanie, publiczne pokazy czy inne rozpowszechnianie zawartości tej kopii lub jej fragmentów czy części jest bezwzględnie zabronione. Niniejsza kopia nie może być przedmiotem odsprzedaży czy dystrybucji i sprzedaży handlowej bez uzyskania odpowiedniej licencji udzielonej przez Virtualo sp. z o.o.
Kopiowanie:	w granicach licencji Informacje na temat użytkowania Kopia przeznaczona jest wyłącznie do własnego użytku osobistego w granicach udzielonej licencji. Wszelkie prawa są zastrzeżone chyba, że właściciel praw autorskich udzieli wyraźnej licencji. Z wyjątkiem sytuacji dopuszczalnych przez prawo lub uzyskania zgody uprawnionego z tytułu praw autorskich, jakiekolwiek powielanie, montaż, wyświetlanie, wypożyczanie, publiczne pokazy czy inne rozpowszechnianie zawartości tej kopii lub jej fragmentów czy części jest bezwzględnie zabronione. Niniejsza kopia nie może być przedmiotem odsprzedaży czy dystrybucji i sprzedaży handlowej bez uzyskania odpowiedniej licencji udzielonej przez Virtualo sp. z o.o.

Hierarchie systemów logiki parakonsystentnej - ebook

Spis treści

BESTSELLERY