Преднаука и научная классика логики.

Логика - философская наука, изучающая логические формы человеческого мышления и законы, которым подчиняется мышление. Логика изучает не конкретное содержание действительности, а мысли о ней, их структуру, то, что является общим для мыслей данного типа, независимо от их конкретного содержания. 

Много различных значений связано со словом “логика”. Логикой мы называем, во-первых, необходимую закономерность во взаимосвязи объективных явлений («логика развития», «по логике вещей» и т.п.); во-вторых, последовательность мыслей («логика рассуждения», «логика мышления») и, наконец, определенную систему знаний, занимающуюся законами достоверного выводного знания. Логика как дисциплина бывает диалектической, математической, прикладной, символической, традиционной, формальной и др.

Имеет 3 основания:

Логика вещей (как онтология) Демокрит: логика развития мира

Логика понятий. Платон. (как гносеология)             

Логика доказательств и опровержений. Аристотель. Логика ведения полемики.

Логика возникла еще в IV в. до н.э., основателем ее считается древнегреческий философ Аристотель. Историю логики можно разделить на два основных этапа: первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию правильного рассуждения, «логику по предмету и математику по методу», как охарактеризовал ее известный русский логик П.С.Порецкий.

В европейской традиции основоположником формальной логики является древнегреческий мыслитель Аристотель. В трудах Аристотеля был заложен каркас логики как науки, сформулированы основные проблемы, решаемые в ней. Прежде всего, это проблема построения теории правильных (дедуктивных) рассуждений, позволяющих из истинных высказываний гарантировано получать истинные следствия. Аристотелем была создана исторически первая дедуктивная система – силлогистика. Эта логика была обогащена многовековой традицией, включающей и стоиков, и средневековых схоластов, и философов, и математиков нового времени, и поэтому её называют традиционной. Формальная логика стала затем основой современной математической логики, а также риторики, лингвистики, программирования. Второй круг проблем – их обычно называют логико-семиотическими - связан с применением языка как средства познания мира и средства выражения мысли. К их числу относятся проблемы выделения категорий языковых выражений в зависимости от типов их значений, а также, установления смыслов и условий истинности и ложности высказываний различных видов. К третьей, логико-методологической группе проблем относится выработка правил осуществления таких познавательных процедур, как определение, классификация, объяснение, полемика, аналогия, и других, а также способов организации систем знания, например научных теорий.

Эпоха античности характеризуется возникновением и интенсивным развитием наук – математики, физики, астрономии, медицины, психологии и других. Появилась потребность осмыслить, что представляет собой процесс познания и вообще умственная деятельность. При этом было понимание того, что сама познавательная деятельность не может стать успешной и эффективной без создания и осознанного применения ее инструментария. Поэтому-то и возникла необходимость ответить на вопросы, в каких формах действительность воспроизводится в мышлении, каковы условия получения истинного знания, как правильно осуществлять те или иные познавательные операции. Особенно остро подобные вопросы вставали в точных науках, например, в геометрии. Здесь особую значимость приобретают требования строгости определений и убедительности доказательств.

За время, прошедшее с момента ее возникновения, логика обогатилась новыми разделами, например индуктивной логикой, основателями которой являются Фрэнсис Бэкон (1561 – 1626) и Джон Стюарт Милль (1806 – 1873); в ее рамках были построены многочисленные дедуктивные теории, для исследования логической проблематики разрабатывались новые методы.

Подлинную революцию в логике совершило применение алгебраических методов, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Однако при всех новациях предмет логического анализа в основном остался прежним. Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой – математизация самой логики как науки. Наиболее глубокую плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646 – 1716). Тем самым он стал, по существу, зачинателем математической (символической) логики.

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский учёный, математик и логик Дж. Буль (1815 – 1864) в своих работах применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление (“Булева алгебра”).