Metody algebraiczne w logice filozoficznej

Oryginalny tytuł:

Algebraic Methods in Philosophical Logic

Zawartość książki:

Ten kompleksowy tekst pokazuje, w jaki sposób różne pojęcia logiki mogą być postrzegane jako pojęcia algebry uniwersalnej.

Jest on skierowany przede wszystkim do logików zajmujących się matematyką, filozofią, informatyką i lingwistyką, zainteresowanych logiką algebraiczną, ale jest również dostępny dla osób spoza logistyki. Założeniem tekstu jest to, że standardowe wyniki algebraiczne (reprezentacje) przekładają się na standardowe wyniki logiczne (kompletność) i identyfikują klasy algebr odpowiednich do klasycznych i nieklasycznych badań logicznych, w tym: gaggles, distributoids, partial- gaggles i tonoids.

Omówiono również ideę, że logika jest zasadniczo oparta na informacji, a jej głównymi elementami są propozycje, które można rozumieć jako zbiory stanów informacyjnych. Logiki są rozważane w różnych znaczeniach, takich jak systemy twierdzeń, relacje konsekwencji i symetryczne relacje konsekwencji.