Tautologi

Den tautologi (fra oldgræsk ταὐτολογία sammensat af ταὐτό , "det samme" og λέγω , "siger" det faktum af at gentage det samme) er en sætning eller så slået stil effekt, at dens formulering kun kan være sandt. Tautologi er relateret til truisme (eller indlysende ) og pleonasme .

I matematisk logik betegner ordet "tautologi" et udsagn, der altid er sandt i henhold til reglerne i propositionsberegning . Vi bruger også adjektivet tautologisk i matematik til at betegne strukturer, der kommer naturligt ud af definitionen af ​​bestemte objekter.

Brug i retorik

I en forsætlig ramme

En af de ældste tautologier er den, som YHWH bruger til at åbenbare sig for Moses ved at sige "Jeg er den, der er" (Bibelen i Ex 3: 13-14).

Når tautologi (ligesom dens forskellige nabovirkninger), tilsigtet, bruges som et slogan eller retorisk effekt , har det til formål at styrke tankens udtryk. Dette er tilfældet med mange af dem, der er beskrevet nedenfor, hvad enten det drejer sig om at forstærke emnet ("set, mine øjne set") eller at få folk til at grine ("Men det onde, jeg finder der, er at din far er din far ”).

Dette er, hvordan en tautologi, fordi den er sand, kan tjene til at formidle falske ideer ved at drage fordel af sandhedens indtryk og bevis for, at den afgiver .

Eugene Ionesco viser i sit skuespil Rhinoceros denne proces ved at forkaste logikens love ved hjælp af tautologier og syllogismer, der er uklare, men korrekte fra et grammatisk og "mekanisk" synspunkt; Jean  : ”Jeg har styrke, fordi jeg har styrke. "

Karl Marx , i Capital , Book I , “Pris er det monetære navn på det arbejde, der udføres i varen. Varens ækvivalens og pengesummen udtrykt i prisen er derfor en tautologi, da det relative udtryk for en vares værdi altid er udtryk for ækvivalensen af ​​to varer. Men hvis prisen som eksponent for varemængden af ​​varen er eksponenten for dens udvekslingsforhold med penge, følger den ikke omvendt, at eksponenten af ​​dens udvekslingsforhold med penge nødvendigvis er eksponenten af ​​dens værdistørrelse. "

Faktisk kan det lige så let tjene som en måde at manipulere på, som det kan bruges i anden grad, som et blink .

Tautologier i matematisk logik

I matematisk logik har udtrykket fået en teknisk betydning, der kan afvige fra sund fornuft.

I propositionskalkulation , efter Tractatus Logico-Philosophicus af Wittgenstein, der blev offentliggjort i 1921, kaldet tautologi (propositionalkalkulus), er et forslag (eller udsagn) altid sandt, det vil sige sandt uanset sandhedsværdien, sand eller falsk, af dens elementære bestanddele . Med andre ord tager sandhedstabellen i denne erklæring altid værdien sand. For eksempel "hvis vejret er godt, så er vejret dejligt", hvilket har formen "hvis A, så er A" (eller "A antyder A") er en tautologi. De således definerede tautologier kan synes uden reel mening og giver ingen information. Hvis dette faktisk er tilfældet med den førnævnte, kan propositionelle tautologier stadig være meget mere komplekse. At hævde, at "fra A 1 , ..., A n vi udlede B  ", svarer til at hævde, at propositionen "hvis A 1 , ..., hvis A n så B  " er en tautologi. Som Kleene bemærker, udgør almindelig logisk ræsonnement imidlertid håndtering af sådanne fradragsforhold (ikke nødvendigvis inden for rammerne af propositionel beregning).

Det er fortsat, at i klassisk propositionsberegning kan spørgsmålet om at vide, om en given udsagn er en tautologi, afgøres , det vil sige, at dette spørgsmål teoretisk kan løses på en rent mekanisk måde, for eksempel ved sandhedstabellerne . Imidlertid er dette problem co-NP-komplet , beregningstiden bliver hurtigt uoverkommelig (i det mindste i den nuværende tilstand af viden).

I beregningen af ​​prædikater kalder vi universel gyldig en erklæring (lukket formel), som er sand i alle modeller (hvor den har en betydning). Denne opfattelse kan generelt ikke bestemmes, sandheden er ikke defineret på en mekanisk måde, idet modellerne kan være uendelige.

En almindelig anvendelse i matematisk logik er også at kalde tautologien for beregningen af ​​predikater en lukket formel opnået fra en tautologi af propositionel calculus ved at erstatte de propositionelle variabler formler for calculus af predikater. For eksempel er P som et stedprædikat, "For alle x P ( x ) indebærer For alle x P ( x )" er en tautologi opnået fra den tidligere propositionelle tautologi. En sådan formel er faktisk universelt gyldig, men en formel kan være universel gyldig uden at være en tautologi. For eksempel "For alle x P ( x ) antyder, at der eksisterer x P ( x )" er universelt gyldig (modeller antages altid at have mindst et element), men er ikke en tautologi. Da tautologierne kan bestemmes, giver det mening at formalisere fradraget ved at tage alle tautologierne i beregningen af ​​predikater som aksiomer.

Tautologiske objekter i matematik

I matematik bruger vi adjektivet "tautologisk" til at betegne strukturer, der kommer naturligt ud af definitionen af ​​bestemte objekter. For eksempel :

Eksempler på tautologiske figurer

Ifølge Michèle Zacharia, forfatter til en bog om skriftligt udtryk, er tautologi at pleonasme, hvad amfibologi er for tvetydighed .

Tautologier, der søger at støtte en kendsgerning

Denne type sætning er generelt implicit i form af den anvendte sætning, ofte for at gøre det til et slogan, især i reklamer, hvilket giver en komisk eller attraktiv effekt:

Tautologier betragtes ofte som overflødige, hvilket ikke giver nogen yderligere præcision

Drejningerne, der følger, er fra et leksikalt synspunkt pleonasmer , det vil sige de indeholder redundans , for meget information, vægt , overflødighed, overflødighed eller overfladiskhed. De er imidlertid taget i brug og opfattes ikke længere som pleonasmer.

Ufrivillige, endda intetanende tautologier

Dette er tautologier ved at glemme eller ignorere betydningen eller oprindelsen af ​​ord:

Faktisk er disse tautologier ikke længere rigtig, idet etymologien glemmes.

Navnet på et sted kan udtrykke en idé på et glemt sprog, nye højttalere introducerer derefter en gentagelse i det nye navn. Men i de fleste tilfælde er det en oversættelse, ikke en tautologi.

Almindelige eller ordsprogne indviede udtryk

De fleste af disse leksikaliserede udtryk er ikke tautologier.

Tautologier udtalt af personligheder

Tautologier i litteraturen

Tautologi i biografen

Noter og referencer

Bemærkninger

  1. Det kan bemærkes, at udtalen "  Fujiyama  ", der ofte bruges i vestlige lande, er en fejllæsning af富士山, der læser "  Fujisan  " på japansk.

Referencer

  1. Vi finder denne idé især med sprogkunden Lucile Gaudin-Bordes, "Tautologisk tyranni: beviset som enunciative værktøj og diskursiv strategi", fransk sprog vol. 160, nr .  4, Nice, 2008.
  2. Ifølge (i) Stephen Cole Kleene , Mathematical Logic , New York, Dover Publications ,2002( 1 st  ed. 1967), 398  s. , lomme ( ISBN  978-0-486-42533-7 , LCCN  2002034823 , læs online ) , s.  12, Link til  matematikanmeldelser .
  3. Kleene 2002 , s.  27; for formalisering af ræsonnementet med hensyn til fradragsforhold, se artiklerne naturlig fradrag og beregning af sekvenser .
  4. Kleene 2002 , s.  131.
  5. Vi finder denne definition i René Cori og Daniel Lascar , matematisk logik I. Propositional calculus, Boolean algebras, calculus of predicates [ detaljerede udgaver ] , s.  180 af den første udgave; det findes også i Kleene 1967, citeret arbejde, s.  131 .
  6. Anvendelsen er almindelig i bøger orienteret mod teorien om modeller , når det kommer til at bevise fuldstændighedssætningen, for eksempel René Cori og Daniel Lascar , Mathematical Logic I. Propositional calculus, Boolean algebras, calculus of predicates [ detaljerede udgaver ] , kap. 4 s. 230. Kleene i 1967 nævner, at dette er gjort ( s.  131 ), men foretrækker at give diagrammer over aksiomer og eksplicitte regler.
  7. Michèle Zacharia, Den lille Retz af skriftligt udtryk , Paris, Retz,1987( læs online ).
  8. "Motorcykel: Montois Lucas Mahias har" aldrig været så tæt "på verdensmesterskabet" er en variation blandt sportsjournalister.
  9. NÅR LOTTOET VINNER ET LAGTER , Les Échos , 17.08.2011. Bemærk, at Eric Hélias fra Young & Rubicam siger, at det er en underdrivelse  !
  10. langue-française.fr site, side "20 berømte tautologier af det franske sprog" , adgang til 24. november 2018
  11. Google-bog "Middelhavet. Havet med vores sprog: Havet til vores sprog af Louis-Jean Calvet
  12. Henry Suter, "  Balme  " , på Henry Suter-webstedet, "Stedsnavne på fransktalende Schweiz, Savoie og omegn" - henrysuter.ch , 2000-2009 (opdateret 18. december 2009 ) (adgang oktober 2014) ) .
  13. Google bog "Malerisk rejse til Genfersøen eller Léman"
  14. [1] Google-bog Voyage in Africa to the kingdom of Barcah and in Cyrenaica through the desert De Paolo Della Cella
  15. Henry Suter, "  Col  " , på Henry Suter site, "Stednavne i fransktalende Schweiz, Savoie og omegn" - henrysuter.ch , 2000-2009 (opdateret December 18, 2009 ) (hørt om en st august 2015 ) .
  16. Rousseau sos filosofi-websted: Fra den sociale kontrakt.
  17. "Laurent Fabius" Han er ham og mig er mig "" , uddrag fra programmet L'Heure de Verite , på ina.fr
  18. "Hortefeux. "Det utålelige tolereres ikke" " , på letelegramme.com
  19. Citeret i "Sprogets aritmetik", Isabelle Talès, Le Monde, 27. september 2011.
  20. Johnny Hallyday - Vi tabte 1 time og et kvarter! på Youtube.com

Se også

Bibliografi

Bibliografi over talefigurer

Relaterede artikler

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">