model-theoreticadj.

Brit.

/ˌmɒdlθɪəˈrɛtɪk/, U.S.

/ˈˌmɑd(ə)lˌθiəˈrɛdɪk/

Origin: Formed within English, by compounding. Etymons: model n., theoretic adj.

Etymology: < model n. + theoretic adj., after model theory n. (compare sense 1c). Compare slightly later model-theoretical adj.

Chiefly Mathematics and Logic.

Of, relating to, or involving model theory (model theory n. 1c).

ΘΚΠ

the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems

finitist1904

incomplete1932

proof-theoretic1940

model-theoretic1956

model-theoretical1958

1956 Jrnl. Symbolic Logic 21 195 For elementary logic the model-theoretic and proof-theoretic notion coincide.

1963 A. Robinson Introd. Model Theory p. vi The model-theoretic approach to set theory.

1983 G. Brown & G. Yule Discourse Anal. vii. 251 Johnson-Laird..specifically appeals to the ideas of model-theoretic semantics in support of his notion of mental models.

2008 N. J. J. Smith Vagueness & Degrees of Truth ii. 124 It is worth noting the possibility of a proof-theoretic/antirepresentationalist as opposed to model-theoretic/semantic realist approach to vagueness.

This entry has been updated (OED Third Edition, September 2002; most recently modified version published online March 2022).

单词	model-theoretic
释义	model-theoreticadj. Brit. /ˌmɒdlθɪəˈrɛtɪk/, U.S. /ˈˌmɑd(ə)lˌθiəˈrɛdɪk/ Origin: Formed within English, by compounding. Etymons: model n., theoretic adj. Etymology: < model n. + theoretic adj., after model theory n. (compare sense 1c). Compare slightly later model-theoretical adj. Chiefly Mathematics and Logic. Of, relating to, or involving model theory (model theory n. 1c). ΘΚΠ the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems finitist1904 incomplete1932 proof-theoretic1940 model-theoretic1956 model-theoretical1958 1956 Jrnl. Symbolic Logic 21 195 For elementary logic the model-theoretic and proof-theoretic notion coincide. 1963 A. Robinson Introd. Model Theory p. vi The model-theoretic approach to set theory. 1983 G. Brown & G. Yule Discourse Anal. vii. 251 Johnson-Laird..specifically appeals to the ideas of model-theoretic semantics in support of his notion of mental models. 2008 N. J. J. Smith Vagueness & Degrees of Truth ii. 124 It is worth noting the possibility of a proof-theoretic/antirepresentationalist as opposed to model-theoretic/semantic realist approach to vagueness. This entry has been updated (OED Third Edition, September 2002; most recently modified version published online March 2022). < adj.1956
随便看	gumshake gumshield gumshields gumshoe gumshoe for gumshoed gumshoeing gumshoes gumshrouded gumspear gumstake gumstick gumstool gumsuccory gumsucker gumswamp gumtaffeta gumthistle gumthrower gumtickler gumtimber gumtip gumtooth gumtop gumtopped