|
Дхарма Буддийское сообщество
|
Страницы Пред. 1, 2, 3, 4, 5, 6, 7 ... 196, 197, 198, 199, 200, 201, 202 ... 251, 252, 253, 254, 255, 256, 257, 258 След.
|
Предыдущая :: Следующая тема |
Автор |
Сообщение |
Samantabhadra удаленный аккаунт
Зарегистрирован: 10.01.2009 Суждений: 10755
|
№417569Добавлено: Вт 22 Май 18, 12:24 (7 лет тому назад) |
|
|
|
"(А) ИЛИ (НЕ А) = ИСТИНА"
Вы сейчас утверждаете, что "или А, или Не-А, или оба сразу = истина".
Истина либо А, либо Не-А.
Герман, это основы логики - логическая операция дизъюнкция. Объединение непересекающихся множеств. Истинно ли это мета-язык логической теории?
Истинно мета-язык и не истинно мета-язык, Вы хотите сказать?
Не логической теории, а области её применения. Т.е. скорее неистинность здесь вашего метаязыка абхидхармического языка. Это не мета-язык. Мета-язык имеет отношение к принятию решений.
"Или А, или Не-А, или оба сразу" - так решение о назначении лекарства никогда не принимается, если "А" = "Лекарство абсолютно противопоказано".
Нет, не так, прочитайте наконец что такое дизъюнкция.
Ответы на этот пост: German |
|
Наверх |
|
|
German Гость
Откуда: Grodno
|
№417572Добавлено: Вт 22 Май 18, 12:31 (7 лет тому назад) |
|
|
|
Хороша была бы инструкция к применению препарата, если бы применение лекарства при точно определённом условии было бы "абсолютно противопоказано" (когда применение препарата исключено) И "не абсолютно противопоказано" (когда применение бывает обоснованным).
Если в одной инструкции указаны абсолютные противопоказания, а в другой, например, относительные - исходя из принципа "не навреди" - на выходе формируется "абсолютно противопоказано" для конкретного препарата. И подбираются другие препараты с относительными противопоказаниями, если других лекарств нет вообще.
В принятии конечного решения, истинно либо "А", либо "Не А", а третьего не дано.
(Здесь "А" = "Абсолютно противопоказано".) |
|
Наверх |
|
|
German Гость
Откуда: Grodno
|
№417573Добавлено: Вт 22 Май 18, 12:34 (7 лет тому назад) |
|
|
|
"(А) ИЛИ (НЕ А) = ИСТИНА"
Вы сейчас утверждаете, что "или А, или Не-А, или оба сразу = истина".
Истина либо А, либо Не-А.
Герман, это основы логики - логическая операция дизъюнкция. Объединение непересекающихся множеств. Истинно ли это мета-язык логической теории?
Истинно мета-язык и не истинно мета-язык, Вы хотите сказать?
Не логической теории, а области её применения. Т.е. скорее неистинность здесь вашего метаязыка абхидхармического языка. Это не мета-язык. Мета-язык имеет отношение к принятию решений.
"Или А, или Не-А, или оба сразу" - так решение о назначении лекарства никогда не принимается, если "А" = "Лекарство абсолютно противопоказано".
Нет, не так, прочитайте наконец что такое дизъюнкция. Прочитайте, наконец, что такое мета-язык логической теории (всей теории вообще, мета-язык любой из множества логик).
Ответы на этот пост: Samantabhadra |
|
Наверх |
|
|
Samantabhadra удаленный аккаунт
Зарегистрирован: 10.01.2009 Суждений: 10755
|
№417577Добавлено: Вт 22 Май 18, 12:41 (7 лет тому назад) |
|
|
|
Прочитайте, наконец, что такое мета-язык логической теории
Дайте ссылку.
Ответы на этот пост: German |
|
Наверх |
|
|
КИ 3Д
Зарегистрирован: 17.02.2005 Суждений: 49614
|
№417602Добавлено: Вт 22 Май 18, 14:35 (7 лет тому назад) |
|
|
|
На эти две разные системы будет общая теория истины. Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.
Истинное суждение в каждой из них либо А, либо Не-А. Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А. _________________ Буддизм чистой воды
Ответы на этот пост: German |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417614Добавлено: Вт 22 Май 18, 15:02 (7 лет тому назад) |
|
|
|
Прочитайте, наконец, что такое мета-язык логической теории
Дайте ссылку. https://studfiles.net/preview/6006943/page:77/
"Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."
Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.
Ни одна из логик (а их сотни) не смещает классическую, с её правилом исключённого третьего, с трона логического метаязыка. Потому что именно классическая логика лежит в основе суждений об истинной применимости той или иной логической системы.
Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.
Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.
Ответы на этот пост: Samantabhadra |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417616Добавлено: Вт 22 Май 18, 15:06 (7 лет тому назад) |
|
|
|
На эти две разные системы будет общая теория истины. Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.
Истинное суждение в каждой из них либо А, либо Не-А. Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А. Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.
Ответы на этот пост: КИ |
|
Наверх |
|
|
КИ 3Д
Зарегистрирован: 17.02.2005 Суждений: 49614
|
№417626Добавлено: Вт 22 Май 18, 15:30 (7 лет тому назад) |
|
|
|
На эти две разные системы будет общая теория истины. Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.
Истинное суждение в каждой из них либо А, либо Не-А. Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А. Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.
А в Киеве - дядька? _________________ Буддизм чистой воды
Ответы на этот пост: German |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417627Добавлено: Вт 22 Май 18, 15:34 (7 лет тому назад) |
|
|
|
На эти две разные системы будет общая теория истины. Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.
Истинное суждение в каждой из них либо А, либо Не-А. Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А. Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.
А в Киеве - дядька? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным. А то, какая именно система истинно соответствует реальности - определяется на основе формальной классической логики.
Ответы на этот пост: КИ |
|
Наверх |
|
|
Samantabhadra удаленный аккаунт
Зарегистрирован: 10.01.2009 Суждений: 10755
|
№417628Добавлено: Вт 22 Май 18, 15:35 (7 лет тому назад) |
|
|
|
Прочитайте, наконец, что такое мета-язык логической теории
Дайте ссылку. https://studfiles.net/preview/6006943/page:77/
"Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."
Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.
Ни одна из логик (а их сотни) не смещает классическую, с её правилом исключённого третьего, с трона логического метаязыка. Потому что именно классическая логика лежит в основе суждений об истинной применимости той или иной логической системы.
Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.
Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.
Так и что? Причём тут объединение непересекающихся множеств? Там нет никакой неопределенности - обычная бинарная логика.
Ответы на этот пост: German |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417630Добавлено: Вт 22 Май 18, 15:39 (7 лет тому назад) |
|
|
|
Прочитайте, наконец, что такое мета-язык логической теории
Дайте ссылку. https://studfiles.net/preview/6006943/page:77/
"Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."
Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.
Ни одна из логик (а их сотни) не смещает классическую, с её правилом исключённого третьего, с трона логического метаязыка. Потому что именно классическая логика лежит в основе суждений об истинной применимости той или иной логической системы.
Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.
Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.
Так и что? Причём тут объединение непересекающихся множеств? Там нет никакой неопределенности - обычная бинарная логика. Истинно либо "А", либо "Не А", а третьего не дано. Оценивая истинность применимости каждой из сотен логических систем в той или иной ситуации, опираются на классическую формальную логику, как на метаязык. Конкретная логика (из сотен логик) истинно применима в данном случае, либо нет, а третьего не дано.
Ответы на этот пост: Samantabhadra |
|
Наверх |
|
|
Samantabhadra удаленный аккаунт
Зарегистрирован: 10.01.2009 Суждений: 10755
|
№417634Добавлено: Вт 22 Май 18, 15:44 (7 лет тому назад) |
|
|
|
Прочитайте, наконец, что такое мета-язык логической теории
Дайте ссылку. https://studfiles.net/preview/6006943/page:77/
"Понятие истины, как и все иные семантические понятия, имеет относительный характер: оно всегда может быть отнесено к определенному языку.
Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."
Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.
Ни одна из логик (а их сотни) не смещает классическую, с её правилом исключённого третьего, с трона логического метаязыка. Потому что именно классическая логика лежит в основе суждений об истинной применимости той или иной логической системы.
Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.
Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.
Так и что? Причём тут объединение непересекающихся множеств? Там нет никакой неопределенности - обычная бинарная логика. Истинно либо "А", либо "Не А", а третьего не дано. Оценивая истинность применимости каждой из сотен логических систем в той или иной ситуации, опираются на классическую формальную логику, как на метаязык. Конкретная логика (из сотен логик) истинно применима в данном случае, либо нет, а третьего не дано.
Если берём множество обеих истин, то А это:
рассматриваемый предмет не может быть одновременно человеком и безличными дхармами.
Ответы на этот пост: German, СлаваА |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417638Добавлено: Вт 22 Май 18, 15:49 (7 лет тому назад) |
|
|
|
Видя сотни разных логических систем и способов формализации, не следует считать, что общей для них истины не существует. Общая истина задаётся классической формальной логикой. Исходя из неё, применяют, для решения тех или иных задач, истинно подходящую систему логики.
Это легко понять тому, кто принимает итоговые решения - гендиректору, врачу, командиру.
Истинно фирма либо потеряет рентабельность, либо не потеряет рентабельность, а третьего не дано. Истинно либо больной умрёт, либо не умрёт, а третьего не дано. Истинно либо бой проигран, либо не проигран, а третьего не дано. |
|
Наверх |
|
|
Samantabhadra удаленный аккаунт
Зарегистрирован: 10.01.2009 Суждений: 10755
|
№417640Добавлено: Вт 22 Май 18, 15:51 (7 лет тому назад) |
|
|
|
Герман, вы невозможны) |
|
Наверх |
|
|
German Гость
Откуда: Novopolotsk
|
№417642Добавлено: Вт 22 Май 18, 15:53 (7 лет тому назад) |
|
|
|
Если берём множество обеих истин, то А это:
рассматриваемый предмет не может быть одновременно человеком и безличными дхармами. Утверждение "рассматриваемый предмет не может быть одновременно человеком и безличными дхармами" не отрицает рассмотрение человека и его существование. Человек рассмотрен Анурудхой. Человек не существует. |
|
Наверх |
|
|
Тред сейчас никто не читает.
|
|
|
Буддийские форумы -> Дискуссии |
Часовой пояс: GMT + 4 Страницы Пред. 1, 2, 3, 4, 5, 6, 7 ... 196, 197, 198, 199, 200, 201, 202 ... 251, 252, 253, 254, 255, 256, 257, 258 След.
|
Страница 199 из 258 |
|
Вам нельзя начинать темы Вам нельзя отвечать на сообщения Вам нельзя редактировать свои сообщения Вам нельзя удалять свои сообщения Вам нельзя голосовать в опросах Вы не можете вкладывать файлы Вы можете скачивать файлы
|
За информацию, размещённую на сайте пользователями, администрация форума ответственности не несёт.
Мощь пхпББ © 2001, 2002 пхпББ Груп
|