semantyka Kripkego Powiązane pojęcia Bogusław Wolniewicz ekwiwalencja znaczeniowa hermeneutyka logiczna inwersja ontologiczna krata zupełna logika modalna ontologia sytuacji przestrzeń logiczna redukcjonizm semantyczny słownik translacyjny