Формальная семантика: различия между версиями

* '''Семантика значений истинности''' (также известная как ''подстановочная квантификация'') была предложена Рутом Баркан Маркусом для модальных логик в начале 1960-х и затем продвигалась Данном, Белнапом и Лебланом в качестве стандартной логики первого порядка. Джеймс Гарсон получил некоторые результаты в областях адекватности интенсиональных логик, снабжённых такой семантикой. Условия истинности квантифицированных формул задаются исключительно в терминах истинности, без использования множеств (отсюда и название).

 

 

* '''Вероятностная семантика''' — естесственное обобщение семантики значений истинности, созданное Филдом.