A negyedik posztomban, ahol a nemlétezés problémájának formális-logikai nyelven megfogalmazható megközelítéseit tekintettem át, a másodrendű logikát használó javaslatok kapcsán megemlítettem Otávio Bueno egy írását: Second-order Logic Revisited Ennek az írásnak a továbbfejlesztet változata 2010-ben…