their main works deal with logic and metaphysics