Kilka uwag o formalizacji wnioskowań w trybie analogia legis i a contrario

Słowa kluczowe: formalizacja, wnioskowanie prawnicze, analogia legis, a contrario

Abstrakt w języku polskim: 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.