WWW.REFERATCENTRAL.ORG.UA - Я ТУТ НАВЧАЮСЬ

... відкритий, безкоштовний архів рефератів, курсових, дипломних робіт

ГоловнаЛогіка → Логічна форма міркування - Реферат

Логічна форма міркування - Реферат


Реферат на тему:
Логічна форма міркування
Визначення логічної форми. Формалізована мова. Метод формалізації
Основними компонентами логічної форми міркування є:
? логічні терміни;
? нелогічні терміни.
Логічні терміни в природній мові звичайно виражають за допомогою таких слів та словосполучень: "усякий*, "деякий", "є*, "невірно, що...", "якщо..., тоді...", "...і...", "...або..." тощо.
У нелогічних термінах фіксується певна інформація, про яку йдеться у вислові. Це можуть бути як окремі слова, словосполучення, так і цілі речення.
Як бачимо, зміст міркування виражається саме в нелогічних термінах. У зв'язку з цим можна уточнити поняття логічної форми.
Логічна форма міркування - це його структура, яка виявляється в результаті абстрагування від значень нелогічних термінів.
Для того, щоб з'ясувати логічну форму міркування, необхідно:
1) відновити міркування у повному вигляді, тобто виявити усі його засновки і висновок;
2) з'ясувати логічні терміни, що входять до складу засновків та висновку міркування;
3) замінити прості висловлювання, що входять до складу засновків та висновку, на певні символи;
4) зобразити логічну форму міркування за допомогою відповідної схеми.
?!? Розглянемо для прикладу таке міркування: "Ця посадова особа вчинила злочин, тому що вона отримала хабар*.
1. Відновимо його у повному вигляді. В результаті маємо:
Якщо посадова особа отримала хабар,
то вона вчинила злочин.
Ця посадова особа отримала хабар.
Ця посадова особа вчинила злочин.
2. До складу першого засновку міркування входить один логічний термін: "якщо, ... то*.
3. Замінимо висловлювання: "Посадова особа отримала хабар" на змінну р, а висловлювання "Посадова особа вчинила злочин" - на змінну ц.:
4. Зобразимо логічну форму міркування за допомогою такої схеми; Якщо р, тоді ^.
Р
Отже, ц
Це схема правильного міркування. Які б конкретні висловлювання не підставлялись замість р та ^, якщо засновки міркування будуть істинними, то його висновок також буде істинним.
Логічна форма міркування - це спосіб зв'язку висловлювань, що входять до його складу.
З метою її виявлення абстрагуються від змістовного аспекту міркування і зосереджуються тільки на тих компонентах, які виражають його формальний аспект.
Таку різницю між формою і змістом за допомогою природної мови провести практично неможливо. Це пов'язано з багатьма причинами. Одна з них (мабуть, найголовніша) полягає у тому, що люди, як правило, не можуть абстрагуватися від змісту мовних висловів, які вони застосовують у процесах мислення або спілкування з іншими людьми.
Для того, щоб наведені фактори не впливали на визначення структури, форми певного міркування, в логіці створюються штучні мови, які отримали назву формалізованих мов.
Формалізована мова - це спеціальна штучна мова, в якій вислови природної мови замінюються на спеціальні символи, за якими закріплюється певне значення.
Міркування при такому підході перетворюється на ланцюжок знаків, побудований за суворими правилами. -
Побудова моделі, в якій змістовним міркуванням відповідають їх формальні аналоги, у логіці отримало назву "формалізації*. Метод формалізації є основним методом сучасної логіки.
Цей метод широко застосовується також у праві. Однак тут у це поняття вкладається інший смисл. У правознавстві метод формалізації означає, що для вираження тієї самої думки використовується один і той же ряд слів чи прийомів. Формалізм, притаманний юридичному тексту, виражається у стереотипності, стандартизації стилю і викладу правознавчих актів і в його уніфікованості. У зв'язку з цим у текстах нормативних документів, як правило, застосовуються стандартні терміни, фрази й вислови, стійкі мовні конструкції.
Формалізація - побудова моделі, в якій змістовним думкам і міркуванням відповідають формальні аналоги.
Виявлення форми думок ускладнюється тим, що природна мова, з допомогою якої ці думки виражаються, не дає можливості абстрагуватися від їх змісту. Тому першим кроком у процесі формалізації є вилучення природної мови. Оскільки ж думки не існують поза матеріальною оболонкою, то замість природної мови вводять штучну мову, насамперед набір символів для позначення елементів думок, які використовують для побудови відповідних логічних структур. Наступним кроком є встановлення скінченого числа правил утворення висловлювань з певного набору символів або переліку зразків, які дають змогу виділити правильні для даної системи висловлювань (формул) з усіх тих, які можна побудувати з цього набору символів. Важливим моментом формалізації є визначення правил переходу одних правильних висловлювань в інші. При формалізації доводиться виявляти ті елементи структури думок чи міркувань, які не виражені в явній формі, але домислюються. Процес формалізації буде проілюстровано при викладі логіки висловлювань.
Формалізація дає змогу виявити загальні структури думок, сформулювати на цій основі загальні закони і правила міркування, завдяки чому можна замінити будь-яке змістовне міркування, фрагмент тексту чи й цілий текст відповідною системою формул.
Розрізняють природну (розмовну) і штучну мови. Освоєння сучасної логічної науки передбачає ознайомлення з такими аспектами мови, як семантика, синтаксис,
Loading...

 
 

Цікаве