Citaat:
Oorspronkelijk geplaatst door parcifal
Hoe transformeer je bvb. het Burgerlijk wetboek en het Strafwetboek in abstracte regels? Je weet toch dat er een behoorlijke interne inconsistentie zit in de wet?
Hoe filter je dat eruit?
Hoe hou je dat up to date? (jaarlijks zijn er tal van aanpassingen uiteraard.)
Kortom, voor een bedrijf zou zoiets een gigantische taak zijn, een fulltime job voor minstens 20 a 30 specialisten.
Bij kluwer bvb. Is er een volledige tak van het bedrijf bezig met het publiceren van aanpassingen en jaarlijkse uitgaven, enkel maar op het vlak van recht.
Hoe doe jij dat in je eentje? Of helpt Viv mee?
|
je transformeert geen enkel wetboek in abstracte zaken je maakt een set met benodigde wetsartikelen Z(special) en dan maar eerst ga je proberen Q(spec) op te stellen via boolean operators ,daarna ga je R(spec) opstellen.
Ik herhaal even het abstracte patroon uit K en K
Abstracte algebra toegepast op recht.
N (Alg) : Verzameling van alle wetsartikelen.
Z(Alg) : Verzameling van alle wetsartikelen met hun negatie als operator.
Q(Alg) : Verzameling van alle wetsartikelen met de Boolean operators .
Rar(Alg) : Q(Alg) met alle rechtspraak inplementaties toegevoegd.(uit A volgt B)
R(Alg) : Q(Alg) met alle rechtspraak en rechtsleer.
C(Alg) : R(Alg) met toevoeging IPR (internationaal privaat recht) en bilaterale landen overeenkomsten
N(special) : set zorgvuldig uitgekozen wetsartikelen voor een specifieke zaak.
Z(special) : set zorgvuldig uitgekozen wetsartikelen voor een specifieke zaak met negatie als operator
Q(special) : Z(special) met alle boolean operators.
R(special) : Q(special) met zorgvuldig uitgekozen implementaties (uit A volgt B)
Simple extension (slechts 1 implementatie toegevoegd)
Finate extension (meerdere implementaties toegevoegd zoals lemma’s ,tautologieën en bewezen stellingen axiomatisch opgebouwd zoals de sterfhuisconstructie)
C(special) : R(special) met toevoeging van zorgvuldig uitgekozen internationale rechtspraak en rechtsleer.