Logical Form?

[hgr]

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

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

Comments

Re: надо же

[hgr.livejournal.com]

too complicated ))

выше правильно пишут

[d0tcom.livejournal.com]

Не смогли учёные преодолеть порочный круг, известный как змея, кусающая себя за хвост.
Реальный язык представляет собой такую змею, он ссылается сам на себя.
Учёных это не устраивает. Поэтому они строят пирамиду, под которой нет опоры. Лезут всё выше и выше по лестнице, которая проваливается под ними, ведь только так можно оставться на плаву.
Ведь эта идея (проблема) есть и в программировании. Мы всё дальше забираемся в сторону от материи, реальных процессоров, путём создания всё новых и новых уровней абстракций. Это и клиент-серверы, и интернет-приложения, и виртуальные машины (джава, диез), ...
Никому ещё не удало создать шаблон (template), в котором параметром был сам шаблон (само слово template). Так, есть 10 версия Перла, кажется, там переопределяются ключевые слова языка. Но переопределяются они с помощью новых ключевых слов!
А ведь известен пример программы, которая сама себя исполняет. Это наша код, ДНК. У неё нет никакой операционной системы, она сама материя и информация в одном лице. Впрочем, физики уже пришли к тому, что за основу всего теперь берётся информация. Надо же, стоило столько воротить, чтобы вернуться к "В начале было слово". Хотя я тут читал, что Иоанн пишет это не о "слове", а о Христе. Однако совсем неважно то, что он сам хотел вложить в эти "слова".

В математике эта проблема уже решена!

[matholimp.livejournal.com]

Здесь вполне уместна аналогия со строительством, например, Екатерининского дворца в Царском Селе. Когда Растрелли перестраивал крохотный павильон в многоэтажную четвертькилометровую анфиладу, он начал с переделки и укрепления фундамента.
Точно так же обстоит дело и с научным зданием. Его фундамент нуждается в реконструкции всякий раз, когда само здание резко расширяется и набирает высоту.

Эта проблема не решена НИГДЕ

[d0tcom.livejournal.com]

Видите ли, перестраивают фундамент (зачем, спрашивается?), а здание на болоте (я не про Село).
Поймите простую истину -- сам Язык, который "в начале было слово", -- он сам в пустоте. Мы вынуждены что-то строить, короче, суетиться, только потому, что иначе провалимся, превратимся в ничто. В этом вся суть жизни. Я не знаю, кто её придумал, но задумано великолепно. Такой трагизм...
PS Для начала попытайтесь дать определение понятию "число", чтобы не прищлось лазить по ссылкам.

Re: надо же

[Сава Соловьёв-Савельев (from livejournal.com)]

https://kino.rambler.ru/search/?query=vostar