Results found: 2

Search results

Sort By:

Limit search:

The Antinomy of Future Contingent Events

100%

TKACZYK M.

Roczniki Filozoficzne

2018

vol. 66

issue 4

5-38

The antinomy of future contingents is here understood as a trilemma whose horns are (a) the thesis of the closed past, (b) the thesis of the open future, and (c) the thesis that all events can be represented at any time. The latter thesis can take different forms, like the principle of bivalence or the thesis of divine foreknowledge. Different versions of (c) lead to different versions of the antinomy itself. The antinomy has been formalized. It hasbeen proven that the theses (a), (b), and (c) make up an inconsistent set but are consistent with each other. Possible solutions have been considered. It has been argued that there are only two global solutions to the antinomy: radical determinism (fatalism) and retroactive causality. The latter solution has been recommend-ed and developed.

Antynomia przyszłych zdarzeń przygodnych jest tutaj pojmowana jako trylemat i składa się z (a) tezy o zamkniętej przeszłości, (b) tezy o otwartej przyszłości oraz przyjmującej różną post-ać (c) tezy o możliwości reprezentowania wszystkich zdarzeń w dowolnym czasie. Ta ostatnia teza może przyjąć postać zasady dwuwartościowości, tezy o wiedzy uprzedniej Boga lub inną postać. Różne wersje trzeciej tezy wyznaczają różne wersje antynomii przyszłych zdarzeń przygodnych. Anty¬nomia została sformalizowana. Wykazano, że tezy (a), (b) oraz (c) tworzą zbiór sprzeczny, ale parami są niesprzeczne. Przedyskutowano możliwe rozwiązania antynomii. Pokazano, że są tylko dwa globalne rozwiązania: skrajny determinizm (fatalizm) oraz akceptacja retroaktywnych związ¬ków przyczynowych. To drugie rozwiązanie zostało zarekomendowane i opracowane.

Distribution Laws in Weak Positional Logics

100%

TKACZYK M.

Roczniki Filozoficzne

2018

vol. 66

issue 3

163-179

A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective R, first introduced by Jerzy Łoś. Formulas RtA involve a singular name t and a formula A to the effect that RtA is satisfied (true) relative to the position designated by t. In weak positional calculi no nested occurences of the connective are allowed. The distribution problem in weak positional logics is actually the problem of distributivity of the connective R over classical connectives, viz. the problem of relation between the occurences of classical connectives inside and outside the scope of the positional connective R.

Logiki pozycyjne zawierają spójnik realizacji, który odnosi wyrażenie do pozycji ustalonego rodzaju, np. pozycji w czasie, przestrzeni, osób. W szczególności wyrażenie RtA należy odczytywać: w punkcie t jest tak, że A lub w podobny sposób. Najsłabszą logiką pozycyjną, w której spójnik R jest dystrybutywny względem wszystkich spójników klasycznego rachunku zdań, a w konsekwencji spójniki są booleowskie w każdym kontekście, jest system MR. Rozważane w tej pracy słabe logiki pozycyjne są systemami pośrednimi między klasycznym rachunkiem zdań a systemem MR. Niektóre, ale niekoniecznie wszystkie, spójniki w tych systemach mogą być booleowskie. Przedstawiam tutaj prosty algorytm budowy dowolnego adekwatnego systemu z rozważanego przedziału, wyznaczonego przez wybrane prawa dystrybucyjne. Przedstawiony tutaj algorytm łatwo rozszerza się na inne zestawy spójników.

Refine search results

2 Roczniki Filozoficzne

2 TKACZYK M.

2 2018

Search results

The Antinomy of Future Contingent Events

Distribution Laws in Weak Positional Logics