Primitive notion: Difference between revisions

Revision as of 11:21, 19 February 2025

Latest revision as of 13:16, 9 August 2025

(2 intermediate revisions by 2 users not shown)

Line 1:

{{short description|Concept that is not defined in terms of previously defined concepts}}

In [[mathematics]], [[logic]], [[philosophy]], and [[formal system]]s, a '''primitive notion''' is a concept that is not defined in terms of previously- defined concepts. It is often motivated informally, usually by an appeal to [[Intuition (knowledge)|intuition]] or taken to be [[self-evident]]. In an [[axiomatic theory]], relations between primitive notions are restricted by [[axiom]]s.<ref>More generally, in a formal system, rules restrict the use of primitive notions. See e.g. [[MU puzzle]] for a non-logical formal system.</ref> Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of [[infinite regress]] (per the [[regress problem]]).

For example, in contemporary geometry, ''[[point (geometry)|point]]'', ''line'', and ''contains'' are some primitive notions.

For example, in contemporary geometry, ''[[point (geometry)|point]]'', ''line'', and ''contains'' are some primitive notions. Instead of attempting to define them,<ref>[[Euclid]] (300 B.C.) still gave definitions in his ''[[Euclid's Elements|Elements]]'', like "A line is breadthless length".</ref> their interplay is ruled (in [[Hilbert's axiom system]]) by axioms like "For every two points there exists a line that contains them both".<ref>This axiom can be formalized in [[predicate logic]] as "[[universal quantifier|∀]]''x''₁,''x''₂[[[Set membership|∈]]''P'' → (implies) [[existential quantifier|∃]]''y''∈''L'' AND ''C''(''y'',''x''₁) [[logical conjunction|∧]] ''C''(''y'',''x''₂)", where ''P'', ''L'', are predicates having as [[universe of discourse]] the [[set]] of points, of lines, and ''C'' is the diadic [[predicate variable|predicate letter]] indicating the "contains" relation, respectively.</ref>

==Details==