Who was the first Greek philosopher to analyze how people can use reason to reach logical, provable conclusions?