Буддийские форумы Дхарма
Буддийское сообщество
 
 FAQFAQ   ПоискПоиск   ПользователиПользователи  ГруппыГруппы   КалендарьКалендарь   PeгиcтрaцияPeгиcтрaция 
 ПрофильПрофиль   Войти и проверить личные сообщенияВойти и проверить личные сообщения   ВхoдВхoд 
 Новые постыНовые посты   За сегодняЗа сегодня   За неделюЗа неделю 
В этом разделе: За сегодняЗа сегодня   За неделюЗа неделю   За месяцЗа месяц 

Понятие "существо": сатта-паннатти и авидджамана-паннатти.

Страницы Пред.  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 пишет:
Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
"(А) ИЛИ (НЕ А) = ИСТИНА"

Вы сейчас утверждаете, что "или А, или Не-А, или оба сразу = истина".
Истина либо А, либо Не-А.

Герман, это основы логики - логическая операция дизъюнкция. Объединение непересекающихся множеств.
Истинно ли это мета-язык логической теории?
Истинно мета-язык и не истинно мета-язык, Вы хотите сказать?

Не логической теории, а области её применения. Т.е. скорее неистинность здесь вашего метаязыка абхидхармического языка.
Это не мета-язык. Мета-язык имеет отношение к принятию решений.
"Или А, или Не-А, или оба сразу" - так решение о назначении лекарства никогда не принимается, если "А" = "Лекарство абсолютно противопоказано".

Нет, не так, прочитайте наконец что такое дизъюнкция.


Ответы на этот пост: German
Наверх
Профиль Послать личное сообщение
German
Гость


Откуда: Grodno


417572СообщениеДобавлено: Вт 22 Май 18, 12:31 (7 лет тому назад)     Ответ с цитатой

Хороша была бы инструкция к применению препарата, если бы применение лекарства при точно определённом условии было бы "абсолютно противопоказано" (когда применение препарата исключено) И "не абсолютно противопоказано" (когда применение бывает обоснованным).

Если в одной инструкции указаны абсолютные противопоказания, а в другой, например, относительные - исходя из принципа "не навреди" - на выходе формируется "абсолютно противопоказано" для конкретного препарата. И подбираются другие препараты с относительными противопоказаниями, если других лекарств нет вообще.

В принятии конечного решения, истинно либо "А", либо "Не А", а третьего не дано.
(Здесь "А" = "Абсолютно противопоказано".)
Наверх
German
Гость


Откуда: Grodno


417573СообщениеДобавлено: Вт 22 Май 18, 12:34 (7 лет тому назад)     Ответ с цитатой

Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
"(А) ИЛИ (НЕ А) = ИСТИНА"

Вы сейчас утверждаете, что "или А, или Не-А, или оба сразу = истина".
Истина либо А, либо Не-А.

Герман, это основы логики - логическая операция дизъюнкция. Объединение непересекающихся множеств.
Истинно ли это мета-язык логической теории?
Истинно мета-язык и не истинно мета-язык, Вы хотите сказать?

Не логической теории, а области её применения. Т.е. скорее неистинность здесь вашего метаязыка абхидхармического языка.
Это не мета-язык. Мета-язык имеет отношение к принятию решений.
"Или А, или Не-А, или оба сразу" - так решение о назначении лекарства никогда не принимается, если "А" = "Лекарство абсолютно противопоказано".

Нет, не так, прочитайте наконец что такое дизъюнкция.
Прочитайте, наконец, что такое мета-язык логической теории (всей теории вообще, мета-язык любой из множества логик).

Ответы на этот пост: Samantabhadra
Наверх
Samantabhadra
удаленный аккаунт


Зарегистрирован: 10.01.2009
Суждений: 10755

417577СообщениеДобавлено: Вт 22 Май 18, 12:41 (7 лет тому назад)     Ответ с цитатой

German пишет:

Прочитайте, наконец, что такое мета-язык логической теории

Дайте ссылку.


Ответы на этот пост: German
Наверх
Профиль Послать личное сообщение
КИ



Зарегистрирован: 17.02.2005
Суждений: 49614

417602СообщениеДобавлено: Вт 22 Май 18, 14:35 (7 лет тому назад)     Ответ с цитатой

German пишет:
На эти две разные системы будет общая теория истины.
Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.

German пишет:
Истинное суждение в каждой из них либо А, либо Не-А.
Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А.
_________________
Буддизм чистой воды


Ответы на этот пост: German
Наверх
Профиль Послать личное сообщение Сайт автора
German
Гость


Откуда: Novopolotsk


417614СообщениеДобавлено: Вт 22 Май 18, 15:02 (7 лет тому назад)     Ответ с цитатой

Samantabhadra пишет:
German пишет:

Прочитайте, наконец, что такое мета-язык логической теории

Дайте ссылку.
https://studfiles.net/preview/6006943/page:77/

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

Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."

Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.

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

Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.

Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.


Ответы на этот пост: Samantabhadra
Наверх
German
Гость


Откуда: Novopolotsk


417616СообщениеДобавлено: Вт 22 Май 18, 15:06 (7 лет тому назад)     Ответ с цитатой

German пишет:
На эти две разные системы будет общая теория истины.
Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.

German пишет:
Истинное суждение в каждой из них либо А, либо Не-А.
Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А.
Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.

Ответы на этот пост: КИ
Наверх
КИ



Зарегистрирован: 17.02.2005
Суждений: 49614

417626СообщениеДобавлено: Вт 22 Май 18, 15:30 (7 лет тому назад)     Ответ с цитатой

German пишет:
German пишет:
На эти две разные системы будет общая теория истины.
Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.

German пишет:
Истинное суждение в каждой из них либо А, либо Не-А.
Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А.
Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.

А в Киеве - дядька?

_________________
Буддизм чистой воды


Ответы на этот пост: German
Наверх
Профиль Послать личное сообщение Сайт автора
German
Гость


Откуда: Novopolotsk


417627СообщениеДобавлено: Вт 22 Май 18, 15:34 (7 лет тому назад)     Ответ с цитатой

German пишет:
German пишет:
На эти две разные системы будет общая теория истины.
Вы же обсуждаете высказывание? Одно и то же высказывание в одной системе будет истинным, а в другой - ложным.

German пишет:
Истинное суждение в каждой из них либо А, либо Не-А.
Да. В каждой из них по-отдельности, одно и то же высказывание будет либо А, либо Не-А.
Классическая формальная логика - метаязык логической теории. Все остальные логики - языки.

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

Ответы на этот пост: КИ
Наверх
Samantabhadra
удаленный аккаунт


Зарегистрирован: 10.01.2009
Суждений: 10755

417628СообщениеДобавлено: Вт 22 Май 18, 15:35 (7 лет тому назад)     Ответ с цитатой

German пишет:
Samantabhadra пишет:
German пишет:

Прочитайте, наконец, что такое мета-язык логической теории

Дайте ссылку.
https://studfiles.net/preview/6006943/page:77/

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

Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."

Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.

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

Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.

Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.

Так и что? Причём тут объединение непересекающихся множеств? Там нет никакой неопределенности - обычная бинарная логика.


Ответы на этот пост: German
Наверх
Профиль Послать личное сообщение
German
Гость


Откуда: Novopolotsk


417630СообщениеДобавлено: Вт 22 Май 18, 15:39 (7 лет тому назад)     Ответ с цитатой

Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
German пишет:

Прочитайте, наконец, что такое мета-язык логической теории

Дайте ссылку.
https://studfiles.net/preview/6006943/page:77/

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

Как показал польский логик АТарский, классическое определение истины должно формулироваться в языке более широком, чем тот язык, для которого оно предназначено. Иными словами, если мы хотим указать, что означает оборот «высказывание, истинное в данном языке», нужно, помимо выражений этого языка, пользоваться также выражениями, которых в нем нет."

Если суждение принимает не только классические значения "истинно" и "ложно", но и "неопределённо" (чему служит описанный Вами формальный язык), то это язык, а не метаязык. Истинно ли применимо [ нужное правило любой из логик - вписать ] в данном случае? Задав этот вопрос применительно к любому правилу любой из логик, можно увидеть рамку метаязыка, в который включено высказывание из языка конкретной логики.

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

Метаязык используется не для написания программ, а для принятия решений об использовании той или иной программы для решения тех или иных практических задач. Логический метаязык связан с принятием решений.

Принятие решения в ситуации неопределённости (по тем или иным пессимистическим, оптимистическим критериям) тоже требует, чтоб истинно была именно неопределённость. Метаязык, с общим понятием об истинности, никуда не исчезает.

Так и что? Причём тут объединение непересекающихся множеств? Там нет никакой неопределенности - обычная бинарная логика.
Истинно либо "А", либо "Не А", а третьего не дано. Оценивая истинность применимости каждой из сотен логических систем в той или иной ситуации, опираются на классическую формальную логику, как на метаязык. Конкретная логика (из сотен логик) истинно применима в данном случае, либо нет, а третьего не дано.

Ответы на этот пост: Samantabhadra
Наверх
Samantabhadra
удаленный аккаунт


Зарегистрирован: 10.01.2009
Суждений: 10755

417634СообщениеДобавлено: Вт 22 Май 18, 15:44 (7 лет тому назад)     Ответ с цитатой

German пишет:
Samantabhadra пишет:
German пишет:
Samantabhadra пишет:
German пишет:

Прочитайте, наконец, что такое мета-язык логической теории

Дайте ссылку.
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 лет тому назад)     Ответ с цитатой

Rolling Eyes Герман, вы невозможны)
Наверх
Профиль Послать личное сообщение
German
Гость


Откуда: Novopolotsk


417642СообщениеДобавлено: Вт 22 Май 18, 15:53 (7 лет тому назад)     Ответ с цитатой

Samantabhadra пишет:


Если берём множество обеих истин, то А это:
рассматриваемый предмет не может быть одновременно человеком и безличными дхармами.
Утверждение "рассматриваемый предмет не может быть одновременно человеком и безличными дхармами" не отрицает рассмотрение человека и его существование. Человек рассмотрен Анурудхой. Человек не существует.
Наверх
Тред сейчас никто не читает.
Новая тема   Ответ на тему    Буддийские форумы -> Дискуссии Часовой пояс: 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 пхпББ Груп
0.083 (0.758) u0.020 s0.000, 18 0.063 [268/0]