| 单词 | modal logic |
| 释义 | > as lemmasmodal logic 1. Logic. Of a proposition: involving the affirmation or negation of possibility, impossibility, necessity, or contingency; (more widely) that contains an adverb or adverbial phrase, or in which the predicate is affirmed or denied of the subject with a qualification. Of a syllogism: containing a modal proposition as a premise. Hence: relating to a modality or modal propositions; consisting of or dealing with modal propositions (esp. in modal logic). ΘΚΠ the mind > mental capacity > philosophy > logic > logical proposition > [adjective] > modal modal1569 alethic1951 the mind > mental capacity > philosophy > logic > logical syllogism > [adjective] > of types of syllogism modal1569 hypothetical1588 prosyllogistical1588 contract1605 prosyllogistic1652 monstrative1653 enthymematic1654 epicheirematic1656 hypothetica1680 pure1697 indirect1728 dialectal1767 tollent1770 conjunctivea1856 hypothetico-disjunctivea1856 schematica1856 unfigureda1856 subsumptive1884 episyllogistic1886 the mind > mental capacity > philosophy > logic > logical proposition > [noun] > modal logic or proposition modal1599 modality1628 modus1629 mode1852 modal logic1932 1569 J. Sanford tr. H. C. Agrippa Of Vanitie Artes & Sci. viii. f. 22v & of these doo onely approue eight Moodes and laughe at Moodal propositions. 1652 T. Urquhart Εκσκυβαλαυρον 27 The equipollencie and opposition both of plaine and modal enunciations. 1697 tr. F. Burgersdijck Monitio Logica i. xxviii. 113 These Enunciations..are Modal; because they not only denounce the Predicate to agree or disagree with the Subject, but also declare the Manner how they both agree and disagree. 1725 I. Watts Logick ii. ii. §4 The Conversion and Opposition, and Equipollence of these modal Propositions. 1774 T. Reid Brief Acct. Aristotle's Logic iv. §6, in Ld. Kames Sketches Hist. Man II. iii. 214 In a modal proposition, the affirmation or negation is modified. 1827 R. Whately Elements Logic (ed. 2) iii. ii. 106 A Modal Proposition may be stated as a pure one, by attaching the Mode to one of the Terms. 1870 W. S. Jevons Elem. Lessons Logic vii. 69 It has long been usual to distinguish propositions as they are pure or modal. 1932 C. I. Lewis & C. H. Langford Symbolic Logic vi. 153 (heading) Consistency and the modal functions. 1943 Mind 52 265 The ideal textbook in mathematical logic would include extensive discussion of the intensional and modal logics. 1957 A. N. Prior Time & Modality 133 There are some modal logicians who feel that statements containing sequences of modal operators like MM, MML,..are one and all ‘meaningless’. 1968 G. E. Hughes & M. J. Cresswell Introd. Modal Logic ii. 25 Because of the non-truth-functionality of modal operators..the initial account does not lead to any obvious formal definition of validity for modal formulae. 1983 Listener 10 Feb. 29/1 A man..has even revived the hoary old Ontological Argument for the existence of God in terms of bang-up-to-date ‘modal logic’. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。