ЛОГИКА

— наука о формах, законах и методах правильного (т. с. построенного в соответствии с определенными логическими стандартами) мышления. Различают формальную и содержательную логику. Формальная логика изучает мышление опосредованно, только через репрезентацию его в дискурсе, в языке. Главным предметом формальной логики является правильное рассуждение, то есть такое, которое от истинных посылок в силу только их логической формы ведет к истинным (опять же только в силу их логической формы) заключениям. Современная формальная логика строит и описывает абстрактные (математические) модели (структуры) доказательных рассуждений, поэтому кратко ее определяют как теорию (формального) доказательства, или теорию дедукции. Содержательная логика стремится построить теорию мышления как специфического познавательного процесса, ответственного за продуцирование (конструирование) определенных новых единиц знания (абстрактных и идеальных объектов, эмпирических и теоретических гипотез, научных моделей, теорий, научных дисциплин и др.). Содержательная логика в таком се понимании является имманентной частью теории научного познания, а именно учением о предпосылках, возможностях, механизме и методах научного мышления. Другими названиями содержательной логики являются «логика научного познания», «логика и методология науки», «логика научного исследования», «диалектическая логика», «генетически-конструктивная логика» и др. (См. мышление, рассудок, разум).