логіка науки
ЛОГІКА НАУКИ — комплекс філософських і формально-логічних досліджень структури наукового знання. Розвиток Л .н. пов'язаний з подоланням кризи в теоретичному природознавстві та основах математики, що виникла на рубежі XIX — XX ст. В теоріях, які вважалися класичними і надійними, виявилися суперечності; некритичне використання деяких понять поставило під сумнів засоби доказу, зокрема в математиці; з'ясувалося, що важливим теоретичним поняттям приписується смисл, несумісний із змістом даних теорій. Л.н. склалась як сукупність методів встановлення точного смислу термінів і тверджень наукових теорій, вивчення міри доказовості кожного з тверджень і аналізу надійності методів доказу. В сучасній науці з високою абстрактністю її побудов та зростаючою складністю логічної структури доказів Л.н. набуває дедалі більшого значення для з'ясування об'єктивної істинності теорій та перспектив їхнього розвитку. Для розв'язання цих важливих питань розвитку наукового знання, його теоретичних структур та емпіричного базису Л.н. використовує різні конкретно-методологічні підходи, в т.ч. метатеоретичні побудови, аналіз регулятивних принципів трансформації теорій, засоби інтерпретації, моделювання й розуміння мови науки. Оскільки важлива частина емпіричних теорій з формального боку не відрізняється по суті від математичних, на дослідження їх перенесено методи, що виправдали себе в математиці. Таким чином, істотно розширяється коло досліджуваних проблем і використовуваних методів та ідей. Фундаментальна для емпіричних теорій проблема співвідношення фактів і теоретичних узагальнень допускає формальний розгляд, але водночас порушує суто філософське питання. Аналіз змісту абстракцій, використовуваних сучасною наукою, з усією повнотою ставить питання про глибину відображення зовнішнього світу в поняттях. Нарешті, найважливіші результати метатеоретичних досліджень не можна зрозуміти без філософського осмислення. Таким чином, аналіз будови наукового знання, міри і характеру його обґрунтованості, форм зв'язку теорії з емпіричним матеріалом неминуче й органічно включає вивчення співвідношення теорії і об'єктивної дійсності. Л.н. стимулює і розвиток формальної логіки, зокрема її некласичних напрямів, і водночас потребує філософського аналізу понятійного апарату науки, узагальнення результатів метатеоретичних досліджень.