Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Elementylogikiformalnejiteoriimnogości
przypadków,wktórychpoprzednikjestprawdziwy,anastępnikfałszywy;tylkowów-
czasotrzymujemyzdaniefałszywel
NastępcąSokratesawszeregulogikówgreckichbyłPlaton,Ateńczykurodzony
wroku427,zmarływroku347plnlelPlatonowiprzypisujesięutworzeniezaczątków
logikilPodstawowymjegokonceptembyłaidea,czylinbyt,któryjestmyślowopozna-
walny,aleniejestpostrzegalny”lIdeatakaniejesttożsamazpojęciem,bowiemkażde
pojęcieistniejącewczyimśumyśletopoprostuodbiciejednejzideilModelemtego
jestcieńnaścianie;widzimytylkoodbicie(pojęcie)pewnegoobiekturzeczywistego
(idei)lPlatońskanaukaoideachzapoczątkowaładługotrwałesporyotzwluniwersa-
lia(powszechniki);największenatężenietychsporówprzypadanaokresśredniowie-
czalWzagadnieniaztymproblememzwiązaneangażowałosięwielulogikówl
ZnaczeniePlatonadlarozwojulogikibyłobezspornelMożliwe,żebyłontwór-
cąmetodyaksjomatycznejopisanejprzezArystotelesa,anawielkąskalęizeznako-
mitymirezultatamiwykorzystanejprzezstoikóworazEuklidesa,twórcępierwszego
aksjomatycznegowykładuzgeometriilJednakżenajwiększąrolęwrozwojugreckiej
logikiodegrałktośinnyl
ArystotelesurodziłsięwStagirze(nstagiryta”)wroku384plnlel,zaśzmarł62lata
późniejlPrzezwielelatbyłczłonkiemAkademiiPlatońskiej,późniejnauczycielem
AleksandraMacedońskiego,ażwreszciezałożyłwAtenachwłasnąszkołęperypate-
tyków(czylinprzechadzającychsię”)lDziałałnawielupolach,jegopoglądynabiolo-
gięnplprzetrwałydoXIVwlInteresowałsięfizyką,astronomiąikosmologiąlJednak
największezasługipołożyłwzakresieanalizyjęzyka,awięcszerokorozumianejlogikil
JegopraceztejdziedzinywchodząwskładzbiorupismzwanegoOrganon(grlnnarzę-
dzie”)lWnimzaśnajważniejszedlarozwojulogikisąAnalitykipierwszeiAnalityki
wtórelSamanazwanlogika”miałabyćwprowadzonaprzezArystotelesajakonauka
opoprawnymmyśleniu(dlatego,codziśnazywamylogikąformalną,używałraczej
nazwyndialektyka”)lNiewątpliwiejestontwórcąpierwszegospójnegosystemulogikil
Istotnączęściąarystotelesowskiegosystemulogicznegojestsylogistyka,która
wistociejestfragmentemdzisiejszegorachunkupredykatówlPodstawowąkonstruk-
cjąsądwuargumentowefunkcjenazwowe(zmiennychindywiduowych)postaci:
Tabela1.RodzajefunktorówlogicznychuArystotelesa
Oznaczenie
aAb(a⊂b)
aOb
aEb
aIb
niektóreaniesąb
żadneaniejestb
niektóreasąb
Interpretacja
każdeajestb
Stosowanabyłatakżenegacja~l
15