Page 797

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 797 پس عدالت در این نظام، نقض حق برای رسيدن به خير جمعی نيست؛ بلکه بهينه سازی درون فضای مجاز حقوقی است.

No contradiction may be resolved by sacrificing property rights. یا: forbidden(A) :- resolves_conflict_by_rights_violation(A). این اصل، مدل نظریه آزادی را از سنت های دیالکتيکی، سوسياليستی، فاشيستی و دولت محور جدا می کند. در آن سنت ًها، عدالت غالبا از راه قربانی کردن مالکيت یا آزادی افراد پيگيری می شود. در نظریه آزادی، این راه از اساس بسته است.

هر نظام صوری در جهان واقعی با موارد جدید، تعارض های ظاهری، ابهام های زبانی، و edge case ها روبه رو می شود. اگر این تعارض ها با دیالکتيک حل شوند، سيستم از درون خود را نابود می کند. اگر بدون هدایت رها شوند، سيستم drift می کند. پس باید تابع هدایت وجود داشته باشد.

GuidanceFunction(r) := Add or revise rule r

iff

ConsistencyPreserved(r) RightsPreserved(r) ConflictReduced(r) VerifierPreserved(r) انسان می تواند ماشين را هدایت کند، اما فقط در صورتی که هدایت او با کل فرمال سيستم سازگار باشد.

valid_human_guidance(H, M, R) :- person(H), machine(M), rule(R), consistent_with_axioms(R),