Few questions sit so quietly at the foundation of reasoning. Logic appears both indispensable and universal: it governs valid inference, structures argument, and seems to apply regardless of what we are thinking about. From this dual role arises a familiar tension—is logic something we impose, or something we discover in reality itself?
“Is logic a feature of reality or of thought?” appears to ask where logical structure belongs.
But this framing depends on a prior move: treating logic as a kind of entity that must be located in one domain or another.
Once that move is examined, the question no longer divides the world into competing sources of order. It reveals a familiar distortion: the displacement of constraint across distinct strata of relational organisation.
1. The surface form of the question
“Is logic a feature of reality or of thought?”
In its everyday philosophical form, this asks:
- whether logical laws are mind-independent
- whether they reflect structures in the world or conventions of reasoning
- whether logic is discovered or invented
- whether contradictions are impossible in reality or merely in thought
It presupposes:
- that logic is a thing that can belong somewhere
- that “reality” and “thought” are separate domains
- that logic must originate in one or the other
2. Hidden ontological commitments
For the question to stabilise, several assumptions must already be in place:
- that logical structure is a self-contained entity
- that it can be detached from the practices in which it is realised
- that reality and thought are independently specifiable domains
- that constraint must be located rather than enacted
- that origin determines applicability
These assumptions convert structured constraint into a misplaced object.
3. Stratal misalignment
Within relational ontology, the distortion involves reification, dualisation, and displacement.
(a) Reification of logic
Logic is treated as a thing.
- instead of a system of formal constraints
- it becomes an entity to be located in ontology
(b) Dualisation of reality and thought
Two domains are treated as separate containers.
- logic must be assigned to one side
- ignoring the relational coupling between them
(c) Displacement of constraint across strata
Different forms of constraint are conflated:
- constraint in systems of instantiation (physical, biological, etc.)
- constraint in systems of formalisation (symbolic, logical systems)
These are treated as the same kind of thing rather than distinct but related strata.
4. Relational re-description
If we remain within relational ontology, logic is not a feature of reality or of thought in isolation. It is a formal system of constraint actualised within symbolic-semiotic practices, grounded in but not reducible to the constraint structures of instantiation.
More precisely:
- systems of instantiation operate under constraint (relations that stabilise what can occur)
- symbolic systems (such as language and formal logic) develop to articulate and manipulate patterns of relation
- logic emerges as a refined formalisation of constraint relations within these symbolic systems
From this perspective:
- logic is not imposed arbitrarily
- nor is it directly embedded as a thing in reality
- it is a structured articulation of relational constraint within a specific stratum
Thus:
- logical necessity reflects the internal coherence of formal systems
- its applicability depends on how those systems are coupled to other strata of organisation
5. Dissolution of the problem-space
Once logic is no longer treated as an entity requiring location, the question “Is logic a feature of reality or of thought?” loses its structure.
It depends on:
- reifying logic as a thing
- separating reality and thought into independent domains
- collapsing distinct strata of constraint
- requiring a single origin for logical structure
If these assumptions are withdrawn, there is no need to assign logic to one side.
What disappears is not logic, but the demand that it must belong exclusively somewhere.
6. Residual attraction
The persistence of the question is entirely understandable.
It is sustained by:
- the apparent universality of logical principles
- the necessity we feel in valid reasoning
- the success of formal systems across domains
- philosophical traditions that seek ultimate grounding
Most importantly, logic feels independent:
- it applies across contexts
- it appears unavoidable once grasped
This encourages the idea that it must exist “out there” or “in here” as a fixed structure.
Closing remark
“Is logic a feature of reality or of thought?” appears to ask where logical necessity resides.
Once these moves are undone, logic is not relocated.
No comments:
Post a Comment