Maciej Hałapacz: „Wilk w owczej skórze”. Kiedy logika wyraża zbyt wiele?

Logika drugiego rzędu na pierwszy rzut oka wydaje się wspaniałym narzędziem – wzbogaca język logiki pierwszego rzędu w taki sposób, iż możemy się wypowiadać nie tylko o obiektach jednostkowych, ale także o ich własnościach. Dzięki temu logika drugiego rzędu ma ogromną siłę wyrazu. Ta siła jednak nie przychodzi bez swojej ceny. Czy warto ją ponosić?