Aliens

Daudzvērtību loģika

Formālās loģikas sistēma izteikumu loģikas matemātisko modeļu pētīšanai, kas izteikumu interpretācijā lieto vairāk par divām patiesumvērtībām.

Piemēram, bez klasiskās  divvērtību loģikas patiesumvērtībām "patiess" un "aplams" arī "nenoteikts," "iespējams" u.c. Pēc pirmo daudzvērtību loģikas sistēmu - trīsvērtību loģikas (poļu loģiķis J.Lukasevičs, 1920.g.) un n-vērtību loģikas (amerikāņu loģiķis  E.L.Posts, 1921.g.) izveides tika izstrādātas arī citas daudzvērtību loģikas sistēmas. To izveides mērķis - dažādu vispārloģisku un speciālu zinātnisko pētīšanas uzdevumu risināšana. 

Ar šīs loģikas palīdzību izveidota modālā loģika (J.Lukasevičs), risināti klasiskās matemātikas loģikas paradoksi (krievu loģiķis D.Bočvars), analizētas kvantu mehānikas problēmas (amerikāņu matemātiķi Dž.D.Birkhofs un Dž.Neimanis, vācu filozofs un loģiķis H.Reihenbahs), daudzvērtību loģikas sistēmu plaši lieto loģiskajā semantikā un kibernētikā.

Saites.
Loģika un loģiķi.