Diferència entre revisions de la pàgina «Deducció»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} <small>(del llatí ''deductio'', acció de derivar o fer descendir, conducció; correspon als aristotèlics άπαγωγή, ''apagogé'', i άπόδ...».) |
m (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'") |
||
| Línia 2: | Línia 2: | ||
<small>(del llatí ''deductio'', acció de derivar o fer descendir, conducció; correspon als aristotèlics άπαγωγή, ''apagogé'', i άπόδειζις,'' apódeixis'')</small> | <small>(del llatí ''deductio'', acció de derivar o fer descendir, conducció; correspon als aristotèlics άπαγωγή, ''apagogé'', i άπόδειζις,'' apódeixis'')</small> | ||
| − | Operació mental, anomenada [[inferència|inferència]], per la qual afirmem la veritat d'un [[enunciat|enunciat]] partint de la veritat d'enunciats coneguts. Una deducció pren la forma expressa d'un [[raonament|raonament]], o seqüència de fórmules que o són [[axioma|axiomes]], o [[teorema|teoremes]], o [[premisses|premisses]] o fórmules derivades d'altres mitjançant [[inferència, regles | + | Operació mental, anomenada [[inferència|inferència]], per la qual afirmem la veritat d'un [[enunciat|enunciat]] partint de la veritat d'enunciats coneguts. Una deducció pren la forma expressa d'un [[raonament|raonament]], o seqüència de fórmules que o són [[axioma|axiomes]], o [[teorema|teoremes]], o [[premisses|premisses]] o fórmules derivades d'altres mitjançant [[inferència, regles d'|regles d'inferència]]. A tota deducció formal li correspon una estructura, o [[forma lògica|forma]]. Els raonaments, per raó d'aquesta forma, poden ser [[validesa|vàlids]], o correctes, o invàlids i incorrectes. |
Una deducció ''formal ''consta d'una seqüència finita de fórmules que o són suposats inicials, axiomes o teoremes, o bé fórmules que se segueixen lògicament dels supòsits inicials per aplicació de regles. L'últim element de la seqüència és la [[conclusió|conclusió]] del raonament. | Una deducció ''formal ''consta d'una seqüència finita de fórmules que o són suposats inicials, axiomes o teoremes, o bé fórmules que se segueixen lògicament dels supòsits inicials per aplicació de regles. L'últim element de la seqüència és la [[conclusió|conclusió]] del raonament. | ||
Revisió de 23:20, 20 març 2015
(del llatí deductio, acció de derivar o fer descendir, conducció; correspon als aristotèlics άπαγωγή, apagogé, i άπόδειζις, apódeixis)
Operació mental, anomenada inferència, per la qual afirmem la veritat d'un enunciat partint de la veritat d'enunciats coneguts. Una deducció pren la forma expressa d'un raonament, o seqüència de fórmules que o són axiomes, o teoremes, o premisses o fórmules derivades d'altres mitjançant regles d'inferència. A tota deducció formal li correspon una estructura, o forma. Els raonaments, per raó d'aquesta forma, poden ser vàlids, o correctes, o invàlids i incorrectes.
Una deducció formal consta d'una seqüència finita de fórmules que o són suposats inicials, axiomes o teoremes, o bé fórmules que se segueixen lògicament dels supòsits inicials per aplicació de regles. L'últim element de la seqüència és la conclusió del raonament.
No és rar, en la lògica moderna, preferir el terme derivació al de deducció.