Bøger af Tomasz Jarmuzek

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.

The book examines the Master Argument (MA) of Diodorus Cronus in the context of the Sea-Battle Tomorrow of Aristotle. The author investigates problems of sentences about the future, time and determinism. He shows that certain reconstructions of the MA do not assume a linear time structure. Thus, the MA is not an argument in favour of determinism.