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-
nieelementyniecoprawdawykorzystywanewkolejnychczęś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ówionedefinicje,normyioceny,atakżekwestie
podziałulogicznegolNakońcuprzedstawioneelementymetodydyskursuzgodne-
gozzasadamilogikioraz-dlapokazaniazwiązanychzdyskursempublicznympro-
blemów-przedstawioneelementyerystyki,zarównowaspekciepozytywnym,jak
inegatywnyml
Trzeciaczęśćtojużzastosowanieaparatulogikiformalnejilogicznejanalizyjęzyka
naturalnegodobadaniapoprawnościjęzykowejaktówprawnychikoncepcjiuważa-
nychzaelementynaukilCzęśćtazawieraistotnykomponentnwojskowy”,gdyżwtym
obszarzebrakprecyzjijestszczególniedotkliwylOmówionetuprzedewszystkim
przykładyocenionekrytycznie,gdyżdziękinimwidać,jakpewnerzeczyniepowinny
8