Посилка - велика радянська енциклопедія

Індукція (грец. Epagoge, лат. Inductio - наведення), вигляд узагальнень, пов'язаних з передбаченням результатів спостережень і експериментів на основі даних минулого досвіду. Саме тому і говорять про ...

Дедукція (від лат. Deductio - виведення), перехід від загального до приватного; в більш спеціальному сенсі термін «Д.» позначає процес логічного висновку, т. е. переходу з тих чи інших правил логіки від ...

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

Логіка (грец. Logik), наука про прийнятні способи міркування. Слово "Л." в його сучасному вживанні багатозначно, хоча і не настільки багато смисловими відтінками, як древнегреч. logos, від якого ...

Натуральне числення, обчислення природного виведення, натуральна дедукція, загальна назва логічних числень, введених і вивчених в 1934 німецьким логіком Г. Генценом (і незалежно польським ...

Логічний закон, загальна назва законів, що утворюють основу логічної дедукції. Поняття про Л. з. сходить до старогрецького поняття про logos'e як передумові об'єктивної ( "природного") правильності ...

Алгебра логіки, розділ математичної. логіки, що вивчає висловлювання, що розглядаються з боку їх логічних значень (істинність або хибність), і логічні операції над ними. А. л. виникла в ...

Посилка, в широкому сенсі - то, на підставі чого робиться висновок або умовивід. П. можуть служити факти або судження про факти, принципи, аксіоми, постулати та ін. Взагалі будь-які події або висловлювання - вихідні дані, з яких безпосередньо або за допомогою міркування можна отримати будь-яку нову для нас інформацію. У цьому сенсі говорять також і про П. індукції. і про П. дедукції.

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

Який би характер не носили П. вони є необхідною умовою логічної аргументації або докази. При цьому істотним є питання про нестороннього характері П. сторонніх в даній аргументації П. завжди можна замінити на таку, що суперечить їй без шкоди для аргументації. Цьому правилу відповідає логічний закон. який можна назвати "законом сторонньої посилки":

Завдання розвідки наслідків з даних П. і нестороннього П. за даними наслідків є основними завданнями логіки. В межах формалізму алгебри висловлювань ці завдання мають вичерпне рішення (див. Алгебра логіки).