Jarmu ek (8 resultados)

Condición: New. 2021. New. hardcover. . . . . . Books ship from the US and Ireland.

Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 228 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to the problem of the Master Argument - a historical argument of the Greek philosopher Diodorus Cronus. Since the original argument was lost, many contemporary logicians have tried to recreate it, using modern tools of logic. The objective of Diodorus' argument was to evidence the correctness of the temporarily defined modalities: necessity and probability. They took a deterministic form and challenged the indeterministic approach of Aristotle included in the Sea-Battle Tomorrow. In this study, the author shows that some of the reconstructions of the Master Argument allowed for the branched time structures. This is the crowning argument to prove that despite the acceptance of Diodorus' notions, the Aristotelian Sea-Battle Tomorrow may still not happen, or may as well happen. 264 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Lang, Peter GmbH, Gontardstraße 11, 10178 Berlin 228 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is devoted to the problem of the Master Argument ¿ a historical argument of the Greek philosopher Diodorus Cronus. Since the original argument was lost, many contemporary logicians have tried to recreate it, using modern tools of logic. The objective of Diodorus¿ argument was to evidence the correctness of the temporarily defined modalities: necessity and probability. They took a deterministic form and challenged the indeterministic approach of Aristotle included in the Sea-Battle Tomorrow. In this study, the author shows that some of the reconstructions of the Master Argument allowed for the branched time structures. This is the crowning argument to prove that despite the acceptance of Diodorus¿ notions, the Aristotelian Sea-Battle Tomorrow may still not happen, or may as well happen. 264 pp. Englisch.…

Buch. Condición: Neu. Tableau Methods for Propositional Logic and Term Logic | Tomasz Jarmu¿ek | Buch | Gebunden | Englisch | 2021 | Peter Lang | EAN 9783631833728 | Verantwortliche Person für die EU: Lang, Peter GmbH, Gontardstr. 11, 10178 Berlin, r[dot]boehm-korff[at]peterlang[dot]com | Anbieter: preigu Print on Demand. …

Buch. Condición: Neu. On the Sea Battle Tomorrow That May Not Happen | A Logical and Philosophical Analysis of the Master Argument | Tomasz Jarmu¿ek | Buch | Gebunden | Englisch | 2019 | Peter Lang | EAN 9783631745892 | Verantwortliche Person für die EU: Lang, Peter GmbH, Gontardstr. 11, 10178 Berlin, r[dot]boehm-korff[at]peterlang[dot]com | Anbieter: preigu Print on Demand.…