Hierarchie systemów logiki parakonsystentnej
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
- Kategorie:
- Język wydania: polski
- ISBN: 978-83-8142-191-1
- ISBN druku: 978-83-8142-190-4
- Liczba stron: 158
-
Sposób dostarczenia produktu elektronicznegoProdukty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po opłaceniu zamówienia kartą lub przelewem na stronie Twoje konto > Biblioteka.Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
-
Ważne informacje techniczneMinimalne wymagania sprzętowe:procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturachPamięć operacyjna: 512MBMonitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bitDysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejscaMysz lub inny manipulator + klawiaturaKarta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/sMinimalne wymagania oprogramowania:System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows MobilePrzeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScriptZalecany plugin Flash Player w wersji 10.0 lub wyżej.Informacja o formatach plików:
- PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
- EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
- MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
- Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
Rodzaje zabezpieczeń plików:- Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie bardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.
- Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
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 P1 Settego 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 Bn i Dn–systemów Bundera (n ≥ 1) 132 5.3. Logiki Niesprzeczności Formalnej 137 Zakończenie 145 Bibliografia 147