Интересно, как можно определить ограничения на количество истинностных значений той

Question

Интересно, как можно определить ограничения на количество истинностных значений той

или иной логики. Дело в том, что валентность определяется семантикой. И оказывается, что у классической логики, которая бивалентная обычно, есть небивалентные семантики. То есть, в одних случаях значений истинности два, а в других — больше. Может, это вопрос того, какими путями может быть алгебраизирована логика? Тогда это вопрос абстрактной алгебраической логики.

0

18.11.2024

5 ответов

12 просмотров

Alexander Chichigin

Стикер

0

1 месяц назад

Brenoritvrezorkre Автор вопроса

Да, это Гёдель доказал

0

1 месяц назад

Brenoritvrezorkre Автор вопроса

Alexander Chichigin
Т.е. всё-таки валентность определяется не только с...

Она всё-таки зависит от выбранной алгебры, но это имеет какие-то ограничения, которые исследуются где? Я не знаю, но это может быть известно кому-то другому.

0

1 месяц назад

Множество всех множеств

Brenoritvrezorkre
Да, это Гёдель доказал

Порекомендуйте, где об этом можно почитать

0

1 месяц назад