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.
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
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
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.
Categories for Types
Author: Roy L. Crole
Publisher: Cambridge University Press
ISBN: 9780521457019
Category : Computers
Languages : en
Pages : 362
Book Description
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.
Publisher: Cambridge University Press
ISBN: 9780521457019
Category : Computers
Languages : en
Pages : 362
Book Description
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.
Basic Simple Type Theory
Author: J. Roger Hindley
Publisher: Cambridge University Press
ISBN: 0521465184
Category : Computers
Languages : en
Pages : 200
Book Description
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.
Publisher: Cambridge University Press
ISBN: 0521465184
Category : Computers
Languages : en
Pages : 200
Book Description
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.
The Legal Theory of Carl Schmitt
Author: Mariano Croce
Publisher: Routledge
ISBN: 1136220666
Category : Law
Languages : en
Pages : 248
Book Description
The Legal Theory of Carl Schmitt provides a detailed analysis of Schmitt’s institutional theory of law, mainly developed in the books published between the end of the 1920s and the beginning of the 1930s. By reading Schmitt’s overall work through the lens of his institutional turn, the authors offer a strikingly different interpretation of Schmitt’s theory of politics, law and the relation between these two domains. The book argues that Schmitt’s adhesion to legal institutionalism was a key theoretical achievement, based on serious reconsideration of the main flaws of his own decisionist paradigm, in the light of the French and Italian institutional theories of law. In so doing, the authors elucidate how Schmitt was able to unravel many of the impasses that affected his previous conceptual framework. The authors also make comparisons between Schmitt and other leading legal theorists (H. Kelsen, M. Hauriou, S. Romano and C. Mortati) and explain why the current legal debate should take into serious account his legacy.
Publisher: Routledge
ISBN: 1136220666
Category : Law
Languages : en
Pages : 248
Book Description
The Legal Theory of Carl Schmitt provides a detailed analysis of Schmitt’s institutional theory of law, mainly developed in the books published between the end of the 1920s and the beginning of the 1930s. By reading Schmitt’s overall work through the lens of his institutional turn, the authors offer a strikingly different interpretation of Schmitt’s theory of politics, law and the relation between these two domains. The book argues that Schmitt’s adhesion to legal institutionalism was a key theoretical achievement, based on serious reconsideration of the main flaws of his own decisionist paradigm, in the light of the French and Italian institutional theories of law. In so doing, the authors elucidate how Schmitt was able to unravel many of the impasses that affected his previous conceptual framework. The authors also make comparisons between Schmitt and other leading legal theorists (H. Kelsen, M. Hauriou, S. Romano and C. Mortati) and explain why the current legal debate should take into serious account his legacy.
A Theory of Legal Sentences
Author: Manuel Atienza
Publisher: Springer Science & Business Media
ISBN: 9400708483
Category : Philosophy
Languages : en
Pages : 216
Book Description
Legal statements are, according to the authors, the most basic elements of the law. Nevertheless they must be considered not only as the pieces of a puzzle, but also as the components of a dynamic and highly complex reality: the law of contemporary society. The book presents an analysis of the different types of legal statements (mandatory rules, principles, power-conferring rules, definitions, permissions, values and the rule of recognition) from a threeefold perspective, that is, considering their logical structure, their function in legal reasoning as reasons for action, and their connections with the interests and power relationships among the individuals and the social groups. The result is conceived as a first step in the building of a general theory of law designed not as an isolated discourse but as a decisive element for the dynamization of the legal culture.
Publisher: Springer Science & Business Media
ISBN: 9400708483
Category : Philosophy
Languages : en
Pages : 216
Book Description
Legal statements are, according to the authors, the most basic elements of the law. Nevertheless they must be considered not only as the pieces of a puzzle, but also as the components of a dynamic and highly complex reality: the law of contemporary society. The book presents an analysis of the different types of legal statements (mandatory rules, principles, power-conferring rules, definitions, permissions, values and the rule of recognition) from a threeefold perspective, that is, considering their logical structure, their function in legal reasoning as reasons for action, and their connections with the interests and power relationships among the individuals and the social groups. The result is conceived as a first step in the building of a general theory of law designed not as an isolated discourse but as a decisive element for the dynamization of the legal culture.