Логічна форма міркування

Логічна форма міркування

Визначення логічної форми. Формалізована мова. Метод формалізації

Основними компонентами логічної форми міркування є:

♦логічні терміни;

♦нелогічні терміни.

Логічні терміни в природній мові звичайно виражають за допомогою таких слів та словосполучень: «усякий*, «деякий», «є*, «невірно, що...», «якщо..., тоді...», «...і...», «...або...» тощо.

У нелогічних термінах фіксується певна інформація, про яку йдеться у вислові. Це можуть бути як окремі слова, словосполучення, так і цілі речення.

Як бачимо, зміст міркування виражається саме в нелогічних термінах. У зв'язку з цим можна уточнити поняття логічної форми.

Логічна форма міркування — це його структура, яка виявляється в результаті абстрагування від значень нелогічних термінів.

Для того, щоб з'ясувати логічну форму міркування, необхідно:

1)відновити міркування у повному вигляді, тобто виявити усі його засновки і висновок;

2)з'ясувати логічні терміни, що входять до складу засновків та висновку міркування;

3)замінити прості висловлювання, що входять до складу засновків та висновку, на певні символи;

4)зобразити логічну форму міркування за допомогою відповідної схеми.

♦!♦ Розглянемо для прикладу таке міркування: «Ця посадова особа вчинила злочин, тому що вона отримала хабар*.

1.Відновимо його у повному вигляді. В результаті маємо:

Якщо посадова особа отримала хабар,

то вона вчинила злочин.

Ця посадова особа отримала хабар.

Ця посадова особа вчинила злочин.

2.До складу першого засновку міркування входить один логічний термін: «якщо, ... то*.

3.Замінимо висловлювання: «Посадова особа отримала хабар» на змінну р, а висловлювання «Посадова особа вчинила злочин» — на змінну ц.:

4. Зобразимо логічну форму міркування за допомогою такої схеми; Якщо р, тоді ^.

Р