Książka porusza temat styku logiki z ontologią, na gruncie proponowanego przez autora systemu ontologii logicznej, opartego o słabotypikalną logikę drugiego rzędu. Niewątpliwą siłą wydawnictwa jest całkiem udana próba zmierzenia się ze zbadaniem egzystencjalnych tez logiki w świetle ontologicznym. Pomimo, że temat jest raczej zasygnalizowany i potraktowany często skrótowo, to jednak stanowi dobry przyczynek do przemyśleń dla każdego, kto zajmuje się logiką w sensie szerszym niż sam język przekształceń formalnych.
Autor nie obawia się argumentować za logiką klasyczną, wykazując jednocześnie słabości i ograniczenia innych systemów logicznych.
Minusem pracy jest niedostateczne opisanie użytych formalizacji. Nie obniża to jednak wartości książki.

Książka porusza temat styku logiki z ontologią, na gruncie proponowanego przez autora systemu ontologii logicznej, opartego o słabotypikalną logikę drugiego rzędu. Niewątpliwą siłą wydawnictwa jest całkiem udana próba zmierzenia się ze zbadaniem egzystencjalnych tez logiki w świetle ontologicznym. Pomimo, że temat jest raczej zasygnalizowany i potraktowany często skrótowo,...