Посилка , в широкому сенсі — те, на підставі чого робиться вивід або висновок. П. можуть служити факти або думки про факти, принципи, аксіоми, постулати і пр., взагалі будь-які події або вислови — вихідні дані, з яких безпосередньо або за допомогою міркування можна витягувати яку-небудь нову для нас інформацію. У цьому сенсі говорять рівно і про П. індукції, і про П. дедукції .
У вузькому сенсі, при формально-дедуктивних побудовах логіки, власне П. називають вислови, до яких застосовується те або інше правило виводу, або ж символізуючі їх формули, що входять у формулювання правил виводу на «мові дослідника». «Симетричним» до поняття П. є поняття логічного следствія . Ці поняття, взагалі кажучи, відносні: вислів може бути П. в одному вживанні правила виводу і слідством — в іншому. У логічних формалізмах аксіоматичного типа (див. Логіка ) П. перших кроків дедукції заздалегідь фіксуються у вигляді аксіом, які, т. о., грають роль «абсолютних» П., або передумов, — процедура виводу повинна починатися обов'язково з них. У натуральних численнях, в яких міркування ведуться за відомим ще в античності «принципом допущень», абсолютних П. немає.
Який би характер не носили П., вони є необхідною умовою логічної аргументації або доказу. При цьому істотним виявляється питання про несторонній характер П. Постороннюю в даній аргументації П. завжди можна замінити на ту, що перечить їй без збитку для аргументації. Цьому правилу відповідає логічний закон, який можна назвати «законом сторонньої посилки»:
(( А & В É З ) & ( А É C )) É ( А & ù В É З ) .
Завдання розшуку следствій з даних П. і несторонніх П. по даних следствіям є основними завданнями логіки. В межах формалізму алгебри висловів ці завдання мають вичерпне вирішення (див. Алгебра логіки ) .
