cybernetics (coined by Norbert Wiener in 1947 from Greek kubernetes, 'helmsman'),...

cut-elimination theorem a theorem stating that a certain type of inference rule...

cut, Dedekind See DEDEKIND.

decomposability See MODULARITY.

deconstruction a demonstration of the incompleteness or incoherence of a philosophical...

Dedekind Richard (1831–1916), German mathematician, one of the most important figures...

Dedekind cut See DEDEKIND.

de dicto of what is said (or of the proposition), as opposed...

declining marginal utility See UTILITARIANISM.

decision tree See DECISION THEORY.

decision theory the theory of rational decision, often called 'rational choice theory'...

decidable See DECIDABILITY.

de Beauvoir, Simone See EXISTENTIALISM. decidability, as a property of sets, the existence...

Davidson Donald (b.1917), American metaphysician and philosopher of mind and language....

David See COMMENTARIES ON ARISTOTLE.

deductive justification See JUSTIFICATION.

deductive-nomological model See COVERING LAW. MODE.

deep structure See GRAMMAR, PHILOSOPHY OF LAN-. GUAGE , TRANSFORMATION RUL. default...

defeat of reasons See EPISTEMOLOGY, JUSTIFICA -. TIO. definiendum (plural: definienda), the expression...

definiens See DEFINIENDUM.

deductive explanation See COVERING LAW MODEL.

deductive completeness See COMPLETENESS.

deductive closure See CLOSURE.

deduction of the categories See KANT. deduction theorem, a result about certain systems of...

deduction, transcendental See KANT.

deduction, natural See DEDUCTION.

deducibility relation See DEDUCTION, Appendix of. Special Symbols. deduction, a finite sequence...

de dicto necessity See NECESSITY.

definist fallacy See MOORE.

definite description See THEORY OF DESCRIPTIONS.