B
Есть логики-математики, есть логики-философы, есть логики-компьютерщики, есть логики-лингвисты и несколько других групп, а также их пересечения
Size: a a a
2021 April 28
B
Всё это — про символьную / формальную логику.
B
Просто логиков — нет.
B
Логики-математики, которые не являются кем-то ещё, характеризуются не тем, что они рассматривают логику, выражаемую в математических терминах
B
Все группы рассматривают такую логику
B
(за исключением также темы informal logic, но её опустим)
B
Логики-математики, которые не являются кем-то ещё, характеризуются также не тем, что они рассматривают логику, интересную для математики
B
Поскольку некоторые другие группы, а также метаматематики (в большей степени это пересечение логиков-математиков и логиков-философов), тоже занимаются логикой, интересной для математики
o⭐
это конечно, оффтпик, но это все равно, что сказать, будто чистой математики нет, а есть только прикладная разных направлений (мат-физика, мат-экономика), что, очевидно, неверно.
B
Нет, аналогия некорректна. Речь не о вопросе теоретических наук, а в социальном распределении области.
B
Логики-математики, которые не являются кем-то ещё, характеризуются именно тем, что для них в самой логике интересны только или, если понимать, что строгих границ нет, преимущественно только те аспекты, которые типично называются математическими.
B
Что значит здесь "математические"
o⭐
социальное разделение конечно иммется, что обусловлено, в конечном итоге, на какой кафедре сидит человек, и в каком журнале публикуется. но если говорить о предмете, то тут сомнительно. у вас получается, что чистой логики нет, а бывают только приложения ея в той же математике, или философии, или в Computer Science.
B
Это то, что относится к тому, что изучают математики как социальная группа. Например, аналитическая топология, теория групп, теория колец, теория чисел — очевидные примеры.
B
Так вот, логики-математики, которые не являются кем-то ещё, интересуются только такими аспектами логики, которые "в духе" теории групп, теории колец, теории чисел, (всё остальное, чем типично профессионально занимаются математики).
B
Я не писал про приложения
o⭐
каждый раз, когда Вы употребляете слово "логика", дальше Вы начинаете говорить про денотат, которым почему-то каждый раз оказываются люди, а не предмет знания. но бог с ним, с денотатом, но ведь не только же он должен быть?
o⭐
Вы сразу перескакиваете к людям, занимающимся приложениями.
B
Приложения можно хоть в молекулярной биологии получить (специальное исчисление процессов — уже)
SM
Между утверждениями "нет логики" и "нет логиков" есть разница, про первое никто и не говорил вроде