Історія І сучасність. (4 год.) Виникнення І генезис поняття логіки
Вид материала | Документы |
- Реферат з логіки на тему:, 80.53kb.
- Робоча навчальна програма дисципліни за вільним вибором студентів для студентів спеціальності, 284.56kb.
- Робоча програма навчальної дисципліни християнство в Україні: історія І сучасність, 2237.32kb.
- Питання до державного іспиту з теорії, історії та методології соціальних комунікацій, 33.52kb.
- Тема Шлюб Поняття та ознаки шлюбу. Конкубінат: історія та сучасність, 32.28kb.
- Реферат на тему: Гроші, виникнення грошей, історія виникнення грошей, 85.78kb.
- Міністерство освіти та науки україни міністерство охорони здоров`я україни сумський, 1131kb.
- Історія виникнення та віровчення зороастризму” зміст, 529.41kb.
- Робоча навчальна програма для студентів спеціальності 030300 Історія Затверджено, 404.76kb.
- Поняття маркетингу та історія розвитку маркетингу, 102.96kb.
1 2
4. Особливості загальної або традиційної (арістотелівської) логіки.
Під терміном "загальна традиційна (арістотелівська) логіка" об'єднують: античну логіку, в становлення і розвиток якої зробили внесок Парменід, Зенон Єлейський, Сократ, Платон, Арістотель, Теофраст, Хрісипп та інші античні філософи; схоластичну логіку, в розвиток якої на підставі античної логіки зробили внесок М.Пселл, Р.Луллій, Р.Декарт та ін.1
Особливості загальної або традиційної логіки полягають в слідуючому:
а) досліджуючи форми і закони мислення, вона лише частково абстрагується від гносеологічного змісту думок, тобто зміст думок враховується при аналізі структури (побудови) мислення;
б) при зображенні структури думок використовується природна мова і частково штучна (формалізована) мова, тобто особлива система знаків і символів. Використання особливої штучної знакової системи для зображення структури мислення отримало назву "метод формалізації", сутність якого буде розглянута у розділі 3;
в) досліджуючи форми і закони мислення, загальна, традиційна логіка оперує поняттями "правильне мислення" і "неправильне мислення". Правильним у традиційній логіці називають мислення, яке підпорядковується законам логіки, відповідно, неправильним — мислення, яке порушує ці закони. На підставі логічних законів у традиційній логіці формулюються основні правила, яким має підкорятися людське мислення, щоб його результат, а саме людська думка, була логічною, тобто правильною. У цьому значенні традиційна логіка є нормативною наукою, оскільки вона вказує, як потрібно правильно мислити і які існують умови для досягнення істини у процесі пізнання;
г) загальна традиційна логіка є двозначною (бівалентною) логікою, оскільки вона оперує двома логічними категоріями "істина" і "хибність". При цьому вона абстрагується від тих конкретних умов, за якиходне і те ж висловлювання може бути істинним, а може бути хибним;
д) загальна традиційна логіка є логікою "готового" знання, якрезультату пізнавального процесу. Знання зображується в ній у певних логічних формах (поняттях, судженнях, умовиводах) і розглядається як результат абстрагуючої діяльності мислення людини. Аналіз цього знання здійснюється через природну мову, за допомогою якої люди висловлюють свої думки.
5. Особливості символічної або математичної логіки.
Під терміном "символічна (математична) логіка" об'єднують різноманітні логічні теорії (системи знання), які при дослідженні форм і законів мислення повністю абстрагуються від конкретного змісту думок; при зображенні структури мислення використовують особливу систему знаків і символів (штучну або формалізовану) мову; досліджують міркування, розсуди як необхідний перехід від одних висловлювань до інших (термін "логіка" у вузькому значенні) і при цьому правильність розсудів незалежна від змісту цих висловлювань; оперують категоріями "істинне значення висловлювання" і "хибне значення висловлювання", які не завжди мають гносеологічний зміст (аналіз цих категорій буде наведено в розділі V).
Вперше основи символічної логіки були розроблені ще німецьким філософом, логіком і математиком Г.В.Лейбніцем (1646-1716), а як самостійна наукова дисципліна вона стала формуватися з середини XIX ст. в результаті наукових досліджень таких видатних математиків і логіків як Дж. Буль, Г.Фреге, А. де Морган, Е.Шредер, Б.В. Рассел, А.Уайтхед, П.Порецкий та ін. Г.В.Лейбніц висунув ідею про можливість виразити логічну операцію доведення (обгрунтування істинності певного висловлювання за допомогою інших істинних висловлювань) у формі математичного числення, використовуючи особливу мову, яка б, на відміну від природної мови, могла більш точно і однозначно виражати форми мислення (поняття, висловлювання, умовиводи) і зв'язки між формами мислення.
Англійський логік і математик Дж.Буль (1815-1864) розробив історично першу систему математичної логіки, яка отримала назву "алгебра логіки", або "булева алгебра", в якій він застосував символіку алгебри до логічних досліджень форм і законів мислення.
Німецький логік, математик, філософ Г.Фреге (1848-1925) вперше побудував строге аксіоматичне числення висловлювань і предикатів та обгрунтував можливість логічної формалізації арифметики.
Таким чином, символічна (математична) логіка виникла на межі логіки і математики в результаті використання математичних методів в логічних дослідженнях (математизація, алгебраїзація логіки) і логічного методу формалізації в математиці ("логіцизм").
Класична символічна логіка включає в себе такі розділи (напрями) як логіка висловлювань і логіка предикатів. Логікою висловлювань або пропозиційною логікою називають розділ сучасної символічної логіки, який вивчає функціонально-істинностні взаємозв'язки між висловлюваннями та принципи і правила формалізації цих взаємозв'язків. Логікою предикатів або кванторною логікою називають розділ сучасної символічної логіки, який вивчає суб'єктно-предикатну структуру висловлювань та обумовлені цією структурою функціонально-істинностні взаємозв'язки між висловлюваннями.
Особливістю класичної символічної логіки є те, що вона: а) при дослідженні структури форм мислення використовує особливу штучну (формалізовану) мову, яка отримала назву — "мова логіки висловлювань" та "мова логіки предикатів"; б) на підставі цієї мови формулює пропозиційні формули, які позначають логічні відношення між висловлюваннями"; в) формулює формули, які виражають логічні закони; г) будується за принципом двозначності, тобто приписує кожному висловлюванню одне з двох значень: "істинне значення" або "хибне значення". Саме тому класичну символічну логіку називають двозначною чи бівалентною (як і загальну традиційну логіку); д) являє собою дуже високий рівень абстрагування від природнього процесу мислення. Це призвело до того, що для визначення змістовного значення штучної символіки і побудованих за її допомогою формул стало необхідним їх роз'яснення, тлумачення або інтерпретація. В сучасній логіці під інтерпретацією (лат. - іпіегргеіаііо -тлумачення, пояснення) формально-логічної теорії (системи знання) розуміють встановлення певної відповідності між формалізованою мовою цієї теорії і певною предметною сферою, яка може бути зображена на цій мові.
Некласична символічна логіка включає в себе різноманітні логічні теорії ("багатозначна логіка", "модальна логіка", "паранесупе-речлива логіка", "інтуїціоністська логіка", теорія "логічного слідування", "індуктивно-ймовірністна логіка" та ін.). Перші некласичні логіки (логічні системи знання) з'явилися в першій половині ХХст. у результаті наукових досліджень таких логіків як Я.Лукасевич, Е.Пост, К.Льюїс, А.Гейтінг та ін.
Особливістю некласичної символічної логіки є те, що вона: а) використовує поняття, принципи і методи, які відрізняються від тих понять, принципів і методів, які використовуються в класичній логіці. (Такі логічні теорії, які в чомусь мають розбіжність із класичною логікою, ще називають девіантними.1); б) будує формально-логічні теорії на нових принципах (принцип багатозначності висловлювань, модальності, релевантності та ін.) і аксіомах; в) створює і використовує якісно нову формалізовану мову для виразу "нестандартних" взаємозв'язків між висловлюваннями; г) оперує п>2 істин-ностними значеннями висловлювань.
6. Теоретична і практична логіка.
Крім перерахованих типів логік, які виникли історично, існує інша класифікація типів логік, тобто, вирізнють теоретичну і практичну логіку.
Засновник науки логіки Арістотель розглядав логіку як теоретичну частину філософії. У філософії Арістотель вирізнив дві частини: практичну і теоретичну. Практична включає етику і політику; теоретична — фізику і логіку.
Історично поділ науки логіки на теоретичну і практичну вперше був здійснений німецьким філософом І.Кантом (1724-1804). Оскільки в епоху, коли жив і творив І.Кант, була відома лише загальна традиційна (арістотелівська) логіка, то він поділив загальну логіку на "чисту" і "прикладну". "...В чистій логіці ми відвертаємося від усіх емпіричних умов, при яких діє наш розсудок, наприклад, від впливу відчуття, від гри уяви, законів пам'яті, сили звички, схильностей і т.д., отже, й від джерел забобонів. Загальна але чиста логіка має справу виключно лише з апріорними принципами і являє собою канон розсудку і розуму... Загальна логіка називається прикладною тоді, коли вона розглядає правила використання розсудка при суб'єктивних емпіричних умовах, які вказує нам психологія. Отже, вона містить в собі емпіричні принципи... Вона є тільки засіб очищення буденного розсудку, але не канон розсудку взагалі і не органон часткових наук".2
Поділ логіки на теоретичну ("чисту") і практичну ("прикладну"), здійснений І.Кантом, був розвинутий німецьким філософом Регелем, а відтак іншими філософами і логіками.
Г.Регель (1770-1831) розглядав логіку у своїй системі філософських наук. "Логіка є наука про чисту ідею, тобто про ідею в абстрактній стихії мислення... є наука про мислення, про його визначення і закони..."1, а "інші філософські науки — філософія природи, філософія духа, навпаки, являються ніби прикладною логікою, оскільки остання є їх животворна душа..."
В наш час до теоретичної логіки відноситься не лише загальна традиційна логіка, але й усі інші типи логік, про які вже йшлося.
Теоретична логіка — це певна логічна система знання (теорія) або сукупність логічних теорій, які побудовані на певних принципах і аксіомах засобами природної і особливої штучної (формалізованої) мови. До теоретичних логік відносяться всі історичні типи логік — загальна або традиційна, класична символічна (логіка висловлювань, логіка предикатів), некласичні символічні логіки — модальна, багатозначна, пара несуперечлива, інтуїціоністська та ін. В наш час розробляються нові логічні теорії.
Особливість теоретичної логіки (під якою розуміється сукупність різноманітних формально-логічних теорій) полягає в тому, що логіки створюють її засобами особливої мови й вона являє собою "сильну" абстракцію або абстрактно-знакову модель. В результаті створення такої моделі (теорії) виникає специфічна логіко-філософська проблема — співвідношення формалізованої логічної теорії і конкретної предметної галузі, тобто практичного використання логічних систем знання в певній предметній діяльності людей.
Практична логіка. Цей термін має декілька значень:
- В значенні "стихійна логіка". Під стихійною логікою розуміють природній процес мислення людей, коли вони здійснюють практичну і теоретичну діяльність і цей процес об'єктивно підпорядковується певним законам мислення, які встановлює і вивчає теоретична логіка. І в цьому значенні у людей більш розвинута практична або стихійна логіка. Наприклад, не вивчаючи якусь теоретичну логіку, люди можуть мислити логічно. Основою "стихійної" логіки в мисленні людей є ідеальне відображення і засвоєння структур пізнавальної діяльності в логічних формах і законах.
- Як прикладна логіка, тобто використання теоретичної логіки у конкретному мисленні людей. Усі науки мають прикладне значення, тобто знання, яке здобуто наукою, використовується як метод пізнання і перетворення дійсності. В цьому значенні логіка виконує методологічну функцію. Теоретична логіка формулює певні принципи і правила логічного мислення, а практична логіка формулює умови і засоби використання цих правил у процесі конкретної розумової діяльності людей.
3) Як певна сукупність логічних теорій або напрям сучасних логічних досліджень, які вивчають і формалізують висловлювання з оператором "має намір" ("прагне", "бажає", "здатен", "може", "хоче" та ін.).' До практичних логік (формально-логічних теорій) відносяться "логіка дії", "логіка прийняття рішень", "логіка вибору", "логіка переваги", "логіка діалогу", "евристика", "праксіологія", "конфліктологія" та ін.
Запитання
- Що Вам відомо про виникнення терміна «логіка» («логос»)?
- Що Вам запам'яталося з історії логіки Давньої Індії?
- Хто є основоположником формальної логіки (традиційної)?
- Які праці Арістотеля були присвячені проблемам логіки?
- Що Вам відомо про внесок у науку логіку Демокріта, Зенона Елейського, Сократа та його учнів, насамперед Платана?
- Що характерно для логіки середньовіччя?
- Що Вам запам'яталося з історії логіки епохи Відродження?
- Якими новими ідеями збагатили логіку мислителі нового часу?
- Яка заслуга Гофріда Лейбніца в розвитку сучасної логіки?
- Що означають терміни «традиційна логіка» і« сучасна логіка»,«класична логіка» і «некласична логіка»?
- Що Вам відомо про вклад Регеля в створення діалектичноїлоігки?
- Якими новими ідеями збагатили логіку Джордж Буль, Огас-тес де Морган, Готліб Фреге, Чарлз-Самдерс Пірс, Давид Гільберт, Альфред-Норт Уайтхед, Бертран Рассел, Джузеппе Пеано, ПлатонПорецький?
- В якому столітті праці античних мислителів з логіки стали відомими в Київській Русі?
- Яке місце займав курс логіки у програмі Києво-Могилянськоїакадемії?
- Яка заслуга Олександра Потебні в розвитку логіки?
- Які Ви знаєте наукові праці з логіки, написані українськимивченими?
- Які Ви знаєте підручники і навчальні посібники з логіки, підготовлені українськими фахівцями?