Останнім часом істотну увагу приділяється логічному дослідженню процесів формування, росту і розвитку знання. Вони мають загальнонауковий характер, але поки вивчаються переважно на матеріалі природничо-наукових теорій. Були зроблені, зокрема, спроби побудови особливою діахронічеськой логіки для опису розвитку знання.
Сюди належать питання семантики оціночних і нормативних понять, вивчення структури і логічних зв'язків висловлювань про цінності, способів їх обгрунтування, аналіз моральних, правових та ін кодексів і т. д. До них відносяться пояснення, розуміння, передбачення, визначення, узагальнення, класифікація, типологізація, абстрагування, ідеалізація, порівняння, екстраполяція, редукція і т. д.
Цей перелік областей і проблем логічного дослідження наукового знання, що спирається на сучасну логіку не є вичерпним. Він показує як широту інтересів сучасної логіки так і складність стоять перед нею завдань.
Логіка науки, не є ні В«гілкоюВ», ні В«розділомВ» символічної логіки, на відміну від таких розділів останньої, як, напр., багатозначна логіка або логіка часу. Логіка науки не є і особливої В«ДисципліноюВ», існуючої поряд із сучасною логікою, а є лише особливий аспект логіки, пов'язаний з додатком логічних систем до практики наукового теоретизування і виділяється тільки за контрастом з чистим дослідженням формальних побудов (числень).
У сучасній логіці немає розділів, якось по-особливому пов'язаних з наукою; разом з тим всі розділи символічної логіки включаючи і центральний - теорію логічного проходження, так чи інакше, пов'язані з логічним аналізом наукового пізнання. Сучасна логіка взаємодіє з наукою насамперед через методологію наукового пізнання, тому зазвичай говорять не просто про В«логіці наукиВ» (В«логіці наукового пізнанняВ»), а про В«логіці і методології науки В»або проВ« логіко-методологічному аналізі науки В».
У рамках такого аналізу символічна логіка сама по собі не вирішує якихось конкретних проблем методології науки, але логічне дослідження представляє собою, як правило, необхідну передумову, розгляду таких проблем. Сучасна логіка не тільки використовується в методологічному аналізі, а й сама отримує важливі імпульси в результаті зворотного впливу своїх додатків.
Має місце взаємодія логіки й методології в аналізі наукових теорій, а не просте застосування готового апарату до деякого зовнішнього для нього матеріалу. Особливо помітним це стало в останні роки, коли зсув центру інтересів методології науки, від аналізу готового знання до дослідженню росту і розвитку знання, поступово веде до відповідного зміні проблематики як логіки науки, так і сучасної логіки.
Математична логіка не охоплює всіх проблем природної логіки мислення. За формальною логікою залишається її пізнавальна функція і методична роль як науки про закони і форми правильної думки, провідною до утвердження істини.
Символічна логіка знаходить все більш широке застосування в інших науках - не тільки в математиці, а й у фізиці, біології, кібернетиці, економіці, лінгвістиці. Вона призводить до виникнення нових галузей знань (Метаматематика). Особливо вражаюча і наочна роль сучасної логіки в сфері виробництва. Відкриваючи можливість як би автоматизувати процес міркувань, вона дозволяє передати деякі функції мислення технічним пристроям. Її результати знаходять все більш широке застосування в техніці: при створенні релейно-контактних схем, обчислювальних машин, інформаційно-логічних систем і т. д. За образним висловом одного з вчених, сучасна логіка - це не тільки В«інструментВ» точної думки, а й В«ДумкаВ» точного інструменту, електронного автомата. Спеціально відзначимо, що досягнення сучасної логіки використовуються і в правовій сфері. Так, в криміналістиці на різних етапах дослідження проводиться логіко-математична обробка зібраної інформації.
Зростаючі потреби науково-технічного прогресу обумовлюють подальший інтенсивний розвиток сучасної логіки.
4. Завдання
У якому столітті сформувалася логіка в якості самостійної науки?
Логіка сформувалася в якості самостійної науки в IV столітті до н.е.. p> Хто є засновником науки логіки?
Засновником науки логіки є філософ і вчений Аристотель.
У якому трактаті англійський філософ і дослідник Френсіс Бекон розробив проблеми індуктивної логіки? p> Френсіс Бекон розробив проблеми індуктивної логіки в трактаті В«Новий Органон, або Справжні вказівки для тлумачення природиВ» (В«Novum OrganumВ»). p> Хто з російських логіків написав роботу "Про приватних судженнях, про трикутник протилежностей і про закон виключеного четвертого В»?
Роботу В«Про приватних судженнях, про трикутник протилежностей і про закон виключеного четвертого В»написав Н.А. Васильєв. br/>
