non-logical
Adjective
Meaning
non-logical (not comparable)
Alternative spelling of nonlogical
Examples
Another name for a non-logical axiom is postulate.
A more recent practice is to use different non-logical symbols according to the application one has in mind.
First-order logic uses quantified variables over (non-logical) objects.
In general, a non-logical axiom is not a self-evident truth, but rather a formal logical expression used in deduction to build a mathematical theory.
It is common to divide the symbols of the alphabet into logical symbols, which always have the same meaning, and non-logical symbols, whose meaning varies by interpretation.
It used to be standard practice to use a fixed, infinite set of non-logical symbols for all purposes.