semantyka Kripkego Powiązane pojęcia ontologia sytuacji przestrzeń logiczna sytuacje elementarne logika modalna inwersja ontologiczna zasada elementarności słownik translacyjny redukcjonizm semantyczny krata zupełna ekwiwalencja znaczeniowa