University of Ljubljana11th November 2014

Outlines of Legal TheoryLogical Jurisprudence by Hajime Yoshino

Friedrich LACHMAYERUniversity of Innsbruck, Austria friedrich.lachmayer@uibk.ac.at

Acoustic-Files (germ.) http://jusletter-it.weblaw.ch/visualisierung/visualisierung.html

www.legalvisualization.com

Vytautas ČYRASVilnius University, LithuaniaVytautas.Cyras@mif.vu.lt

Every Day Life Situations

Every Day Life Situations

Stageof Rights and Duties

StateLaw

Stageof Rights and Duties

Scientific AudienceApplications

Legal ScienceJurisprudence

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

DeductionDeduction

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

ScientificLogical Sentences

Logic

Yoshino

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

ScientificLogical Sentences

Logic

Kelsen Yoshino

1. Scientific Evolution

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

ComputerExpert Systems

Logic

Yoshino

ScientificLogical Sentences

2. newTechnical Perspectives

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

Introduction

ComputerExpert Systems

Logic

Yoshino

ScientificLogical Sentences

Applications

Applications

LogicalJurisprudence

LJ

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

wholeLegal System

LogicalJurisprudence

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 RuleModus 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

LRSLegal Rule-Sentence

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LF Legal Fact

LFSLegal Fact Sentence

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LegalRole

LO Legal ObjectObligation

LegalRole

LOSLegal Object Sentence

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LSLegal Sentence

validitydescribes

LMSLegal Meta Sentence

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

ELS

smallest unitof Legal Sentences

23

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

a group of LSwhich has an unique name

LS LSAND

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

CLS

Complex Legal Sentencea group of LS

which has an unique name

LS LSLS

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LSLegal Sentence

validity

LMSLegal Meta Sentence

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LegalRules

LegalFacts

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LRS

LFS

LegalRules

LegalFacts

represented by

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

IR Inference RuleModus Ponens

LRS

proofedvalidity

LFS

LegalRules

LegalFacts

LOSrepresented by

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

Legal ObjectLegal State of Affair

IR Inference RuleModus Ponens

LRS

proofedvalidity

LFS

LegalRules

LegalFacts

LOSrepresented by

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

Legal ObjectLegal State of Affair

IR Inference RuleModus Ponens

LRS

proofedvalidity

LFS

LegalRules

LegalFacts

LOSrepresented by

ComputerExpert Systems

Logic

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

LMSLegal Meta Sentence

LRSLegal Rule Sentence

LMSLegal Meta Sentence

32

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

all Regulations

FLMRS FundamentalLegal Metarule Sentence

MRSLegal Metarule Sentence

LRSLegal Rule Sentence

33

Metalevel

State, Law

Scientific Audience

LJ - Logical Jurisprudence

Stage of Rights and Duties

BLMRSBasic Legal

Meta-Rule Sentence

MRSLegal Metarule Sentence

LRSLegal Rule Sentence

FLMRS FundamentalLegal Metarule Sentence

State, Law

Computer-Application

LJ - Logical JurisprudencePTL- Pure Theory of Law

Kelsen Yoshino

„School“ Stage of Rights and Duties

Comparison of the results of LJ with PL

Kelsen Yoshino

Basic LRS

FundamentalLMRS

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

Kelsen Yoshino

LegalNorm

LegalSentence

LMS

Norm as a special Meaning

differentiationof juridicalsentences

LRS

LOS

LFS

Formal LogicTextuality

State, Law

Computer-Application

LJ - Logical JurisprudencePL- Pure Theory

„School“ Stage of Rights and Duties

Kelsen Yoshino

LJ ModellingLegal Cases

LO

LMS

LRS

LOS

LFS

Formal LogicTextuality

State, Law

Computer-Application

LJ - Logical JurisprudencePL- Pure Theory

„School“ Stage of Rights and Duties

Yoshino

LMS

LRS

LOS

LFS

Formal Logic

ComputerExpert Systems

LO

State, Law

Computer-Application

LJ - Logical Jurisprudence

Stage of Rights and Duties

Yoshino

Formal Logic

ComputerExpert Systems

LO

LMS

LRS

LOS

LFS

further supplement of LJ:

Legal Ontologies

State, Law

Computer-Application

LJ - Logical Jurisprudence

Stage of Rights and Duties