В«СимволічнаВ» вказує на вживання в сучасній логіці спеціально створених для цілей логічного аналізу мов формалізованих, які є, так сказати, В«наскрізь символічнимиВ».
Ухвалою В«сучаснаВ» новий етап протиставляється традиційній логіці, відмінною рисою якої було те, що вона користувалася при описі правильних способів міркування звичайним, або природним, мовою, доповненим небагатьма спеціальними символами. Традиційна логіка і сучасна логіка не є різними науковими дисциплінами, а являють собою два послідовних періоди в розвитку однієї і тієї ж науки.
Основний зміст традиційної логіки увійшло в сучасну логіку, хоча багато чого при цьому виявилося переосмисленим. Сучасна логіка з особливою наочністю показала, що розвиток логіки тісно пов'язане з практикою теоретичного мислення і насамперед з розвитком науки. Конкретні міркування дають логіці матеріал, з якого вона витягує те, що іменується логічною формою, логічним законом і т. п. Теорії логічної правильності опиняються в кінцевому рахунку очищенням, систематизацією та узагальненням практики мислення.
Сучасна логіка активно реагує на зміни в стилі і способі наукового мислення, на осмислення його особливостей у методології науки. Сфера додатків сучасної логіки у вивченні систем наукового знання безперервно розширюється. Сучасна логіка з'явилася основою для формування широкої концепції логіки наукового пізнання (логіки науки), що займається застосуванням ідей, методів і апарату логіки до аналізу не тільки дедуктивних, але і всіх інших систем наукового знання.
У 20-ті роки XX ст. предмет логічних досліджень істотно розширився. Почали складатися символічна логіка, що включає безліч розділів: логіка висловлювань, логіка предикатів, імовірнісна логіка і т.д.); модальна логіка, розглядає поняття необхідно, можливо, випадково тощо; деонтическая логіка, вивчає логічні зв'язки нормативних висловлювань; діалектична логіка, що вивчає закони розвитку людського мислення, та ін Деякі ці нові розділи були безпосередньо пов'язані з математикою, у сферу логічного дослідження залучалися вже природні і гуманітарні науки.
У 30-40-ті роки логіка науки інтенсивно розроблялася в рамках філософії неопозитивізму, яка зробила логічний аналіз мови науки основним засобом боротьби з В«дурною метафізикоюВ» і породжуваними нею В«ПсевдопроблемаВ». Неопозитивізм прийняв ідею про беззастережну застосовності сучасної логіки не тільки до математики, а й до досвідченого знання і різко протиставив свою логіку науки традиційному філософському і методологічного дослідженню пізнання. З точки зору неопозитивізму, наукове знання беспредпосилочного, повністю зводиться до безпосереднього досвіду і не залежить ні від В«метафізикиВ», ні від того соціокультурного контексту, в якому існує; наукова теорія розглядається тільки в статиці, аналіз її виникнення і розвитку виноситься за рамки методології; факти вважаються незалежними від теорії і в сукупності складовими той безумовний фундамент, до якого повинні зводитися теоретичні положення.
Всі ці особливості неопозитивистской методології науки - ізоляціонізм, відмова від дослідження наукового знання в динаміці, наївний індукціонізм, емпіричний фундаменталізм і редукціонізм - позначилися не тільки на самій цій методології, але і на що спрямовується нею логічному аналізі наукового знання. Претензійна програма відомості філософії науки до логічного аналізу її мови зазнала краху. Причина цього краху не в принципової незастосовності сучасної логіки до досвідченого знання, а в порочних філософсько-методологічних установках, пов'язаних з фетишизацією формальних аспектів пізнання, абсолютизацією мови та формальної логіки.
неопозитивистская розширювальне тлумачення можливостей сучасної логіки у дослідженні науки було подолано тільки в кінці 50-х - початку 60-х років, коли стало очевидно, що завдання, які висувалися перед сучасною логікою неопозитивізмом, погано поставлені і не мають рішення. Зараз логічний аналіз наукового знання з використанням сучасної логіки активно ведеться в цілому ряді як давно освоєних, так і нових областей.
Найбільш загальним чином їх можна позначити так. Цей розділ досить глибоко розроблений, багато результати, отримані тут (наприклад, Геделя теорема про неповноту досить багатих формалізованих мов та ін) мають принципове філософське і методологічне значення.
До цієї сфери відносяться вивчення логічної структури наукових теорій, способів їх емпіричного обгрунтування, дослідження різного роду індуктивних процедур (індуктивний висновок, аналогія, моделювання, методи встановлення причинних зв'язків на основі спостереження і експерименту і т. п.), труднощів застосування теорій на практиці і т. д. Особливе місце займають проблеми, пов'язані з вивченням смислів і значень теоретичних і емпіричних термінів, з аналізом семантики таких ключових термінів, як закон, факт, теорія, система, вимір, імовірність, необхідність і т. д.
...
