Challenges traditional use of logic in the mathematics curriculum, indicating how it may be better used. Explicit suggestions and justification for placing inferential logic in high school geometry and relegating most of the sentential logic to algebra are provided. Overviews of both forms of logic are also provided. (JN)