Hierarchie systemów logiki parakonsystentnej

1 opinia

Format:

pdf, ibuk

DODAJ DO ABONAMENTU

WYBIERZ RODZAJ DOSTĘPU

11,97  19,95

Format: pdf

 

Dostęp online przez myIBUK

WYBIERZ DŁUGOŚĆ DOSTĘPU

Cena początkowa: 19,95 zł (-40%)

Najniższa cena z 30 dni: 11,97 zł  


11,97

w tym VAT

TA KSIĄŻKA JEST W ABONAMENCIE

Już od 24,90 zł miesięcznie za 5 ebooków!

WYBIERZ SWÓJ ABONAMENT

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


Rok wydania2018
Liczba stron158
KategoriaFilozofia analityczna
WydawcaWydawnictwo Uniwersytetu Łódzkiego
ISBN-13978-83-8142-191-1
Numer wydania1
Język publikacjipolski
Informacja o sprzedawcyePWN sp. z o.o.

Ciekawe propozycje

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 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
RozwińZwiń