Leaderboard

In general, we know patterns of inference as codifications of regularly successful mental policies. In particular, we know logically valid inference patterns as means to certain conclusions, the denial of which results in contradiction. But seeing as conceptual knowledge and method are indivisible, valid forms of inference are less what we may know than that by which we know (conceptually). The knowing of logic and of basic inference patterns are in large part the faculty of knowledge turning back in on itself, and stating the implicit causal relations by which one knows as explicit propositional forms or rules for one to know. Modus ponens is an explicit statement of the indivisibility of cause and effect, a principle implicit in every mental consequence as caused by the apprehension of some object of consciousness. "p therefore q" underscores the premise behind all valuation and recognition, for it is in recognizing the necessary connection between q and its cause that motivation may find real purchase.

Well put. I only observe that the existence of some kinds of existents is mostly independent of other existents while the existence of other kinds of existents depends upon the existence of others. This kind of consideration distinguishes entities. A relationship such as spacetime is an existent wholly dependent on every other entity (possessing mass / energy... by the way how many entities other than spacetime wholly lack mass and energy?) and is more of a property of a system of entities than an entity itself. IMHO