Väidete omaduste sõltuvus väidete süsteemist ja väites sisalduva müra hulga modelleerimine
Karmo Talts
Vaatame selle tähendust, et väidete hulk moodustab süsteemi. Väidete omadused sõltuvad ka süsteemist, mitte ainult väitest iseendas.
Vaatame nüüd viitamiste ahelat, kus ei ole viimast väidet, mis ise mõnele väitele ei viita. Selline ahel tekitab struktuurse müra.
Vaatame nüüd selle tähendust, et väidete hulk võib sisaldada müra. Väited ei pruugi olla tõesed ega väärad.
Vaatame nüüd selle tähendust loogika jaoks. Klassikaline loogika käsitleb müra-vabasid väiteid. Mõned loogikas käsitlevad mingit laadi müra sisaldavaid väiteid.
Vaatame nüüd neid loogikaid. Need tagavad, et vähemalt üks väitest P tulenev järeldus ei sisalda rohkem müra kui P.
Vaatame nüüd müra, mille määra ole võimalik modelleerida. Sellise müra puhul ei ole võimalik tagada, et vähemalt üks väitest P tulenev järeldus ei sisalda rohkem müra kui P.
No comments:
Post a Comment