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

semantic consequence n. Logic the relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence n. at syntactic adj. Compounds 2. [A. Tarski (‘O pojęciu wynikania logicznego’, in Przegląd filozoficzny (1936) 39 58–68) is credited with having given the concept a rigorous theoretical basis and to have set it formally within the context of modern logic; compare quot. 1968. In his 1936 paper, Tarski used Polish wynikanie logiczne ‘logical consequence’, but no formal parallel to semantic consequence ; Polish wynikanie semantyczne ‘semantic consequence’ is 1960 or earlier. A German version of Tarski's paper was published in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935 VII. (1936) 1–11; it used German logische Folgerung . Compare semantic entailment , in same sense (E. W. Beth, 1955 or earlier; compare quot. 2000).]

ΚΠ

1964 C. R. Karp Lang. Expressions Infinite Length x. 104 A is a semantic consequence of ∆..if A holds in all models of ∆.

1968 Jrnl. Symbolic Logic 33 232 A set S of formulas of SC is often said to imply a formula A of SC (or, for those who favor Tarski's terminology, A is said to be a semantic consequence of S) when every assignment of truth-values to the sentence variables of SC that occur in the various members of S ∪ {A} fails to satisfy a member of S or else satisfies A.

1982 Mind 91 222 A soundness proof for a deductive system L establishes that if B is a syntactic consequence of A according to the axioms and/or rules of L, then B is also a semantic consequence of A in L.

2000 Z. Pawlak et al. in L. Polkowski et al. Rough Set Methods & Applic. xii. 595 With a logic we associate therefore two basic relations: the relation of syntactic consequence denoted ⊢, and the relation of semantic consequence (entailment) denoted ⊨.

2012 D. Papineau Philos. Devices iv. xi. 151 If [in propositional logic] one sentence is a syntactic consequence of some others (that is, it is provable from them), then it must be a semantic consequence too (that is, its truth must be guaranteed by their truth).

单词	semantic consequence
释义	> as lemmas semantic consequence semantic consequence n. Logic the relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence n. at syntactic adj. Compounds 2. [A. Tarski (‘O pojęciu wynikania logicznego’, in Przegląd filozoficzny (1936) 39 58–68) is credited with having given the concept a rigorous theoretical basis and to have set it formally within the context of modern logic; compare quot. 1968. In his 1936 paper, Tarski used Polish wynikanie logiczne ‘logical consequence’, but no formal parallel to semantic consequence ; Polish wynikanie semantyczne ‘semantic consequence’ is 1960 or earlier. A German version of Tarski's paper was published in Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935 VII. (1936) 1–11; it used German logische Folgerung . Compare semantic entailment , in same sense (E. W. Beth, 1955 or earlier; compare quot. 2000).] ΚΠ 1964 C. R. Karp Lang. Expressions Infinite Length x. 104 A is a semantic consequence of ∆..if A holds in all models of ∆. 1968 Jrnl. Symbolic Logic 33 232 A set S of formulas of SC is often said to imply a formula A of SC (or, for those who favor Tarski's terminology, A is said to be a semantic consequence of S) when every assignment of truth-values to the sentence variables of SC that occur in the various members of S ∪ {A} fails to satisfy a member of S or else satisfies A. 1982 Mind 91 222 A soundness proof for a deductive system L establishes that if B is a syntactic consequence of A according to the axioms and/or rules of L, then B is also a semantic consequence of A in L. 2000 Z. Pawlak et al. in L. Polkowski et al. Rough Set Methods & Applic. xii. 595 With a logic we associate therefore two basic relations: the relation of syntactic consequence denoted ⊢, and the relation of semantic consequence (entailment) denoted ⊨. 2012 D. Papineau Philos. Devices iv. xi. 151 If [in propositional logic] one sentence is a syntactic consequence of some others (that is, it is provable from them), then it must be a semantic consequence too (that is, its truth must be guaranteed by their truth). extracted from semanticadj. < as lemmas
随便看	hopelessly hopelessness hopelessnesses hopelost hopely hoper hopers hopes hopexchange hopfactor hopflea hopfly hopframe hopfrog hopgarden hopground hopgrower hopgrowing hopharrow hopharvest hophead hopheads hophill hopi hoping

> as lemmas