"Systematic study of theories of knowledge, including such topics as theories of perception, the character and value of logical systems, theories of the nature of truth and of the nature of proof." . . . . .