Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Elementylogikiformalnejiteoriimnogości
1.1.Wprowadzenie.Ryshistoryczny
Logika-jakchybażadeninnydziałnauki-zasługujenamianokrólowejnauklBę-
dącpozorniezupełnieoderwanaodświatacodziennego,umożliwiłanamstworzenie
całejnauki,którejosiągnięćnaprzestrzenidziejówniemożnażadnąmiarąkwestiono-
waćlDałanambowiemusystematyzowaniemyślenia,pozwalającenawprowadzenie
rygorówdoprocesurozumowania,awkonsekwencjijegowpływnacoraztoszersze
obszarynaszegożycialMożnanarzekaćnajakośćnaszegożycia,aleniemożnaigno-
rowaćpostępu,jakisiędziękinaucedokonałlAupodłożategopostępuleżyniedo-
strzeganaczęsto,leczspajającanaszemyślenielogikal
Czymjestzatemlogika?Mówiącdośćogólnie,jestnaukąosposobachpoprawne-
gorozumowanialJeśliograniczamysiędorozumowańwobszarzematematyki,tobę-
dziemynazywaćlogikąformalną,ajeślirozważamyjęzyknaturalny,tonazwiemy
logikąpragmatycznąlWobuprzypadkachmamynamyślizbiórregułpoprawne-
gownioskowania,tjltakiego,któreprowadziodzdańprawdziwychdozdańprawdzi-
wychlConależyrozumiećprzezprawdę-otymmożnabydyskutowaćlZałożymy
jednak,żeprawdapoczątkowojestnamdanalPotemjużsobieporadzimyl
Historialogikisamawsobiewzbudzaszacunek(naukataliczysobiedwaipółty-
siącalat),alejejkorzenieniecomniejchwalebnelZapoczątekjejbowiemmożna
uznać…lenistwostarożytnychGreków(ściślezaśAteńczyków)lTak,tak,dokładnie!
Mająckopalniesrebrachcieliczerpaćznichzyski,leczciężkapracaniebyłaichma-
rzeniemlProwadziliwięcwojny,wktórychzdobywaliniewolników,zatrudnianych
następnieprzywydobyciucennegokruszculUzyskanewtensposóbdochodypozwa-
lałyczęściobywateliżyćzrenty,cooznaczałorównieżdużąilośćwolnegoczasulTen
wolnyczasspędzaligłównienarynku,zwanympogreckuagorą,azbrakukina,tele-
wizjiiInternetuprowadzilidługieigorącedyskusje-wtymtakżetenajbardziejme-
tafizyczne,którestanowiłypoczątkifilozofiilPonieważwdyskusjinależyoponenta
przekonać,przetorefleksjanadnajwłaściwszymitegosposobamipojawiłasięwspo-
sóbnaturalnyioczywistylOnatostałasięinspiracjądosystematycznegobadaniaspo-
sobówrozumowania-itakwłaśnienarodziłasięlogikal
PierwszympośródgreckichzałożycielilogikibyłPitagoraslChoćbezpośrednionie
zajmowałsięzagadnieniamilogiki,tojednakprowadzoneprzezniegoijegouczniów
badaniawzakresiematematykiwymagałyabstrakcyjnychiwmiaręścisłychdowo-
dówlTozaśpośredniokładłopodwalinypodlogikęwogólnymrozumieniu,jakona-
ukępoprawnegorozumowanialWramachciekawostkiwartotuzauważyć,żesłynne
twierdzeniePitagorasaznanebyłowcześniej-jegopowszechnieznanawersjapraw-
dopodobniepochodzidouczniaPitagorasa,Hippiaszal
Właściwalogikazaczęłasięodmilezyjczyków(Tales,Anaksymenes,Anaksymander,
Heraklit)ieleatów(Parmenides,ZenonzElei)działającychwVIwlplnlelOnibyliauto-
ramipierwszychrefleksjinadświatemijęzykiemlJużwówczassformułowanohipotezę
13