 |
Дхарма
Буддийское сообщество
|
Страницы Пред. 1, 2, 3, 4, 5, 6, 7 ... 30, 31, 32, 33, 34, 35, 36, 37 След.
|
| Предыдущая :: Следующая тема |
| Автор |
Сообщение |
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
№155829 Добавлено: Пт 12 Июл 13, 20:36 (13 лет тому назад) |
 |
|
|
А формальная логика уже вышла в реальный мир, минуя формальные системы?
Путаете разные понятия. Формальные системы, про которые у Геделя, это не формальная логика, которая у всех людей.
Формальная логика не у всех людей. У всех людей - логика. Логика и формальная логика не синонимы.
Любая (правильная) логика людей может быть формализована - в этом смысле.
Формальная логика, это формализация логики, поэтому она не у всех людей. А ты возражаешь: нет, логику всех людей можно формализовать.
Ответы на этот пост: КИ |
|
| Наверх |
|
 |
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
| №155830Добавлено: Пт 12 Июл 13, 20:38 (13 лет тому назад) |
|
|
|
Коллеги, Теорема Геделя так, как она была сформулирована и доказана, показывает несовершенство формальной арифметики. Если предположить, что арифметика противоречива, то тогда совсем плохо. Гедель исходил из того, что она - не противоречива. И в этом предположении совершенно строго показал, что существует невыводимая и неопровержимая формула (первая теорема Геделя).
Арифметика вполне себе отражает реальные закономерности мира и мышления. 2+2=4 - вполне себе истинное высказывание, и т. д., и т. п. Поэтому, думаю, недооценивать результат Геделя нельзя. Это - не просто абстрактная игрушка математиков...
Кстати да, это просто абстрактная игрушка математиков.
Ответы на этот пост: Дмитрий С |
|
| Наверх |
|
|
КИ
3Д
Зарегистрирован: 17.02.2005
Суждений: 51657
|
| №155831Добавлено: Пт 12 Июл 13, 20:43 (13 лет тому назад) |
|
|
|
А формальная логика уже вышла в реальный мир, минуя формальные системы?
Путаете разные понятия. Формальные системы, про которые у Геделя, это не формальная логика, которая у всех людей.
Формальная логика не у всех людей. У всех людей - логика. Логика и формальная логика не синонимы.
Любая (правильная) логика людей может быть формализована - в этом смысле.
Формальная логика, это формализация логики, поэтому она не у всех людей. А ты возражаешь: нет, логику всех людей можно формализовать.
Формальная логика применима к любой правильной человеческой логике, можно сказать формально силлогизмами любую бытовую логическую мысль. Конечно, не все люди разговаривают на формальном логическом языке, или владеют им - в этом ты прав. Если ты решил, что я имел в виду, что все люди используют формальную логику - это не так. Все люди могут ее использовать в любой деятельности, она везде будет полезна - это я имел в виду.
_________________
Буддизм чистой воды |
|
| Наверх |
|
|
Дмитрий С
Зарегистрирован: 28.03.2013
Суждений: 7051
Откуда: Харьков
|
|
| Наверх |
|
|
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
| №155836Добавлено: Пт 12 Июл 13, 21:14 (13 лет тому назад) |
|
|
|
Основная проблема для математиков начала 20 века. Про "детей" я ничего не говорил и про "как детей" тоже.
Ответы на этот пост: Дмитрий С |
|
| Наверх |
|
|
Дмитрий С
Зарегистрирован: 28.03.2013
Суждений: 7051
Откуда: Харьков
|
| №155839Добавлено: Пт 12 Июл 13, 21:22 (13 лет тому назад) |
|
|
|
Основная проблема для математиков начала 20 века. Про "детей" я ничего не говорил и про "как детей" тоже.
Проблемы Гильберта решались весь двадцатый век и решаются до сих пор. Их важность пока что не отрицается. Математика идет не такими быстрыми шагами, как другие науки.
Например, известный советский (теперь российский) математик Матиясевич переформулировал теорему Геделя на языке диофантовых уравнений, которые вообще начали решаться до нашей эры. Важность этого результата никем из математиков не отрицалась, насколько я знаю.
Последний раз редактировалось: Дмитрий С (Пт 12 Июл 13, 21:25), всего редактировалось 1 раз
|
|
| Наверх |
|
|
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
| №155841Добавлено: Пт 12 Июл 13, 21:24 (13 лет тому назад) |
|
|
|
Пусть решаются, я их значимость не преуменьшаю. Но и не преувеличиваю.
Ответы на этот пост: Дмитрий С |
|
| Наверх |
|
|
Дмитрий С
Зарегистрирован: 28.03.2013
Суждений: 7051
Откуда: Харьков
|
|
| Наверх |
|
|
КИ
3Д
Зарегистрирован: 17.02.2005
Суждений: 51657
|
|
| Наверх |
|
|
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
| №155844Добавлено: Пт 12 Июл 13, 21:33 (13 лет тому назад) |
|
|
|
КИ, "Я лгу" - это истинное утверждение или ложное? (Но может я не понял вашей дискуссии, тогда извините.)
Ответы на этот пост: КИ |
|
| Наверх |
|
|
КИ
3Д
Зарегистрирован: 17.02.2005
Суждений: 51657
|
| №155845Добавлено: Пт 12 Июл 13, 21:38 (13 лет тому назад) |
|
|
|
КИ, "Я лгу" - это истинное утверждение или ложное? (Но может я не понял вашей дискуссии, тогда извините.)
Это суждение. Такое суждение рассматривается только в контексте его ситуации, а не в чистом виде. В нем оно может оказаться истинным, или нет. А логика занимается умозаключениями - это штучки чуть посложнее суждений.
А вопрос был о запредельных вещах для формальной логики (но полезных и не глупых), где необходимо использовать некое иное мышление. Диалектическое и т.п.
_________________
Буддизм чистой воды
Ответы на этот пост: test |
|
| Наверх |
|
|
Дмитрий С
Зарегистрирован: 28.03.2013
Суждений: 7051
Откуда: Харьков
|
| №155846Добавлено: Пт 12 Июл 13, 21:48 (13 лет тому назад) |
|
|
|
Так что именно - нельзя? Пример бы не из математики.
Математика занимается математическими объектами. Процесс решения научных задач с привлечением математики выглядит примерно так. Сначала некоторые реальные объекты и процессы находят отражение в идеальных математических конструкциях (вот как арифметика, - она же не сама по себе возникла). Затем из полученной теории начинают выводиться следствия. Вопрос, хороша ли сама теория? Математическая логика казалась (до Геделя) безупречным инструментом. Поэтому Гильберт и сформулировал свою вторую проблему об основаниях математики, в частности, арифметики, точнее которой трудно что-то придумать. То есть, является ли тот мат. аппарат, с помощью которого мы складываем (коров и овец, например) и умножаем, непротиворечивым и полным. Оказалось, что нет. Если он непротиворечив, то он - не полон. А Гильберт, который собаку съел на основаниях математики, был уверен, что полон... Все это - очень не простые, не тривиальные вещи.
Тест привел "парадокс лжеца". По нему действительно можно проследить некоторую аналогию с результатами Геделя. Но это, конечно, далеко не эквивалентные вещи...
Последний раз редактировалось: Дмитрий С (Пт 12 Июл 13, 21:49), всего редактировалось 1 раз
Ответы на этот пост: КИ |
|
| Наверх |
|
|
test
一心
Зарегистрирован: 18.02.2005
Суждений: 18709
|
| №155847Добавлено: Пт 12 Июл 13, 21:49 (13 лет тому назад) |
|
|
|
КИ, "Я лгу" - это истинное утверждение или ложное? (Но может я не понял вашей дискуссии, тогда извините.)
Это суждение. Такое суждение рассматривается только в контексте его ситуации, а не в чистом виде. В нем оно может оказаться истинным, или нет. А логика занимается умозаключениями - это штучки чуть посложнее суждений.
Кто бы мог подумать. Ну так сделай силлогизм с "я лгу" или не додумался до этого? |
|
| Наверх |
|
|
КИ
3Д
Зарегистрирован: 17.02.2005
Суждений: 51657
|
| №155848Добавлено: Пт 12 Июл 13, 22:10 (13 лет тому назад) |
|
|
|
Тест привел "парадокс лжеца". По нему действительно можно проследить некоторую аналогию с результатами Геделя. Но это, конечно, далеко не эквивалентные вещи...
Пример Теста не соответствует требованию "умное и полезное". На практике, если что-то противоречиво, или малопонятно, то оно будет отбрасываться или уточняться, а не делаться вывод о наличии там некой иной логики. Если некая система оказывается порочным кругом, или возникает необходимость в нем для ее "полноты" - это ведь проблема чисто абстрактной системы, взятой в отрыве от эмпирики и практики.
_________________
Буддизм чистой воды |
|
| Наверх |
|
|
Полосатик
नक्तचारिन्
Зарегистрирован: 08.11.2010
Суждений: 2607
|
| №155849Добавлено: Пт 12 Июл 13, 22:20 (13 лет тому назад) |
|
|
|
Некоторые в переводах важраччхедики находят "иную логику", при этом считая сутру очень умной и полезной.
Ответы на этот пост: КИ, Дмитрий С |
|
| Наверх |
|
|
|
  |
Буддийские форумы -> Дискуссии |
Часовой пояс: GMT + 4
Страницы Пред. 1, 2, 3, 4, 5, 6, 7 ... 30, 31, 32, 33, 34, 35, 36, 37 След.
|
| Страница 34 из 37 |
|
Вам нельзя начинать темы
Вам нельзя отвечать на сообщения
Вам нельзя редактировать свои сообщения
Вам нельзя удалять свои сообщения
Вам нельзя голосовать в опросах
Вы не можете вкладывать файлы
Вы можете скачивать файлы
|
За информацию, размещённую на сайте пользователями, администрация форума ответственности не несёт.
Мощь пхпББ © 2001, 2002 пхпББ Груп
|
FAQ
Поиск
Пользователи
Группы
Календарь
Peгиcтрaция
Профиль
Войти и проверить личные сообщения
Вхoд
.
(как я понимаю, КИ против этого возражал). Просто думаю, что результат Геделя довольно серьезен с точки зрения понимания того, что можно формализовать, а что нельзя.