Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.Elementylogikiformalnejiteoriimnogości
Wydaćsięmożemałooczywisterozpoczynaniewykładuzlogikistosowanej
(wszakcelnaszjestutylitarny-zastosowaćlogikęwpraktycezarządzaniaidowo-
dzenia)odwprowadzeniateoretycznego,tjlbudowypewnegorachunkuformal-
nego,awięcoderwanegoodpotocznierozumianegoznaczenialBędziemymówić
ozdaniach,spójnikachlogicznychiinnychpojęciach,któreznamyzjęzykanatu-
ralnego(wrozumieniujęzykaużywanegoprzeznasdokomunikacji),waspekcie
czystoteoretycznymlChoćprzykładybędąbardzoczęstonzwykłymi”zdaniami,
tojednakzastąpienieichzdaniamizupełnieniezwykłyminiebędziemiałożadne-
gowpływunanaszerozważanial
Wyprzedzającniecobardziejszczegółowyopis,możemypowiedzieć,żekażdawy-
powiedźjęzykowamatrzyaspekty:
syntaktyczny(lubgramatyczny)
sposóbjejbudowy
semantyczny
jejznaczenie
pragmatyczny
jejodniesieniedoodbiorcówl
MożemyposłużyćsięmetaforąarchitektonicznąlSyntaktykainformujenas,jak
możnazbudowaćpewiengmach,jednazregułmówinpl,żedlapodtrzymaniada-
chumożnastworzyćsklepieniakrzyżowelSemantykamówi,zczegotakąkonstruk-
cjędasięwykonać-możebyćkamień,cegłaczydąb,aleniebudyńwaniliowylub
serlPragmatykazaśinformujeotym,jakiebędzieprzeznaczenieowegogmachu-czy
będzietokatedra,spichlerz,czyzameklMyrozpoczniemyodrozważańsyntaktycz-
nych,czylibadaniaregułpoprawnejbudowywypowiedzi,zcałkowicieświadomym
pomijaniemjejsensulNatoprzyjdzieczaspóźniejl
Rachunekzdańprzedstawiametodyprowadząceodzdań(najczęściejnazywanych
przesłankamilubzałożeniami)mającychpewnewłasnościdoinnychzdań(nazywa-
nychwnioskamilubtezami)mającychtesamewłasnościlJegosiłąjestjednoznaczność;
jeślidysponujemyodpowiednimschematem,toniejestmożliwezakwestionowanie
posiadaniatakiejwłasnościprzezwniosek,oilemająjąprzesłankilPrzykładtakiego
schematuzaczerpniemyzsylogistykiArystotelesalWłasnościąprzesłanekjestpraw-
dziwość(rozumianaintuicyjnie),aprawdziwośćwnioskuwynikałazpoprawności
logicznejkonstrukcjilNiewzbudziprzecieżniczyjejwątpliwościnastępującerozu-
mowanie(patrzdalej:uwaga1):
11
