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

Hierarchie systemów logiki parakonsystentnej - ebook

Oceń:
Format ebooka:
PDF
Format PDF
czytaj
na laptopie
czytaj
na tablecie
Format e-booków, który możesz odczytywać na tablecie oraz laptopie. Pliki PDF są odczytywane również przez czytniki i smartfony, jednakze względu na komfort czytania i brak możliwości skalowania czcionki, czytanie plików PDF na tych urządzeniach może być męczące dla oczu. Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na laptopie
Pliki PDF zabezpieczone watermarkiem możesz odczytać na dowolnym laptopie po zainstalowaniu czytnika dokumentów PDF. Najpowszechniejszym programem, który umożliwi odczytanie pliku PDF na laptopie, jest Adobe Reader. W zależności od potrzeb, możesz zainstalować również inny program - e-booki PDF pod względem sposobu odczytywania nie różnią niczym od powszechnie stosowanych dokumentów PDF, które odczytujemy każdego dnia.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na tablecie
Aby odczytywać e-booki na swoim tablecie musisz zainstalować specjalną aplikację. W zależności od formatu e-booka oraz systemu operacyjnego, który jest zainstalowany na Twoim urządzeniu może to być np. Bluefire dla EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
ISBN:
978-83-8142-191-1
Język:
Polski
Rok wydania:
2018
Rozmiar pliku:
1,5 MB
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.
Cena Virtualo
19,95
Cena w punktach Virtualo:
1995 pkt.

Pełny opis

 

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. Cn–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 Bn–systemów (n 1) 80

3.3. Hierarchia Bn–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 P1Settego 101

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

Rozdział 5. Hierarchie oparte na kryterium mieszanym 127

5.1. V-systemy Arrudy i Alvesa 127

5.2. Hierarchia Bni Dn–systemów Bundera (n 1) 132

5.3. Logiki Niesprzeczności Formalnej 137

Zakończenie 145

Bibliografia 147

BESTSELLERY