visualization of hajime yoshino’s logical jurisprudence. iris 2017
TRANSCRIPT
![Page 1: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/1.jpg)
Visualization
of Hajime Yoshino’s
Logical Jurisprudence
IRIS 2017, 23-25.02.2017, Salzburg
Vytautas ČyrasVilnius University
Lithuania
Friedrich LachmayerVienna
![Page 2: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/2.jpg)
Based on:
• Friedrich Lachmayer’s slides- 2007, presentation at KEIO University, Tokyo
- 24.11.2016, Austrian Parliament
- in connection with Legal Framing 2016
• Hajime Yoshino’s slides and papers- IRIS 2007, 22.2.2007, Salzburg
- 11th ICAIL 2007, Stanford
- 13th ICAIL 2011
- …
- Legal Framing, 23.11.2016 , Vienna
2
![Page 3: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/3.jpg)
Scientific Audience,
Applications
Legal Science,
Jurisprudence
Introduction to the Visualisation-Schemata
3
State Law
Stage of Rights and Duties
![Page 4: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/4.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Law
Deduction
Natural Law Principles
Pufendorf
4
![Page 5: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/5.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Constitution
Basic Norm
Kelsen
Legal Hierarchy
indiv. Judgements
5
![Page 6: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/6.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Scientific
Logical Sentences
Logic
Yoshino
6
![Page 7: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/7.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Introduction
Computer
Expert Systems
Logic
Yoshino
Scientific
Logical Sentences
Applications
Applications
7
![Page 8: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/8.jpg)
Logical
Jurisprudence
LJ
8
![Page 9: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/9.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
whole
Legal System
Logical
Jurisprudence
try to analyze and explain
9
![Page 10: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/10.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal System
LJ tries to analyse and construct its scientific theory of law
with minimum simple frames like classical physics did.
Logical
Jurisprudence
![Page 11: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/11.jpg)
Three PrimitivesLJ
LJ tries to analyse and explainthe whole legal systemusing minimum elements
11
![Page 12: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/12.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Three Primitives:
S Sentence
V Validity
Inference RuleModus Ponens
12
1
2
3
![Page 13: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/13.jpg)
(1) “sentence” • LJ considers that norm as a meaning does not exist.
• LJ starts from sentences.
(2) “validity” of sentence• Legal validity as truth
“is_valid(sentence1, goal1, time1)”
(3) “inference rule”• Modus ponens: P, P ⇒ Q |- Q
Starts form three primitives:
LJ
13
Thought
Symbol
(representation)Referent
(thing)
Actor?
![Page 14: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/14.jpg)
Three Types
of
Legal Sentences
LJ
14
![Page 15: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/15.jpg)
LRSLegal Rule Sentence
describes
Legal Rules
15
![Page 16: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/16.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LS – Legal Sentence
LJ starts from
Legal Sentences
not Legal Norms
![Page 17: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/17.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LN – Legal Norm LS – Legal Sentence
LJ deals with Legal Sentences but not Legal Norms
(as meanings which do not exist in reality)
![Page 18: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/18.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LR Legal Rule
LRS
Legal Rule-Sentence
Legal rule sentences and fact sentences
![Page 19: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/19.jpg)
LFSLegal Fact Sentence
describes
Legal Facts
19
![Page 20: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/20.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LF Legal Fact
LFS
Legal Fact Sentence
20
![Page 21: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/21.jpg)
LOSLegal Object Sentence
describes Legal Objects,
especially Obligations
21
![Page 22: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/22.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal
RoleLO Legal Object
Obligation
Legal
Role
LOS
Legal Object Sentence
22
![Page 23: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/23.jpg)
LMSLegal Meta Sentence
describes about the
validity of legal sentences
23
![Page 24: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/24.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LS
Legal Sentence
validitydescribes
LMS
Legal Meta Sentence
24
![Page 25: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/25.jpg)
ELSElementary Legal Sentence
is the smallest unit of legal sentences.
“One must drive a car under 100 km /hour on a highway”
25
![Page 26: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/26.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
ELS
smallest unit
of Legal Sentences
26
![Page 27: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/27.jpg)
Structure
of Connection of
Legal Sentences
LS LS
LS
(1) Connective “And” (&)
(2) Connection in a Complex Sentence
(3) Connection of LOS with LMS
(4) Connection of LMS with LMS
27
![Page 28: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/28.jpg)
“And” structure
of the connection
of LS
Structure of Connection of LS: (1)LS LS
LS
28
![Page 29: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/29.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
a group of LS
which has an unique name
LS LSAND
29
![Page 30: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/30.jpg)
Connection
in
Complex Sentence
Structure of Connection of LS: (2)LS LS
LS
30
![Page 31: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/31.jpg)
CLSComplex Legal Sentence
includes Legal Sentences
31
![Page 32: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/32.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
CLS
a group of LS
which has an unique name
LS LSLS
32
![Page 33: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/33.jpg)
Connection of
LOS with LMS
Structure of Connection of LS: (3)LS LS
LS
33
![Page 34: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/34.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal
Rules
Legal
Facts
34
![Page 35: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/35.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
LRS
LFS
Legal
Rules
Legal
Facts
represented by
35
![Page 36: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/36.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
IR Inference RuleModus Ponens
LRS
prooved
validity
LFS
Legal
Rules
Legal
Facts
LOSrepresented by
36
![Page 37: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/37.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal ObjectLegal State of Affair
IR Inference RuleModus Ponens
LRS
proved
validity
LFS
Legal
Rules
Legal
Facts
LOSrepresented by
37
![Page 38: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/38.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal ObjectLegal State of Affair
IR Inference RuleModus Ponens
LRS
proved
validity
LFS
Legal
Rules
Legal
Facts
LOSrepresented by
Computer
Expert Systems
38
Inference
![Page 39: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/39.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
Legal ObjectLegal State of Affair
IR Inference RuleModus Ponens
LRS
proved
validity
LFS
Legal
Rules
Legal
Facts
LOSrepresented by
• The legal sentence itself is merely
an array of symbols.
• The meaning of a legal sentence
only becomes visible when people
use it. In other words, the legal
inference activates LSs as living
legal norms.
• LJ considers the reasoning of the
application of law as the process of
developing legal sentences.
• The legal reasoning consist of
reasoning of justification and
reasoning of creation which are
related to each other.
Inference
![Page 40: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/40.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
![Page 41: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/41.jpg)
Connection
of
LMS with LMS
Structure of Connection of LS: (4)LS LS
LS
41
![Page 42: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/42.jpg)
FLMRS
Fundamental Legal
Meta Rule Sentence
42
![Page 43: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/43.jpg)
Fundamental legal meta
rule sentence – FLMRSA legal sentence S is valid for a goal G at the time T
S becomes valid for G at time T1 before T &
not(S is terminated for G after T1 and before T).
This is a FLMRS implicitly taken granted for
all regulations.
All other (positive) LRS regulate the fulfillment of the
first requirement (S becomes valid) or the second
requirement (S is terminated) of this rule.
43
![Page 44: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/44.jpg)
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
44
![Page 45: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/45.jpg)
BLRS
Basic Legal Rule Sentence
Validity of the final highest LMS sentence
45
![Page 46: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/46.jpg)
Final founding the validity LS law
through Basic Legal Meta-Rule Sentence
BLMRSThe validity of the final, highest legal meta sentence,
whose validity can not be deduce through the
application of LMRS sentences, is called the
basic legal meta-rule sentence (BLRMS).
The validity of BLMRS is to be presupposed,
namely asserted as a fact sentence.
46
![Page 47: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/47.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
BLMRSBasic Legal
Meta-Rule Sentence
MRS
Legal Metarule Sentence
LRS
Legal Rule Sentence
FLMRS Fundamental
Legal Metarule Sentence
47
Legal meta-sentences
![Page 48: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/48.jpg)
Comparison
of the results of LJ
with Kelsen’s PTL
48
![Page 49: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/49.jpg)
Kelsen Yoshino
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
49
![Page 50: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/50.jpg)
Yoshino
LMS
LRS
LOS
LFS
Formal Logic
ComputerExpert Systems
LO
State, Law
Computer-Application
LJ - Logical Jurisprudence
Stage of Rights and Duties
50
Kelsen
Textuality
PL- Pure Theory
„School“
![Page 51: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/51.jpg)
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
51
![Page 52: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/52.jpg)
Metalevel
State, Law
Scientific Audience
LJ - Logical Jurisprudence
Stage of Rights and Duties
52
Contract becomes valid.
[r3aA2] A must do X for B”
becomes valid on T <-“B may require A to
do X ” is valid &B requires A to do X
r01, CISG46(3)
[r0]S is valid on T <-
S becomes valid & not (S is terminated)
Fundamental
Meta rule:
[r01]
f10
f8
f3
f3’
f22
f21
“A must repair the machine” is valid on 2010-9-15.
CISG Part 4 Art. 99 is valid
r01_bc is valid.
r0 is valid.
r01 is valid.
r3aa1 is valid.
r01 is valid.
dr3aa2 is valid.
B required A to repair the
machine on 2010-09-01.
The machine becomes out
of order on 2010-08-10.
Sale of goods
between A in New York
and B in Osaka.
The tenth instruments
of ratification was de-
posited on 1986-12-11.
CISG was adopted
on 1980-4-10 in Vienna.
B’s acceptance reached
to A on 2010-4-9.
It is not proved:
the contract is terminated.
[r3aa1]
&
Not proved: beginning time nor
condition to enter into force.&
&
&
&
&
&
&
&
&
CISG Part 2, Art.23
& “B may require A to repair themachine” is valid on 2010-09-15.
Contract&
Contract is valid.
CISG Part 2 is valid.
Contract is concluded.
The CISG is valid.
CISG Part 4 Art .99 (1)
Basic Legal Rules [r01_bc]
&
&
&
&
Fundamental legal meta sentences
Positive legal meta sentences
Positive legal fact sentences
Outline of the Whole Process of Meta-inference of the Validity
![Page 53: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/53.jpg)
Summary of LJ
• Three primitives: LJ starts from (1) legal sentences,
(2) validity as truth, and (3) inference rules and ana-
lyses a legal system in terms of 3 types of LSs
• Systemicity of law through legal reasoning
• Legal system is explained as a deductive system
• Clarifies FLMRS (fundamental legal meta rules
sentences)
• Inference of validity between LSs in terms of meta
rule sentences and meta inference.
• Developing deductive legal knowledge bases.
53
![Page 54: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/54.jpg)
Conclusions
• Legal informatics. Yoshino’s achievement is to stay
within the mainstream
• Ontologies. We suggest to concern them
• Compound Legal Formula representation and Prolog Critique by (Leith 2010) of expert systems
• Consideration “Norm as a meaning does not exist”
leads to a discussion Universalia ante rem
post rem
in rem
FRISCO semiotic tetrahedron 54
Thought
Symbol
(representation)Referent
(thing)
Actor
![Page 55: Visualization of Hajime Yoshino’s Logical Jurisprudence. IRIS 2017](https://reader034.vdocuments.site/reader034/viewer/2022051720/58eddae01a28ab9c038b46bf/html5/thumbnails/55.jpg)
55
Thank you
www.legalvisualization.com
http://jusletter-it.weblaw.ch/visualisierung/