irreflexiveadj.
Not reflexive. spec. in Logic and Mathematics, of a relation which no postulate can have to itself. See also non-reflexive adj., reflexive adj.
ΘΚΠ
the world > relative properties > number > mathematics > [adjective] > relating to mathematical enquiry
canonical1738
independenta1739
algorithmic1799
irreflexive1890
uninterpreted1898
consistent1928
polynomial time1972
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > terms expressing types of relation
transitive1856
intransitive1870
irreflexive1890
dyadic1897
symmetrical1903
non-reflexive1905
polyadic1905
symmetric1933
mereological1957
1890 in Cent. Dict.
1937 A. Smeaton tr. R. Carnap Logical Syntax Lang. iv. §63. 234 A relation P is called irreflexive when no object has this relation to itself.
1942 J. C. Cooley Primer Formal Logic 157 A relation, f, is said to be irreflexive when: (x)—fxx.
1954 I. M. Copi Symbolic Logic v. 143 An irreflexive relation is one which no individual has to itself.
1963 W. V. Quine Set Theory §21. 147 Or, better, stipulate the irreflexivity and derive the asymmetry.
1967 R. A. George tr. R. Carnap Logical Struct. World §11. 22 A relation is called a sequence if it is irreflexive and transitive (and hence asymmetrical) and connected.
Derivatives
irreˈflexiveness n.
ΘΚΠ
the world > relative properties > number > mathematics > [noun] > mathematical property
irreductibility1865
utility1881
intransitivity1889
independence1902
non-linearity1904
connexity1905
analyticity1914
irredundance1925
irreflexiveness1933
decidability1936
non-emptiness1936
undecidability1942
irredundancy1952
irreflexivity1964
single-valuedness1968
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional relation > irreflexiveness
irreflexiveness1933
irreflexivity1964
1933 Mind 42 36 a < b. ⊃. a ≠ b..gives..the property of irreflexiveness.
1952 S. C. Kleene Introd. Metamath. vii. 188 Connexity, irreflexiveness, asymmetry.
irrefleˈxivity n. the quality or property of being irreflexive.
ΘΚΠ
the world > relative properties > number > mathematics > [noun] > mathematical property
irreductibility1865
utility1881
intransitivity1889
independence1902
non-linearity1904
connexity1905
analyticity1914
irredundance1925
irreflexiveness1933
decidability1936
non-emptiness1936
undecidability1942
irredundancy1952
irreflexivity1964
single-valuedness1968
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > propositional relation > irreflexiveness
irreflexiveness1933
irreflexivity1964
1964 E. Bach Introd. Transformational Gram. vii. 156 No item precedes itself (irreflexivity).
This entry has not yet been fully updated (first published 1900; most recently modified version published online June 2019).
<
adj.1890