| dbo:abstract
|
- Η αναιρέσιμη λογική, ή αναιρέσιμος συλλογισμός, είναι ένα σχήμα λογικού συλλογισμού το οποίο δεν αποτελεί με τη στενή (ή «αυστηρή», ή μαθηματική) έννοια αποδεικτικό συμπερασμό. Είναι δηλαδή ένα συλλογιστικό σχήμα παρόμοιο με τον επαγωγικό συλλογισμό και με τον . Σχετίζεται επίσης στενά με την έννοια της αναθεώρησης πεποιθήσεων. Αντίθετα, διαφέρει από τον απαγωγικό συλλογισμό, ο οποίος είναι ο μόνος αυστηρά αποδεικτικός συλλογισμός. Το είδος αυτό λογικού συλλογισμού είναι πολύ μικρής σημασίας για τη μαθηματική λογική, αφού ουσιαστικά είναι άκυρος από μαθηματική σκοπιά και δεν παράγει αποδείξεις. Αντίθετα όμως, είναι ένα εξαιρετικά μεγάλης σημασίας λογικό σχήμα για τη νομική επιστήμη. Τούτο διότι οι νόμοι είναι συνήθως γενικά διατυπωμένοι και δεν μπορούν να προβλέπουν όλες τις λεπτομέρειες κάθε πραγματικής υπό εξέταση υπόθεσης ή περίπτωσης. Πρέπει όμως να μπορούν να χρησιμοποιηθούν, και χρησιμοποιούνται από τους δικηγόρους και τους δικαστές, με συστηματικό και λογικά δομημένο τρόπο για να εξαχθούν συμπεράσματα και αποφάσεις για οποιαδήποτε πραγματική υπόθεση. Η αναιρέσιμη λογική είναι λοιπόν, πολύ απλά, η λογική που χρησιμοποιείται όταν μια από τις προκείμενες προτάσεις έχει ουσιαστικά τη μορφή: Όλα τα Α έχουν (κατά κανόνα ή συνήθως) την ιδιότητα Β. Τότε, οποιαδήποτε νέα προκείμενη της μορφής: Το Χ είναι Α. οδηγεί στο (υπό αναίρεση) συμπέρασμα ότι: Το Χ έχει την ιδιότητα Β. Βλέπουμε δηλαδή ότι ο υπό αναίρεση συλλογισμός είναι ίδιος ακριβώς στη μορφή με τον απαγωγικό συλλογισμό (από το γενικό στο ειδικό) με τη διαφορά ότι μία από τις προκείμενες δεν είναι αληθής πάντα, αλλά είναι μόνο αληθής κατά κανόνα ή σχεδόν πάντα. (el)
- In philosophical logic, defeasible reasoning is a kind of reasoning that is rationally compelling, though not deductively valid. It usually occurs when a rule is given, but there may be specific exceptions to the rule, or subclasses that are subject to a different rule. Defeasibility is found in literatures that are concerned with argument and the process of argument, or heuristic reasoning. Defeasible reasoning is a particular kind of non-demonstrative reasoning, where the reasoning does not produce a full, complete, or final demonstration of a claim, i.e., where fallibility and corrigibility of a conclusion are acknowledged. In other words, defeasible reasoning produces a contingent statement or claim. Defeasible reasoning is also a kind of ampliative reasoning because its conclusions reach beyond the pure meanings of the premises. Defeasible reasoning finds its fullest expression in jurisprudence, ethics and moral philosophy, epistemology, pragmatics and conversational conventions in linguistics, constructivist decision theories, and in knowledge representation and planning in artificial intelligence. It is also closely identified with prima facie (presumptive) reasoning (i.e., reasoning on the "face" of evidence), and ceteris paribus (default) reasoning (i.e., reasoning, all things "being equal"). According to at least some schools of philosophy, all reasoning is at most defeasible, and there is no such thing as absolutely certain deductive reasoning, since it is impossible to be absolutely certain of all the facts (and know with certainty that nothing is unknown). Thus all deductive reasoning is in reality contingent and defeasible. (en)
- Le raisonnement révisable est un type de raisonnement qui est basé sur des raisons qui sont révisables, elle est opposé à la raison irévisable de la logique déductive. Le raisonnement révisable est un type particulier de raisonnement non-démonstratif, où le raisonnement ne produit pas une démonstration complète, ou finale d'une déclaration, c'est-à-dire, où la faillibilité et la corrigibilité de conclusion sont reconnus. En d'autres mots, le raisonnement révisable produit une déclaration contingente. D'autre type de raisonnement non-démonstratif existent, dont les suivants: le , raisonnement inductif, raisonnement statistique, raisonnement abductif, ou encore le raisonnement paracohérent. Les différences entre ces types de raisonnement correspondent aux différences existantes entre chaque type de raisonnement utilisé:
* Deductif (à partir d'un postulat, d'un axiome): si p alors q (c'est-à-dire, q ou non-p)
* Révisable (à partir d'une autorité): si p alors q
* Probabiliste (à partir de combinaisons): si p alors (probablement) q
* Statistique (à partir de données et de présomption): la fréquence de qs parmi ps est élevée; Par conséquent, (dans le bon contexte) si p alors (probablement) q
* Inductif (formation d'une théorie; à partir de données, cohérence, simplicité, et confirmation): (inductible) "si p alors q"; par conséquent, si p alors (déductible-mais-révisable) q
* Abductif (à partir de données et de théorie): p et q sont corrélées, et q est suffisant pour p; par conséquent, si p alors (abductiblement) q comme cause Le raisonnement révisable trouve sa pleine expression dans la jurisprudence, l'éthique, l'épistémologie, en pragmatique en conversations conventionnelles en linguistique, en constructivisme, et dans la représentation du savoir. (fr)
- Raciocínio revogável (da expressão da língua inglesa defeasible reasoning, também traduzida como raciocínio cancelável e raciocínio anulável) é um tipo de raciocínio que é baseado em razões que são revogáveis, em oposição às razões irrevogáveis da . O raciocínio revogável é um tipo de raciocínio não-demonstrativo, onde o raciocínio não produz uma demonstração total, completa ou final de uma alegação, isto é, onde a falibilidade e a corrigibilidade de uma conclusão são reconhecidas. Outros tipos de raciocínios não-demonstrativos são o , o raciocínio indutivo, o , o e o . O raciocínio revogável também é um tipo de , pois suas conclusões vão além do puro significado das premissas. (pt)
- 有疏漏性推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语「有疏漏性推理」所覆盖。 (zh)
|
| rdfs:comment
|
- Raciocínio revogável (da expressão da língua inglesa defeasible reasoning, também traduzida como raciocínio cancelável e raciocínio anulável) é um tipo de raciocínio que é baseado em razões que são revogáveis, em oposição às razões irrevogáveis da . O raciocínio revogável é um tipo de raciocínio não-demonstrativo, onde o raciocínio não produz uma demonstração total, completa ou final de uma alegação, isto é, onde a falibilidade e a corrigibilidade de uma conclusão são reconhecidas. Outros tipos de raciocínios não-demonstrativos são o , o raciocínio indutivo, o , o e o . O raciocínio revogável também é um tipo de , pois suas conclusões vão além do puro significado das premissas. (pt)
- 有疏漏性推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语「有疏漏性推理」所覆盖。 (zh)
- Η αναιρέσιμη λογική, ή αναιρέσιμος συλλογισμός, είναι ένα σχήμα λογικού συλλογισμού το οποίο δεν αποτελεί με τη στενή (ή «αυστηρή», ή μαθηματική) έννοια αποδεικτικό συμπερασμό. Είναι δηλαδή ένα συλλογιστικό σχήμα παρόμοιο με τον επαγωγικό συλλογισμό και με τον . Σχετίζεται επίσης στενά με την έννοια της αναθεώρησης πεποιθήσεων. Αντίθετα, διαφέρει από τον απαγωγικό συλλογισμό, ο οποίος είναι ο μόνος αυστηρά αποδεικτικός συλλογισμός. Η αναιρέσιμη λογική είναι λοιπόν, πολύ απλά, η λογική που χρησιμοποιείται όταν μια από τις προκείμενες προτάσεις έχει ουσιαστικά τη μορφή: Το Χ είναι Α. (el)
- In philosophical logic, defeasible reasoning is a kind of reasoning that is rationally compelling, though not deductively valid. It usually occurs when a rule is given, but there may be specific exceptions to the rule, or subclasses that are subject to a different rule. Defeasibility is found in literatures that are concerned with argument and the process of argument, or heuristic reasoning. (en)
- Le raisonnement révisable est un type de raisonnement qui est basé sur des raisons qui sont révisables, elle est opposé à la raison irévisable de la logique déductive. Le raisonnement révisable est un type particulier de raisonnement non-démonstratif, où le raisonnement ne produit pas une démonstration complète, ou finale d'une déclaration, c'est-à-dire, où la faillibilité et la corrigibilité de conclusion sont reconnus. En d'autres mots, le raisonnement révisable produit une déclaration contingente. D'autre type de raisonnement non-démonstratif existent, dont les suivants: le , raisonnement inductif, raisonnement statistique, raisonnement abductif, ou encore le raisonnement paracohérent. (fr)
|
