The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality.
One of the aims of logic is to identify the correct (or valid) and incorrect (or fallacious) inferences.
The field has grown to include the study of generalized computability and definability.
The basic questions addressed by recursion theory are "What does it mean for a function from the natural numbers to themselves to be computable?"
The answers to these questions have led to a rich theory that is still being actively researched.