паранепротиворечивые

French translation: paraconsistent logic

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
Russian term or phrase:паранепротиворечивые
French translation:paraconsistent logic
Entered by: Lucie Perrin

21:58 Sep 29, 2008
Russian to French translations [PRO]
Science - Mathematics & Statistics
Russian term or phrase: паранепротиворечивые
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.
Lucie Perrin
France
Local time: 10:07
paraconsistent logic
Explanation:
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.
Selected response from:

Shog Imas
Canada
Local time: 05:07
Grading comment
Avec tous mes remerciements.
4 KudoZ points were awarded for this answer



Summary of answers provided
5 +1(logique) paraconsistante
Kévin Bacquet
4paraconsistent logic
Shog Imas
2logique non monotones ou non monotonique
Dimitri Zybin


  

Answers


29 mins   confidence: Answerer confidence 2/5Answerer confidence 2/5
logique non monotones ou non monotonique


Explanation:
похоже, речь идет об искусственном интеллекте

Dimitri Zybin
Russian Federation
Local time: 10:07
Native speaker of: Native in RussianRussian
Login to enter a peer comment (or grade)

9 hrs   confidence: Answerer confidence 5/5 peer agreement (net): +1
(logique) paraconsistante


Explanation:
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

Kévin Bacquet
France
Local time: 10:07
Native speaker of: Native in FrenchFrench

Peer comments on this answer (and responses from the answerer)
agree  atche84
1 day 16 hrs
Login to enter a peer comment (or grade)

7 hrs   confidence: Answerer confidence 4/5Answerer confidence 4/5
paraconsistent logic


Explanation:
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.

Shog Imas
Canada
Local time: 05:07
Specializes in field
Native speaker of: Native in EnglishEnglish, Native in FrenchFrench
PRO pts in category: 4
Grading comment
Avec tous mes remerciements.

Peer comments on this answer (and responses from the answerer)
neutral  atche84: sorry, this is Rus>Fra, not Rus>Eng pair - the word in French is consistAnte (K.Backet). I read it carefully, you didn't. ConsistEnte is franglais. The entry in KudoZ vocab will be your ENGLISH answer
1 day 19 hrs
  -> Sorry, but you did not see what I had added about the French translation at the end of my notes.
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search