英语词汇“formal syntax”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

3. Logic. More fully logical syntax or formal syntax. The order and arrangement of elements in a formal language, without reference to meaning; the set of rules governing this. Cf. metamathematics n., proof theory n. at proof n. Compounds 2.

ΘΚΠ

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical syntax

syntax1922

1922 C. K. Ogden et al. tr. L. Wittgenstein Tractatus 57 In logical syntax [Ger. in der logischen Syntax] the meaning of a sign ought never to play a rôle; it must admit of being established without mention being thereby made of the meaning of a sign; it ought to presuppose only the description of the expressions.

1934 W. M. Malisoff tr. R. Carnap in Philos. Sci. 1 9 By the ‘logical syntax’ (or also briefly ‘syntax’) of a language we shall understand the system of the formal (i.e. not referring to meaning) rules of that language, as well as..the consequences of these rules.

1940 W. V. Quine Math. Logic vii. 286 Discourse which is ‘formal’ in this sense, and hence translatable into the notation just now described, is called metamathematics, formal syntax, or briefly syntax.

1955 A. N. Prior Formal Logic iii. 70 No set of axioms and rules for a system containing its own syntax ever is ‘complete’.

1987 R. Nieli Wittgenstein i. 10 Statements which are consistent with traditional grammatical syntax, but not with a more refined logical syntax.

2002 D. Basin & S. Matthews in D. M. Gabbay & F. Guenthner Handbk. Philos. Logic (ed. 2) IX. 109 We have been using a simple term algebra to represent syntax.

单词	formal syntax
释义	> as lemmas formal syntax 3. Logic. More fully logical syntax or formal syntax. The order and arrangement of elements in a formal language, without reference to meaning; the set of rules governing this. Cf. metamathematics n., proof theory n. at proof n. Compounds 2. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > logical syntax syntax1922 1922 C. K. Ogden et al. tr. L. Wittgenstein Tractatus 57 In logical syntax [Ger. in der logischen Syntax] the meaning of a sign ought never to play a rôle; it must admit of being established without mention being thereby made of the meaning of a sign; it ought to presuppose only the description of the expressions. 1934 W. M. Malisoff tr. R. Carnap in Philos. Sci. 1 9 By the ‘logical syntax’ (or also briefly ‘syntax’) of a language we shall understand the system of the formal (i.e. not referring to meaning) rules of that language, as well as..the consequences of these rules. 1940 W. V. Quine Math. Logic vii. 286 Discourse which is ‘formal’ in this sense, and hence translatable into the notation just now described, is called metamathematics, formal syntax, or briefly syntax. 1955 A. N. Prior Formal Logic iii. 70 No set of axioms and rules for a system containing its own syntax ever is ‘complete’. 1987 R. Nieli Wittgenstein i. 10 Statements which are consistent with traditional grammatical syntax, but not with a more refined logical syntax. 2002 D. Basin & S. Matthews in D. M. Gabbay & F. Guenthner Handbk. Philos. Logic (ed. 2) IX. 109 We have been using a simple term algebra to represent syntax. extracted from syntaxn. < as lemmas
随便看	θ207175 θ207176 θ207177 θ207178 θ207179 θ20718 θ207180 θ207181 θ207182 θ207183 θ207184 θ207185 θ207186 θ207187 θ207188 θ207189 θ20719 θ207190 θ207191 θ207192 θ207193 θ212968 θ212969 θ21297 θ212970

> as lemmas