interdefinableadj.

/ɪntədɪˈfʌɪnəb(ə)l/

Etymology: < inter- prefix 1b(a) + definable adj.

Logic.

Of constants, etc.: that can be defined interchangeably with each other.

ΘΚΠ

the mind > mental capacity > philosophy > philosophy of language > meaning > [adjective] > other terms relating to

interdefinable1948

open-textured1948

stipulative1950

the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [adjective] > capable of definition

definablea1660

interdefinable1948

1948 A. Ambrose & M. Lazerowitz Fund. Symbolic Logic iii. 41 With the exception of ‘∼’, which is absolutely primitive, all the symbols for the logical constants are inter~definable.

1965 Philos. Rev. 74 522 ‘Ought’ and ‘must’ are interdefinable.

Derivatives

interdefinaˈbility n. the state or quality of being interdefinable.

ΘΚΠ

the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [noun] > capacity for definition

definability1865

interdefinability1951

the mind > mental capacity > philosophy > philosophy of language > meaning > [noun] > definition > interdefinability

interdefinability1951

1951 Mind 60 265 The interdefinability of the constants of the system.

1955 A. N. Prior Formal Logic i. 9 Evaluation of truth-functional forms, and the inter-definability of truth functions.

1958 H. B. Curry et al. Combinatory Logic I. v. 155 (heading) Interdefinability of simple combinators.

interdefiˈnition n. one of two or more definitions that are interchangeable.

ΘΚΠ

the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [noun] > interchangeable

interdefinition1948

1948 A. Ambrose & M. Lazerowitz Fund. Symbolic Logic iii. 36 The possibilities of interdefinition of the relatively primitive constants.

1972 H. B. Curry et al. Combinatory Logic II. xiii. 222 In §2 we considered interdefinitions among the basic arithmetical combinators.

This entry has not yet been fully updated (first published 1976; most recently modified version published online March 2018).

单词	interdefinable
释义	interdefinableadj. /ɪntədɪˈfʌɪnəb(ə)l/ Etymology: < inter- prefix 1b(a) + definable adj. Logic. Of constants, etc.: that can be defined interchangeably with each other. ΘΚΠ the mind > mental capacity > philosophy > philosophy of language > meaning > [adjective] > other terms relating to interdefinable1948 open-textured1948 stipulative1950 the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [adjective] > capable of definition definablea1660 interdefinable1948 1948 A. Ambrose & M. Lazerowitz Fund. Symbolic Logic iii. 41 With the exception of ‘∼’, which is absolutely primitive, all the symbols for the logical constants are inter~definable. 1965 Philos. Rev. 74 522 ‘Ought’ and ‘must’ are interdefinable. Derivatives interdefinaˈbility n. the state or quality of being interdefinable. ΘΚΠ the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [noun] > capacity for definition definability1865 interdefinability1951 the mind > mental capacity > philosophy > philosophy of language > meaning > [noun] > definition > interdefinability interdefinability1951 1951 Mind 60 265 The interdefinability of the constants of the system. 1955 A. N. Prior Formal Logic i. 9 Evaluation of truth-functional forms, and the inter-definability of truth functions. 1958 H. B. Curry et al. Combinatory Logic I. v. 155 (heading) Interdefinability of simple combinators. interdefiˈnition n. one of two or more definitions that are interchangeable. ΘΚΠ the mind > mental capacity > intelligibility > meaning > explanation, exposition > an explanation, definition > [noun] > interchangeable interdefinition1948 1948 A. Ambrose & M. Lazerowitz Fund. Symbolic Logic iii. 36 The possibilities of interdefinition of the relatively primitive constants. 1972 H. B. Curry et al. Combinatory Logic II. xiii. 222 In §2 we considered interdefinitions among the basic arithmetical combinators. This entry has not yet been fully updated (first published 1976; most recently modified version published online March 2018). < adj.1948
随便看	paddock-stone paddock-stool paddockbrood paddockcheese paddocked paddockface paddockgraze paddockhair paddocking paddockpipe paddocks paddockspew paddockstone paddockstool paddocky paddopipe paddostool paddy paddy bird paddy boat paddy caseworm paddy clearing paddy crop paddy doyle paddy field