SDC11620 (2)

i

U

■ / u »!■

Iolruo|<t obncnio ogólna tendencja do formallzowanla wynikająca / dążenia do ograniczania możliwości pomieszam* pojąc.

Jednakże proces for mell racy tmwąim ns ogol pici wolne semantyczne

iwcmw rozpolrywanyc h obiektów.

'Ubostwo całkowicie sfoimollzowanych pojęć' |E KindlerJ jest poważnym niedostatkiem fotmolizacji w jej obecnej postaci, mimo wielu jej zalet.

Jeden ze sposobów objęcia rozmaitych aspektów ‘semantycznie bogatych* pojęć, odnoszących się do systemów sformalizowanych, za pomoce dostępnego aparatu matematycznego polega na opracowaniu wielu ofoimalizowanych teorii systemów Każda z tych toom zawiera odbicie pewnych aspektów rzeczywistości

Teorie te. mimo roZnłc. nie zawsze sa rozłączne. Razem pozwalają o wiele SMM*| mteiprotowac treec semantyczna ropnych pojęć systemowych, mż mogłaby to uczynic każda z osobno. Jest to w istocie izeczy sposób ujęcia dotychczas stosowany w praktyce.

tony sposób polegano tym. by w procesie formalizacji zocliowac tyle mci semantycznej, ile to jest możliwe (Klir 1.].