28.Аналогія, її різновиди
Умовивід – це форми мисленя, у якій з одного чи кількох істинних суджнь на основі певних павил виводи виводять нове судження.Структура: засновок, висновок, логічний звязок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуюються основні закони логіки.
Умовиводи за аналогією – це традуктивний умовивід, у якому на підставі подібності предметів в одих ознак робиться висновок про їхню подібність в інших ознаках.
А)проста аналогія-на підставі подібності предметів за одними якими-небудь ознаками облять висновок про їх подібність в інших ознак.
Б) строга аналогія-грунтується на знанні залежності ознак предметів, що порівнюються
В)нестрога – в ній робиться висновок без знання про звязок подібних ознак.
29.Доведення і спростування
Доведення – це сукупність логічних засобів обгрунтовання істинності будь-якого судження за допомогою інших істинних і повязаних з ним суджень. Структура:
-теза(судження, істинність якого треба довести),
-аргументи-істинні судження, якими користуються при доведенні тези-вірогідні одиничні акти,визначення, аксіоми та постулати, раніше доведенні закони науки та теореми
-демонстрація-спосіб логічного звязку між тезою та аргументом, який веде до всьтановлення бажаної істини: прямим-доведення, в якому з відомих передумов за встановленими правилами безпосередньо слідує теза, тобто істинність тези безпосередньо обгрунтовується наявними аргументами; непрямим – доведення,у якому потрібно довести хибність антитези і на цій основі зробити висновок про істинність тези.
Спростування-логічна операція,спрямована на зруйнування доведення шляхом встановлення хибності або нобгрунтованості висунутої тези. Аргументами судж наз судження, за доп якихспростовується теза:
-пряме і непряме спростування тези(спростування фактами, встановленя хибності наслідків, спростування тези через доведення антитези)
-критика аргументів- доведення хибності абонеспроможності
-виявлння неспрможності демонстрації – виявлення помилок у фолрмі самого доведення
30. Мислення і мова
Мислення не може існувати без мови, поза мовою. Без вираження думки у звукових, письмових, або інших знаках, символах її неможливо передати, а отже, довідатись про її існування. Всі науки, користуючись засобами природної мови, застосовуючи водночас засоби штучної мови.
У сучасній формальній логіці широко використовується формалізована мова. Однак з цього не випливає, що формальна логіка(ФЛ) – це наука про формальні мови, а не про мислення. У мисленні ФЛ вивчає логічні форми й формально-логічні закони побудови думки.