Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Wstęp
stającymprzeddowódcąlWybórwłaściwej,wspomaganyprzezodpowiednienarzę-
dzia,stajesięjednymzistotnychwyznacznikówsprawnegodowodzenial
Dodatkowymczynnikiemwpływającymwistotnysposóbnaprocesydowodze-
niajestmasowewprowadzeniezautomatyzowanychsystemówwspomaganiadecyzjil
Systemytedajądowódcynowemożliwości,alejednocześniewymagajązrozumienia
sposobuichdziałania,upodstawktóregoleżyklasycznalogikaformalnalZnajomość
tejostatniejjestzatemniezbędnadlaumiejętnościjaknajlepszegowykorzystaniain-
formacjiprzekazywanychprzeztakisystemlWchodzeniewszczegółylogicznejstruk-
turyodpowiednichprogramówwymagałobywykładuwykraczającegopozazamiar
autorski,natomiastpoznaniezamieszczonychtuprawlogikiiregułwnioskowania
pozwolinazrozumieniepodstawdziałaniatychsystemów,comożemiećwpływna
lepszeichwykorzystaniewpraktycel
Pracatamarównieżnaceluprzybliżenieczytelnikomzastosowańlogikiwkwestii
tworzeniaaktówprawnychlKrytycznaanalizategoaspektuwodniesieniudowybra-
nychdokumentówztegoobszarumożepozwolićosobomtakiedokumentytworzą-
cymnauniknięciebłędówwzakresielegislacjilWreszciepewneuwagidotyczące
definicjiwnaucepokażąjezlogicznejperspektywy,comożeprzyczynićsiędounik-
nięciatworzenianieuzasadnionychhipostazibytównaruszającychregułęOckha-
mowskiejbrzytwyl
PracaskładasięztrzechczęścilPierwsza,porysiehistorycznymrozwojulogiki
formalnej,zawieradośćtradycyjnywykładrachunkuzdań,rachunkupredykatów
orazteoriirelacjiifunkcjilDołożonodotegoilustracjępraktycznegozastosowania
logikidobudowyukładówelektronicznychorazinformacjęoalgebrachBoole’ajako
ogólnympunkciewidzenia,łączącymprezentowanesystemyformalnelDwaostat-
nieelementyniesącoprawdawykorzystywanewkolejnychczęściach,alemogąbyć
-zdaniemautora-ciekawedlakażdego,ktointeresujesiękwestiamizwiązanymi
zwykorzystaniemjęzykówformalnychl
Drugaczęśćzawieraokreśleniapodstawowychpojęćjęzykanaturalnegowyrażo-
nychwformiemożliwieścisłej,jednakznaciskiemnazrozumienie,niezaśnakwe-
stieformalnelOpisanejestzasadniczedlaprezentowanegowpracypunktuwidzenia
pojęciekategoriisemantycznej,omówionesądefinicje,normyioceny,atakżekwestie
podziałulogicznegolNakońcuprzedstawionesąelementymetodydyskursuzgodne-
gozzasadamilogikioraz-dlapokazaniazwiązanychzdyskursempublicznympro-
blemów-przedstawionesąelementyerystyki,zarównowaspekciepozytywnym,jak
inegatywnyml
Trzeciaczęśćtojużzastosowanieaparatulogikiformalnejilogicznejanalizyjęzyka
naturalnegodobadaniapoprawnościjęzykowejaktówprawnychikoncepcjiuważa-
nychzaelementynaukilCzęśćtazawieraistotnykomponentnwojskowy”,gdyżwtym
obszarzebrakprecyzjijestszczególniedotkliwylOmówionesątuprzedewszystkim
przykładyocenionekrytycznie,gdyżdziękinimwidać,jakpewnerzeczyniepowinny
8