Philosophy Lexicon of Arguments

Decidability: a question, for example, whether a property applies to an object or not, is decidable if a result can be achieved within a finite time. For this decision process, an algorithm is chosen as a basis. See also halting problem, algorithms, procedures, decision theory.
Author Item Excerpt Meta data
Cresswell, M.J.
Books on Amazon
Decidability I HC 120
Decidability / Propositional calculus / Hughes / Cresswell: although it is possible to give a clear view of the validity of the p.c., the p.c. is still not a decidable system - but there are a number of decidable fragments of the p.c. - the same goes for the modal expansion of the p.c..

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

> Counter arguments against Cresswell

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-27