Defeasible reasoning (original) (raw)
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.
| Property | Value |
|---|---|
| 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) |
| dbo:wikiPageExternalLink | https://scholar.google.com/scholar%3Fhl=en&lr=&cites=7198700474843277547 https://scholar.google.com/scholar%3Fhl=en&lr=&cites=7525164436422571935 https://scholar.google.com/scholar%3Fhl=en&lr=&cites=8944770465668267468 http://linkinghub.elsevier.com/retrieve/pii/S0364021387800174 http://www.umiacs.umd.edu/~horty/courses/readings/hage-2003-defeasibility.pdf https://books.google.com/books%3Fhl=en&lr=&id=DN5ERAAxUSYC&oi=fnd&pg=PR9&dq=rescher&ots=vRu4s0Ely-&sig=__Dvw746CkFNdCaAdNLCGImTbFU https://books.google.com/books%3Fhl=en&lr=&id=bQHce6eNhDIC&oi=fnd&pg=PA219&dq=prakken&ots=h7xemV-dM1&sig=E6Ar7mAiBU0raO-rlNmzq8-8HG4 https://doi.org/10.1007%2F3-540-36524-9_13 https://web.archive.org/web/20050917110822/http:/william-king.www.drexel.edu/top/Prin/txt/intro/Eco112c.html https://web.archive.org/web/20090907092634/http:/journals.cambridge.org/action/displayAbstract;jsessionid=E68F5CAC6B0001D1ABEFD7C8C24F919F.tomcat1%3FfromPage=online&aid=191503 https://www.sciencedirect.com/science/article/pii/000437029290069A http://portal.acm.org/citation.cfm%3Fid=180954.180957 http://portal.acm.org/citation.cfm%3Fid=222099 http://portal.acm.org/citation.cfm%3Fid=371581 http://portal.acm.org/citation.cfm%3Fid=981352&dl= http://plato.stanford.edu/entries/reasoning-defeasible/ https://www.edge.org/response-detail/11106 |
| dbo:wikiPageID | 2628057 (xsd:integer) |
| dbo:wikiPageLength | 19003 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092196189 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Case-based_reasoning dbr:Ampliative dbr:Belief_revision dbr:Precedent dbr:Probabilistic_reasoning dbr:Robert_Nozick dbr:Roderick_Chisholm dbr:Prima_facie dbr:C.L._Stevenson dbr:Non-monotonic_reasoning dbr:Bertrand_Russell dbr:Brian_Barry dbr:David_Gauthier dbr:Deductive_reasoning dbc:Logic dbr:Anytime_algorithm dbr:Argument dbr:Joseph_Raz dbr:Rhetoric dbr:Decision_theory dbr:Defeasible_logic dbr:Defeater dbr:Dynamic_logic_(modal_logic) dbr:Informal_logic dbr:Positivist dbr:Constructivist_epistemology dbr:Mathematical_logic dbr:Epistemology dbr:George_Boole dbr:Gottlob_Frege dbr:Gouverneur_Morris dbr:Convention_(norm) dbr:W.D._Ross dbr:Logic dbr:Lord_Aberdeen dbr:Ludwig_Wittgenstein dbr:Stanford_Encyclopedia_of_Philosophy dbr:Stare_decisis dbr:Statistics dbr:Franz_Guenthner dbr:Friedrich_Waismann dbr:Planning dbr:Truth_maintenance_system dbr:Ceteris_paribus dbr:H.L.A._Hart dbr:Isaac_Levi dbr:Linguistics dbr:Abductive_reasoning dbr:Abraham_Lincoln dbr:Alfred_North_Whitehead dbr:Ernest_Sosa dbr:Ethics dbr:Fixed_point_(mathematics) dbr:Nicholas_Rescher dbr:Paraconsistent dbr:Virginia_Declaration_of_Rights dbr:Knowledge_representation dbr:Guillermo_Simari dbr:Herbert_A._Simon dbr:James_Madison dbr:Statistical dbr:Aristotle dbr:Artificial_intelligence dbc:Knowledge_representation dbc:Belief_revision dbc:Epistemology dbc:Logic_programming dbc:Reasoning dbr:Charles_Leonard_Hamblin dbr:Charles_Sanders_Peirce dbr:Joel_Feinberg dbr:John_Adams dbr:John_L._Pollock dbr:John_Maynard_Keynes dbr:Jurisprudence dbr:Heuristic dbr:Stephen_Toulmin dbr:Dialectics dbr:Philosophy dbr:Inductive_reasoning dbr:Inheritance_(computer_science) dbr:Reasoning dbr:Chaim_Perelman dbr:Roderick_Firth dbr:Semantics dbr:Vagueness dbr:Philosophical_logic dbr:Ronald_Loui dbr:Probabilistic_logic dbr:Moral_philosophy dbr:Speech_act dbr:Pragmatics dbr:The_Concept_of_Law dbr:John_L._Austin dbr:Language-games dbr:Dov_M._Gabbay dbr:David_Touretzky dbr:Willard_van_Orman_Quine dbr:Preferential dbr:Wikt:exception dbr:Wiktionary:contingent |
| dbp:wikiPageUsesTemplate | dbt:Annotated_link dbt:Cite_journal dbt:Cite_web dbt:Doi dbt:More_citations_needed dbt:More_footnotes dbt:Reflist dbt:Short_description dbt:Unreferenced_section |
| dcterms:subject | dbc:Logic dbc:Knowledge_representation dbc:Belief_revision dbc:Epistemology dbc:Logic_programming dbc:Reasoning |
| gold:hypernym | dbr:Kind |
| 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) |
| rdfs:label | Αναιρέσιμη λογική (el) Defeasible reasoning (en) Raisonnement révisable (fr) Raciocínio revogável (pt) 可废止推理 (zh) |
| owl:sameAs | freebase:Defeasible reasoning wikidata:Defeasible reasoning dbpedia-el:Defeasible reasoning dbpedia-fa:Defeasible reasoning dbpedia-fr:Defeasible reasoning dbpedia-pt:Defeasible reasoning dbpedia-zh:Defeasible reasoning https://global.dbpedia.org/id/4zBtS |
| prov:wasDerivedFrom | wikipedia-en:Defeasible_reasoning?oldid=1092196189&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Defeasible_reasoning |
| is dbo:knownFor of | dbr:Guillermo_Simari |
| is dbo:wikiPageDisambiguates of | dbr:Defeasible |
| is dbo:wikiPageRedirects of | dbr:Non-demonstrative_reasoning dbr:Indefeasible |
| is dbo:wikiPageWikiLink of | dbr:Belief_revision dbr:Prolog dbr:Prima_facie dbr:Deductive_reasoning dbr:Argument dbr:Argument_from_analogy dbr:Argument_technology dbr:Argumentation_scheme dbr:Argumentation_theory dbr:Defeasible_logic dbr:Defeater dbr:Index_of_epistemology_articles dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Index_of_real_estate_articles dbr:Reasoning_system dbr:Logic dbr:Franz_Guenthner dbr:Henry_E._Kyburg_Jr. dbr:Thought dbr:Transaction_logic dbr:G._Aldo_Antonelli dbr:Logic_and_dialectic dbr:Logical_reasoning dbr:Allan_Franklin dbr:Fallibilism dbr:Non-demonstrative_reasoning dbr:Non-monotonic_logic dbr:Dialogical_logic dbr:False_dilemma dbr:Frame_problem dbr:Defeasible dbr:History_of_scientific_method dbr:Rationality dbr:Guillermo_Simari dbr:Hypothetical_syllogism dbr:Argument_from_authority dbr:John_L._Pollock dbr:Jurisprudence dbr:Stephen_Toulmin dbr:Torrens_title dbr:Real_Property_Act_1858 dbr:Reason_maintenance dbr:Registered_owner dbr:Similarity_(philosophy) dbr:F-logic dbr:Ronald_Loui dbr:Semantic_Web dbr:Plausible_reasoning dbr:Secundum_quid dbr:Indefeasible |
| is foaf:primaryTopic of | wikipedia-en:Defeasible_reasoning |