Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
OUSTROJUIDEALNYM
8
symbolizować-żejedenbędziemiałosymbolH1”
,adwasymbolH2”
.
Niejestnatomiastsprawąkonwencjitwierdzenie,żeprzedmioty
występującewlogice,matematyceinaukachścisłychmającharak-
teridealnyiściśleokreślonątożsamość.To,comisięwczorajśniło,
niemaokreślonejtożsamości.Należydoświatawyobraźni,który
jestzmienny,chwiejny,fragmentarycznyinieuchwytny.Natomiast
twierdzenieH2+2=4”opisujejakieśidealneprzedmioty-napewno
liczby,możezbioryrównoliczne,możecośinnego-aleteprzed-
miotymająniepodważalnątożsamośćisądoskonaleodsiebie
odróżnialne.
Dlaczegoprzyjmujemy,żetakieprzedmiotywogóleistnie-
ją,choćniemożnaichdotknąćizbadaćzmysłamianiuznaćza
materialneobiekty?Powódjestprosty.Umiemybadaćnietylko
to,cojestmaterialneifizyczne,aletakżeto,cojestpojęciowe.
Powstępnymustaleniutożsamościprzedmiotówidealnychmoże-
myodkrywaćichdodatkowecechy,któreniezostaływprowadzo-
neprzezdefinicje,ajednakposiadanieprzezteprzedmiotyowych
cechniepodlegaracjonalnemuzakwestionowaniu.Wlogicemo-
żemypowiedzieć,żenazwawłasna,tonazwa,którejzkoniecz-
nościodpowiadadokładniejedendesygnat.Potemodkrywamy,
żetakanazwaniemożewystępowaćwpozycjiorzecznikapoza
zdaniamirównoważnościowymi.Tenwniosekniewynikazsa-
megosensusłówużytychwdefinicji.Wynikazwłaściwościko-
niecznieprzysługującychprzedmiotom,którezostałyopisane
wdefinicji.
Wmatematycemożemywprowadzićdefinicjęliczbyparzystej.
Jesttoliczbapodzielnaprzezdwa.Potemodkrywamy,żeżadna
liczbaparzystaniejestmniejszaoddwóch.Toniewynikazsensu
słowaHparzysty”
,tylkozwłasnościprzedmiotówopisanychjakopa-
rzyste.Tewłasnościsąniezależneodkonwencjijęzykowych.Wkaż-
dejkonwencjiodkrywamy,żedwatkwiwświecieliczb,iżewtym
świecieniemaprzedmiotówparzystychmniejszychodliczbydwa.
Tojestwłasnośćliczb,aniesłów.