| Property |
Value |
| dbo:abstract
|
- El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente. En otras palabras, todo es demostrable cuando se tiene una contradicción. A los sistemas que de alguna manera evitan esta consecuencia, se los llama sistemas no explosivos. Un ejemplo de un razonamiento, según el principio de explosión, podría ser: 1.
* El Sol es una estrella y no es una estrella. 2.
* Por lo tanto, la Luna está hecha de queso. Las consecuencias obviamente indeseables del principio de explosión son una fuerte razón para querer evitar los sistemas lógicos y formales inconsistentes. El principio de explosión se puede expresar formalmente como: O en la notación del cálculo de secuentes: donde A y B son metavariables que pueden ser reemplazadas por cualquier proposición o fórmula. (es)
- El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente. En otras palabras, todo es demostrable cuando se tiene una contradicción. A los sistemas que de alguna manera evitan esta consecuencia, se los llama sistemas no explosivos. Un ejemplo de un razonamiento, según el principio de explosión, podría ser: 1.
* El Sol es una estrella y no es una estrella. 2.
* Por lo tanto, la Luna está hecha de queso. Las consecuencias obviamente indeseables del principio de explosión son una fuerte razón para querer evitar los sistemas lógicos y formales inconsistentes. El principio de explosión se puede expresar formalmente como: O en la notación del cálculo de secuentes: donde A y B son metavariables que pueden ser reemplazadas por cualquier proposición o fórmula. (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente. 1.
* El Sol es una estrella y no es una estrella. 2.
* Por lo tanto, la Luna está hecha de queso. (es)
- El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. Al principio de explosión también se le conoce por medio de las locuciones latinas ex falso quodlibet y ex contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se sigue) cualquier cosa», respectivamente. 1.
* El Sol es una estrella y no es una estrella. 2.
* Por lo tanto, la Luna está hecha de queso. (es)
|
| rdfs:label
|
- Principio de explosión (es)
- Principio de explosión (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
