но-логічні закони
20. Доказ і спростування
Відповіді
судження дедуктивний умовивід логічний
10. Модальність суджень
Модальність - це явно чи неявно виражена в судженні доповнювальних інформація про логічне або фактичний статус судження, про регулятивних, оціночних, тимчасових його характеристиках. До основних видів модальності відносяться епістеміческого, деонтическая і елегійна модальність. p align="justify"> За епістеміческой модальності, що виражає ступінь обгрунтованості судження, судження поділяються на достовірні і проблематичні (імовірні).
деонтическая модальність виражає припис у формі ради, побажання, правила поведінки, наказу. До деонтическая відносяться нормативні висловлювання, в тому числі правові норми: правообязивающіе. правозапрещающіе, правопредоставляющіе.
Алетіческая модальність виражається в термінах В«необхідно)В», В«випадковоВ», В«можливоВ», В«неможливоВ» і ділиться на логічну і фактичну.
11. Безпосередні умовиводи
Безпосередні умовиводи складаються з однієї посилки і укладання.
Їх загальну структуру можна записати наступним чином: P-посилкаP-висновок
До них відносяться умовиводи звернення, перетворення, протиставлення, всі висновки по логічному квадрату.
Наприклад, безпосередні будуть наступні висновки:
Жоден трикутник не є окружністю - умовивід звернення общеотріцательного судження.
Значить, жодна коло не є тельного трикутником.
12. Простий категоричний силогізм
Простий категоричний силогізм (від грец. Sillogis-mos-виведення, сосчітиваніе) - дедуктивний опосередковане умовивід, що складається з двох суджень, які мають суб'єктно-предикатную форму, і висновку, також має суб'єктно-предикатную форму.
Суб'єктно-предикатна форма властива всім простим категоричним судженням.
Тому простий категоричний силогізм можна визначити як дедуктивний опосередковане умовивід, що складається з двох простих категоричних суджень і висновку.
Структура ПКС: будь-який простий категоричний силогізм (ПКС) складається з трьох категоричних суджень (термінів). Два з них утворюють посилки, а третє - висновок. p align="justify"> Терміни силогізму: силогізм складається з трьох термінів. На відміну від термінів судження (S-суб'єкта і Р-предиката) вони називаються термінами силогізму. p align="justify"> Їх так само, як і посилок, три. У даному випадку під термінами розуміють вже не судження, а поняття, що входять в умовивід. p align="justify">. Більший термін силогізму - поняття, що збігається з предикатом висновку. Позначається буквою Р. Посилка, в яку він входить, називається більшою. p align="justify">. Менший термін силогізму - це поняття, що збігається із суб'єктом ув'язнення. Позначається буквою S. Посилка, в яку він входить, називається меншою. Більший і менший терміни утворюють групу крайніх термінів силогізму. Кожен з них входить тільки в одну з посилок. p align="justify">. Середній термін силогізму - це поняття, яке присутнє в кожній з посилок і відсутній в ув'язненні. Позначається буквою М. Даний термін грає роль посередника в умовиводах. Він називається В«середнімВ», оскільки пов'язує за змістом крайні терміни в посилках. А висновок про ставлення крайніх термінів у висновку робиться на підставі відносини крайніх термінів до середнього в посилках. Інакше кажучи, сенс простого категоричного силогізму зводиться до того, щоб встановити: В«S є РВ» або В«S НЕ-є РВ». Але робиться це своєрідно, опосередковано, через "посередника"-М, в три етапи. br/>
13. Умовиводи з суджень з відносинами
Умовивід, посилки і висновок якого є судженнями з відносинами, називаються умовиводом з відносинами.
Найважливіші властивості відносин - симетричність, рефлексивність і транзитивність.
Ставлення називається симетричним, якщо воно має місце як між предметами х і у, так і між предметами в і х.
Ставлення називається рефлексивним, якщо кожен член відносини знаходиться в такому ж відношенні до самого себе.
Ставлення називається транзитивним, якщо відношення між х і z має місце, коли має місце відношення між х і у і між у і z.
14. Висновки зі складних суджень. Види дедуктивних умовиводів: умовний силогізм, розділовий силогізм, умовно-розділовий силогізм
Умовивід утворюється з суджень. Виступаючи посилками силогізму,...