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

decide against someone or something

to rule against someone or something; to make a judgment against someone or something. We decided against Tom and chose Larry instead. Jane decided against the supplier.
See also: decide

decide among (someone and someone else)

 and decide among (something and something else)
to choose from three or more people; to choose from three or more things. I couldn't decide among all the choices on the menu. I will decide among Fred, Tom, and Alice.
See also: among, decide

decide between (someone and someone else)

 and decide between (something and something else)
to choose one from two people; to choose one from two things. I could not decide between Tom and Wally. We could not decide between those two.
See also: decide

decide for someone or something

to rule in favor of someone or something; to make a judgment for someone or something. The jury decided for the plaintiff. The judge decided for me.
See also: decide

decide in favor of someone or something

to determine that someone or something is the winner. The judge decided in favor of the defendant. I decided in favor of the red one.
See also: decide, favor, of

decide (up)on someone or something

to choose someone or something; to make a judgment about some aspect of someone or something. (Upon is formal and less commonly used than on.) Will you please hurry up and decide upon someone to vote for? I decided on chocolate.
See also: decide, on

decide on

or decide upon
To choose something or someone after deliberation: We decided on green as the color for the nursery. I've decided upon the red shoes; you can put the black ones back.
See also: decide, on
References in periodicals archive ?
Many of research interests in network-based (also called graph-based) structures, such as the work in [5, 20, 13, 7, and 14], seek a language as well that has a decidable homomorphism to transitive closure.
Due to the fact that the homomorphism from lambda expressions to partial recursive functions is not decidable, however, there is not an effective algorithm that arranges the lambda expressions in orders according to the properties of the class of partial recursive functions.
Separating the syntactical aspect from the semantic aspect is also important for the lambda calculus, because its homomorphism is not decidable.
Quine and others have pointed out, first-order monadic predicate logic is decidable, whereas first-order predicate logic with relations is undecidable.
It is worth noting that, although non-modal first-order monadic predicate logic is decidable, modal first-order monadic predicate logic is undecidable (see Saul A.
Beneath the potentially radical concept of bisexuality, it always seems like Freud had a nostalgia for clear, decidable and opposing genders.
At the very least, this means that the issues that shape these alternatives are not empirically decidable.
Objectivity of this sort applies to decidable cases, but how is this to be extended to undecidable cases?
The semantic realist should resist the claim that, there is one type of objectivity that applies to decidable statements which must be extended to undecidable cases.
Decidable statements are those for which there is an effective procedure for determining their truth value in every circumstance.
The line between these categories of statements, however, might be placed so that decidable statements are only those for which truth is entailed by justification.
Decidable statements are supposed to present no problem for either semantic realism or verificationism because their truth-conditions are not damagingly transcendent.
Semantic realism's adequacy for decidable statements has two consequences.
However, given this bond, all propositions must be potential hypotheses, hence potentially testable and decidable with regard to truth-value.