Логическо заключение, концепции и категории
ЛОГИЧЕН ЗАКЛЮЧЕНИЕ - процедура за преобразуване на знаци, извършена в рамките на логическото смятане в съответствие с точните формални правила, чиято цел е да обоснове легитимността, логическата коректност на прехода от набор от формули към определена формула.
V.L. е официален аналог на разсъжденията на естествен език.
Съществуването на В.Л. формули И от много формули G означава наличие на връзка на люпимост между тях (от G изведени И). Ако смятането е конструирано с цел формализиране на логическа теория, формулирана в семантични термини, тогава V.L. са склонни да задават по такъв начин, че редуцируемостта да е адекватен синтактичен дубликат на връзката логическо следствие G логично следва И), т.е. възпроизведени формите на логически правилни изводи.
В калкули от различен тип, V.L. има свои собствени характеристики. И така, в аксиоматичното смятане под V.L. формули И от много формули G обикновено разбират непразна крайна последователност от формули, завършващи с формулата И, така че всеки член на тази последователност да е или аксиома, или елемент G, или формула, получена от предишните според едно от правилата за извод, постулирани в смятането. Освен това, ако някое от правилата за извод не възпроизвежда връзката логическа последица, се налагат специални ограничения за прилагането му. Спецификата на естествените калкули е липсата на аксиоми и разрешението да се използва V.L. допълнителни предположения. В случая в дефиницията на В.Л. обикновено включват описание на процедурите за елиминиране на въведените предположения. В последователното изчисление не се обосновават отделни формули, а последователности - аналози на мета-твърдения за изводимост. V.L. ето набор от последователности, подредени под формата на дърво съгласно специални правила.