Методологическое значение теоретической логики

Любая область научного знания нуждается в обоснованных критериях собственной достоверности. Поиск таких критериев лежит либо в сфере данной науки, либо вне ее. Если первое, то есть математика сама определяет, что значит «доказано», юриспруденция использует «свой» способ классификации, а политология свободна в собственных определениях от правил построения дефиниций в других науках, то приходится принять как должное множественность критериев истинности знаний в науке. Если второе, то вопрос о критерии строгости и достоверности теоретического знания является предметом анализа отдельной теории, «обслуживающей» теоретическую чистоту полученных в науке результатов. Такой особой теорией, обеспечивающей систематичность, строгость и истинность знания в любой области научного познания, является теоретическая логика. Понятия доказательства, классификации, определения не входят в область исследовательских интересов физики, химии или философии. Для данных наук они важны не как понятия, требующие изучения, а как установившиеся в научной практике операции, позволяющие регулировать процесс научного исследования и контролировать его достоверность.
Таким образом, методологическое значение теоретической логики заключается в том, что в сфере ее
исследования разрабатываются, анализируются методологически важные понятия — определение, классификация, доказательство, гипотеза, теория и т. д., которые являются необходимым инструментарием, конкретными операциями научно-исследовательской практики.
Значимость логического анализа методологических понятий, которыми оперирует теоретическое познание, не вызывает сомнений. В истории науки в подтверждение этого можно указать на множество характерных примеров. Выше мы уже ссылались на некоторые из них. Так, диалектические рассуждения античных мыслителей «Летящая стрела» и «Бессмертие Сократа» остаются мощным историко-логическим источником формирования научной концепции понятия времени в современной теоретической физике. Дилемма «момент — интервал» структурирования времени породила ряд исследований и оживленных дискуссий в области анализа понятийного аппарата физической теории. «Парадокс лжеца» стал основой для получения наиболее фундаментальных результатов в основаниях современной математики и методологии научного познания в целом. Используя данное рассуждение, К. Гедель доказал свою знаменитую теорему о принципиальной неполноте формальной арифметики в частности, и любой достаточно богатой формализованной теории в общем случае. Для методологии науки это означает, что любая конкретная систематизация научного знания ограничена, то есть всегда найдется сформулированное в теории утверждение, которое, однако, не доказуемо и неопровержимо в данной теории. А. Тарский доказал аналогичный результат относительного оперирования в теории понятием истинности, определив возможности и границы логического анализа.

Роль логики

Логика - наука о мышлении, об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания.
Функции и задачи логики, которая со времен Канта* называется формальной:
а) каталогизация правильных способов рассуждений, т.е. рассуждений, позволяющих из истинных суждений-посылок получать истинные суждения-умозаключения;
б) создание теорий, в которых изучаются способы рассуждения, приемлемые для каждой теории; логические теории - это есть теории вывода (или теории логического вывода), к ним относятся: классические, интуиционистские, конструктивные, модальные и др.;
в) формализация теорий логического вывода - т.е. создание системы логических исчислений (форм, символов, знаков).
Первые теоретические единицы логики, т.е. единицы мышления - формы, в которых выражается мысль, - это: понятие, суждение и умозаключение. Они являются общезначимыми формами мысли, или мышления, и важнейшей составляющей предмета логики - без понятий, суждений и умозаключений невозможна ни одна логическая теория

6.Понятие как форма мышления. Анализ, синтез, абстрагирование, идеализация как методы формирования научных понятий. Виды понятий. Отношения между понятиями.