Динамическая интерпретация высказываний.

##plugins.themes.bootstrap3.article.main##

V.I. Shalak

Abstract

В классической логике высказываний принимается допущение, что в языке имеются так называемые элементарные высказывания. Они являются высказываниями об элементарных фактах, которые либо имеют место, либо - нет. В зависимости от этого соответствующее элементарное высказывание либо истинно, либо ложно. Одним из существенных свойств элементарных фактов является то, что они независимы. Наличие либо отсутствие того или иного элементарного факта никак не влияет на другие элементарные факты.

Допустим, что среди действий, которые может выполнять некий субъект, также можно выделить элементарные действия. Их элементарность заключается в том, что после выполнения таких действий соответствующий им отдельный элементарный факт начинает иметь место. На остальные же элементарные факты такие действия не оказывают никакого влияния. Другими словами, мы принимаем допущение, что между элементарными действиями и элементарными фактами имеется взаимнооднозначное соответствие. Отсюда следует, что будет иметь место также взаимнооднозначное соответствие между элементарными действиями и элементарными высказываниями. Из элементарных высказываний можно строить сложные высказывания, множество которых в конечном счете является булевой структурой. Естественно попробовать сопоставить не только элементарным, но и сложным высказываниям некоторые действия и выяснить их свойства.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Агафонов В.Н.,Борщев В.Б.,Воронков А Л . Логическое программирование в широком смысле// Логическое программирование. М , 1988.