The phrase "abstract logic" is correct and usable in written English.
It can be used in contexts discussing theoretical reasoning, philosophical concepts, or mathematical principles that are not tied to specific instances or practical applications.
Example: "The study of abstract logic allows philosophers to explore the foundations of reasoning without being constrained by real-world examples."
Alternatives: "theoretical reasoning" or "conceptual logic".
It was the kind of drunk that makes you use abstract logic.
According to Flynn, generational rises are prompted by increased exposure to abstract logic.
The film does not interpret the music as a conventional narrative, but instead creates its own abstract logic through images of depopulated landscapes.
I next asked Eddy Boxerman, the lead Osmos developer, to recommend one game, and he chose Eliss ($3 on Apple), a game of abstract logic that's highly rated by iTunes users, but less visually appealing than Osmos and more difficult.
The cognitive revolution of the past thirty years provides a different perspective on our lives, one that emphasizes the relative importance of emotion over pure reason, social connections over individual choice, moral intuition over abstract logic, perceptiveness over I. Q
Easterners, the researchers find, appear to think more "holistically," paying greater attention to context and relationship, relying more on experience-based knowledge than abstract logic and showing more tolerance for contradiction.
The abstract logics that we are going to define can be seen, in contrast to logical matrices, as algebraic generalizations of the logic itself and its extensions.
These generalized matrices (and their corresponding abstract logics) are called full models.
This observation leads to another point of view on abstract logics as models of a logic system.
This example motivated the systematic study, in Font & Jansana 1986, of the kind of model for sentential logics considered in Brown & Suszko 1973, namely, abstract logics.
The generalized matrices < A, B > that correspond to abstract logics have the properties that A ∈ B and that B is closed under intersections of arbitrary nonempty families.
