Logiki zachowujące stopnie prawdziwości

Abstract

Celem niniejszej rozprawy jest formalizacja pewnej klasy wnioskowań spotykanych w nauce oraz życiu codziennym, zwanych wnioskowaniami niezawodnymi. Na ogół uważa się, że wnioskowania niezawodne to po prostu wnioskowania dedukcyjne, ewentualnie również wnioskowania entymematyczne (stające się dedukcyjnymi po uwzględnieniu przemilczanych przesłanek). Można, jednakże "wnioskowanie niezawodne" pojmować w taki sposób, iż klasa wnioskowań niezawodnych będzie znacznie szersza od klasy wnioskowań dedukcyjnych. Pojawia się wówczas zagadnienie precyzyjnego opisu wnioskowań niezawodnych, na wzór precyzyjnego (formalnego) ujęcia wnioskowań dedukcyjnych.