ов'язаний з узагальненням результатів спостереження і експериментів
10
Парадокс
Затвердження
Різко розходиться з загальноприйнятими, устояними думками, заперечення того, що представляється "безумовно правильним"
Фактор, контролюючий і ставить обмеження на шляху конструювання логічних систем
11
Софізм
Міркування
Позірна правиль-ним, але містить приховану логічну помилку і служить для надання видимості істинності хибному утвердженню
Особливий прийом інтелектуального шахрайства, спроба видати неправду за істину і тим самим ввести в оману
12
Тавтологія
Логічна помилка
Суть якої полягає в тому, що визначається поняття характеризується допомогою самої себе або при доказів-будівництві деякого положення в якості аргументу вико-зуется саме це положення
Різновид порочного кола
13
Евристика
Спеціальна наукова область, що вивчає специфіку творчої діяльності
Сукупність прийомів і методів, що полегшують і спрощують рішення пізнавальних, конструктивних, практичних завдань
В якості евристичних засобів використовуються загальні твердження і формули, індуктивні методи, аналогії, правдоподібні умовиводи, наочні моделі і образи, уявні експерименти і т.п. /Td>
3. Дайте стислу характеристику подань про логіку мислення і пізнання філософів 19 - качану 20 ст. на прикладі поглядів таких філософів як Дж. Буль, Г. Фреге, Б. Рассел, А. Уайтхед і ін
Англійська логік Джордж Буль (1815-1864) розробляв алгебру логіки - один з розділів математичної логіки. Предметом його вивчення були класи (як обсяги понять), співвідношення між ними та пов'язані з цим операції. Буль переносить на логіку закони і правила алгебраїчних дій.
У роботі "Дослідження законів думки", яка справила великий вплив на розвиток логіки, Буль увів в логіку класів в якості основних операцій додавання ("+"), Множення ("х" або можливий пропуск знака) і віднімання ("-"). У численні класів додавання відповідає об'єднанню класів, виключаючи їх загальну частину, а множення - перетинанню. Віднімання Буль розглядав як дія, протилежне додаванню, - відділення частини від цілого, те, що в природному мові виражається словом "крім".
Буль ввів у свою систему логічні рівності, які він записував за допомогою знака "=", Відповідного зв'язці "є". Судження "Світила тобто сонця і планети "у вигляді рівності їм записується так: х = у + р, звідки випливає, що х - г = у. Згідно Булю, в логіці, як і в алгебрі, можна переносити члени з однієї частини рівності в іншу з протилежним знаком. Буль відкрив закон коммутативности для вирахування (х - у = - у + х) і закон дистрибутивности множення щодо вирахування (Г (х-у) = гх - гу). Він сформулював загальне правило для вирахування: "Якщо від рівних відняти рівні, то залишки будуть рівними. З цього випливає, що ми можемо складати віднімати рівності і вживати правило транспозиції точно так само, як у загальній алгебрі ".
Предметом дослідження вченого були також висловлювання (у традиційній логіці їх називають судженнями). У численні висловів, по Булю, додавання ("+") відповідає суворої диз'юнкції, а множення ("х" або пропуск знака) - кон'юнкції.
Щоб вислів записати в символічній формі, Буль становить логічне рівність. Якщо який-небудь з термінів висловлювання не розподілений, він вводить термін V для позначення класу, невизначеного в деякому відношенні. Для того щоб висловити частноотрицательное судження, наприклад "Деякі люди не є розсудливими", Буль спочатку представляє його у формі "Деякі люди є нерозсудливими", а Потім висловлює в символах звичайним способом.
Діалектика співвідношення ствердження і заперечення в поняттях і судженнях у Буля така: без заперечення не існує твердження, і, навпаки, у всякому твердженні міститься заперечення. Ствердження і заперечення пов'язані з універсальним класом: "Свідомість допускає існування універсуму НЕ апріорі, як факт, що не залежить від досвіду, але або апостеріорі, як дедукцію з досвіду, або гіпотетично, як підставу можливості ствердної міркування ".
Розрізняючи жива розмовна мова і "мова" символічний, Буль підкреслював, що мова символів лише допоміжний засіб для вивчення людського мислення і його законів.
Німецька математик і логік Готтлоб Фреге (1848-1925) зробив спробу звести математику до логіки...
