SDC11619 (2)

1

latawic obecnie ogolna tendencja dP formall/owanta wynikająca z dążenia do ograniczenia możliwości pomieszania pojec

Jadnaklc proces formalizacji zawęża, na ogol. pierwotne semantyczne znaczenie rozpatrywanych obiektów.

Ubostwo całkowicie słoimalizowanych pojec* |E Kindler) test poważnym niedostatkiem formalizacji w jej obecnej postaci mimo wielu jej zalet.

Jeden ze sposobow objęcia rozmaitych aspektów 'semantycznie bogatych' pojec odnoszących sie do systemów sformalizowanych za pomocą dostępnego aparatu matematycznego polega na opracowaniu wielu sformalizowanych teorii systemów Każda z tych teora za—ra odbicie pewnych aspektów rzeczywistości

Teone te. mimo rożnie, nie zawsze sa rozfaczne Razem pozwalana o wiele szerzej interpretować tresc semantyczna rożnych pofec systemowych, niż mogłaby to uczymc każda z osobna Jest to w istocie rzeczy sposób necie dotychczas stosowany w praktyce.

Inny sposób polega na tym. by w procesie formalizacji zachować tyle treści semantycznej, ile to jest możliwe [Kiir i.j.