мків. Інтенсивні дослідження по Л. н. ведуться в СРСР, США, Польщі, Великобританії, ГДР, ФРН та Італії. Коло основних проблем Л. н. охоплює:
1) вивчення логічних структур наукових теорій;
2) вивчення побудови мистецтв. (Формалізованих) мов науки;
3) дослідження різних видів дедуктивних (див. Дедукція) і індуктивних (див. Індукція) висновків, застосовуваних у природних, соціальних і технічних науках;
4) аналіз формальних структур фундаментальних і похідних наукових понять і визначень;
5) розгляд і вдосконалення логічної структури дослідницьких процедур та операцій і розробка логічних критеріїв їх евристичної ефективності;
6) дослідження логіко-гносеологічного і логіко-методологічного змісту редукції наукових теорій, процесів абстрагування, пояснення, передбачення, екстраполяції і т.п., найбільш часто вживаних у всіх сферах наукової діяльності.
Важливим засобом логічного аналізу систем наукового знання є застосування методів формалізації. Перевага методу формалізації полягає в тому, що він дозволяє виявити логічні зв'язки і відносини і точно фіксує правила, які гарантують отримання найбільш достовірних знань з вихідних посилок цієї теорії, виступаючих після певної логічної обробки в якості аксіом розглянутого формалізму. У разі дедуктивних теорій мова йде про правила необхідного прямування. Дедуктивне побудова теорії найчастіше зустрічається в математиці, теоретичній фізиці, теоретичної біології і в деяких інших тяжіють до них наукових дисциплінах. Правила індуктивних теорій характеризують різні форми імовірнісного прямування. Індуктивні теорії характерні для більшості емпіричних наук, в яких з тих чи інших причин виникають ситуації невизначеності, пов'язані з неповнотою інформації про зв'язки, властивості і відносини досліджуваних об'єктів.
Створення формалізованих систем дозволяє досліджувати ряд найважливіших логічних властивостей змістовних теорій, відображених в даному формалізмі. До них насамперед належать несуперечливість, повнота і незалежність вихідних постулатів даної теорії. Виявлення спільності логічних структур різних в змістовному сенсі наукових теорій відкриває великі можливості для перенесення ідей і методів однієї теорії в область іншої, для обгрунтування можливості відомості однієї теорії до іншої і виявлення їх загальних понятійних і методологічних передумов. Це важливо для уніфікації та спрощення систем наукового знання, особливо в умовах швидкого виникнення і розвитку нових наукових дисциплін.
Особливе місце в Л. н. займають проблеми, пов'язані з емпіричним обгрунтуванням і перевіркою природничонаукових і соціальних теорій і гіпотез. Інтенсивні дослідження в цій області показали неспроможність раннього неопозітівістского принципу повної веріфіцируємості, так само як і критерію фальсифицируемости. Труднощі, які виникли у неопозитивистской Л. н., Залучили увагу багатьох логіків і філософів до проблеми зв'язку та...
