英语词汇“logical 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.

单词	logical syntax
释义	> as lemmas logical 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
随便看	marketlead marketleading marketled marketless marketlike marketlooker marketmade marketmaker marketmaking marketmatch marketmerriness marketmerry marketmoney marketmonger marketnet marketor marketordinary marketoriented marketpeace marketplace marketplace of rome marketplaces marketplenty marketresearch marketresearched

> as lemmas