deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Categories:

как формализовать вопросы в мат.логике?

как формализовать вопросы в мат.логике
такто пробелем нет, но как сделать правильно?
с наскоку мне неясно
раньше както не задумывался над этим
да и сейчас вроде не требуется )
но зафиксирую тему для размышления

возникла тема из обсуждений в комментах

Неудобная для формального логика суть ЭДЛ
https://dia-logic.livejournal.com/217643.html

в принципе многие вопросы вроде переделываются в повествовательные или с участием модальных логик, или вроде с функциональными символами


-----
СТР. 182 (СТР.31 В ФАЙЛЕ)
Г.В. Сорина, В.С. Меськов
ВПЕРЕД К ЛОГИКЕ:
ИСПОЛЬЗОВАН ЛИ В ПОЛНОЙ МЕРЕ ПОТЕНЦИАЛ ЛОГИКИ ПРИ
АНАЛИЗЕ И МОДЕЛИРОВАНИИ РАССУЖДЕНИЙ?
https://journals.kantiana.ru/upload/iblock/1c8/Сорина_Меськов.pdf

Существующие системы эротетической логики, по Т. Кубиньскому [41,
c. 105-138], могут быть разделены на два класса.

К первому относятся так называемые логики вопросов без ответов.
В системах этого типа вопрос отождествляется с суждением или классом суждений,
Вопрос, отождествленный с суждением, направлен на оценку информативности
ответов.


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

ТРИ ПОДХОДА К КАТЕГОРИИ ВОПРОСИТЕЛЬНОСТИ
Текст научной статьи по специальности «Языкознание»
Стрельцов А.А.
КиберЛенинка: https://cyberleninka.ru/article/n/tri-podhoda-k-kategorii-voprositelnosti
---
В. Г. Денисова
ФОРМАЛИЗАЦИЯ ВОПРОСОВ СРЕДСТВАМ ЛОГИК ПРЕДИКАТОВ
http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/218/219
---

Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 1 comment