Парадокси імплікації та проблема доказовості. Paradoxes of Implication and the Issue of Provability
| dc.contributor.author | ГВОЗДІК Олег | |
| dc.contributor.author | HVOZDIK Oleh | |
| dc.date.accessioned | 2024-07-10T08:00:23Z | |
| dc.date.available | 2024-07-10T08:00:23Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | Однією з істотних перешкод у застосуванні логічних критеріїв доказовості аргументації є низка парадоксів, пов’язаних із поданням відношення логічного випливання у вигляді імплікативних виразів. Одначе численні спроби розв’язання цієї проблеми не привели до вагомих позитивних зрушень. Тож пошук шляхів нівелювання згаданих парадоксів і донині не втрачає своєї актуальності. У процесі дослідження використано методи: порівняльного аналізу (для виявлення спільних моментів і розбіжностей у підходах до тлумачення й розв’язання аналізованих проблем), індуктивного узагальнення (з метою визначення панівних тенденцій у сучасних дослідженнях логічних основ ефективної побудови юридичної аргументації), критичного аналізу (під час оцінювання поширених методологічних концепцій у цій сфері з позицій їхньої обґрунтованості та логічної прийнятності), логічної формалізації (для однозначно чіткого подання принципових основ раціоналізації доказових процедур у вигляді узагальнених формул), логіко-семантичного аналізу (під час визначення умов релевантності застосування методологічного інструментарію сучасної логіки в процесі побудови аргументації). У статті здійснено логіко-семантичне обґрунтування розбіжностей між функціональним змістом імплікації та відношенням логічного випливання. З огляду на їх змістові відмінності, запропоновано потенційні шляхи та засоби уникнення складнощів застосування логіки в доказовому процесі, зумовлених парадоксами імплікації. Встановлено, що такі парадокси не виникатимуть, якщо за логічну умову доказовості аргументацій визнаватиметься не функціональний зміст імплікації, а критерій входження області визначення системи зазначених підстав в область визначення обґрунтовуваного висновку. У такому разі не спостерігатимуться колізії між природними та штучними мовними засобами побудови аналітичних міркувань. Окрім того, у процесуальній юриспруденції оцінювати відношення логічного випливання між доказами, з одного боку, і предметом доказування – з іншого доцільно не лише в контексті наявності чи відсутності цього відношення (як це передбачено класичною двозначною логікою), а й з погляду ступеня підтвердження доказуваного положення наведеними доказами (за допомогою методів імовірнісної оцінки висловлювань та відношень між ними). Запропонований підхід зорієнтований на розширення прикладного потенціалу логіки як чинника раціоналізації доказових процедур. One of the significant obstacles in the application of logical criteria of argumentation provability is a number of paradoxes associated with the presentation of the logical consequence relation in the form of implicative expressions. However, numerous attempts to solve this problem did not lead to significant positive changes. Therefore, the search for ways of leveling the mentioned paradoxes still does not lose its relevance. In the course of the study, the following methods were used: comparative analysis (to identify common points and differences in approaches to the interpretation and solution of the analyzed problems), inductive generalization (in order to determine the dominant trends in modern studies of the logical foundations of effective construction of legal argumentation), critical analysis (when evaluating common methodological concepts in this field from the point of view of their validity and logical acceptability), logical formalization (for an unequivocally clear presentation of the fundamental foundations of the rationalization of evidential procedures in generalized formulas), logical-semantic analysis (when determining the conditions of relevance for the application of the methodological tools of modern logic in the process of building an argument). The article provides a logical-semantic substantiation of the differences between the functional content of the implication and the relation of logical inference. In view of their substantive differences, potential ways and means of avoiding the difficulties of applying logic in the proof process, caused by paradoxes of implication, are proposed. It has been established that the mentioned paradoxes will not arise if the logical condition for the evidentiality of arguments is not the functional content of the implication, but the criterion of the entry of the domain of definition of the system of given grounds into the domain of definition of a substantiated conclusion. In this case, there will be no collisions between natural and artificial linguistic means of constructing analytical reasoning. In addition, in procedural jurisprudence, it is expedient to evaluate the relationship of logical consequence between the evidence, on the one hand, and the subject of proof, on the other hand, not only in terms of the presence or absence of this relationship (as assumed by classical ambiguous logic), but also from the point of view of the degree of confirmation of what is being proven position with the given evidence (using methods of probabilistic assessment of statements and relationships between them). The proposed approach is aimed at expanding the applied potential of logic as a factor in the rationalization of evidentiary procedures. | |
| dc.identifier.doi | 10.33270/01242702.23 | |
| dc.identifier.uri | https://elar.naiau.kiev.ua/handle/123456789/32634 | |
| dc.language.iso | uk_UA | |
| dc.relation.ispartofseries | ISSN; 2519-4666 | |
| dc.relation.ispartofseries | E-ISSN ; 2519-4674 | |
| dc.subject | юридична аргументація; логіка аргументації; проблема доказовості; критерії доказовості; логічне випливання; парадокси імплікації; legal argumentation; logic of argumentation; problem of proof; criteria of proof; logical deduction; paradoxes of implication | |
| dc.title | Парадокси імплікації та проблема доказовості. Paradoxes of Implication and the Issue of Provability | |
| dc.type | Article | |
| local.department | НАЦІОНАЛЬНА АКАДЕМІЯ ВНУТРІШНІХ СПРАВ | |
| local.udk | 340.12 | |
| local.vid | Наукові періодичні видання, мультимедійні презентації, засоби контролю знань, спеціалізовані компьютерні програми. |