PL
Artykuł ukazuje niektóre problemy związane z formalizacją wnioskowań prawniczych w trybie analogia legis oraz w trybie a contrario, a także omawia wybrane, charakterystyczne propozycje w tym zakresie. Budowane sformalizowane modele są oparte na pojęciach logiki monotonicznej oraz logik niemonotonicznych. Modele te mają głównie charakter poglądowy i posiadają ograniczoną moc wyjaśniającą. Ich niezawodność może być uzyskana tylko przy spełnieniu pewnych dodatkowych warunków.
EN
The paper shows some of the problems related to the formalization of legal reasonings under analogia legis and a contrario, and discusses some of the specific proposals in this regard. Built formal models are based on the concept of monotonic logic and nonmonotonic logic. These models are mainly illustrative and have limited explanatory power. Their reliability can only be achieved under certain additional conditions.