Introduction to Philosophy of Artificial Intelligence: Epistemology, Logic, and Conceptual Engineering