loomuõiguse vigu. Keskmise põlvkonna tuntumaid õigusfilosoofe Ronald Dworkin on üks peamiseid selle suuna tähistajaid, mille eesmärk on positivistliku analüütik täiendamine loomuõiguse elementidega. Nimelt loomuõiguslased on püüdnud lähtuda sellest, mille jaoks õigus üldse olemas on. Seetõttu aga ongi nad vaadelnud õiguse ja eetika vahekorda selle ideaalis. Herbert Lionel Adolphus Hart positsioon tänapäevases õigusfilosoofias on omamoodi kompromislik. Ühelt poolt positivisti ja analüütikuna, Hart oli enne õigusteadusesse siirdumist filosoofiaõppejõud ja pidas loenguid analüütilise filosoofia alal ka USA-s, on ta tuntud mees positivistide leeris. Teiselt poolt aga Benthami ja Austini reformijana ja vana positivismi kriitika hea tundjana on ta populaarne ka positivismi vastaste seas Harti üks radikaalsemaid samme on loobumine positivistlikust printsiibist, mille kohaselt on õiguseks kõik see, mida käsib poliitiline suverään või seadusandja
selle objekti tegelikuks konstrueerimiseks. Seetõttu saab intuitsionistlikku loogikat kasutada arvutiprogrammide automaatseks sünteesimiseks. 2.5.4 Formaalne süsteem: süntaks, reeglid ja semantika Russell ja Whitehead nimetasid loogikaks muuhulgas nii hulgateooriat kui endaleiutatud tüüpide teooriat. Sõna ``loogika'' tähendus oli neil küllaltki laialivalguv. Poola päritolu USA matemaatiku ja loogiku Alfred Tarski (1902-1983) ning Saksa-Austria-USA filosoofi, loogilise positivisti Rudolf Carnapi (1891-1970) tööd tõid udusesse pilti vajalikku selgust. Kuigi sõna ``loogika'' tähendusväli on jätkuvalt üpris avar ja ka kitsamas mõttes ei ole loogikud sugugi ühel nõul, millist formaalset sßuteemi võib loogikaks nimetada ja millist mitte, ollakse enam-vähem ühel meelel, et iga formaalne loogikasüsteem peab sisaldama kolme järgmist komponenti: süntaksit, tuletamisreegleid ja semantikat.
annaabi.ee 
