Логіка науки , в спеціальному сенсі дисципліна, що застосовує поняття і технічний апарат сучасної логіки до аналізу систем наукового знання. Термін «Л. н.» часто уживається також для позначення законів розвитку науки (логіка наукового розвитку), правив і процедур наукового дослідження (логіка дослідження), вчення про психологічні і методологічні передумови наукових відкриттів (логіка наукового відкриття).
Л. н. як спеціальна дисципліна почала розвиватися в 2-ій половмни 19 ст і остаточно оформилася в 1-ій чверті 20 ст під впливом ідей Р. Фреге, Би. Рассела і Л. Вітгенштейна . Інтенсивно Л. н. займалися учасники Віденського кухоль під керівництвом М. Шліка і членів Берлінського суспільства наукової філософії під керівництвом Р. Рейхенбаха, а також ін. філософи, дослідники природи і математики (До. Поппер, В. Дубіслав і ін.). Оскільки в переважній більшості вони стояли на позиціях неопозітівізма, то впродовж багатьох років було широко поширено думку, що Л. н. є специфічно позитивістським підходом до філософського і методологічного аналізу наукового знання. Проте в дійсності неопозітівістськая інтерпретація Л. н. є приватним варіантом її філософського тлумачення.
В розробці сучасної Л. н. активну участь беруть філософи і логіки, що стоять на позиціях діалектичного матеріалізму, а також представники неопозітівізма, прагматизму і неотомізма, філософії лінгвістичного аналізу і ін. напрямів. Інтенсивні дослідження по Л. н. ведуться в СРСР, США, Польщі Великобританії, ГДР(Німецька Демократична Республіка), ФРН(Федеральна Республіка Німеччини) і Італії. Круг основних проблем Л. н. охоплює: 1) вивчення логічних структур наукових теорій; 2) вивчення побудови мистецтв. (формалізованих) мов науки; 3) дослідження різних видів дедуктивних (див. Дедукція ) і індуктивних (див. Індукція ) виводів, вживаних в природних, соціальних і технічних науках; 4) аналіз формальних структур фундаментальних і похідних наукових понять і визначень; 5) розгляд і вдосконалення логічної структури дослідницьких процедур і операцій і розробка логічних критеріїв їх евристичної ефективності; 6) дослідження логико-гносеологічного і логико-методологічного вмісту редукції наукових теорій, процесів абстрагування, пояснення, передбачення, екстраполяції і т. п., найчастіше вживаних у всіх сферах наукової діяльності.
Важливим засобом логічного аналізу систем наукового знання є вживання методів формалізації . Перевага методу формалізації полягає в тому, що він дозволяє виявити логічні зв'язки і стосунки і точно фіксує правила, що гарантують здобуття найбільш достовірних знань з вихідних посилок даної теорії, промовців після певної логічної обробки як аксіоми даного формалізму. В разі дедуктивних теорій йдеться про правилах необхідного дотримання. Дедуктивна побудова теорії найчастіше зустрічається в математиці, теоретичній фізиці, теоретичній біології і в деяких інших наукових дисциплінах, що тяжіють до них. Правила індуктивних теорій характеризують різні форми імовірнісного дотримання. Індуктивні теорії характерні для більшості емпіричних наук, в яких по тих або інших причинах виникають ситуації невизначеності, пов'язані з неповнотою інформації про зв'язки, властивості і стосунки досліджуваних об'єктів.
Створення формалізованих систем дозволяє досліджувати ряд найважливіших логічних властивостей змістовних теорій, що відображують в даному формалізмі. До них перш за все відносяться несуперечність, повнота і незалежність вихідних постулатів даної теорії.
Виявлення спільності логічних структур різних в змістовному сенсі наукових теорій відкриває великі можливості для перенесення ідей і методів однієї теорії в область інший, для обгрунтування можливості зведення однієї теорії до іншої і виявлення їх загальних понятійних і методологічних передумов. Це поважно для уніфікації і спрощення систем наукового знання, особливо в умовах швидкого виникнення і розвитку нових наукових дисциплін.
Особливе місце в Л. н. займають проблеми, пов'язані з емпіричним обгрунтуванням і перевіркою природничонаукових і соціальних теорій і гіпотез. Інтенсивні дослідження в цій області показали неспроможність раннього неопозітівістського принципу повної веріфіцируємості (див. Верифікація ), так само як і критерію фальсифіцируємості. Скрута, що виникла в неопозітівістськой Л. н., привернули увагу багатьох логіків і філософів до проблеми зв'язку і взаємодії логічних структур із структурами наочно-експериментальної практичної діяльності, що зумовило цілий ряд нових підходів до Л. н. Цим в значній мірі пояснюється інтерес, що намітився серед зарубіжних логіків, до принципів теорії пізнання діалектичного матеріалізму.
Особливого інтересу набувають дослідження по логічній семантиці, присвячені вивченню сенсів і значень теоретичних і емпіричних термінів в мовах різних наук. Виявлення того, що так звані предикати, за допомогою яких виражаються поняття і формулюються закони певних наукових теорій, не зводяться вичерпним чином до предикатів спостереження, що фіксують результати безпосередніх наукових спостережень і експериментів, висунуло цілий ряд складних проблем. Найважливішими серед них є проблеми логічного аналізу словників різних наук, правил переведення мови теорії на мову спостережень, дослідження взаємодії і співвідношення природних і штучних мов і так далі У зв'язку з цим особливої важливості набувають роботи по вивченню семантики загальнонаукових термінів, таких, як «система», «структура», «модель», «вимір», «вірогідність», «факт», «теорія» і так далі Багатозначність і різні способи їх вживання, що виявилися у зв'язку з швидким розвитком кібернетики, структурної лінгвістики, теорії систем і т. п., роблять логико-методологічній аналіз найважливішою передумовою ефективної реорганізації і евристичної корисності подібних понять.
Останній період (з кінця 50-х рр.) був переломним для розвитку Л. н. не лише унаслідок усвідомлення принципової обмеженості її неопозітівістськой інтерпретації, але також і внаслідок того, що в цей період були зроблені найбільш значні кроки для поширення ідей і методів логічного аналізу на область соціальних наук. Інтенсивні дослідження ведуться у сфері вивчення мови, структур і правил міркування правових, етичних і частково соціологічних теорій. Досягнуті значні результати в логіці рішень, логіці норм і оцінок, логіці систем і так далі В цих галузях сучасної Л. н. широке поширення знаходять технічні і понятійні засоби тих розділів символічної логіки, які прийнято називати некласичними (різні види багатозначних логік, модальні логіки, логіка імовірнісних і статистичних міркувань і т. п.). Проте вживання Л. н. до ряду суспільних дисциплін натрапляє на значні труднощі, зв'язані, з одного боку, із складністю закономірностей і теоретичних структур цих наук, а з іншої — з недостатньою розробленістю або відсутністю адекватного математичного апарату. Тому подальший розвиток Л. н. вимагає посилення досліджень в області символічної логіки у всіх її всіляких видах.
В СРСР дослідження по Л. н. найінтенсивніше ведуться в інститутах філософії АН(Академія наук) СРСР, АН(Академія наук) УРСР, АН(Академія наук) Грузинською РСР, на філософських факультетах Московського, Ленінградського і Тбіліського університетів.
Літ.: Проблеми логіки наукового пізнання, М., 1964; Логіка наукового дослідження, М., 1965; Зіновьев А. А., Основи логічної теорії наукових знань, М., 1967; його ж, Логіка науки, М., 1971; Копнін П. Ст, Логічні основи науки, До., 1968; Попович М. Ст, Про філософський аналіз мови науки, До., 1966; його ж, Логika i наукове пiзнання, До., 1971; Ракитов А. І., Анатомія наукового знання. (Популярне введення в логіку і методологію науки), М., 1969; його ж, Курс лекцій за логікою науки, М., 1971; Smart Н. R., The logic of science, N. Y. — L., 1931; Northrop F. S. C., The logic of the sciences and the humanities, N. Y., 1948; Popper K. R., The logic of scientific discovery, N. Y., 1959; Harre R., An introduction to the logic of the sciences, L. — N. Y.; 1966; Durbin P. R., Logic and scientific inquiry, Milwaukee, 1968.
