Логическа форма
Логическата форма е структурата на едно твърдение или аргумент, която остава, когато заменим съдържателните думи с променливи (например S, M, P или p, q). Остават логическите константи като „всички“, „някои“, „не“, „и“, „ако..., то...“. Валидността зависи само от формата: ако една форма е валидна, всеки аргумент с тази форма е валиден, каквото и да е съдържанието му. Категорическият силогизъм има три термина: голям, малък и среден.
Какво да запомним
- Логическа форма: съдържанието се заменя с променливи.
- Логически константи: „всички“, „някои“, „не“, „и“, „или“, „ако..., то...“.
- Валидността зависи от формата, а не от съдържанието.
- Силогизмът има три термина; средният трябва да е разпределен поне веднъж.
Пример
„Всички S са M. Всички M са P. Следователно всички S са P.“ е валидна форма; на нея отговаря и „Всички врабчета са птици. Всички птици са животни. Следователно всички врабчета са животни.“
Проверете се: 15 въпроса
Натиснете въпроса, за да видите верния отговор и обяснението.
Какво е логическа форма на твърдение или аргумент?
- Граматическата форма на изречението
- Броят на думите в него
- Тонът на изказването
- Структурата, която остава, когато съдържателните термини се заменят с променливи
Отговор: Структурата при заменени съдържателни термини с променливи
Например „Всички S са P“ е формата на „Всички хора са смъртни“.
Кое от следните е логическа константа, а не съдържателен термин?
- „маса“
- „червен“
- „ако..., то...“
- „Сократ“
Отговор: „ако..., то...“
Логическите константи („и“, „или“, „не“, „ако..., то...“, „всички“, „някои“) изграждат формата на твърдението.
Валидна ли е формата „Всички S са M. Всички M са P. Следователно всички S са P.“?
- Да, валидна е
- Не, защото S не е P
- Само ако S е празно
- Зависи от съдържанието
Отговор: Да, валидна е
Ако S се съдържа в M, а M в P, то S се съдържа в P при всяко съдържание.
Валиден ли е аргументът „Всички P са M. Всички S са M. Следователно всички S са P.“?
- Валиден е
- Валиден е само ако S е празно
- Невалиден е, защото има три термина
- Невалиден е: средният термин не е разпределен в нито една предпоставка
Отговор: Невалиден: средният термин не е разпределен
Пример със същата форма: „Всички котки са бозайници, всички кучета са бозайници, значи всички кучета са котки.“
Колко термина има в правилно построения категорически силогизъм?
- Два
- Три
- Четири
- Пет
Отговор: Три: голям, малък и среден
Ако терминът се употреби в два различни смисъла, термините стават четири и се допуска грешката „учетворяване на термините“.
С какво се заменят съдържателните думи, за да се открие логическата форма?
- С променливи
- С числа
- Със синоними
- С въпроси
Отговор: С променливи
Съдържателните термини се заменят с букви като S, M, P или p, q.
Кои букви обикновено обозначават термините в силогизма?
- X, Y, Z
- p, q, r
- S, M, P
- a, b, c
Отговор: S, M, P
S е малкият, P големият, M средният термин.
От какво зависи валидността на един аргумент?
- От темата му
- От дължината му
- От автора му
- От формата му
Отговор: От формата му
Валидността зависи само от формата, не от съдържанието.
Какво обозначават буквите p и q в логиката на съжденията?
- Термини
- Цели твърдения
- Числа
- Глаголи
Отговор: Цели твърдения
Променливите p и q заместват цели твърдения, напр. „вали“.
Коя е логическата форма на „Всички кучета са бозайници“?
- Всички S са P
- Някои S са P
- Никое S не е P
- Ако p, то q
Отговор: Всички S са P
Кучетата са S (субект), бозайниците са P (предикат).
Коя е формата на „Ако е лято, е топло“?
- p и q
- p или q
- Ако p, то q
- Не p
Отговор: Ако p, то q
Двете прости твърдения са свързани с „ако..., то...“.
Два аргумента имат една и съща валидна форма. Какво е вярно за тях?
- И двата са истинни
- Имат еднакво заключение
- Единият е невалиден
- И двата са валидни
Отговор: И двата са валидни
Ако формата е валидна, всеки аргумент с нея е валиден.
Кой термин в силогизма се среща в двете предпоставки, но не и в заключението?
- Големият термин
- Средният термин
- Малкият термин
- Родовият термин
Отговор: Средният термин
Средният термин M свързва предпоставките и изчезва в заключението.
Кой термин е субект на заключението в силогизма?
- Малкият термин
- Големият термин
- Средният термин
- Родовият термин
Отговор: Малкият термин
В заключението „S е P“ субектът S е малкият термин, а P големият.
„Никое M не е P. Всички S са M. Следователно никое S не е P.“ Каква е формата?
- Невалидна
- Само при истинни предпоставки
- Валидна
- Само за числа
Отговор: Валидна
Щом всички S са сред M, а никое M не е P, никое S не може да е P.