Начиная собирать материалы по логике в различных источниках, я и предположить не мог, что я найду. Пытаясь разобраться в логике, как науке, имеющей тысячелетнюю историю, я сосредоточился на основных составляющих и направлениях логики.
Оказалось, что древняя логика, это поле постоянных военных действий различных теорий, школ и мнений. По многим основным вопросам логики мнения разных специалистов иногда полярны по взглядам и пониманию. Конечно, это удивляет и настораживает.
Но еще больше настораживает постепенная потеря самостоятельности логики. Главная составная часть логики, система понятий, когда-то составляющая основу философии, почти забыта. Она ушла из философии, но и в логике не удержалась.
Если сегодня взять любой учебник по логике, например, [24-28, 30], то мы видим примерно один и тот же объем материала. Видимо, только этот материал сегодня отнесен к логике, которую изучают как студенты, так и специалисты.
Логика, как часть философии, почти не изучается. В ходу только математическая логика. Логика стала начинаться с математики, хотя должно быть наоборот. Потому, что это математика - часть логики. Но мы забыли об этом.
Поразительно, все основные философские построения сделаны на основе логики, да и законы философии сформулированы логикой, а сейчас логика не только ушла из философии, но и почти лишилась большинства понятий, составлявших основу логики.
Сегодня почти все знают, что такое логическое умножение и сложение, а что такое логическое деление? Или как умножить понятие на понятие? А ведь это должна быть нормальная логическая операция. Импликация, как логическая операция очень сильно сместила понятия логического условия, лежащего в основе этой операции.
Что такое классификация, ограничение, определение?
Это логические операции. Как ни странно...
Еще несколько лет назад, когда я только начал потихоньку заглядывать к логику, не математическую, а науку размышлять, то сразу наткнулся на некоторые противоречия. Тогда я, как дилетант, просто констатировал это как мое непонимание чего-то важного и прошел мимо, к следующему изучаемому вопросу. Но нестыковки и противоречия накапливались. Это заставляло внимательнее вчитываться в материалы по логике.
С большим трудом нашел в логике обобщение и ... не нашел его противоположности - детализации или сходного по смыслу понятия. Классификация имеет хоть и близкий, но несколько другой смысл. Операция ограничения, хоть и заявлена, как противоположность обобщения, фактически имеет другое направление действия.
Где в логике причина и следствие? Они обязаны быть здесь, а не в философии или математике. Условие, как логическое понятие, вроде бы есть, а логики условий - нет. События есть, а логики такой нет. Даже операций с событиями нет. Мы говорим, что все должно быть логически обоснованно, а даже понятия обоснования в современной логике найти сложно.
Видимо, когда-то всё это в логике было. Но, с постоянным стремлением к формализации и упрощению логических понятий для их использования как кирпичиков в построениях логики, сложно формализуемые понятия из логики ушли в другие системы знаний с соответствующим изменением смысла, например, в ту же философию.
Математика вообще оставила в своей, математической логике только малую часть логических понятий. Так проще. Потому, что главной в математической логике стала математика. Она и стала диктовать условия и формулировать понятия.
Я не ставил своей целью систематизировать информацию по логике и дать полную картину по её современному состоянию. У меня на это ни знаний, ни времени...
Скорее, собранная информация отражает мое желание показать логику, как науку, имеющую самостоятельный путь развития, не зависящий от навязанной ей односторонней математической направленности, не очень оправданной во многих случаях.
С другой стороны, мне пришлось сразу же разбираться в разных точках зрения по, казалось бы, уже классическим понятиям.
Далее я предлагаю вниманию читателей конспект по результатам моих поисков. Он собран из материалов, найденных в Интернете. О логике, её направлениях, основах, теориях...