decide

(redirected from decidability)
Also found in: Dictionary, Thesaurus, Idioms, Encyclopedia, Wikipedia.

decide

v. for a judge, arbitrator, court of appeals or other magistrate or tribunal to reach a determination (decision) by choosing what is right and wrong according to the law as he/she sees it.

decide

verb adjudge, adjudicate, adjust, agree, arrive at a judgment, ascertain, award, choose, choose a course of action, choose an alternative, choose an option, come to a conclusion, come to an agreement, come to terms, commit oneself, conclude, constituere, decernere, decree, determine, diagnose, diiudicare, dispose of, elect, end, establish, finalize, find, fix, form a resolution, form an opinion, hold, judge, make a choice, make a decision, make a selection, make up one's mind, opt, ordain, pass, pass judgment, pass sentence, pick, pronounce, reach a decision, reach a verdict, referee, resolve, rule, select, sentence, settle, sit in judgment, terminate, umpire, vote
Associated concepts: decide a case, decide a motion, deeided adversely, decided as a matter of law, decided on the merits, decided upon legal principles, jurisdiction to decide
See also: adjudge, adjudicate, arbitrate, ascertain, award, choose, deem, determine, dispose, elect, find, fix, gauge, hear, judge, pass, pass judgment, prescribe, pronounce, select, sentence, settle, stipulate, try
References in periodicals archive ?
estimation of decidability and computability of algorithms used in the model
Hence, the lemma yields the decidability of order independence and key-order independence.
We also investigate the decidability of the semantics of SCLP programs, obtaining an interesting semidecidability result: if a goal has a semiring value greater than, or greater than or equal to, a certain value in the semiring, then we can discover this in finite time.
To prove this, we show that the set of universally stable graphs is closed under the taking of minors; polynomial-time decidability then follows from results of Robertson and Seymour [1986; 1990].
One of these papers terminates in completeness and decidability results for noniterative logics--systems of modal logic the formulae of which do not contain a modal operator within the scope of a modal operator.
Our review was based on building a taxonomy that classifies temporal logics in terms of order, time structure, decidability, executability, and expressiveness.
exhibit the rationale of mathematical proofs by revealing the logical connections underlying the successive steps; it provides standards for a critical appraisal of any proposed proofs constructed within the mathematical system to which the model refers; and it affords the basis for a precise and far-reaching theory of proof, provability, decidability, and related concepts.
Second, and related, when the constructivist presents an argument by counterexample to trichotomy, understood intuitionistically, or to decidability of = between reals, etc.
His real genius was in presenting his material not as reasoned argument but in a voice or series of voices which put always in doubt issues of reliability and decidability.
The picture is now filled out considerably and we are able to see how Godel assessed the philosophical implications of his incompleteness theorems and related results on decidability and consistency.
Kreiswirth's "`Paradoxical and outrageous Discrepancy': Transgression, Auto-intertextuality, and Faulkner's Yoknapatawpha" examines the "Faulknerian move away from coherence, decidability, and toward constant dialogizing [and] transgressive textual activity.
Meaning, then, ceases to be a totalizing whole to be discovered, becoming instead subject to a principle of decidability.