Abstract

Na gruncie myśli współczesnej próbowano określić pojęcie wynikania logicznie poprawnego. Odsyła to do pojęcia form (logicznych) wypowiedzi logicznie prawdziwych, a więc do formuł tautologicznych. W dyskusji na ten temat jedno ze stanowisk ma charakter syntaktyczny i zewnętrzny (Frege, Russell), inna ma charakter semantyczny i wewnętrzny. Formuła tautologiczna to z definicji formuła prawdziwa dla wszystkich interpretacji liter schematycznych. Jak rozumieć pojęcie "wszystkie interpretacje”? Istnieje w tym względzie kilka propozycji; jedna z nich pochodzi od Tarskiego, inna od Hilberta i Ackermanna. Pokazując, dlaczego te definicje są niewystarczające, autor traktuje problem jako otwarty.