Logic is often seen as the study of the laws of thought, correct reasoning, valid inference, or logical truth. It is a formal science that investigates how conclusions follow from premises in a topic-neutral manner.