One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed but one commonly proposed system is firstorder classical logic. This Element will examine the basics of firstorder classical logic and discuss some surrounding philosophical issues.