Kõiketeadmise paradoks ja substrukturaalsed loogikad

Kõiketeadmise paradoks ja substrukturaalsed loogikad 

Karmo Talts

 

Vaatame võimalusi käsitleda teadmistest tulenevaid järeldusi lineaarse loogika abil. Kui me teame, et A ja A-st saab järeldada, et B, siis saab teadmist, et A kasutada teadmise, et B, saamiseks. Kui me kasutame A-d mõne teise järelduse tegemiseks, siis me ei kasuta teadmist, et A teadmise, et B saamiseks.

Vaatame nüüd, millised probleemid tekivad lineaarse loogika kasutamisel. Me ei saa A-d jätta kasutamata järelduste tegemiseks.

Vaatame nüüd affiinset loogikat. Kui me teame, et A ja A-st saab järeldada, et B, siis saab teadmist, et A kasutada teadmise, et B, saamiseks. Kui me kasutame A-d mõne teise järelduse tegemiseks või me ei kasuta A-d järelduste tegemiseks, siis me ei kasuta teadmist, et A teadmise, et B saamiseks.