Analysis of laws of nature in Branching Time

Celem pracy było zaanalizowanie praw przyrody w systemie Branching Time. Zostały opisane różne rodzaje możliwości i omówione problemy ich zawierania się w sobie, aby określić relacje możliwości fizycznych względem innych rodzajów możliwości. Wykorzystano system Branching Time, jak również logikę ockhamistyczną, celem stworzenia modelu logiki ockhamisycznej złożonej z wielu struktur BT wraz z ich podziałem na chwile. Przedstawiono często stawiane wymogi dla zdań będących prawami przyrody, a następnie, poprzez analizę kontrfaktyczną, zaczerpniętą z M. Lange „LAWS OF NATURE, NATURAL NECESSITY, AND COUNTERFACTUAL CONDITIONALS”, opisany został zbiór zdań subnomicznie stabilnych, będący cechą modelu logiki ockhamistycznej, który pozwala określić zdania spełniające wcześniej wspomniane wymogi, a także pozwalające zdefiinowć modalnośc fizyczną.

The aim of the article was to analyse laws of nature in Branching Time. We described different kinds of possibilities and discussed problems of their containment, to place among them physical possibilities. We used Branching Time system as well as ockhamist logic, to create a model of ockhamist logic with many BT structures divided into instants. Finally we presented common requirements for laws of nature and using a counterfactual analysis, from M. Lange „LAWS OF NATURE, NATURAL NECESSITY, AND COUNTERFACTUAL CONDITIONALS”, we created a subnomically stable set, characterising a model of ockhamist logic, that allows to define statements that satisfy already mentioned requirements, and also allow to define physical modality.