4 / 8
Ю.В. Ивлев
4
Гуманитарный вестник
# 11·2017
Логика
S
г
может быть
переинтерпретирована.
Логика высказываний, выражающих сомнительную инфор-
мацию.
Пусть
n
,
i
и
c
понимаются соответственно как значения
«несомненно истинно», «несомненно ложно» и «сомнительно». Ло-
гические термины □ и
заменяются на
T
и
K
— «мы знаем несо-
мненно, что…» и «мы знаем, что…» соответственно [5].
Трехполюсные переключательные схемы
.
Электрический пере-
ключатель имеет три позиции: цепь замкнута (
n
), цепь разомкнута (
i
),
цепь замкнута, но прохождение электрического тока ограничено (
с
).
Очевидно, что в случае третьих позиций двух переключателей при
последовательном их соединении лампочка может слабо гореть, а
может совсем не гореть, а при параллельном — может гореть в пол-
ную мощность, а может слабо гореть. Задача создания теории трех-
полюсных переключательных схем на основе квазиматричной логики
формулируется как проблема, требующая решения.
В качестве проблем формулируются также следующие задачи
3 .1. Создание
компьютерной программы для моделирования процес-
сов с частично неопределенными результатами
на основе логики
S
г
.
2.
Графическая интерпретация
логических терминов логики
S
г
.
3. Разработка
теории абстрактных квазиавтоматов
. Квазиав-
томат — это устройство, имеющее вход и выход. Внутренний механизм
устройства таков, что при некотором определенном входном сигнале ре-
акция на выходе и изменение состояния устройства определены не пол-
ностью. Можно представить ситуацию, когда
n
квазиавтоматов имеют
n
входов. Им послано
n
различных сигналов. Неизвестно, какой сигнал
воспринят тем или иным квазиавтоматом. Неизвестны также реакции
квазиавтоматов на выходе, но известны наборы возможных реакций. За-
дача заключается в разработке теории, позволяющей определять сум-
марное поведение системы квазиавтоматов.
Логика S
г
как содержательное обобщение трехзначных логик
Лукасевича и Клини.
Трехзначная логика Я. Лукасевича
[8, с. 45–
47]. Будем считать, что определения отрицания и импликации из-
вестны. А. Тарский ввел следующее определение возможности.
A
A
1
1
1/2 1
0
0
________
3
В монографии автора настоящей статьи «Модальная логика» (1991) в качестве
задач для решения сформулировано 30 проблем. Некоторые из них уже решены.
Здесь указываются только несколько нерешенных проблем.