|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{Other uses|Closure (disambiguation){{!}}Closure}}
| | The author's title is Andera and she thinks it sounds quite good. I am truly fond of handwriting but I can't make it my occupation truly. Office supervising is what she does for a living. Her family life in Ohio but her spouse desires them to transfer.<br><br>My web blog: [http://chungmuroresidence.com/xe/reservation_branch2/152663 real psychics] |
| | |
| '''Deductive closure''' is a [[property (philosophy)|property]] of a [[set (mathematics)|set]] of [[object (philosophy)|objects]] (usually the objects in question are [[statement (logic)|statement]]s). A [[set (mathematics)|set]] of objects, <var>O</var>, is said to exhibit ''closure'' or to be ''closed'' under a given [[closure operator|operation]], <var>R</var>, provided that for every object, <var>x</var>, if <var>x</var> is a member of <var>O</var> and <var>x</var> is <var>R</var>-related to any object, <var>y</var>, then <var>y</var> is a member of <var>O</var>.<ref>[[Peter D. Klein]], ''Closure'', ''[[The Cambridge Dictionary of Philosophy]] (second edition)</ref> In the context of statements, a deductive closure is the set of all the statements that can be [[Deductive reasoning|deduced]] from a given set of statements.
| |
| | |
| In [[propositional calculus|propositional logic]], the set of all true propositions exhibits '''deductive closure''': if set <var>O</var> is the set of true propositions, and operation <var>R</var> is [[logical consequence]] (“<math>\vdash</math>”), then provided that proposition <var>p</var> is a member of <var>O</var> and <var>p</var> is <var>R</var>-related to <var>q</var> (i.e., p <math>\vdash</math> q), <var>q</var> is also a member of <var>O</var>.
| |
| | |
| == Epistemic closure ==
| |
| {{main|Epistemic closure}}
| |
| | |
| In [[epistemology]], many philosophers have and continue to debate whether particular subsets of [[proposition]]s—especially ones ascribing [[knowledge]] or [[Theory of justification|justification]] of a [[belief]] to a subject—are closed under deduction.
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| [[Category:Concepts in logic]]
| |
| [[Category:Deductive reasoning|Closure]]
| |
| [[Category:Logical consequence]]
| |
| [[Category:Propositional calculus]]
| |
| [[Category:Set theory]]
| |
Latest revision as of 21:16, 27 November 2014
The author's title is Andera and she thinks it sounds quite good. I am truly fond of handwriting but I can't make it my occupation truly. Office supervising is what she does for a living. Her family life in Ohio but her spouse desires them to transfer.
My web blog: real psychics