UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75855
останнє поновлення: 2016-12-09
за 7 днів додано 17

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваЛогічний вивід і проблема розв\'язання (реферат)
АвторPetya
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось7318
Скачало631
Опис
ЗАКАЧКА
Замовити оригінальну роботу

Реферат на тему

 

Логічний вивід і проблема розв'язання

 

Поняття логічного виводу

 

Термін «логічний вивід» використовується у широкому і вузькому

значеннях. У широкому значенні поняття «логічний вивід» ототожнюється з

поняттям умовиводу [69], до якого включають і власне вивід (логічний).

Так, один з найновіших словників з логіки дає таке визначення: «Вивід

логічний — міркування, в ході якого з яких-небудь суджень — засновків —

з допомогою логічних правил одержують висновок — нове судження» [18]. Це

визначення повністю збігається з визначенням умовиводу. Про це свідчить

і приклад, яким ілюструється цитоване визначення: «Всі люди смертні. Кай

— людина. Кай смертний».

 

Часте ототожнення виводу з умовиводом пояснюється їх подібністю. І

умовивід, і логічний вивід є міркуваннями, будуються вони відповідно до

певних логічних правил, містять засновки і висновки, дають змогу

одержувати так зване вивідне знання. Проте між ними існує й істотна

відмінність. Якщо умовивід — це справжнє, змістовне міркування, то

логічний вивід нагадує своєрідну гру «...з символами, коли можна

комбінувати символи у відповідності з правилами, з'єднувати їх,

роз'єднувати тощо» [36]. Правила, відповідно до яких будується логічний

вивід, є строго однозначно визначеними, що не завжди можна сказати про

правила умовиводів. Засновками і висновком умовиводу є судження,

виражені засобами природної мови, а засновками і висновком виводу є

безструктурні, позначені символами прості висловлювання, формули і

навіть схеми формул (до речі, висновок тут називається вивідною

формулою). Назвати вивідну формулу знанням можна хіба що умовно,

оскільки вона набуває смислу тільки після відповідної інтерпретації.

 

ВИВІД — послідовність висловлювань, формул або схем формул, яка

утворюється з аксіом, засновків і теорем (раніше доведених формул),

остання формула якої (послідовності) виведена з попередніх формул за

правилами відповідної формально-логічної теорії.

 

Логічний вивід у логіці висловлювань є одним з видів числення. Оскільки

кожна формальна система має власні аксіоми і правила виводу, то в кожній

з них вивід носить специфічний характер. Особливо ефективними є виводи в

системі логіки висловлювань, насамперед в системі натурального виводу.

Процес міркування, одержання істинних висновків у них ґрунтується не на

застосуванні конкретних за змістом засновків і навіть не на зв'язках між

обсягами термінів у середині простих суджень (між суб'єктом і

предикатом) та обсягами термінів різних простих суджень (як у

силогізмі), а на характері логічних зв'язків між висловлюваннями,

врахуванні лише логічного значення (істинності чи хибності) останніх та

коректному застосуванні до них правил виводу.

 

Формалізувавши (в даному випадку — переклавши на мову логіки

висловлювань) вихідні судження, суд-ження-засновки, можна

алгоритмізувати процес виведення із засновків необхідного й істинного

висновку, який, будучи перекладеним на природну мову, фігуруватиме як

розв'язання відповідної задачі (про формалізацію див. на с 13 цього

-----> Page:

0 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ