Тести
1. Логіка - це наука:
а) яка вивчає міркування;
б) яка досліджує числення;
в) яка описує знакові системи.
2. Етапами розвитку логіки є:
а) формальний та неформальний;
б) традиційний та сучасний;
в) класичний та некласичний.
3. Традиційною логікою називається:
а) силогістика і теорія числень;
б) силогістика і теорія індукції;
в) силогістика і теорія аргументації.
4. Сучасною логікою називається:
а) теорія числень висловлювань та імен;
б) теорія числень висловлювань та класів;
в) теорія числень висловлювань та ймовірностей.
5. Лінгвістичною базою традиційної логіки є:
а) розмовна мова;
б) природна мова;
в) мова науки.
6. Лінгвістичною базою сучасної логіки є:
а) формалізована мова;
б) специфікована мова;
в) гібридна мова.
7. Метатеоретичний рівень традиційної логіки репрезентує:
а) натуралістична парадигма;
б) трансцендентальна парадигма;
в) аналітична парадигма.
8. Метатеоретичний рівень сучасної логіки репрезентує:
а) аналітична парадигма;
б) арифметична парадигма;
в) алгебраїчна парадигма.
9. Металогіка досліджує:
а) логічну істину;
б) логічні помилки;
в) логічні числення.
10. Функцію металогіки у традиційній логіці виконує:
а) філософія логіки;
б) історія логіки;
в) метафізика і онтологія.
11. Функцію металогіки у сучасній логіці виконує:
а) метаматематика;
б) логічна семіотика;
в) дескриптивна семіотика.
12. Методом логіки є:
а) натуральна мова;
б) гібридна мова;
в) формалізована мова.
13. У міркуванні може бути:
а) один засновок;
б) два засновки;
в) один і більше засновків.
14. У правильному міркуванні засновки:
а) завжди будуть істинними;
б) завжди будуть хибними;
в) можуть бути як істинними, так і хибними.
15. У неправильному міркуванні засновки:
а) завжди будуть хибними;
б) завжди будуть істинними;
в) можуть бути як істинними, так і хибними.
16. У правильному міркуванні висновок:
а) завжди буде істинним;
б) завжди буде хибним;
в) може бути як істинним, так і хибним.
17. У неправильному міркуванні висновок:
а) завжди буде хибним;
б) завжди буде істинним;
в) може бути як хибним, так й істинним.
18. Логіка має характер:
а) нормативний;
б) прагматичний;
в) антиісторичний.
19. Логічна форма міркування - це його структура, яка виявляється в результаті:
а) відвернення від змісту міркування;
б) відвернення від значень нелогічних термінів;
в) відвернення від значень логічних термінів.
20. Логічний термін - це:
а) термін, який вживається в логіці;
б) логічна постійна;
в) логічна змінна.
21. Нелогічний термін - це:
а) описовий вираз;
б) логічна змінна;
в) логічна постійна.
22. Логічний закон - це логічна форма, яка гарантує істинність міркування:
а) при будь-якому його змісті;
б) лише при істинності його змісту;
в) і при хибності його змісту.
23. Логічні закони у традиційній логіці - це:
а) фундаментальні принципи;
б) головні методи;
в) структури міркування.
24. Логічні закони у сучасній логіці - це:
а) суттєві та повторювальні зв’язки;
б) фундаментальні принципи;
в) головні методи.
25. Закон тотожності формулюється так:
а) твердження, яке випливає із власного заперечення, істинне;
б) повторене двічі заперечення дає твердження;
в) будь-яке твердження повинно збігатися із самим собою.
26. Закон тотожності виражають за допомогою схеми:
а) A —— A;
б) а — —А;
в) (А л А) θ А.
27. Закон несуперечливості формулюється так:
а) будь-яке істинне твердження повинно бути обґрунтоване іншими істинними твердженнями;
б) два несумісних твердження у вигляді ствердження і його заперечення не можуть бути одночасно істинними;
в) два несумісних твердження у вигляді заперечення стверджуваного і його ствердження можуть бути якими завгодно.
28. Закон несуперечливості виражають за допомогою схеми:
29. Закон виключеного третього формулюється так:
а) два несумісних твердження у вигляді ствердження і його заперечення не можуть бути одночасно істинними;
б) з двох суперечливих тверджень одне обов’язково буде істинним, друге - обов’язково хибним;
в) якщо із першого твердження випливає заперечення другого, тоді з другого твердження випливає заперечення першого.
30. Закон виключеного третього виражають за допомогою схеми: