Реферат: Мислення і мова

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Р_________

Отже, ц

Це схема правильного міркування. Які б конкретні висловлювання не підставлялись замість р та ^, якщо засновки міркування будуть істинними, то його висновок також буде істинним.

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

З метою її виявлення абстрагуються від змістовного аспекту міркування і зосереджуються тільки на тих компонентах, які виражають його формальний аспект.

Таку різницю між формою і змістом за допомогою природної мови провести практично неможливо. Це пов'язано з багатьма причинами. Одна з них (мабуть, найголовніша) полягає у тому, що люди, як правило, не можуть абстрагуватися від змісту мовних висловів, які вони застосовують у процесах мислення або спілкування з іншими людьми.

Для того, щоб наведені фактори не впливали на визначення структури, форми певного міркування, в логіці створюються штучні мови, які отримали назву формалізованих мов.