Książka jest poprawioną i rozszerzoną wersją pracy pt. Logiki nihilistyczne. Zarys problematyki (Oficyna Akademicka, Warszawa, 1995). Prezentuje się w niej pewne nieklasyczne rachunki (systemy, teorie) logiczne, zwane nihilistycznymi. Systemy te nawiązują do tzw. nihilistycznej koncepcji prawdy, w myśl której zdanie postaci: ``prawdą jest, że p`` jest równoznaczne z samym zdaniem ``p``. W teoriach tych odrzuca się pewne podstawowe zasady logiki klasycznej takie, jak: dwuwartościowości, wyłączonego środka i sprzeczności. Rachunki te konstruuje się metodami: matrycową, aksjomatyczną, założeniową, założeniową uogólnioną, tablic analitycznych i Gentzena. Dowodzi się wielu twierdzeń charakteryzujących owe teorie, między innymi o niesprzeczności, o dedukcji, o pełności tych systemów.
Zwraca się uwagę na zastosowania owych teorii, na przykład do rozwiązywania niektórych antynomii semantycznych. Pokazuje się też, że rachunki te mogą być wykorzystane we współczesnej fizyce. Mogą być one szczególnie użyteczne do rozwiązania słynnego `` paradoksu kota Schrddingera`` oraz stanowić mocne wsparcie rachunkowe Hugh'a Everetta teorii wielu światów.

Spis treści:

Wstęp

Rozdział 1. Preliminaria
Rozdział 2. Nihilistyczne rachunki zdań budowane metodą aksjomatyczną
Rozdział 3. Tezy nihilistycznych rachunków zdań
Rozdział 4. Nihilistyczne rachunki kwantyfikatorów budowane metodą aksjomatyczną
Rozdział 5. Wartościowania w nihilistycznych rachunkach zdań. Tautologie i kontrtautogie w tych rachunkach
Rozdział 6. Metoda sprawdzania tautologiczności nihilistycznych rachunków zdań
Rozdział 7. Negacje, prawdy i fałsze w logikach nihilistycznych
Rozdział 8. Wynikanie w nihilistycznych rachunkach zdań
Rozdział 9. Semantyczne opisy nihilistycznych rachunków kwantyfikatorów
Rozdział 10. Twierdzenia o relatywnych nadsystemach zupełnych dla nihilistycznych rachunków zdań. Twierdzenia o pełności tych rachunków
Rozdział 11. Twierdzenia o relatywnych nadsystemach zupełnych i konstruktywnych dla nihilistycznych rachunków kwantyfikatorów. Twierdzenia o pełności tych rachunków
Rozdział 12. Dalsze twierdzenia charakteryzujące logiki nihilistyczne
Rozdział 13. Kilka uwag o nihilistycznych rachunkach zdań z kwantyfikatorami
Rozdział 14. Nihilistyczne rachunki zdań budowane metodą założeniową
Rozdział 15. Twierdzenia o pełności nihilistycznych rachunków zdań budowanych metodą założeniową    Rozdział 16. Aksjomatyczne odrzucanie w nihilistycznych rachunkach zdań. Ł-nie-sprzeczność, Ł-zupełność i Ł-rozstrzygalność tych rachunków
Rozdział 17. Nihilistyczne rachunki zdań budowane metodą założeniową uogólnioną
Rozdział 18. Równoważność nihilistycznych rachunków zdań budowanych metodami: założeniową i założeniową uogólnioną
Rozdział 19. Założeniowe odrzucanie w nihilistycznych rachunkach zdań
Rozdział 20. Nihilistyczne rachunki zdań budowane metodą tabel analitycznych
Rozdział 21. Nihilistyczne rachunki zdań budowane metodą Gentzena
Rozdział 22. Uwagi o nihilistycznych rachunkach kwantyfikatorów budowanych metodami dedukcji naturalnej
Rozdział 23. Nihilistyczne rachunki zdań budowane metodą matrycową
Rozdział 24. Próby zastosowań logik nihilistycznych

Bibliografia

Skorowidz ważniejszych nazw