Logika i systemy formalne

Rozważania zawarte w niniejszym tomie prowadzą od analizy logiki jako ideału porządku sensu do jej systemowej lokalizacji w modelu U. Każdy z omawianych projektów - od Fregego po Kripkego - proponował odmienną strategię zabezpieczenia sensu, jednak żadna z nich nie pozwalała uczynić z logiki absolutnego fundamentu racjonalności. Logika okazała się skuteczna nie dzięki swojej metafizycznej konieczności, lecz dzięki określonej pozycji strukturalnej.