Попроси ученого дать определение своей области знаний и не у | Будни Учёного
Попроси ученого дать определение своей области знаний и не услышишь двух одинаковых ответов. А уж если дело касается нормативных наук – этики, эстетики, логики, то ответ может быть в стиле: логика — дырявая ложечка, которой философия пытается вычерпать океан мироздания.
Конечно, логика это некий философский инструмент, да и изучалась раньше как часть философии. Что-то такое древнее, со всякими учеными мужами, которые писали бесконечные трактаты, хочется сказать, что навевает тоску с бесконечного бла-бла-бла; вот только с XX века логика сильно прогрессировала. И оказалась тесно переплетена с … математикой.
Вспомните хоть школьную алгебру с дедуктивными умозаключениями вроде a+b=b+a. Да, это кусочек логики. Если был матан в универе, то в курсе про бесконечное использование кванторов в доказательствах: ∀ - для любого, ∃ - существует, ∃! – существует единственный. Это тоже логика.
Через алгебраическую логику развивалась реляционная алгебра, а из нее – появился язык программирования SQL, который про базы данный. Логику улавливаете?=) Сильно похоже на философию?
