. . . . "The Department of Philosophy at Carnegie Mellon University offers a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences." . .