 |
№4 Основні форми абстрактного мислення
|
|
|
|
№4 Основні форми абстрактного мислення
Абстрактне мислення — це ступінь процесу пізнання, який слідує за чуттєвим пізнанням. Формами
абстрактного мислення є поняття, судження, умовивід. Форма мислення, яка відображає предмети та явища через сукупність суттєвих ознак, називається поняттям. Візьмемо для прикладу дві думки:
«Квадрат» і «дім». За змістом ці думки різні, вони належать до різних сфер людської діяльності. Квадрат — це прямокутник з рівними сторонами, дім — це будівля, яка пристосована для постійного мешкання. Проте ці дві різні за змістом думки мають однакову форму побудови. У них різні предмети фіксуються єдиним способом, а саме, як взаємозв'язок їхніх суттєвих ознак. Форма мислення, яка відображає зв'язок між предметом та його ознакою, називається судженням.
Розглянемо інші дві думки: «Число — ідеальний об'єкт» і «Дерево не тоне у воді». Хоча за змістом ці дві думки різні, але мають спільну форму. Вони фіксують наявність або відсутність у предмета певної ознаки. Форму мислення, завдяки якій із одного або кількох відомих суджень ми отримуємо нове
судження, називають умовиводом. Наведемо такі приклади:
1. Будь-яка рослина не може існувати без води.
Дерево — рослина
Отже, дерево не може існувати без води.
2. Усім мешканцям нашого будинку добре відомі історичні місця Києва.
Мій приятель мешкає у нашому будинку
Отже, мій приятель — знавець історичних місць Києва.
У цих міркуваннях різний зміст мислиться однаково як необхідний зв'язок між відомими судженнями і новим судженням.
№5 Поняття " логічна помилка". Види логічних помилок
№6 Основні формально-логічні закони
|
|
|
Логічні закони - внутрішній суттєвий, необхідний зв’язок між логічними формами у процес побудови міркувань. Існує чотири головні логічні закони: — закон тотожності, — закон виключеного третього, — закон протиріччя, — закон достатньої підстави. Закон тотожності — це така вимога до процесу міркування, яка передбачає, що вкладати в думку про один і той самий предмет, взятий в один і той самий час, в одному і тому самому відношенні, можна лише один і той самий зміст. Наведемо приклад порушення закону тотожності: Звернемося до відомого софізму:
6 і 3 є парне і непарне.
6 і 3 є дев'ять.
Отже, 9 є парне і непарне.
Ця помилка відбулася тому, що у процесі міркування сполучник «і» вживається у різних значеннях. У першому випадку сполучник «і» означає об'єднання, співіснування чисел 6 і 3, а у другому —
арифметичну дію додавання. Саме за цієї причини і був отриманий хибний висновок. Закон протиріччя — це така вимога до процесу міркування, яка передбачає, що два протилежні судження не можуть бути одночасно істинними; у крайньому разі одне з них буде обов'язково хибним, а то
й обидва можуть бути хибними. Можна виділити такі структури суджень, які будуть знаходитися у відношенні протиріччя. 1. «а є Р» і «а не є Р»; 2. «Жодне 8 не є Р» і «Усі 8 є Р»; 3. «Усі 8 є Р» і «Деякі 8 не є Р»; 4. «Жодне 8 не є Р» і «Деякі 8 є Р». Наприклад, якщо S — місто, Р — населений пункт, то,
підставивши ці поняття у будь-яку з наведених структур, отримаємо судження, які не можуть бути одночасно істинними:
1. «Київ — населений пункт» і «Київ не є населеним пунктом».
2. «Жодне місто не є населеним пунктом» і «Будь-яке місто є населеним пунктом».
Закон виключеного третього є така вимога до процесу міркування, з якої випливає, що з двох суперечливих суджень, в одному з яких стверджується те, що заперечується у другому, — одне обов'язково істинне. Суперечливими називаються судження, які не можуть бути одночасно ні істинними, ні хибними. Закон виключеного третього підходить для таких суджень: «а є Р» і «а не є Р»; «Всі S є Р» і «Деякі S не єР»; «Жодне S не єР» і «Деякі S єР». Г. Лейбніц так формулює закон
|
|
|
достатньої підстави: «Жодне явище не може виявитись істинним або дійсним, жодне твердження —
справедливим без достатньої підстави, чому справа йде саме так, а не інакше». В пізнавальній або практичній діяльності людини настає час, коли замало мати істинне твердження — необхідно щоб воно було обґрунтованим. Обґрунтованим судженням є судження, істинність якого дається нам з
необхідністю. Логічним обґрунтуванням якого-небудь твердження є зіставлення цього твердження з іншими твердженнями як основою, і перенесення ознак основи на це твердження. Таким чином, закон достатньої підстави фіксує співвідношення власне достатньої підстави і того положення, яке
потрібно обґрунтувати.
№7 Формалізація як метод логіки
Мова логіки — це насамперед її метод. Прийнято говорити не «штучна мова логіки», а «формалізована мова логіки». Логіці приписали прикметник «формальна», тому логіку стали називати формальною, а її метод — формалізацією. форми. Якщо розглядати формалізацію як загальнонауковий феномен, то її можна визначити як вид знакового моделювання, в результаті якого дослідження певних об'єктів зводиться до вивчення їх форми. Формалізація у логіці — це
виявлення логічної структури наших думок. А логічною структурою думки є форма зв'язку понять у судженні, форма зв'язку суджень між собою у складніших судженнях, форма зв'язку суджень у складі умовиводу. Формалізація, як метод логіки, полягає в застосуванні формалізованої мови до вивчення предмета логіки. Формалізованою мовою, або мовою символів, є будь-яка сукупність спеціалізованих мовних засобів із суворо фіксованими правилами утворення різноманітних виразів і правилами приписування цим виразам певних значень. Природна мова не могла стати методом логіки з кількох причин. Головні із них такі: а) багатозначність мовних виразів (1. Будь-який трикутник є геометричною фігурою; 2. Місяць є природничі супутником Землі. Слово «є» має різні значення у цих судженнях. У першому судженні — слово «є» позначає відношення включення одного класу предметів до іншого, у другому — відношення рівності, тотожності двох предметів); б) семантична замкненість (Під семантичною замкненістю мови розуміють ситуацію одночасного існування в мові поряд з кожним висловлюванням його оцінки: 1. Крітський філософ Епіменід заявив: «Усі жителі острова Кріт — брехуни». 2. Епіменід — житель острова Кріт. Отже, Епіменід — брехун. ); в) аморфність, невизначеність правил побудови мовних виразів і правил надання значень мовним виразам (Так як природна мова склалася стихійно, немає якихось чітких параметрів, чому те чи інше слово має таку форму, або чому саме з ним співвідносять певний предмет. ). Структура формалізованої мови: — логіка, яку ми вивчаємо, формулюється за допомогою мови, яка називається предметною мовою, або об'єкт — мовою; — мова, у межах якої ми досліджуємо предметну мову, називається мовою дослідника, метамовою. Об'єкт-мова — це сукупність знакових засобів, що фіксують логічні зв'язки і структури міркувань. У метамові здійснюється вже логічний аналіз об’єкт мови, тобто з'ясовується ефективність знакових засобів для фіксації логічної структури міркувань, визначаються процедури співвідношення знаків об'єктної мови із системою їх значень. прослідкувати, звернувшись до такого прикладу. Під час вивчення іноземної мови, з погляду людини, яка її вивчає, об'єкт-мовою є фрази іноземної мови, а метамовою є рідна мова. Саме рідною мовою ми отримуємо всі початкові відомості й пояснення у словниках і граматиках, а вже потім починаємо писати і розмовляти іноземною мовою (на об'єктній мові).
|
|
|
|
|
|
