El documento habla sobre lógica formal, que estudia los procesos de razonamiento humano utilizando conceptos como juicio y razonamiento. Explica que la lógica formal evalúa la validez de las inferencias sin considerar el contenido concreto de los pensamientos. Su objetivo es formular leyes y principios para inferencias válidas. En el capítulo se tratarán temas como relaciones familiares, días de la semana y problemas lógicos.