Кант против Лейбница

[gignomai]

Речь о так называемом «принципе тождества неразличимого»: если две вещи неразличимы, т.е. все их свойства одинаковы, то это просто-напросто она вещь. И не может же одна и та же вещь находиться в разных местах.

- Да нет! - говорит на это Кант. - Почему же г-н Лейбниц не учел в числе свойств местоположение? Две вещи с одинаковыми внутренними

Comments

[evgeniirudnyi]

К теме от современных философов - похоже, что воз и ныне там

[gignomai]

Да...

Но мы их всех выведем на чистую воду ))

[kaktus77]

Вот поэтому и не любят философию.

[evgeniirudnyi]

Да, получается, что попытка формализации в философии ничего особого не дает.

[kaktus77]

А формализация никогда ничего не даёт.
Она вообще для другого - для замещения мышления деятельностью.
Чтобы интеллектуальную и высоко-квалифицированную когда-то работу мог выполнять (после формализации) неквалифицированный персонал.

[smenavech]

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

[kaktus77]

Нет. Не только формализация.

Например, когда ребёнок (1-2 класс) решает арифметическую задачу (типа, сидело нескоько птичек, прилетело 5, стало 9, сколько было? ), то там у него и близко нет никакой формализации. Но он, конечно, мыслит.

==что определяются обьекты

После формализации никаких обьектов не бывает.
В этом и состоит смысл формализации - избавиться от действий с обьектами и заместить
их операциями со знаками.

А математику пытался максимально формализовать Пеано в свое время, написал несколько томов, но кто их сегодня знает? :)

[smenavech]

Ребенок редко занимается серьезной математикой. Возможно, Вы понимаете под флрмализацей что-то иное. Любые математические опоеделения, например определение группы - это формализация? Если нет, то что есть тогда формализация?

[kaktus77]

Вы же не о математике говорили, а вообще о мышлениии

[smenavech]

Простите, разговор теряет для меня смысл. Перед этим Вы говорили

"А формализация никогда ничего не даёт. Она вообще для другого - для замещения мышления деятельностью", сейчас говорите, что это переход от мышления к пониманию.
Мой опыт с математикой говорит мне, что математическое определение - это результат формализации, и большие достижения в математике являлись именно нахождением новых формализмов. Для Вас же математическое определение - всего лишь определение.

Я боюсь, вменяемого диалога не получится.

[kaktus77]

==сейчас говорите, что это переход от мышления к пониманию.

Ну так, думать же не надо. Только оперировать.
Но с пониманием, конечно, иначе такого наоперируют.

==Простите, разговор теряет для меня смысл.

Это ваши проблемы.
Я здесь ни при чем :)

Ваши опыт мне мало интересен, по сравнению с многогими тысячими лет развития нашей цивилизации.
Вы понимаетете понятие "формализации" так, а люди - по-другому. Бывает, и даже очень часто, но не интересно.

Успехов вам в борьбе с этой цивилизацией и культурой :)