Logicians' training is so different from philosophers' that it should be considered a separate discipline, or under the branch of computer science.