логика, цель логики, предназначение логики
вынесу сюда свой пост из дискуссии
Логика: цель и предназначение
https://mp-gratchev.livejournal.com/175855.html?thread=1402607#t1402607
==============
1. Что такое логика?
логика это формальная система преобразования цепочек символов по строим правилам
2. Какова цель логики?
цель логики делать правильные преобразования, а не абы какие, не произвольные
каким свойством должны обладать эти преобразования?
они должны истинные цепочки оставлять истинными
3. Каково назначение логики?
моделировать,
т.е. предсказывать правильное, если цепочка преобразований отталкивалась от начальных правильных цепочек
таким образом создаются непротиворечивые описания теоремы,
которые помогают описывать реальность
-----------
видите как разнятся наши взгляды
и вот созданные таким образом логики могут служить моделями для правильного размышления естественного или искусственного
и с этой точки зрения логика не отличается от арифметики
мат.языком можно еще так сказать
логика это исчисление, ИСЧИСЛЕНИЕ, ФОРМАЛЬНАЯ СИСТЕМА!!!
исчисление высказываний, исчисление предикатов
ну и логика как строгое мат.исчисление вполне может служить моделью для рассуждений, для мышления
ну а исторически логика возникла как "нормативная наука, о формах и приемах рассуждений, осуществляемых с помощью языка"
=================
Логика: цель и предназначение
https://mp-gratchev.livejournal.com/175855.html?thread=1402607#t1402607
==============
1. Что такое логика?
логика это формальная система преобразования цепочек символов по строим правилам
2. Какова цель логики?
цель логики делать правильные преобразования, а не абы какие, не произвольные
каким свойством должны обладать эти преобразования?
они должны истинные цепочки оставлять истинными
3. Каково назначение логики?
моделировать,
т.е. предсказывать правильное, если цепочка преобразований отталкивалась от начальных правильных цепочек
таким образом создаются непротиворечивые описания теоремы,
которые помогают описывать реальность
-----------
видите как разнятся наши взгляды
и вот созданные таким образом логики могут служить моделями для правильного размышления естественного или искусственного
и с этой точки зрения логика не отличается от арифметики
мат.языком можно еще так сказать
логика это исчисление, ИСЧИСЛЕНИЕ, ФОРМАЛЬНАЯ СИСТЕМА!!!
исчисление высказываний, исчисление предикатов
ну и логика как строгое мат.исчисление вполне может служить моделью для рассуждений, для мышления
ну а исторически логика возникла как "нормативная наука, о формах и приемах рассуждений, осуществляемых с помощью языка"
=================