example of logic philosophy