В чем первопричина появления логического исчисления

[_hum_]

epros в сообщении #480487 писал(а):

_hum_ в сообщении #480467 писал(а):

Вот почему люди вынуждены (и вынуждены ли) были прийти к такому языку?

О том, что люди не вынуждены прийти к аксиомам классической логики, свидетельствует успешное существование неклассических логик.

Наверное, настолько же, насколько существование неклассических вариантов геометрии доказывает необязательность евклидовой :)

[epros]

_hum_ в сообщении #481306 писал(а):

Наверное, настолько же, насколько существование неклассических вариантов геометрии доказывает необязательность евклидовой :)

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

Аналогично и с логикой: Есть примеры из физики, когда применение классической логики приводит к реальным трудностям. Это, конечно, не исключает возможности строить непротиворечивые теории в классическом исчислении предикатов, но ...

[Апис]

Автору. Вы задали общий вопрос (откуда взялась логика) и тут же наметили структуру ответа (люди заметили, что в мире между разными объектами существуют отношения. В первую очередь отношения эквиалентности, позволяющие отождествлять разные объекты.) и так далее…
А потом вдруг спохватились, вернулись к началу, и опять задались вопросом, что же нас заставило этим заниматься.( Что же заставило начать приписывать ИСТИНА/ЛОЖЬ для конструкций языка и разрабатывать исчисление высказываний?)
Вернёмся к началу. Как вы выразились посмотреть на проблему с высоты...
(люди заметили, что в мире между разными объектами существуют отношения)
Не отношения, а взаимодействия. Люди не только замечают. Люди стремятся понять структуру взаимодействий, что бы понимая, предвидеть, предсказывать. Понимать, предвидеть, это комфортная жизнь. Не понимаешь, не предвидишь, жизнь не комфортная.
(Что же заставило начать приписывать ИСТИНА/ЛОЖЬ для конструкций языка и разрабатывать исчисление высказываний?)
Ошибки в предвидении результатов взаимодействий. Несбывшиеся ожидания, непредвиденные результаты, и отсюда не комфортная жизнь, которая побуждает исследовать взаимодействия между объектами, что бы понимать, предвидеть, предсказывать результат взаимодействия объектов. Отсюда и взялась логика, да и всё познание.
Что заставило? Жизнь заставила. Стремление к комфортной жизни. Стремление к комфорту душевному в этом числе. Если бы вы задались вопросом, комфортнее ли стала жизнь, после изучения взаимосвязей между объектами, с помощью логики. И получили утвердительный ответ. Это и был бы ответ на ваш вопрос – откуда взялась логика.