Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Similar presentations


Presentation on theme: "University of Ljubljana 11 th November 2014 Outlines of Legal Theory Logical Jurisprudence by Hajime Yoshino Friedrich LACHMAYER University of Innsbruck,"— Presentation transcript:

1 University of Ljubljana 11 th November 2014 Outlines of Legal Theory Logical Jurisprudence by Hajime Yoshino Friedrich LACHMAYER University of Innsbruck, Austria friedrich.lachmayer@uibk.ac.at Acoustic-Files (germ.)  http://jusletter-it.weblaw.ch/visualisierung/visualisierung.htmlhttp://jusletter-it.weblaw.ch/visualisierung/visualisierung.html www.legalvisualization.com Vytautas ČYRAS Vilnius University, Lithuania Vytautas.Cyras@mif.vu.lt

2 Every Day Life Situations

3 Stage of Rights and Duties

4 State Law Stage of Rights and Duties

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

6 Metalevel Scientific Audience JurisprudenceState, Law Stage of Rights and Duties

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

8 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

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

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

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

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

13 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

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

15 Logical Jurisprudence LJ

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

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

18 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.

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

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

21 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

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

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

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

25 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

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

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

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

29 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

30 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

31 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

32 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

33 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

34 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

35 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

36 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

37 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

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

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

40 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


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

Similar presentations


Ads by Google