So, alongside his more technical work in logic and logical theory, Aristotle investigates informal styles of argumentation and seeks to expose common patterns of fallacious reasoning.
Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics.
Nonmonotonic logic is the first sustained attempt within logical theory to remedy this discrepancy.
We find at the very beginning of logic a discrepancy between the scope of logical theory and common sense reasoning.
It was towards the end of the 19th century, when the study of logic achieved mathematical articulation, that an explosive logical theory became the standard.
However, nonmonotonic logics may prove useful not only in applications but in logical theory itself.
In some cases, a working system is inspired by ideas from logic, but acquires features that at first seem logically problematic but can later be explained by developing new ideas in logical theory.
"There's a very logical theory that would say that that's what it could be," he said.
At first, the hunt and its veterinarians believed that a tick-borne disease was responsible -- a logical theory, given the prevalence of Lyme disease in the area.
Asked if Lubitz had committed suicide, Robin said he did not call it that but that it was a logical theory to consider.
Moreover, Kurt Gödel's first incompleteness theorem (1931) proves that there cannot be a single logical theory from which the whole of mathematics is derivable: all consistent theories of arithmetic are necessarily incomplete.
