University of Ljubljana 11 th November 2014 Outlines of Legal Theory Logical Jurisprudence by Hajime Yoshino Friedrich LACHMAYER University of Innsbruck,

Slides:

Advertisements

Similar presentations

1 Knowledge Representation Introduction KR and Logic.

Advertisements

Visualization of Hans Kelsens Pure Theory of Law Vytautas ČYRAS Vilnius University Vilnius, Lithuania Friedrich LACHMAYER University.

1 CTC6, Educational Session 603 Artificial Intelligence in the Legal Environment A Legal Reasoning System on the Contract Law (CISG) Hajime YOSHINO Professor.

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Rules – Roles Elements of Legal Norms Friedrich LACHMAYER University of Innsbruck,

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Pure Theory of Law by Hans Kelsen Friedrich LACHMAYER University of Innsbruck, Austria.

ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.

Teleological networks in normative Systems Teleologische Netze in normativen Systemen Vytautas ČYRAS Vilnius University, Faculty of Mathematics and Informatics,

Artificial Intelligence Inference in first-order logic Fall 2008 professor: Luigi Ceccaroni.

Logic Use mathematical deduction to derive new knowledge.

SOURCES OF CONSTITUTIONAL LAW. Legal basis Legal ground Sources of law.

Soc 3306a Lecture 2 Overview of Social Enquiry. Choices Facing the Researcher What is the problem to be investigated? What questions should be answered?

1 Industrial Relations & Labour Law: Is there a Disciplinary Divide? Andrew Frazer Faculty of Law University of Wollongong.

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Relation between Legal Interpretations and Legal Norms Friedrich LACHMAYER University.

Copyright © 2008 Pearson Education Canada Inc.

CLN4U Heritage 1 Thoughts Can you think of an act / behaviour that is always wrong? Why is it wrong? Is it wrong in all contexts? Has it always wrong.

From Pure Theory of Law to Logical Jurisprudence 2002/11/7 Kelsen Conference Hajime Yoshino Meiji Gakuin University, Tokyo.

University of Ljubljana 13 th November 2014 Outlines of Legal Informatics From Legal Text towards the Legal Document Friedrich LACHMAYER University of.

University of Ljubljana 13 th November 2014 Outlines of Legal Informatics Legal Procedure via e-Formulars Friedrich LACHMAYER University of Innsbruck,

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Human Dignity – Human Rights Friedrich LACHMAYER University of Innsbruck, Austria.

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Normative Hierarchy of the Legal System Friedrich LACHMAYER University of Innsbruck,

Logical Jurisprudence by Hajime Yoshino chello.at Visualization of Legal Theory.

The Study of Law and legal Thought EXPLORING JURISPRUDENCE.

Legal provisions LLB Joanna Helios Wioletta Jedlecka.

1 Logical Jurisprudence Towards the Science of Law Through AI in Law Workshop on  Logical Jurisprudence and Legal Informatics  Sep.30./ October ,

GOALS OF SCIENCE TEACHING _ What is the primary goal of science teaching? _ What are the subsidiary goals of science teaching? _ How can we know?

A Computer Aided Instruction System for the International Law CISG Kaoru Hirota Dept.of Computational Intelligence & Systems Science Tokyo Institute of.

2002/12/16 at MGU Workshop on Kelsen’s Basic Norm Hajime Yoshino

Introduction to Science Dr. Bixler-Zalesinsky. Question of the Day  What do you want to learn in Chemistry this year?

Copyright © 2008 by West Legal Studies in Business A Division of Thomson Learning Chapter 1 The Nature and Sources of Law Twomey Jennings Anderson’s Business.

Quality school library – how do we find out? Polona Vilar Department of LIS&BS, Faculty of Arts, University of Ljubljana, SLO Ivanka Stričević Department.

1.3: Scientific Thinking & Processes Key concept: Science is a way of thinking, questioning, and gathering evidence.

1 Science as a Process Chapter 1 Section 2. 2 Objectives  Explain how science is different from other forms of human endeavor.  Identify the steps that.

University of Ljubljana 13 th November 2014 Outlines of Legal Informatics Workflow and XML Friedrich LACHMAYER University of Innsbruck, Austria

1 Knowledge Representation. 2 Definitions Knowledge Base Knowledge Base A set of representations of facts about the world. A set of representations of.

What is Law ?. I. Definition from Dr. O.Notohamidjojo, SH : Complex rules those written or unwritten; Come into force to human behaviour in the society;

University of Ljubljana 13 th November 2014 Outlines of Legal Informatics Legislative Workflow Friedrich LACHMAYER University of Innsbruck, Austria

Scientific Method. My 4 out of 5 Rule If you make an observation.

Nature of Science. Science is a Tentative Enterprise  The product of the judgment of individuals  Requires individuals to defend their conclusions by.

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 13 of 41 Monday, 20 September.

Computing & Information Sciences Kansas State University Lecture 13 of 42 CIS 530 / 730 Artificial Intelligence Lecture 13 of 42 William H. Hsu Department.

Organizing Information for Your Readers Chapter 6.

University of Ljubljana 13 th November 2014 Outlines of Legal Informatics Legal Informatics Friedrich LACHMAYER University of Innsbruck, Austria

On formal notation of the teleological structure of law Vytautas ČYRAS Vilnius University, Faculty of Mathematics and Informatics, Vilnius

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 14 of 41 Wednesday, 22.

Stage Metalevel Subjekt Mind Rules Friedrich Lachmayer Ljubljana, 15th March 2007 Structural Visualization of the Pure Theory of Law Structural Visualization.

INTRODUCTION TO ADMINISTRATIVE LAW. 1.Administrative law is being taught in many institutions of higher education as well as in numeorus special institutes.

Dancing and running shake up the chemistry of happiness. Mason Cooley Mason Cooley Read more at

Legal Language Lecture 2: THE LEGAL CONCEPT OF LAW Maciej Pichlak University of Wrocław Faculty of Law, Administration and Economics Department of Legal.

WHAT IS THE NATURE OF SCIENCE?. THEORIES ARE THE SCIENTIFIC WORLD VIEW 1.The Universe Is Understandable. 2.The Universe Is a Vast Single System In Which.

Is a care ethics perspective necessary to achieve proper partiality in health care? Søren Holm Manchester & Oslo & Aalborg.

1.3: Scientific Thinking & Processes Key concept: Science is a way of thinking, questioning, and gathering evidence.

Review: What is a logic? A formal language –Syntax – what expressions are legal –Semantics – what legal expressions mean –Proof system – a way of manipulating.

Kansas State University Department of Computing and Information Sciences CIS 730: Introduction to Artificial Intelligence Lecture 14 of 42 Wednesday, 22.

INTRODUCTION TO COGNITIVE SCIENCE NURSING INFORMATICS CHAPTER 3 1.

Scientific Method Making observations, doing experiments, and creating models or theories to try to explain your results or predict new answers form the.

CONSTITUTIONAL LAW OF FOREIGN COUNTRIES. THE CONCEPT, OBJECTS AND METHODS OF LEGAL REGULATION OF CONSTITUTIONAL LAW IN FOREIGN COUNTRIES  Constitutional.

Comparative legal studies (Zinkovskiy Sergey, associate professor, PhD Department of the Theory and History of State and Law) Topic 2 Methodology of comparative.

Video: U.S. Constitution SSCG3: The student will demonstrate knowledge of the United States Constitution.

CHAPTER 1: LAW: PURPOSES AND SOURCES. Chapter 12 Learning Objectives: Definitions and Classifications of Law Sources of Law Case Law: Role of Precedent.

Travel and tourism contracts- Sources of Tourism Private Law By Sara Landini.

Laws and Algebras – A Comparison

Outlines of Legal Theory

Introduction to Economics

Scientific Inquiry Unit 0.3.

الإطار التشريعي والرقابي للمحطات النووية

Chapter 1 The Nature of Science

Scientific Method Integrated Sciences.

Key Ideas How do scientists explore the world?

THE WHOLE PROCESS There are different terms used to describe scientific ideas based on the amount of confirmed experimental evidence. Hypothesis - a statement.

Scientific Method Step 1- The Problem- What is it that you are trying to solve Step 2- Research- Observations, library and internet research, asking experts.

Presentation transcript:

University of Ljubljana 11 th November 2014 Outlines of Legal Theory Logical Jurisprudence by Hajime Yoshino Friedrich LACHMAYER University of Innsbruck, Austria Acoustic-Files (germ.)  Vytautas ČYRAS Vilnius University, Lithuania

Every Day Life Situations

Stage of Rights and Duties

State Law Stage of Rights and Duties

Scientific Audience Applications Legal Science Jurisprudence State, Law Stage of Rights and Duties

Metalevel Scientific Audience JurisprudenceState, Law Stage of Rights and Duties

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Law Deduction Natural Law Principles Pufendorf

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties indiv. Judgements International Law Private Treaties Customary Law Legal Awareness Traditional Legal Concepts Constitution Legal Hierarchy

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Legal Philosophy Traditional Juridical Concepts Legal Dogmatics Legal Sociology

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Constitution Basic Norm Kelsen Legal Hierarchy indiv. Judgements

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Scientific Logical Sentences Logic Yoshino

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Scientific Logical Sentences Logic Kelsen Yoshino 1. Scientific Evolution

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Computer Expert Systems Logic Yoshino Scientific Logical Sentences 2. new Technical Perspectives

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Introduction Computer Expert Systems Logic Yoshino Scientific Logical Sentences Applications

Logical Jurisprudence LJ

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties whole Legal System Logical Jurisprudence try to analyze and explain

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties three Primitives: S Sentence V Validity IR Inference Rule Modus Ponens

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LN – Legal Norm LS – Legal Sentence LJ starts not from Legal Norms but from Legal Sentences.

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LR Legal Rule LRS Legal Rule-Sentence

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LF Legal Fact LFS Legal Fact Sentence

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Legal Role LO Legal Object Obligation Legal Role LOS Legal Object Sentence

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LS Legal Sentence validity describes LMS Legal Meta Sentence

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties ELS smallest unit of Legal Sentences 23

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties a group of LS which has an unique name LS AND

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties CLS Complex Legal Sentence a group of LS which has an unique name LS

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LS Legal Sentence validity LMS Legal Meta Sentence

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Legal Rules Legal Facts

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LRS LFS Legal Rules Legal Facts represented by

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties IR Inference Rule Modus Ponens LRS proofed validity LFS Legal Rules Legal Facts LOS represented by

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Legal Object Legal State of Affair IR Inference Rule Modus Ponens LRS proofed validity LFS Legal Rules Legal Facts LOS represented by

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties Legal Object Legal State of Affair IR Inference Rule Modus Ponens LRS proofed validity LFS Legal Rules Legal Facts LOS represented by Computer Expert Systems Logic

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties LMS Legal Meta Sentence LRS Legal Rule Sentence LMS Legal Meta Sentence 32

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties all Regulations FLMRS Fundamental Legal Metarule Sentence MRS Legal Metarule Sentence LRS Legal Rule Sentence 33

Metalevel State, Law Scientific Audience LJ - Logical Jurisprudence Stage of Rights and Duties BLMRS Basic Legal Meta-Rule Sentence MRS Legal Metarule Sentence LRS Legal Rule Sentence FLMRS Fundamental Legal Metarule Sentence

State, Law Computer-Application LJ - Logical JurisprudencePTL- Pure Theory of Law KelsenYoshino „School“Stage of Rights and Duties Comparison of the results of LJ with PL

KelsenYoshino Basic LRS Fundamental LMRS Basic Norm similar solutions at the top of the system State, Law Computer-Application LJ - Logical JurisprudencePL- Pure Theory „School“Stage of Rights and Duties

KelsenYoshino Legal Norm Legal Sentence LMS Norm as a special Meaning differentiation of juridical sentences LRSLOSLFS Formal LogicTextuality State, Law Computer-Application LJ - Logical JurisprudencePL- Pure Theory „School“Stage of Rights and Duties

KelsenYoshino LJ  Modelling Legal Cases LO LMSLRSLOSLFS Formal LogicTextuality State, Law Computer-Application LJ - Logical JurisprudencePL- Pure Theory „School“Stage of Rights and Duties

Yoshino LMSLRSLOSLFS Formal Logic Computer Expert Systems LO State, Law Computer-Application LJ - Logical Jurisprudence Stage of Rights and Duties

Yoshino Formal Logic Computer Expert Systems LO LMSLRSLOSLFS further supplement of LJ:  Legal Ontologies State, Law Computer-Application LJ - Logical Jurisprudence Stage of Rights and Duties