как формализовать вопросы в мат.логике?
как формализовать вопросы в мат.логике
такто пробелем нет, но как сделать правильно?
с наскоку мне неясно
раньше както не задумывался над этим
да и сейчас вроде не требуется )
но зафиксирую тему для размышления
возникла тема из обсуждений в комментах
Неудобная для формального логика суть ЭДЛ
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
---
такто пробелем нет, но как сделать правильно?
с наскоку мне неясно
раньше както не задумывался над этим
да и сейчас вроде не требуется )
но зафиксирую тему для размышления
возникла тема из обсуждений в комментах
Неудобная для формального логика суть ЭДЛ
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
---