Author: Marko Novak
Publisher: Springer
ISBN: 331930643X
Category : Law
Languages : en
Pages : 123
Book Description
This volume presents a Type Theory of Law (TTL), claiming that this is a unique theory of law that stems from the philosophical understanding of Jung’s psychological types applied to the phenomenon of law. Furthermore, the TTL claims to be a universal, general and descriptive account of law. To prove that, the book first presents the fundamentals of Jungian psychological types, as they had been invented by Jung and consequently developed further by his followers. The next part of the book describes how the typological structure of an individual determines their understanding of law. It then addresses the way in which inclusive legal theory can be understood based on this typology. Finally, the book describes the TTL in general and descriptive terms and puts it into context. All in all, the book shows how the integral or inclusive approach to understanding the nature of law is not only in tune with our time, but also relevant for presenting a more persuasive picture of law than the older exclusivist or dualist approaches of strict natural law and rigid legal positivism did.
The Type Theory of Law
Author: Marko Novak
Publisher: Springer
ISBN: 331930643X
Category : Law
Languages : en
Pages : 123
Book Description
This volume presents a Type Theory of Law (TTL), claiming that this is a unique theory of law that stems from the philosophical understanding of Jung’s psychological types applied to the phenomenon of law. Furthermore, the TTL claims to be a universal, general and descriptive account of law. To prove that, the book first presents the fundamentals of Jungian psychological types, as they had been invented by Jung and consequently developed further by his followers. The next part of the book describes how the typological structure of an individual determines their understanding of law. It then addresses the way in which inclusive legal theory can be understood based on this typology. Finally, the book describes the TTL in general and descriptive terms and puts it into context. All in all, the book shows how the integral or inclusive approach to understanding the nature of law is not only in tune with our time, but also relevant for presenting a more persuasive picture of law than the older exclusivist or dualist approaches of strict natural law and rigid legal positivism did.
Publisher: Springer
ISBN: 331930643X
Category : Law
Languages : en
Pages : 123
Book Description
This volume presents a Type Theory of Law (TTL), claiming that this is a unique theory of law that stems from the philosophical understanding of Jung’s psychological types applied to the phenomenon of law. Furthermore, the TTL claims to be a universal, general and descriptive account of law. To prove that, the book first presents the fundamentals of Jungian psychological types, as they had been invented by Jung and consequently developed further by his followers. The next part of the book describes how the typological structure of an individual determines their understanding of law. It then addresses the way in which inclusive legal theory can be understood based on this typology. Finally, the book describes the TTL in general and descriptive terms and puts it into context. All in all, the book shows how the integral or inclusive approach to understanding the nature of law is not only in tune with our time, but also relevant for presenting a more persuasive picture of law than the older exclusivist or dualist approaches of strict natural law and rigid legal positivism did.
Treatise on Intuitionistic Type Theory
Author: Johan Georg Granström
Publisher: Springer Science & Business Media
ISBN: 9400717369
Category : Philosophy
Languages : en
Pages : 198
Book Description
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
Publisher: Springer Science & Business Media
ISBN: 9400717369
Category : Philosophy
Languages : en
Pages : 198
Book Description
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
Intuitionistic Type Theory
Author: Per Martin-Löf
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 116
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 116
Book Description
Pure Theory of Law
Author: Hans Kelsen
Publisher: The Lawbook Exchange, Ltd.
ISBN: 1584775785
Category : Law
Languages : en
Pages : 366
Book Description
Reprint of the second revised and enlarged edition, a complete revision of the first edition published in 1934. A landmark in the development of modern jurisprudence, the pure theory of law defines law as a system of coercive norms created by the state that rests on the validity of a generally accepted Grundnorm, or basic norm, such as the supremacy of the Constitution. Entirely self-supporting, it rejects any concept derived from metaphysics, politics, ethics, sociology, or the natural sciences. Beginning with the medieval reception of Roman law, traditional jurisprudence has maintained a dual system of "subjective" law (the rights of a person) and "objective" law (the system of norms). Throughout history this dualism has been a useful tool for putting the law in the service of politics, especially by rulers or dominant political parties. The pure theory of law destroys this dualism by replacing it with a unitary system of objective positive law that is insulated from political manipulation. Possibly the most influential jurisprudent of the twentieth century, Hans Kelsen [1881-1973] was legal adviser to Austria's last emperor and its first republican government, the founder and permanent advisor of the Supreme Constitutional Court of Austria, and the author of Austria's Constitution, which was enacted in 1920, abolished during the Anschluss, and restored in 1945. The author of more than forty books on law and legal philosophy, he is best known for this work and General Theory of Law and State. Also active as a teacher in Europe and the United States, he was Dean of the Law Faculty of the University of Vienna and taught at the universities of Cologne and Prague, the Institute of International Studies in Geneva, Harvard, Wellesley, the University of California at Berkeley, and the Naval War College. Also available in cloth.
Publisher: The Lawbook Exchange, Ltd.
ISBN: 1584775785
Category : Law
Languages : en
Pages : 366
Book Description
Reprint of the second revised and enlarged edition, a complete revision of the first edition published in 1934. A landmark in the development of modern jurisprudence, the pure theory of law defines law as a system of coercive norms created by the state that rests on the validity of a generally accepted Grundnorm, or basic norm, such as the supremacy of the Constitution. Entirely self-supporting, it rejects any concept derived from metaphysics, politics, ethics, sociology, or the natural sciences. Beginning with the medieval reception of Roman law, traditional jurisprudence has maintained a dual system of "subjective" law (the rights of a person) and "objective" law (the system of norms). Throughout history this dualism has been a useful tool for putting the law in the service of politics, especially by rulers or dominant political parties. The pure theory of law destroys this dualism by replacing it with a unitary system of objective positive law that is insulated from political manipulation. Possibly the most influential jurisprudent of the twentieth century, Hans Kelsen [1881-1973] was legal adviser to Austria's last emperor and its first republican government, the founder and permanent advisor of the Supreme Constitutional Court of Austria, and the author of Austria's Constitution, which was enacted in 1920, abolished during the Anschluss, and restored in 1945. The author of more than forty books on law and legal philosophy, he is best known for this work and General Theory of Law and State. Also active as a teacher in Europe and the United States, he was Dean of the Law Faculty of the University of Vienna and taught at the universities of Cologne and Prague, the Institute of International Studies in Geneva, Harvard, Wellesley, the University of California at Berkeley, and the Naval War College. Also available in cloth.
Principia Mathematica
Author: Alfred North Whitehead
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 696
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 696
Book Description
The Concept of Law
Author: Herbert Lionel Adolphus Hart
Publisher:
ISBN:
Category : Jurisprudence
Languages : en
Pages : 263
Book Description
Publisher:
ISBN:
Category : Jurisprudence
Languages : en
Pages : 263
Book Description
Type Theory and Functional Programming
Author: Simon Thompson
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 396
Book Description
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 396
Book Description
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
Homotopy Type Theory: Univalent Foundations of Mathematics
Author:
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484
Book Description
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484
Book Description
Programming in Martin-Löf's Type Theory
Author: Bengt Nordström
Publisher: Oxford University Press, USA
ISBN:
Category : Computers
Languages : en
Pages : 240
Book Description
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
Publisher: Oxford University Press, USA
ISBN:
Category : Computers
Languages : en
Pages : 240
Book Description
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
Common Law Theory
Author: Douglas E. Edlin
Publisher: Cambridge University Press
ISBN: 9780521176156
Category : Law
Languages : en
Pages : 262
Book Description
In this book, legal scholars, philosophers, historians, and political scientists from Australia, Canada, New Zealand, the United Kingdom, and the United States analyze the common law through three of its classic themes: rules, reasoning, and constitutionalism. Their essays, specially commissioned for this volume, provide an opportunity for thinkers from different jurisdictions and disciplines to talk to each other and to their wider audience within and beyond the common law world. This book allows scholars and students to consider how these themes and concepts relate to one another. It will initiate and sustain a more inclusive and well-informed theoretical discussion of the common law's method, process, and structure. It will be valuable to lawyers, philosophers, political scientists, and historians interested in constitutional law, comparative law, judicial process, legal theory, law and society, legal history, separation of powers, democratic theory, political philosophy, the courts, and the relationship of the common law tradition to other legal systems of the world.
Publisher: Cambridge University Press
ISBN: 9780521176156
Category : Law
Languages : en
Pages : 262
Book Description
In this book, legal scholars, philosophers, historians, and political scientists from Australia, Canada, New Zealand, the United Kingdom, and the United States analyze the common law through three of its classic themes: rules, reasoning, and constitutionalism. Their essays, specially commissioned for this volume, provide an opportunity for thinkers from different jurisdictions and disciplines to talk to each other and to their wider audience within and beyond the common law world. This book allows scholars and students to consider how these themes and concepts relate to one another. It will initiate and sustain a more inclusive and well-informed theoretical discussion of the common law's method, process, and structure. It will be valuable to lawyers, philosophers, political scientists, and historians interested in constitutional law, comparative law, judicial process, legal theory, law and society, legal history, separation of powers, democratic theory, political philosophy, the courts, and the relationship of the common law tradition to other legal systems of the world.