Головна |
« Попередня | Наступна » | |
4. Аналітичність і реальність логіки |
||
Логіка як особливий тип знання може бути зрозуміла через розкриття таких її характеристик, як універсальність, апріорність, аналітичність, реальність, нормативність і самоочевидність. Логіка універсальна в тому розумінні, що її закони відносяться до понять взагалі і не мають яких-небудь змістовних обмежень для свого застосування. Як форма мислення, що виникає з його загальної мети, вона єдина для всякого понятійного мислення. Логіка, використовувана в біології, історії та географії, не може відрізнятися від логіки математичних умовиводів, а логіка повсякденного мислення не може відрізнятися від логіки науки. Усюди, де людина прагне виразити деяку істину в поняттях, він підпорядкований єдиними правилами категоріального синтезу, а отже, і єдиній логіці. Інша справа, що в одних науках ми маємо можливість давати точні визначення і будувати складні ланцюги умовиводів і не маємо для цього умов в інших. Різниця тут не в логіці, а в характері визначень, який залежить від предмета науки. Універсальність законів логіки часто ставилася під сумнів. Гегель вважав, що закони діалектики спростовують або, принаймні, обмежують дію законів формальної логіки. А. Бергсон вважав, що формальна логіка не має ніякої сили за сферою дослідження твердих тіл і механічних рухів. Брауер обмежував логіку в її застосуванні до нескінченних множинам. Біркгофф і Нейман претендували на створення особливої логіки квантової механіки, що замінює в цій науці звичайну логіку, тобто вважали можливим зумовити закони логіки типом наукових теорій або характером предмета, до якого вони належать. Всі ці спростування універсальності логіки мають спільну основу: вони виходять з розуміння логічних принципів як деякого роду індуктивних або квазііндуктівних узагальнень, тобто на явному або неявному визнання тези, згідно з яким всі нормативні принципи, що регулюють пізнання, виникають уїз досвіду і є, зрештою, відображенням певних аспектів досвіду. Праксеологіческая теорія логіки відкидає такого роду релятивізм як що суперечить сутності логічного знання. Логіка апріорно, оскільки її принципи не залежать від досвіду в своєму генезі і передують будь-якому акту мислення в якості його попередньої умови. Логіка не базується на психології: її закони відносяться не до станів свідомості і не до операцій мислення, а лише до структурі мови, в якому виражаються результати мислення. Ця структура задається загальної діяльнісної орієнтацією мислення і має не більше відношення до психології, ніж до всякої іншої науці. Закони логіки як закони телеологічні принципово відрізняються від законів досвідчених наук, що мають індуктивний або квазііндуктівний статус. Ми можемо говрріть про апріорність логіки, розуміючи під цим позадосвідне, необхідний і універсальний характер її законів. Найважливішою особливістю логіки є аналітичність її принципів. Теза про аналітичності законів логіки стає досить очевидним вже з простого їх розгляду, яке показує, що кожен такий закон є не чим іншим, як роз'ясненням використовуваних в ньому вихідних смислів, таких як «не», «і», «або» і т. п. Стверджуючи, що з Мх F (x) слід Зх F (x), ми спираємося на інтуїтивно чітке розуміння відносини між цілим і частиною і неприйнятність того положення, щоб деяка ознака, що належить всім об'єктам, не належав би деяким з них. Це суперечило б прийнятому змістом слів «все» і «деякі». Аналітичність логіки виникає з її функції як універсальної мовної норми. Відображення вмісту в судженнях може відбуватися тільки через супідрядність значень на основі попередньо прийнятих смислів, які ми називаємо логічними константами. Органічна зв'язок логіки з онтологією виникає з тієї обставини, що тільки онтологічні уявлення можуть дати систему стабільних і загальнозначущих смислів, що лежать в основі кодування предметного змісту в судженнях, в основі розуміння цих суджень і встановлення безумовних смислових тотожностей між судженнями. Звідси випливає, що принципи логіки - це ті і тільки ті твердження, які роз'яснюють сенс логічних констант. Закони логіки аналітичне, бо вони - не що інше, як опис первинних смислів мови, на основі яких задаються всі інші смисли. Філософи-конвенціоналісти допускають можливість інших логік, бо логіка, на їх думку, може бути змінена як будь-який принцип побудови мови, прийнятий за угодою або сформувався стихійно. Онтологічна теорія логіки виключає таке розуміння як засноване на омані. Ми з'ясували, що закони логіки підпорядковані цільової установці мислення, є розкриттям поняття істини стосовно форми суджень. Це означає, що принципи логіки є аналітичними на двох рівнях: кожен з принципів розкриває значення містяться в ньому констант, і всі принципи разом розкривають гносеологічні визначення істини стосовно форми суджень. Цей другий рівень аналітичності є більш глибоким і визначальним. З цієї точки зору ми можемо зрозуміти ту обставину, що система смислових констант, що лежать в основі логіки, з самого початку формується як певна цілісність, відповідна своєї функції: вона повинна бути загальнозначущої (категоріально визначеній) і достатньо повною для вираження структури можливих суджень. Цільова детермінація логіки ставить її в жорстку кореляцію з онтологією і виключає будь-які зміни, не обумовлені змінами в категопзіпьной структурі мислення. На відміну від математики логіка є системою чисто нормативного знання. Система законів може розумітися або як опис деяких зв'язків в предметі, або як система норм, яким має підкорятися цей опис. Будь визнаний теоретичний закон є одночасно і нормою, і здається природним припустити, що будь-яка норма, у свою чергу, покоїться на деякому теоретичному підставі. Так думав Гуссерль, вважаючи, що і арифметика, і логіка в однаковій мірі є теоретичними дисциплінами. Арифметика має безперечну теоретичну спрямованість: вона націлена на опис ідеальної предметності, на її уявлення в поняттях безвідносно до якої нормативної функції. Гуссерль прав в тому, що нормативність арифметики - явище вторинне, виникаюче на основі її теоретичної зрілості. Аналіз, однак, показує, що принципи логіки з самого початку формуються не як закони опису, а як закони повинності, вони говорять не про те, як пов'язані значення і смисли в практиці мислення, а про те , як вони повинні бути пов'язані відповідно з критерієм істинності. Логіка, таким чином, не відбивна, а телеологічна, чисто нормативна наука, що випливає виключно з цільової орієнтації мислення. Вона являє собою проекцію мети мислення на його мовну форму. У своїй аргументації Гуссерль випускає з уваги наявність універсальної нормативності, що не припускає яких-небудь теоретичних передумов. Світ значень та їх зв'язків - не предмет опису для логіка, а виключно об'єкт нормування. Те ж саме відноситься і до поняття істини. Істинність в логіці не предмет аналізу, а лише цільова інтуїція, т. Тут ми маємо принципову відмінність між арифметикою і логікою як двома понятійними системами, безпосередньо пов'язаними з універсальною онтологією. Будучи онтологічно певної, логіка як наука реалізує особливий тип зв'язку з онтологічної основою, який заснований лише на проясненні її аналітичного аспекту. Якщо арифметику ми можемо зрозуміти як відображення в поняттях ідеально предметних уявлень, то для логіки ми не маємо відповідного позитивного аспекту онтології, з яким вона могла б бути порівняна в якості його теоретичної експлікації. Логіка на відміну від арифметики НЕ експлікує синтетичних істин онтології, а лише прояснює лежать в їх основі фундаментальні (категоріальні) смисли, такі, як «і» (співіснування в часі), «або» (можливий поділ існування в часі) і т. п . Проте, логіка є реальною в сенсі її необхідною корелятивної з універсальною онтологією. Теоретична система є реальною відносно деякого змісту, якщо її принципи осмислені в рамках цього змісту і якщо ця система забороняє деякі ситуації. Ясно, що обидва цих вимоги виконуються у відношенні між логікою і онтологією. Різниця в плані синтетичності-аналітичності принципів тут не суттєво, так як воно говорить не про осмисленості або неосмислених цих принципів, але лише про різному розподілі сенсу (між суб'єктом і предикатом в реченні як лінгвістичної системі) в принципах і в їх системі. Система теоретичного знання вказує нам на деяку градацію типів реальності, що йде від фізики до логіки. Фізична теорія реальна в тому сенсі, що вона має предмет дослідження, який визначає склад її принципів і є основою їх коригування. Первинні математичні теорії володіють квазіпредметом (інтуїтивної основою), який визначає склад їх принципів, але не є джерелом контрприкладів. Система логічних принципів не має предмета в будь-якому сенсі і як чисто нормативна наука визначає свій склад виключно спільною метою знання. Проте її онтологічна основа не може бути оскаржена, бо смисли, які вона фіксує, відносяться до онтології і задають деяку структуру нашого міра30. Логіка фіксує в собі гранично бідне онтологічне зміст. Але це сутнісно необхідний вміст, бо саме воно визначає структуру реальних суджень і забезпечує саму раціт ональних мислення. Онтологічна реальність (означенность) логічних норм є їх сутнісною ознакою і дає нам важливий критерій визначення справжнього складу логіки. Логіка як наука характеризується також особливої самоочевидністю своїх принципів. Ми говоримо, що принципи логіки дані нам з аподиктической очевидністю, підкреслюючи тим самим, що очевидність цих принципів якісно інша, ніж очевидність емпіричних тверджень, обгрунтованих досвідом. Ми з'ясували, що аподиктичні очевидність - це очевидність праксеологіческая, особлива очевидність, що має деятельностное походження. Аналіз прак-сеологіческіх витоків логічної очевидності дозволяє зрозуміти її обгрунтовуючих статус. З цієї точки зору є безумовно істинним положення Гуссерля про те, що самоочевидність принципів логіки є їх істинним і повним обгрунтуванням.
|
||
« Попередня | Наступна » | |
|
||
Інформація, релевантна " 4. Аналітичність і реальність логіки " |
||
|