Здравствуйте, Эйнсток Файр, Вы писали:

Р>> Суждение — человеческий вывод не так ли?

ЭФ>Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
это вы заметили несоответствие формулы предлагаемым вами понятиям. Вы тащите сюда гуманитарную символическую логику. Хотя тема идет про теорию трансляции с синтаксическим анализом. Можно еще матлогику. Вы зацепились за логику высказываний, но она не в тему тут. Т.к гуманитарная область напрочь проиворечива.

ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------

ЭФ>Пропозициональная логика, она же "логика высказываний",
ЭФ>изучает логические отношения между высказываниями.
Какие логические ? я оперирую expressions — синтаксической конструкцией, которая может много чем быть, и результат может быть сршеннорзным. а вы о чем?

ЭФ>Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
с точки зрения синтаксического анализа это совсем все не так.

ЭФ>В исчислении высказываний (см. логика высказываний) нет предметных переменных,
ЭФ>то есть переменных, которые могут принимать нелогические значения, например, числовые.
в теории трансляции нет логических значений, а есть только трансляция токенов из одних цепочек в другие.

ЭФ>Исчисление логики предикатов первого порядка
ЭФ>(это другое исчисление, не такое как "исчисление высказываний", круче)
Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать.

ЭФ>Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
ЭФ>Нульместный предикат представляет собой высказывание.

ЭФ>N-местным предикатом на множестве X называется n-местная функция из множества Xⁿ во множество {ложь, истина}.

ЭФ>Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
ЭФ>все известные свойства логических операций обобщаются для предикатов.

ЭФ>Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат

ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------

ЭФ>Написанная Вами формула не является ни предикатом, ни суждением.
написанная мной формула может быть представлена на формальном языке. я уже доказывал, что это довольно просто. Она не обязана удовлетворять вашим хотелкам, а лишь обязана удовлетворять требованиям формального языка.

Здравствуйте, Эйнсток Файр, Вы писали:

Р>> Суждение — человеческий вывод не так ли?

ЭФ>Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
это вы заметили несоответствие формулы предлагаемым вами понятиям. Вы тащите сюда гуманитарную символическую логику. Хотя тема идет про теорию трансляции с синтаксическим анализом. Можно еще матлогику. Вы зацепились за логику высказываний, но она не в тему тут. Т.к гуманитарная область напрочь проиворечива.

ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------

ЭФ>Пропозициональная логика, она же "логика высказываний",
ЭФ>изучает логические отношения между высказываниями.
Какие логические ? я оперирую expressions — синтаксической конструкцией, которая может много чем быть, и результат может быть сршеннорзным. а вы о чем?

ЭФ>Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
с точки зрения синтаксического анализа это совсем все не так.

ЭФ>В исчислении высказываний (см. логика высказываний) нет предметных переменных,
ЭФ>то есть переменных, которые могут принимать нелогические значения, например, числовые.
в теории трансляции нет логических значений, а есть только трансляция токенов из одних цепочек в другие.

ЭФ>Исчисление логики предикатов первого порядка
ЭФ>(это другое исчисление, не такое как "исчисление высказываний", круче)
Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать.

ЭФ>Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката.
ЭФ>Нульместный предикат представляет собой высказывание.

ЭФ>N-местным предикатом на множестве X называется n-местная функция из множества Xⁿ во множество {ложь, истина}.

ЭФ>Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и
ЭФ>все известные свойства логических операций обобщаются для предикатов.

ЭФ>Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат

ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------

ЭФ>Написанная Вами формула не является ни предикатом, ни суждением.
написанная мной формула может быть представлена на формальном языке. я уже доказывал, что это довольно просто. Она не обязана удовлетворять вашим хотелкам, а лишь обязана удовлетворять требованиям формального языка.
Да но и в этом ее особенностиь, ваша логика вполне укладывается в схему. А как она уже будет работать вопрос второй. Просто она прочно займет местечко l или l'