LVV>>> не знаем, что такое мысль.
ЭФ>>Школа говорит нам: предложение это законченная мысль.
LVV>Предложение — это речь или письмо.
LVV>Тут вообще-то ни слова нет о том, что такое сама мысль...
LVV>И где она В МОЗГАХ живет...
LVV>И в каком виде — тоже неизвестно.

Это была неплохая стартовая точка. Дальше можно сказать, что предложение состоит из слов, слова соответствуют понятиям, понятия делятся в соответствии с онтологией на категории, предложение отображается на сочетание движения и предмета (составляющие вместе "двигомен", двигоменами моделируется реальность), потом притянуть теорию AIXI, построение моделей будущего, деонтическую логику, и всё получится.

Модальные логики нужны потому что знание — это мысль в контексте.

Просто учиться надо было не только в школе, но и в ВУЗе. А мимо Вас курс современной логики, с семантикой Крипке прошел мимо.

LVV>>> не знаем, что такое мысль.
ЭФ>>Школа говорит нам: предложение это законченная мысль.
LVV>Предложение — это речь или письмо.
LVV>Тут вообще-то ни слова нет о том, что такое сама мысль...
LVV>И где она В МОЗГАХ живет...
LVV>И в каком виде — тоже неизвестно.

Это была неплохая стартовая точка. Дальше можно сказать, что предложение состоит из слов, слова соответствуют понятиям, понятия делятся в соответствии с онтологией на категории, предложение отображается на сочетание движения и предмета (составляющие вместе "двигомен", двигоменами моделируется реальность), потом притянуть теорию AIXI, построение моделей будущего, деонтическую логику, и всё получится.

Модальные логики нужны потому что знание — это мысль в контексте.

Просто учиться надо было не только в школе, но и в ВУЗе. А курс современной логики, с семантикой Крипке прошел мимо Вас.