Editing Assumption (section)

==Logic==
* [[Closed-world assumption]], the presumption that a statement that is true is also known to be true, and a statement not known to be true is false
* [[Open-world assumption]], assumption that the truth value of a statement may be true irrespective of whether or not it is known to be true
* [[Tacit assumption]], belief applied in developing a logical argument or decision that is not explicitly voiced nor necessarily understood by the decision maker
** [[Presupposition]], a tacit assumption about the world or background belief relating to an utterance
* [[Unique name assumption]], in logics where different names always refer to different entities in the world
* [[Responsibility assumption]]