WikiDer > Deduktiver Verschluss

In dem Logik ist der deduktiver Verschluss von a SammlungVorschläge${Anzeigestil Gamma }$ und eine Sammlung Ableitungsregeln${Anzeigestil Delta }$ die Menge der Sätze, die jeden Satz enthält, der aus ableitbar ist ${Anzeigestil Gamma }$ mit Regeln in ${Anzeigestil Delta }$. Formal ist die deduktive Schließung a Schließen wobei eine Menge von Sätzen ${Anzeigestil Gamma }$ ist unter Ablenkungsregeln geschlossen in ${Anzeigestil Delta }$.

Innerhalb der Theorie des Wissens wird diskutiert, ob bestimmte Teilmengen von Wissen, die sich beispielsweise auf Kenntnisse oder Überzeugungen zu einem bestimmten Thema beziehen, werden unter Abzug.

Beispiel

Paar ${displaystyle Gamma ={p}}$ und ${Anzeigestil Delta }$ enthält die Ableitungsregeln von Aussagelogik (unter denen ${displaystyle vdash alpha ightarrow zB zB alpha }$ ). Durch Anwendung dieser Ableitungsregel enthält die deduktive Ableitung auch ${Anzeigestil zB zB p}$ und bei wiederholter Anwendung auch ${Anzeigestil zB zB zB zB p}$, ${Anzeigestil zB zB zB zB zB zB p}$, etc. Der deduktive Abschluss enthält auch unabhängig von den Elementen in ${Anzeigestil Gamma }$, das Tautologien der Aussagenlogik (zum Beispiel ${displaystyle pvee zB p}$).

Externe Links

• (und) Das epistemische Closure-Prinzip, Stanford Encyclopedia of Philosophy