m - о логике [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

о логике [Feb. 7th, 2007|04:17 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
Логика -- такая же наука, как физика: она изучает объективную реальность---законы, по которым развиваются рассуждения.
Есть и особенность --- метод логики и предмет логики совпадают. Математическая логика---такая же наука, как и
математическая физика: она изучает более-менее случайную формализацию предмета логики; изучает не то что хотим и что
интересно, а что можем и умеем....Но особенность остается---нет различия между предметом изучения и методом. Каждан считает
это одной из причин, по которым математикам трудно учить логику. (По мотивам научных бесед).
LinkLeave a comment

Comments:
[User Picture]
From:[info]meshulash@lj
Date:February 7th, 2007 - 01:22 pm
(Link)
Не вполне согласен с тем, какую роль Вы отводите мат.физике. В остальном - 100%
[User Picture]
From:[info]bbixob@lj
Date:February 7th, 2007 - 06:28 pm
(Link)
Не могу аргументорованно спорить о матфизике, но мне кажется, что описание верное: естествено, в ней "формализации" сушественно менее случайные, чем в логике; и сушественно более полезные для самой физики...

А вот про логику хотелось бы поспорить;), точнее, обсудить следушее более техническое замечание. Забавно, что в теории моделей игра во многом на том,
что что язык модели на самом деле слаб---для теории стабильности ето вырашается в требовании неопределимости порядка, а более обшо--в требовании
неопределимости вполне упорядочения болшой длины в соотв (возм не первого порядка) языке. Но, с другой стороны, в реальной математике вполне упорядоченные множества как бы и не встречаются (редко)...