Бытие — предмет изучения онтологии

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49291

Математика это формализация логики.

СлаваА

А вообще печально все это. Поставили многое на антикварное учение из Индии, а оно оказалось ... антикварным учением из Индии. Не больше и меньше, такой вот занятный изгиб человеческой мысли, по своим временам занятный, но не уникальный и не чем-то сверхъестественный. Люди с тех пор построили десятки тщательно формализованных моделей сознания, единственная проблема которых в том, что для их чтения нужны специальные навыки. А антикварная индийская философия доступна любому, что внушает разные надежды.

СлаваА

СлаваА пишет:

Математика это формализация логики.

Пишете слова не понимая их смысла - ясно. Вантус то хоть прямо признался, что в логике не понимает.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49291

КИ пишет:

СлаваА пишет:

Математика это формализация логики.

Пишете слова не понимая их смысла - ясно. Вантус то хоть прямо признался, что в логике не понимает.

Логика это "раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка."
Математика это "наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории".
С развитием современной математики смысл в каком то другом логическом языке потерялся. Вы не сможете привести пример логики, которую нельзя было бы записать математически.

Вантус

Вантус пишет:

В Ведах (и в Танахе), хотя бы, много земли и войны, войны и земли, память многих поколений о том, как они выживали.

В индуизме свободный панентеизм и идолатрия. В иудаизме строгий монотеизм и запрет идолопоклонства. Что здесь может быть общего? Только нравственный кодекс, больше вообще ничего.

Вантус

Вантус пишет:

КИ пишет:

Вантус пишет:

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

Жуткий кринж. Объем - да. Содержание - нет. Чтобы с понятиями начала работать математика, сперва надо сделать формализацию - упростить систему до математики, оставить в ней только то, с чем математика справляется. Формализация - слабое место математиков, они в неё не понимают, так как имеют дело уже с её готовым продуктом. На этой почве расцвел математический реализм - недоумки считают, что мир изначально математичен.

КИ, вы опять бредите. Формализация лежит за пределами логики.

Угу, типично для математика - не соображать в этой теме. Формализация за пределами математики, но не логики. Это ведь её раздел, как науки.

Вантус

СлаваА пишет:

КИ пишет:

СлаваА пишет:

Математика это формализация логики.

Пишете слова не понимая их смысла - ясно. Вантус то хоть прямо признался, что в логике не понимает.

Логика это "раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка."
Математика это "наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории".
С развитием современной математики смысл в каком то другом логическом языке потерялся. Вы не сможете привести пример логики, которую нельзя было бы записать математически.

Как вы закончили матфак - не понимаю. Видимо, такой темы у вас не было вообще.

СлаваА

Как вы закончили матфак - не понимаю. Видимо, такой темы у вас не было вообще.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49291

КИ пишет:

Вантус пишет:

КИ пишет:

Вантус пишет:

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

Жуткий кринж. Объем - да. Содержание - нет. Чтобы с понятиями начала работать математика, сперва надо сделать формализацию - упростить систему до математики, оставить в ней только то, с чем математика справляется. Формализация - слабое место математиков, они в неё не понимают, так как имеют дело уже с её готовым продуктом. На этой почве расцвел математический реализм - недоумки считают, что мир изначально математичен.

КИ, вы опять бредите. Формализация лежит за пределами логики.

Угу, типично для математика - не соображать в этой теме. Формализация за пределами математики, но не логики. Это ведь её раздел, как науки.

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

Вантус

Вантус пишет:

В Ведах (и в Танахе), хотя бы, много земли и войны, войны и земли, память многих поколений о том, как они выживали.

В индуизме свободный панентеизм и идолатрия. В иудаизме строгий монотеизм и запрет идолопоклонства. Что здесь может быть общего? Только нравственный кодекс, больше вообще ничего.

Вантус

КИ
Вы не понты разбрасывайте, а лучше ответьте, что там с содержанием понятия у иррационального числа и в какой форме надо записать признаки, чтоб определить это содержание. А то нехорошо выходит: можно их записать одной конъюнкцией, то содержание длины 1, а если разбить на 2 конъюнкции - то 2 и т.п. А если признаков несчетное количество?

P.S. За границей вся логика и даже лингвистика - давно математические.
P.P.S. У частных наук свое целеполагание. И давно есть разделение труда.

СлаваА

Вантус пишет:

И боюсь, КИ, у меня для вас плохие новости: нет никакой современной логики вне математики.

В РФ. Где логику практически не изучают, кроме убогой математической. Отсюда куча бреда в публикациях и общая отсталость.

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49291

КИ пишет:

Вантус пишет:

И боюсь, КИ, у меня для вас плохие новости: нет никакой современной логики вне математики.

В РФ. Где логику практически не изучают, кроме убогой математической. Отсюда куча бреда в публикациях и общая отсталость.

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

КИ · 3Д Зарегистрирован: 17.02.2005 Суждений: 49291

КИ
Вы не понты разбрасывайте, а лучше ответьте, что там с содержанием понятия у иррационального числа

Кира

Земля и война - это основное.