Decidable

A final Theory of Everything might have no need of Peano arithmetic, and might well be complete and decidable. ❋ Gordon McCabe (2009)

A theory T is defined to be decidable if there is an effective procedure of deciding whether any given sentence s belongs to T, (where an 'effective procedure' is generally defined to be a finitely-specifiable sequence of algorithmic steps). ❋ Gordon McCabe (2009)

OWL ontology is based on Description Logics, which are both expressive and decidable, and provide a foundation for developing precise models about various domains of knowledge. ❋ Steve Hamby (2011)

A theory is axiomatizable if there is a decidable set of sentences in the theory, whose closure under logical implication equals the entire theory. ❋ Gordon McCabe (2009)

It is not an issue of science versus religion, though, but rather decidable propositions (naturally the province of objective scientific investigation) versus undecidable ones (where philosophy rightly governs). ❋ Unknown (2010)

Wrong he may well be and I think he is but not for decidable reasons, and the same caveat applies to any religious system whose doctrines avoid leaking over the boundary into decidable questions. ❋ Unknown (2010)

Recall my point about decidable/undecidable issues. ❋ Unknown (2010)

Religions happen to be a peculiar form of philosophy whose purported revelations tended in their ignorance to venture factual or historical statements that blundered into the decidable realm. ❋ Unknown (2010)

Whether that Bill Shakespeare guy actually wrote all those plays and sonnets attributed to him is a less obviously decidable historical proposition. ❋ Unknown (2010)

This is where the decidable/undecidable dichotomy I mentioned before comes back into the picture. ❋ Unknown (2010)

For it seems to me that much of the discussion of legal questions on this blog assumes that the questions are decidable in sense mentioned. ❋ Unknown (2009)

If the former, the issue is, at least in principle, empirically decidable; if the latter, the issues must be decided, if they can be decided, by arguments about value. ❋ Unknown (2009)

However, the logical operations discussed there apply only to commuting projections, which are identified with simultaneously decidable propositions. ❋ Unknown (2009)

Propositional logic was thus formalized, found to be consistent and complete, and decidable. ❋ Unknown (2009)

This point is not easily decidable, in part because Newton and Clarke were neighbors and thus almost no correspondence survives between them, presumably since they would more often meet in person. ❋ Vailati, Ezio (2009)

In the actual world, true paradoxes — events requiring decidable propositions to be simultaneously true and false — do not occur. ❋ Sean (2009)

That every empirical issue is empirically decidable is, not itself a scientific hypothesis. ❋ Unknown (2009)