29.Доведення і спростування

Доведення – це сукупність логічних засобів обгрунтовання істинності будь-якого судження за допомогою інших істинних і повязаних з ним суджень. Структура:

-теза(судження, істинність якого треба довести),

-аргументи-істинні судження, якими користуються при доведенні тези-вірогідні одиничні акти,визначення, аксіоми та постулати, раніше доведенні закони науки та теореми

-демонстрація-спосіб логічного звязку між тезою та аргументом, який веде до всьтановлення бажаної істини: прямим-доведення, в якому з відомих передумов за встановленими правилами безпосередньо слідує теза, тобто істинність тези безпосередньо обгрунтовується наявними аргументами; непрямим – доведення,у якому потрібно довести хибність антитези і на цій основі зробити висновок про істинність тези.

Спростування-логічна операція,спрямована на зруйнування доведення шляхом встановлення хибності або нобгрунтованості висунутої тези. Аргументами судж наз судження, за доп якихспростовується теза:

-пряме і непряме спростування тези(спростування фактами, встановленя хибності наслідків, спростування тези через доведення антитези)

-критика аргументів- доведення хибності абонеспроможності

-виявлння неспрможності демонстрації – виявлення помилок у фолрмі самого доведення

30. Мислення і мова

Мислення не може існувати без мови, поза мовою. Без вираження думки у звукових, письмових, або інших знаках, символах її неможливо передати, а отже, довідатись про її існування. Всі науки, користуючись засобами природної мови, застосовуючи водночас засоби штучної мови.

У сучасній формальній логіці широко використовується формалізована мова. Однак з цього не випливає, що формальна логіка(ФЛ) – це наука про формальні мови, а не про мислення. У мисленні ФЛ вивчає логічні форми й формально-логічні закони побудови думки.