Glossary entry (derived from question below)
Russian term or phrase:
паранепротиворечивые
French translation:
paraconsistent logic
Added to glossary by
Lucie Perrin
Sep 29, 2008 21:58
15 yrs ago
Russian term
паранепротиворечивые
Russian to French
Science
Mathematics & Statistics
Terme dans l'expression : "паранепротиворечивые логики"
C'est un sujet de mémoire de licence (sciences mathématiques). Je n'ai que ces deux mots.
Merci pour votre aide.
C'est un sujet de mémoire de licence (sciences mathématiques). Je n'ai que ces deux mots.
Merci pour votre aide.
Proposed translations
(French)
4 | paraconsistent logic | Shog Imas |
5 +1 | (logique) paraconsistante | Kévin Bacquet |
2 | logique non monotones ou non monotonique | Dimitri Zybin |
Change log
Nov 19, 2008 20:58: Lucie Perrin Created KOG entry
Proposed translations
7 hrs
Selected
paraconsistent logic
http://www.wiki.ru/philosophy/elem.php?IBLOCK_ID=73&SECTION_...
da Costa N. С A., MarconiD. An overview of paraconsisten logic in the 80's.— «The Journal of Non-Classical Logic», 1989, v. 6;
da Costa N. С A., BeziauJ.-Y., OtavioA. S. B. Aspects of paraconsistent logic.— «Bulletin of IGPL», 1995, v. 3;
Jaskowski S. Prepositional calculus for contradictory deductive systems.— «Studia Logica», 1969, v. 24;
Priest G. In contradiction: A study of the transconsistent. Dordrecht, 1987.
Paraconsistent Logic (Stanford Encyclopedia of Philosophy)The development of paraconsistent logic was initiated in order to challenge the logical principle that anything follows from contradictory premises, ...
plato.stanford.edu/entries/logic-paraconsistent/ - Similar pages - Note this
by G Priest - 2007 - Cited by 138 - Related articles - All 4 versions
Paraconsistent logic - Wikipedia, the free encyclopediaA paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the ...
en.wikipedia.org/wiki/Paraconsistent_logic - 98k - Cached - Similar pages - Note this
Paraconsistent logic! (A reply to Slater)Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial, in particular in a ...
www.sorites.org/Issue_17/beziau.htm - 21k - Cached - Similar pages - Note this
--------------------------------------------------
Note added at 7 hrs (2008-09-30 05:07:04 GMT)
--------------------------------------------------
http://plato.stanford.edu/entries/logic-paraconsistent/
http://en.wikipedia.org/wiki/Paraconsistent_logic
--------------------------------------------------
Note added at 7 hrs (2008-09-30 05:12:58 GMT)
--------------------------------------------------
Sorry to have answered in English
In FRENCH: LOGIQUE PARACONSISTENTE
From the Logical Point of View Logique Paraconsistente Cl. 5. MAURICE BOFFA and ANDRÉ PÉTRY, On Self-membered Sets in ... of logic, and his views on philosophy of logic and mathematics. ...
projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.rml/1204835694&view=body&content-type=pdf_1 - Similar pages - Note this
--------------------------------------------------
Note added at 2 days23 hrs (2008-10-02 21:09:00 GMT) Post-grading
--------------------------------------------------
OK, Merci pour votre remarque. Milles excuses pour une faute qui m'a échappée. Ne vous en faites pas, je sais bien que cela s'écrit consistAnte.
da Costa N. С A., MarconiD. An overview of paraconsisten logic in the 80's.— «The Journal of Non-Classical Logic», 1989, v. 6;
da Costa N. С A., BeziauJ.-Y., OtavioA. S. B. Aspects of paraconsistent logic.— «Bulletin of IGPL», 1995, v. 3;
Jaskowski S. Prepositional calculus for contradictory deductive systems.— «Studia Logica», 1969, v. 24;
Priest G. In contradiction: A study of the transconsistent. Dordrecht, 1987.
Paraconsistent Logic (Stanford Encyclopedia of Philosophy)The development of paraconsistent logic was initiated in order to challenge the logical principle that anything follows from contradictory premises, ...
plato.stanford.edu/entries/logic-paraconsistent/ - Similar pages - Note this
by G Priest - 2007 - Cited by 138 - Related articles - All 4 versions
Paraconsistent logic - Wikipedia, the free encyclopediaA paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the ...
en.wikipedia.org/wiki/Paraconsistent_logic - 98k - Cached - Similar pages - Note this
Paraconsistent logic! (A reply to Slater)Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial, in particular in a ...
www.sorites.org/Issue_17/beziau.htm - 21k - Cached - Similar pages - Note this
--------------------------------------------------
Note added at 7 hrs (2008-09-30 05:07:04 GMT)
--------------------------------------------------
http://plato.stanford.edu/entries/logic-paraconsistent/
http://en.wikipedia.org/wiki/Paraconsistent_logic
--------------------------------------------------
Note added at 7 hrs (2008-09-30 05:12:58 GMT)
--------------------------------------------------
Sorry to have answered in English
In FRENCH: LOGIQUE PARACONSISTENTE
From the Logical Point of View Logique Paraconsistente Cl. 5. MAURICE BOFFA and ANDRÉ PÉTRY, On Self-membered Sets in ... of logic, and his views on philosophy of logic and mathematics. ...
projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.rml/1204835694&view=body&content-type=pdf_1 - Similar pages - Note this
--------------------------------------------------
Note added at 2 days23 hrs (2008-10-02 21:09:00 GMT) Post-grading
--------------------------------------------------
OK, Merci pour votre remarque. Milles excuses pour une faute qui m'a échappée. Ne vous en faites pas, je sais bien que cela s'écrit consistAnte.
4 KudoZ points awarded for this answer.
Comment: "Avec tous mes remerciements. "
29 mins
logique non monotones ou non monotonique
похоже, речь идет об искусственном интеллекте
+1
9 hrs
(logique) paraconsistante
Plusieurs voies semblent ouvertes et ont conduit à ce qu'on appelle les logiques paraconsistantes, où l'on décrit des règles de raisonnement n'incluant pas le ex-falso quodlibet et qui bien sûr ne permettent pas de le retrouver. Ces systèmes qui sont assez complexes provoquent souvent une gêne à cause de leurs propriétés non classiques. Par exemple, le système défendu par Graham Priest propose d'accepter sérieusement que des énoncés soient à la fois vrais et faux.
http://1libertaire.free.fr/godel02.html
http://1libertaire.free.fr/godel02.html
Something went wrong...