З двох негативних посилок не можна зробити висновок
ПОНЯТТЯ ЛОГІЧНОЇ ФОРМИ І ЛОГІЧНОГО ЗАКОНУ
Фундаментальні поняття логіки:
Логічна форма мовного контексту - вираз, що фіксує ту частину змісту контексту, яка залишається в результаті відволікання від конкретних змістів нелогічних термінів або ж від змістів простих висловлювань, що входять в контекст.
Якщо кожна з посилок істинна, а висновок хибний, то умовивід неправильно.
Умовивід правильно. якщо при істинних посилках ми отримуємо справжнє висновок.
При виконанні цієї умови кажуть, що між посилками і укладанням має місце відношення логічного слідування
Логічне слідування - відношення між висловлюваннями за формою.
З Г (гамма) логічно випливає В (бета), якщо і тільки якщо не існує такої інтерпретації параметрів, що входять до складу Г і В при якій всі вирази з Г приймають значення «істина», а В приймає значення «брехня».
Логічний закон - тотожне справжнє висловлювання, тобто це така логічна форма висловлювання, яка приймає значення «істина» при інтерпретації параметрів, що входять в її склад.
4. Правильне міркування
Міркування правильно. якщо його форма гарантовано передбачає:
Посилки. "І"
Висновок. "І"
Закони логіки мають особливістю. якщо будь-яку змінну в них всюди, де вона зустрічається, замінити формулою, то в результаті знову вийде тотожно-істинна формула.
Способи правильних міркувань:
p, q, r, s ... - позначення простих висловлювань. (Односкладні речення)
Для побудови таблиці істинності ми повинні використовувати складне речення, в якому все висловлювання об'єднані різними мовними зв'язками. Побудувавши таблицю істинності, ми повинні розглянути стовпець з останньої зв'язкою.
· Якщо в стовпці все 1, то формула називається тотожно істинною чи логічним законом
· Якщо в стовпці всі 0, то формула називається тотожно хибною
· Якщо є 1 і 0, то формула називається опровержімий
· Якщо є хоча б одна 1, то формула називається здійсненною
· Якщо є хоча б один 0, то формула називається опровержімий
Надати значення пропозіціональной зв'язці - зіставити їй певну функцію істинності.
10. Види формул, відносини між формулами
Тотожно-істинна. в результуючому стовпці всюди "і"
Тотожно помилкова. в результуючому стовпці всюди "л"
Несуперечлива - є і "і" і "л"
Логічно істинно - у всіх рядках таблиці формула має значення "і"
логічно помилково
логічно недетерминировано
1 Совместівние по істінності- якщо в таблиці істинності є такий рядок, де висловлювання приймає значення істина (1) одночасно
2 совместівние по ложності- якщо в таблиці істинності висловлювання в рядку приймає значення брехня (0) одночасно
3 Логічне слідування (підпорядкування) - з безлічі формул Г (гамма) логічно випливає формула В, ете, в їх спільній таблиці істинності не існує такого рядка, в якій всі формули з Г- істинні, а формула В - помилкова.
11. Основні закони і способи правильних міркувань класичної логіки висловлювань
Міркування правильно. якщо його форма гарантовано передбачає:
Посилки. "І"
Висновок. "І"
Закони логіки мають особливістю. якщо будь-яку змінну в них всюди, де вона зустрічається, замінити формулою, то в результаті знову вийде тотожно-істинна формула.
Способи правильних міркувань:
Протиріччя. 7 (A 7A)
12. Висновок і доказ в класичному численні висловлювань
13. Види міркувань:
16. Висновок-непорожній і неконечная послідовність операцій С1, С2, Ск (1) в якій кожне З або є посилкою, або виникає з попередніх рядків по одному з правил виведення
17. Правила виведення: * правила введення, * правила виключення
18. Мова класичного числення висловів збігається з мовою КЛВ
19. (2) якщо у висновку застосовуються У або # 9488; В, то всі формули починаючи з останньої посилки і аж до результату застосування даного правила виключаються з участі в подальших кроках виведення.
20. Доказательство- висновок з порожньої безлічі посилок. Остання формула в доказі називається доказовою формулою або теоремою.
21. Евристики - спосіб знайти правильне припущення при доказі
22. 1 евристика: якщо А В, то А як допущення, а мета виведення В
23. 2 евристика: Міркування від протилежного А, # 9488; А - допущення, мета
24. 3 евристика: Якщо А В, то # 9488; А - посилка, потім В, виняток
21. Поняття як форма мислення і його основні види
Поняття - думка, яка виділяє на підстави деякої ознаки всі предмети з універсуму, які володіють цією ознакою, і збирає і в клас.
Основні характеристики поняття:
Об'єм - безліч предметів, що виділяються з універсуму на основі певної ознаки.
Порожніми називаються поняття, яким не відповідає жоден предмет в об'єктивному світі.
Наприклад. "вічний двигун".
Непорожніми є поняття, відповідні яких-небудь предметів дійсності;
Наприклад: «Чумацький шлях».
Позитивні - поняття, у змісті яких виражається наявність будь-яких властивостей у предмета.
Негативні - поняття, у змісті яких вказується на відсутність у предмета будь-яких властивостей. Висловлюються словами з негативними частками ні і без. У випадках же, коли негативна частка злилася зі словом і без нього не вживається, ці поняття переходять в розряд позитивних (дрібничка, обурення).
3) За типом узагальнення предметів:
Несобірательное - поняття, в яких мисляться ознаки, що відносяться до кожного його елементу (зірка, командир полку).
Конкретні - мислиться предмет або сукупність предметів як щось самостійно існуюче (книга, свідок, держава);
Абстрактні - мислиться ознака предмета або відношення між предметами (сміливість, відповідальність, вічність). Утворюються в результаті відволікання, абстрагування певного ознаки предмета. Посередник - загальне, конкретне поняття; посередництво - загальне, абстрактне. ООН - одиничне, конкретно.
23. Види відносин між поняттями
Порівнянні - мають деякі ознаки, що дозволяють ці поняття порівнювати один з одним (преса і телебачення - ЗМІ).
Незрівнянні - не мають спільних ознак, порівнювати неможливо (злочин, квадрат).
У логічних відносинах можуть перебувати тільки порівнянні поняття.
Сумісні - поняття, обсяги яких повністю або частково збігаються. Відносини сумісності:
3. Підпорядкування (субординація) - поняття, обсяг одного з яких повністю входить в обсяг іншого, складаючи його частину (Суд (А - підкоряє поняття - рід) і Міський суд (В - підлегле поняття - вид). Якщо у відношенні підпорядкування перебувають два загальних поняття, то підкоряє - вид; підлегле - рід. Якщо у відношенні підпорядкування перебувають загальне і одиничне (індивідуальне) поняття, то загальне (підкоряє) - вид, а одиничне (підпорядковане) - індивід (адвокат і Вася Іванов).
Несумісні - поняття, обсяги яких не збігаються ні повністю, ні частково. Відносини несумісності:
2. Протилежність (контрарность) - поняття, одне з яких містить деякі ознаки, а інше - ознаки, не сумісні з ними; обсяги двох протилежних понять складають лише частину обсягу загального для них родового поняття (дружню державу (А) і ворожу державу (В); пунктиром зображено родове поняття «держава»; чорне і біле).
3. Протиріччя (контрадікторності) - поняття, одне з яких містить деякі ознаки, а інше ці ж ознаки виключає; обсяги двох суперечних понять складають весь обсяг роду (дружню державу (А - позитивне поняття) і недружню державу (не- А - негативне поняття) вичерпують весь обсяг поняття «держава»).
Приклад: Визначте вид відносини між поняттями "кам'яний будинок", "недобудований будинок", "будинок", "будова", "гараж".
Найбільше за обсягом серед названих понять - будова. Це буде найбільший коло. Всі інші поняття перебувають у відношенні підпорядкування у цього поняття і малюються колами всередині цього великого кола.
Тепер давайте розберемося, як будуть розташовуватися кола всередині. Поняття кам'яний будинок і недобудований будинок знаходяться у відношенні підпорядкування не тільки у поняття "будова", але і у поняття будинок. Між собою ці два поняття перебувають у відношенні перетину. тому малюємо так: два пересічних кола всередині поняття "будинок".
Залишилося поняття гараж. Це поняття пов'язане лише з поняттям "будова" - також перебуває у відношенні підпорядкування. Тому просто КРУЗ всередині поняття "будови", який ніяким чином не повинен зачіпати інші кола.
25. Операції з поняттями: узагальнення, обмеження, поділ
Наприклад. узагальнюючи поняття «міністерство юстіцііУкаіни» - до поняття «міністерство юстиції». Узагальнення понять відбувається шляхом відкидання зі змісту вихідного поняття будь-якого індивідуального, видового, ознаки.
Наприклад. поняття «юрист» можна обмежити, додавши ознаки про специфіку професійної діяльності юриста, наприклад, «бути слідчим» - вийде поняття «слідчий»; додавши ознака «бути слідчим прокуратури», можна отримати поняття «слідчий прокуратури» і т. д.
Деленіепонятій- це логічна операція, що розкриває обсяг поняття. У процесі поділу обсяг поняття розподіляється на групи.
Елементами поділу є: делімое- поняття, обсяг якого потрібно розкрити; члени деленія- супідрядні види, на які ділиться поняття; підставу деленія- ознака, за якою здійснюється поділ.
Наприклад, учнів в школі можна розділити на класи, в класах - на
групи за різними ознаками: спортсмени і неспортсмени; вивчають англійську мову, німецьку та французьку мови і т. п. Угоди (угоди) можна розділити на багатосторонні, двосторонні і односторонні.
26. Поняття логічного квадрата, безпосередні умовиводи і їх види
Логічний квадрат - схема, що характеризує відносини з т. Зр. істинності і хибності між общеутвердітельним, общеотріцательним, частноутвердітельним і частноотріцательним судженнями традиц. логіки, що мають один і той же суб'єкт і один і той же предикат.
Види безпосередніх умовиводів:
Перетворення (SAP-> SE-P) - різновид безпосереднього умовиводи, в якому змінюється якість посилки без зміни її кількості. Воно здійснюється двома способами:
а) шляхом подвійного заперечення, яке ставиться перед зв'язкою і перед предикатом: S є P; S не є НЕ P
б) шляхом перекладу заперечення з предиката в зв'язку: S тобто не P; S не є P
Звернення (SAP-> PIS) - безпосереднє умовивід, в якому відбувається зміна місць суб'єкта і предиката при збереженні якості судження.
Всі адвокати - юристи \ Все S суть Р
Деякі юристи - адвокати \ Деякі Р суть S
Протиставлення предикату (SAP-> SE-P-> PES) - це послідовне застосування операцій перетворення і звернення - перетворення судження в нове судження, в якому суб'єктом стає поняття, що суперечить предикату, а предикатом - суб'єкт вихідного судження; змінюється якість судження.
Приклад: з судження «Всі адвокати - юристи» можна, протиставляючи предикат, отримати «Жоден не-юрист не є адвокатом». схематично:
Жодне не Р не є S.
більший термін (Р) - предикат висновку;
менший термін (S) - суб'єкт висновку;
середній термін (М) - пов'язує в посилках Р і S, в ув'язненні відсутня.
Всі рідини (М) - пружні (Р) - велика посилка
Ртуть (S) - рідина (М) - менша посилка
Ртуть (S) - пружна (Р) - висновок
Фігура силогізму - це безліч силогізму, що мають схожу
Модус силогізму - безліч силогізмів, що мають структуру яка визначається типами висловлювань, що входять до її складу.
Правильні модуси - такі, для яких між посилками і висновками існує відношення логічного слідування.
1. У кожному силогізмі має бути тільки три терміни - великий, менший і середній.
2. Середній термін повинен бути розподілений. тобто взятий в повному обсязі, хоча б в одній з посилок. Для цього він повинен бути або суб'єктом загального судження, або предикатом негативного судження.
3.Термін, не розподілений в посилках, не може бути розподілений в ув'язненні. Із загальних суджень-посилок: «Всі птахи літають за допомогою крил» і «Всі птахи - теплокровні тварини» можна отримати в якості висновку загальне судження. Менший термін «теплокровні тварини» стоїть на місці предиката в позитивної посилці і тому не розподілений. Отже, у висновку його потрібно брати не в повному обсязі.
4.Із двох приватних посилок неможливо зробити висновок. У цьому випадку не можна встановити об'ємні відносини між термінами силогізму, тому певний висновок не виходить. Наприклад, з посилок: «Деякі члени Академії наук - хіміки» та «Деякі біологи - члени Академії наук» ніякої певний висновок годі було. Обсяг суб'єкта ( «деякі біологи») може перехрещуватися в якійсь мірі з об'ємом предиката ( «хіміки»), але може знаходитися і поза ним
5. Якщо одна посилка приватна, то висновок буде приватним.
З посилок: «Всі учасники кросу - спортсмени» і «Деякі студенти-відмінники - учасники кросу» загальний висновок неможливий. Не можна стверджувати, що всі студенти-відмінники - спортсмени, так як мова йде тільки про частину обсягу меншого терміну.
З двох негативних посилок не можна зробити висновок.
В цьому випадку всі терміни виключають один одного, усуваючи будь-яку об'ємну взаємозв'язок між ними. З посилок: «Жодна планета не світить власним світлом» і «Штучний супутник не їсти планета» - ніякого висновку не слід.
7. Якщо одна посилка негативна, то висновок буде негативним. Наприклад: «Будь-яке перебування на свіжому повітрі корисно. Перебування на свіжому повітрі при низькій температурі небезпечно. Отже, перебування на свіжому повітрі при низькій температурі може принести шкоду здоров'ю ».
Силогізм - логічний висновок, зроблений з двох посилок # 9670; Візьмемо два факти: «Сократ - людина» і «Все люди смертні». Силогізм цих двох фактів буде «Сократ смертний».
Умовні сіллогізми- такі силогізми, в яких або одна, або обидві посилки - умовні судження. Схема умовного силогізму, в якому обидві посилки - умовні судження: