If entailment inference requires knowing that 'bachelor' entails 'unmarried', the inferential machinery must already encode the decomposition, making primitives epistemically prior to entailments.

?Rate how convincing each reason is below to see the overall strength.

1 reason for

1 reason against

Reasons For

1 perspective

Reason for

1 perspective

Reason against

Based on where you are in your exploration

Encode(as used in metaphysics): To contain or express something in a compressed or underlying form, like how DNA encodes the instructions for building a living organism.
Primitives(in logic and ontology): Basic building blocks that you treat as fundamental and don't try to explain further—like how 'color' might be a primitive in a theory of vision, rather than something you define using other concepts.
decomposition(Contrasted along functional versus structural lines): The analysis of a system into parts, which is not univocal and can generate competing and complementary sets of part representations depending on the principles utilized.
entailment(Conceptualist framework): Understood in terms of truth at a world
epistemically prior(as used in epistemology (the study of knowledge)): Known or understood first, before something else. If A is epistemically prior to B, you have to know A before you can know B.
inference(Nyāya epistemology): A component of epistemology in Nyāya philosophy; a veritable inference yields knowledge about the world and must have premises that are themselves known
inferential machinery(as used in cognitive science and philosophy of mind): The system or mechanism in the mind that performs reasoning and draws conclusions from information.

2 topics