Kontingentsus

Allikas: testwiki
Mine navigeerimisribale Mine otsikasti

Mall:Viitamata Kontingentsus (vanakreeka keeles τὰ ἐνδεχόμενα [endechómena] „miski, mis on võimalik“; keskaja ladina keeles contingentia, „võimalikkus, juhus“) ehk sattumuslikkus on omadus mitte olla paratamatu ega võimatu.

Modaalloogikas võidakse kontingentsuse operaator defineerida nii:

A on kontingentne (kont), kui võimalik on nii A kui ka mitte-A:
kontA:=A¬A

Kontingentsus on nõrgem tingimus kui võimalikkus.

Vaata ka