Логіка - Карамишева Н. В. - Розділ 3. ТРАДИЦІЙНА ЛОГІКА
У цьому розділі подано виклад традиційної логіки як системи логічного знання. Традиційна логіка визначається як систематизація й узагальнення практики розумово-мовленнєвої діяльності людей, що здійснювали філософи та логіки з часів античності й дотепер. На підставі логіко-семантичного аналізу міркувань історично формувалася мова науки логіки, логічна термінологія, створювалася штучна символіка, визначалися логічні операції й певні логічні феномени (паралогізми, софізми, парадокси) та ін.
3.1. Мова науки логіки
Логіка повинна турбуватися про себе сама.
Л. Вітгенштайн
Кожна наука становить систему знання, що зображено певною мовою. Філософи, логіки, математики, які створювали різні типи логік (логічні теорії) та здобували знання про способи і види міркувань, форми і закони абстрактно-логічного, раціонального мислення, методи пізнання, створили особливу мову для адекватного зображення логічного знання.
Дослідження особливостей логічної мови здійснюється на рівні металогіки.
Логічна мова - мова науки логіки створена для адекватного зображення логічного знання; система символів, за допомогою якої моделюється логічне знання про об'єкт, що досліджує наука логіка на певному етапі її історичного розвитку.
Логічний символ - елемент мови науки логіки. Це умовний знак, який має своє означення та позначення і який використовують для моделювання логічного знання, побудови певної формальної системи, виконання операції формалізації змістовної теорії. Сукупність символів називають логічною символікою. Вона складається зі символів (літер грецького та латинського алфавіту) й особливих символів для позначення логічних операцій, встановлення певного типу відношень між об'єктами міркувань.
Таблиця логічних символів
Логічні символи поділяють на основні й допоміжні (технічні, розділові). Кожен логічний символ має назву і формальне позначення.
У табл. 3.1 в алфавітному порядку подано символи, котрі будуть визначені у цьому розділі; у дужках вказані варіанти символів, які використовують у логічній літературі. Інші символи розглянемо в контексті викладання сучасної символічної логіки (див. 4)
Таблиця 3.1. Логічні символи
Мова сучасної логіки поділяється на такі види:
1. Формалізована мова і не формалізована мова.
Формалізована мова - система особливих символів, що створюють методом формалізації (за допомогою цієї системи символів формалізується знання про емпіричні й абстрактні об'єкти, які вивчає наука логіка); формальна система разом з інтерпретованою семантичною моделлю; числення (класів, висловлювань, предикатів тощо) на підставі алфавіту особливо створеної мови. Складовими частинами формалізованої мови є семантична та синтаксична мови. До семантичної належать логічні символи, які позначають терміни, висловлювання, властивості, відношення, дескрипції, значення істинності висловлювань, до синтаксичної - логічні символи, що позначають пропозиційні змінні, пропозиційні зв'язки, логічні операції та ін. (див. 4).
Неформалізована мова - система логічних термінів, котрі відображають логічне знання про об'єкти дослідження науки логіки - міркування (розумово-мовленнєва діяльність) людей; система термінів, за допомогою якої створюють дескриптивну модель про об'єкт, який досліджує наука логіка на певному етапі її історичного розвитку.
До логічних термінів, що відокремлюють сферу логічного, належать: емпіричний об'єкт; абстрактний об'єкт; логічна форма; логічний закон; термін; поняття; висловлювання; умовивід; істинність; хибність; властивість; відношення; слідування; виведення; доведення; спростування; логічна операція та ін.
2. Мова певного типу логіки.
Кожний тип логіки складається з особливих термінів, які у взаємозв'язку виражають систему знання, що сформувалася на певному етапі розвитку науки логіки.
Історично першою системою логічного знання є традиційна логіка. її мова складається з неформалізованої мови (системи логічних термінів) та елементів формалізованої мови - символів для позначення чотирьох видів атрибутивних висловлювань і термінів, що входять до структури певного виду категоричних силогізмів (див. 3.4). До термінів традиційної логіки належать: форма мислення; закон мислення; термін; поняття; судження (висловлювання), ствердження; заперечення; суперечність; несуперечність; тотожність; підстава; слідування; виведення; умовивід; модус; дедукція; індукція; аналогія та ін.
Виникнення символічної логіки зумовило:
- надання нового змісту логічним термінам, які були введені в традиційну логіку, починаючи з часів її створення в IV ст. до н. е.;
- уведення нових термінів, котрі адекватніше відображали її особливості (про терміни символічної логіки див. 4).
Нові логічні теорії (некласичні логіки) почали формуватися з 20-х роках XX ст. і розвиваються в XXI ст. Вони використовують формалізовану та неформалізовану мови класичної логіки і вводять нові терміни, що відображають ту предметну галузь, яку досліджує сучасна логіка, і символи для позначення цих термінів.
3. Семантична і синтаксична мови певної логічної теорії.
У певній логічній теорії як системи знання вирізняють семантичні й синтаксичні аспекти (семантику та синтаксис).
Семантична мова містить такі терміни: клас; висловлювання; властивість; відношення; істина; хибність; істиннісне значення висловлювання; інтерпретація.
Синтаксична мова послуговується термінами: слідування, виведення, доведення та ін.
4. Метамова
Специфічна мова, яку створюють для опису й аналізу об'єктної мови.
Метамова сучасної логіки - це система особливих термінів, що створюють на рівні металогіки з метою опису й аналізу об'єктної мови конкретних логічних теорій (формально-логічних систем). Метамова поділяється на формалізовану і неформалізовану мови. Неформалізована мова вміщує мета логічні терміни, а формалізована - своєрідні символи для позначення властивостей і відношень (див. 4.1). Як приклад назвемо такі метатерміни та їх символічне позначення:
Метависловлювання - висловлювання, яке вказує на інше висловлювання і дає його логічну характеристику. Так, на підставі висловлювання "Київ - столиця України", символічний вираз якого Р(а), де а - індивідний термін (позначає суб'єкта висловлювання - "Київ"), Р - предикат (позначає властивість "бути столицею України"), можна побудувати різні метависловлювання:
1. Висловлювання Р(а) - істинне.
2. Висловлювання Р(а) - хибне.
3. Висловлювання "Висловлювання Р(а) - істинне" - істинне.
4. Висловлювання "Висловлювання Р(а) - хибне" - хибне.
Метаоператор - символ, який використовують для побудови метасимволів - метатермінів і метависловлювань. До метаоператора належать лапки - " ", що ставлять над символом. Наприклад: "Слово "логос" має багато смислів".
Метасимвол - символ, який позначає інші логічні символи, терміни, висловлювання, змінні, формули тощо. До метасимволів належать: метаоператор; метависловлювання; метазмінна.
5. Логічна схема (діаграма)
Наочна модель, яку створюють для зображення абстрактних відношень між поняттями та висловлюваннями за допомогою геометричних фігур (коло, прямокутник, квадрат, трикутник і под.). До логічних схем належать: кола Ейлера; діаграми Венна; "логіко-семантичний трикутник"; "логічний квадрат"; "фігури силогізму"; "таблиця розподіленості термінів у атрибутивному висловлюванні"; "таблиця істинності для складних висловлювань" та ін. (згадані схеми будуть використані при викладі логічної теорії у відповідних розділах).
Схожі статті
-
Логіка - Карамишева Н. В. - Семіотична концепція мови
Мова для філософів XX ст. виявляється реальністю, що приховує таємниці буття, як для філософів XVII-XIX ст. - мислення. А. Лосєв Термін "мова" залежно...
-
Логіка - Карамишева Н. В. - 2.2. Мова як знакова система
Мова для філософів XX ст. виявляється реальністю, що приховує таємниці буття, як для філософів XVII-XIX ст. - мислення. А. Лосєв Термін "мова" залежно...
-
Логіка - Карамишева Н. В. - Розділ 1. ЛОГІКА В СИСТЕМІ ФІЛОСОФСЬКОГО ПІЗНАННЯ СВІТУ
Історично логіка формувалася як складова частина філософського пізнання світу в єдності з онтологією (теорією буття), гносеологією (теорією пізнання) й...
-
Логіка - Карамишева Н. В. - 2.3. Мова як репрезентант мислення
Ви повинні поглянути на практику мови, і тоді ви побачите логіку. Л. Вітгенштайн Мова для людини, суб'єкта практичної та пізнавальної діяльності, постає...
-
Логіка - Карамишева Н. В. - 1.3. Історичний розвиток науки логіки. Виникнення різних типів логіки
Логіка - наука про суб'єктивний логос. Наука логіка виникла в Давній Греції. її засновник - давньогрецький філософ і вчений Арістотель (384-382 рр. до н....
-
Логіка - Карамишева Н. В. - Розділ 2. МИСЛЕННЯ ТА МОВА
2.1. Поняття "мислення", "розум", "інтелект" Мислення - це діяльність. Арістотель Mundus і nteliegib ilia - Світ осягається розумом. Маєш голову, май і...
-
Логіка - Карамишева Н. В. - 2.4. Логіко-семантичний аналіз мови
Nomina sunt mutabilia, res autem immobiles - Імена змінюються, а самі речі не змінюються. Логіко-семантичний аналіз мови (логічна семантика) як особливий...
-
Логіка - Карамишева Н. В. - Методи науки логіки
У сучасній логіці розрізняють логічні методи: І. Методи пізнання Спрямовані на дослідження об'єктів, з якими мають справу суб'єкти пізнання в різних...
-
Логіка - Карамишева Н. В. - 2.5. Логіко-семантичні та формально-логічні концепції істини
Temporis filia Veritas - Істина - донька часу. . Естетика виникла від слова "прекрасне", етика - від слова "добре", логіка - від слова "істина". Г. Фреге...
-
Логіка - Карамишева Н. В. - ВСТУП
Наука "логіка" виникла в IV ст. до н. е. в Давній Греції і з тих далеких часів була і залишається одним із головних і впливових методів осягнення світу...
-
Логіка - Карамишева Н. В. - Об'єкт і предмет науки логіки
Дослідження логіки означає дослідження всього закономірного. Поза логікою - все випадкове. Л. Вітгенштайн На першому курсі ми вивчаємо логіку (традиційну...
-
Логіка - Карамишева Н. В. - 1.4. Сучасний етап розвитку науки логіки
Логіка - не вчення, а відображення світу. Л. Вітгенштайн Сучасний етап у розвитку науки логіки характерний такими особливостями: 1. Поширення предмета...
-
Логіка - Карамишева Н. В. - Основні значення терміна "логіка"
Дослідження логіки означає дослідження всього закономірного. Поза логікою - все випадкове. Л. Вітгенштайн На першому курсі ми вивчаємо логіку (традиційну...
-
Логіка - Карамишева Н. В. - 1.2. Об'єкт, предмет, метод науки логіки
Дослідження логіки означає дослідження всього закономірного. Поза логікою - все випадкове. Л. Вітгенштайн На першому курсі ми вивчаємо логіку (традиційну...
-
Логіка - Карамишева Н. В. - 1.1. Пізнавальна діяльність людини: принципи, структура, різновиди
Історично логіка формувалася як складова частина філософського пізнання світу в єдності з онтологією (теорією буття), гносеологією (теорією пізнання) й...
-
Логіка - Карамишева Н. В. - 2.1. Поняття "мислення", "розум", "інтелект"
2.1. Поняття "мислення", "розум", "інтелект" Мислення - це діяльність. Арістотель Mundus і nteliegib ilia - Світ осягається розумом. Маєш голову, май і...
-
Логіка - Карамишева Н. В. - Зміст і форма мислення
Зміст мислення - те, про що людина думає, розмірковує. Об'єктом думок, міркувань може бути все, що існує у Всесвіті, а також створене самим творчим...
-
Логіка - Конверський А. Є. - Розділ II. Mислення і мова
1. Визначення мови Наведений аналіз предмета логіки як науки свідчить про те, що логіка вивчає форми мислення та відношення між ними. Ф о р м и м и с л е...
-
2.1. Текст як форма існування наукових знань. 2.2. Композиція наукової роботи. 2.3. Мовні засоби наукового стилю. 2.4. Найтиповіші наукові тексти. 2.4.1....
-
Організація торгівлі - Апопій В. В. - РОЗДІЛ 1 ОРГАНІЗАЦІЯ ТОРГІВЛІ ЯК ГАЛУЗЬ ЗНАНЬ
1.1. Поняття організації торгівлі Поняття організації У науковій практиці немає цілісної теорії організації і, відповідно, бракує єдиного погляду на...
-
Юридична деонтологія - Гусарєв С. Д. - Розділ І. Юридична деонтологія: історія та сучасність
1. Історичний аспект становлення системи деонтологічних знань Для того, щоб розібратися, що являє собою ця специфічна область наукових знань та яке...
-
Час - невід'ємна складова нашого буття. Століттями він полонив уяву художників, філософів, поетів. Включення часу в галілеївську механіку ознаменувало...
-
Операційний менеджмент - Капінос Г. І. - Розділ 3. Операційна система організації
3.1. Системний підхід в управлінні операційною системою Методологічною основою операційного менеджменту є системний підхід, загальна теорія систем і...
-
Психологія управління - Кулініч І. О. - Розділ 1 ТЕОРЕТИЧНІ ОСНОВИ ПСИХОЛОГІЇ УПРАВЛІННЯ
1.1. Поняття про науку управління 1.2. Організація і трактування цього поняття наукою управління 1.3. Психологія управління як наука. Її об'єкт і предмет...
-
1. Поняття конституційного права У всіх системах права і правових системах країн світу конституційне право як галузь права вважається, як правило,...
-
Цивільне право України - Дзера О. В. - Розділ І. Загальні положення цивільного права
У підручнику відповідно до навчальної програми вищих навчальних закладів повно і всебічно висвітлено практично всі цивільно-правові інститути, у тому...
-
Розділ 1. ПРЕДМЕТ, МЕТОДОЛОГІЯ, ЗАВДАННЯ ТЕОРІЇ ОРГАНІЗАЦІЇ 1.1. Теорія організації як наука та її місце в системі наукових знань Будь-яка сучасна теорія...
-
Основи економічної теорії - Козак Ю. Г. - Розділ 1. ВСТУП ДО КУРСУ "ОСНОВИ ЕКОНОМІЧНОЇ ТЕОРІЇ"
"Люди, які ніколи систематично не вивчали економічну науку, схожі на глухих, що намагаються оцінити звучання оркестру" П. Самульсон, Лауреат Нобелівської...
-
Соціологія - це система знань про життя людей у суспільстві, знань систематизованих й узгоджених, а також перевірених і підтверджених дослідженнями,...
-
Екологія - Потіш Л. А. - Розділ 1 ЕКОЛОГІЯ ЯК ПРИРОДНИЧА НАУКА
Визначення, предмет і завдання екології Коротка історія становлення екології як науки Рівні організації живої матерії. Галузі та підрозділи екології...
Логіка - Карамишева Н. В. - Розділ 3. ТРАДИЦІЙНА ЛОГІКА