Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
12
Wstęp
myślicielem,którysformułowałkoncepcjęlogikimatematycznej,czyli
logikijakorachunku,byłniemieckifilozofGottfriedWilhelmLeibniz
(1646-1716).Wnastępnychstuleciachlogikęmatematycznąrozwija-
jąGeorgeBoole(1815-1864),Augustusdemorgan(1806-1871),
GottlobFrege(1848-1925),GiuseppePeano(1858-1932),E.Schröder
(184-1902).Ichpracenaukowestanowiąwłaściwypoczątekwspół-
czesnejlogikiformalnej.WXXwiekunajwięcejlogikazawdzięcza
takimuczonym,jakAlfredNorthWhitehead(1889-1947)iBertrand
Russell(1872-1970)3.Wartododać,żepoważnywkładwrozwójlogi-
kiwspółczesnejwnieślipolscyuczeni.Jednymznajbardziejznanych
znichjestJózefmariaBocheński,dominikaninpracującynazachod-
nio-europejskichiamerykańskichuniwersytetach,głównieweFrybur-
guwSzwajcarii.Niemniejznanymizasłużonymdlarozwojulogiki
współczesnejbyłJanŁukasiewicz,AdamTarski,TadeuszKotarbiński,
KazimierzAjdukiewicz.
2.Logikaformalna
Wdzisiejszejlogicepodstawowąrolęodgrywalogikaformalna
ionastanowiwłaściwąteorięrozumowania.Posługujesięspecjalnym
językiem,stworzonymdlajejpotrzeb,językiemcałkowiciesformali-
zowanym–istądjejnazwa.Formalnośćjęzykalogikiformalnejspra-
wia,żejestonadyscyplinąformalną,czylipozbawionąniejakowłas-
nejmaterii(wtymsensie,wjakimmateriąnp.naukprzyrodniczych,
prawniczychczyekonomicznychsąkonkretne,awięcwpewnym
sensienmaterialne”,tezynaukowe).Logikaformalnaformułujepra-
widłarozumowania,któremogąbyćwypełnioneróżnątreściąmate-
rialnąiktóresąaktualnewewszystkichnaukach.Jejwzory(inaczej
–schematy,formułyzdaniowe)zbudowanesązsymbolistałych,tzn.
mającychściśleraznazawszeokreśloneznaczenie,orazsymboli
zmiennych(sąnimiliteryalfabetułacińskiego),podktóre(takjak
3Szerzejnatentematpatrz:J.m.Bocheński,Współczesnemetodymyślenia,Poznań
1993,s.85-92.
