Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
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.
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.