decide

(redirected from decidable)
Also found in: Dictionary, Thesaurus, Idioms, Encyclopedia, Wikipedia.
Related to decidable: Decidable problem

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 ?
RECA can be determinized and thus complemented: They are fully decidable Henzinger et al (1998).
The ontology-based reasoning approach provides OWL-based ontologies based on description logics to provide sound and decidable reasoning to LOM, and therefore can enhance the semantic reasoning capabilities of LOM.
To distinguish a data model from a data type, we say that a data model has decidable homomorphism.
As well, every numerical instance of a primitive recursive relation is decidable in PA.
Even when a problem is decidable and thus computationally solvable in principle, it may not be solvable in practice if the solution requires an inordinate amount of time or memory.
In an early work, The Wake of Imagination, (18) Kearney calls for a restoration of human imagination in the wake of deconstruction as an ethical responsibility: "If the deconstruction of imagination admits no epistemological limits (in so far as it undermines every effort to establish a decidable relationship between image and reality), it must recognize ethical limits.
In "Revising the Logic of Logical Revisionism," (2) Joseph Salerno argues that anti-realism with respect to truth generates a need to reject traditionally held assumptions regarding the Law of Excluded Middle (henceforth, LEM) and certain assumptions regarding whether all sentences are decidable (capable of either being proven true or proven false, henceforth DEC).
Reducing FOTPL to decidable (monodic) fragments yields models where inference is often intractable (Hodkinson et al.
SOD advocates also argue that in EBAO the decision procedures are closed, complete, and decidable, while in SOD critical methods remain open and incomplete.
Significantly and famously for Hamlet, though, that search for singularity in agency, which initial enunciation of a simple binary infers to be also (easily) decidable, proves, as the soliloquy unfolds, impossible to achieve.
25) This statement is true for some of the other types discussed above as well, and it indeed appears difficult to imagine a possible fictional world in which every conceivable statement is logically decidable.
In the strict mathematical sense, when a function is not computable or a problem not decidable, it is not just that we cannot hope to solve it realistically.