Falske og sande udsagn bruges ofte i sprogpraksis. Den første vurdering opfattes som en fornægtelse af sandhed (usandhed). I virkeligheden bruges også andre typer vurderinger: usikkerhed, ubevisbarhed (bevisbarhed), uopløselighed. Når man diskuterer for hvilket tal x udsagnet er sandt, er det nødvendigt at overveje logikkens love.
Fremkomsten af "multivalued logic" førte til brugen af et ubegrænset antal sandhedsindikatorer. Situationen med sandhedens elementer er forvirrende, kompliceret, så det er vigtigt at afklare det.
Teoriprincipper
Et sandt udsagn er værdien af en egenskab (attribut), som altid tages i betragtning for en bestemt handling. Hvad er sandhed? Skemaet er som følger: "Proposition X har en sandhedsværdi Y i det tilfælde, hvor påstand Z er sand."
Lad os se på et eksempel. Det er nødvendigt at forstå, for hvilket af de givne udsagn udsagnet er sandt: "Objekt a har et fortegn B". Denne erklæring er falsk, idet objektet har attribut B, og falsk, idet a ikke har attribut B. Udtrykket "falsk" bruges i dette tilfælde som en ekstern negation.
Beslutning af sandhed
Hvordan bestemmes et sandt udsagn? Uanset strukturen af påstand X er kun den følgende definition tilladt: "påstand X er sand, når der er X, kun X."
Denne definition gør det muligt at introducere udtrykket "sand" i sproget. Det definerer handlingen med at acceptere eller tale med det, der står.
enkle ordsprog
De indeholder et sandt udsagn uden en definition. Man kan begrænse sig til en generel definition i sætningen "Ikke-X", hvis denne sætning ikke er sand. Konjunktionen "X og Y" er sand, hvis både X og Y er sande.
Saying example
Hvordan forstår man, for hvilket x udsagnet er sandt? For at besvare dette spørgsmål bruger vi udtrykket: "Partikel a er placeret i et område af rum b". Overvej følgende tilfælde for denne erklæring:
- umuligt at observere partiklen;
- du kan observere partiklen.
Den anden mulighed foreslår visse muligheder:
- partikel er faktisk placeret i et bestemt område i rummet;
- hun er ikke i den tilsigtede del af rummet;
- partikel bevæger sig på en sådan måde, at det er svært at bestemme området for dens placering.
I dette tilfælde kan der bruges fire sandhedsværdi-termer, der svarer til de givne muligheder.
For komplekse strukturer er flere udtryk passende. Dette erangiver ubegrænsede sandhedsværdier. For hvilket tal udsagnet er sandt afhænger af praktisk hensigtsmæssighed.
Tvetydighedsprincippet
Ifølge det er ethvert udsagn enten falsk eller sandt, det vil sige, at det er karakteriseret ved en af to mulige sandhedsværdier - "falsk" og "sand".
Dette princip er grundlaget for klassisk logik, som kaldes to-værditeorien. Tvetydighedsprincippet blev brugt af Aristoteles. Denne filosof, der argumenterede for, hvilket tal x udsagnet er sandt, anså det for uegnet til de udsagn, der vedrører fremtidige tilfældige begivenheder.
Han etablerede et logisk forhold mellem fatalisme og princippet om tvetydighed, forudbestemmelsen af enhver menneskelig handling.
I efterfølgende historiske epoker blev de restriktioner, der blev pålagt dette princip, forklaret med, at det i betydelig grad komplicerer analysen af udsagn om planlagte begivenheder såvel som om ikke-eksisterende (ikke-observerbare) objekter.
Når man tænker på, hvilke udsagn der er sande, var det ikke altid muligt at finde et klart svar med denne metode.
Opvoksende tvivl om logiske systemer blev først fjernet, efter at moderne logik var udviklet.
For at forstå, hvilket af de givne tal udsagnet er sandt, er toværdilogik velegnet.
Princippet om tvetydighed
Hvis omformuleretvariant af et to-værdiudsagn for at afsløre sandheden, kan du gøre det til et særligt tilfælde af polysemi: ethvert udsagn vil have én n sandhedsværdi, hvis n enten er større end 2 eller mindre end uendeligt.
Som undtagelser til yderligere sandhedsværdier (over "falsk" og "sand") er mange logiske systemer baseret på princippet om flertydighed. Klassisk logik med to værdier karakteriserer typisk brug af nogle logiske tegn: "eller", "og", "ikke".
Multiværdilogik, der hævder at være konkretiseret, bør ikke modsige resultaterne af et system med to værdier.
Troen på, at princippet om tvetydighed altid fører til en erklæring om fatalisme og determinisme, anses for at være fejlagtig. Også forkert er ideen om, at multipel logik ses som et nødvendigt middel til at udføre indeterministisk ræsonnement, at dens accept svarer til afvisningen af brugen af streng determinisme.
Semantik af logiske tegn
For at forstå, for hvilket nummer X udsagnet er sandt, kan du bevæbne dig med sandhedstabeller. Logisk semantik er en del af metalogikken, der studerer relationen til udpegede objekter, deres indhold af forskellige sproglige udtryk.
Dette problem blev overvejet allerede i den antikke verden, men i form af en fuldgyldig selvstændig disciplin blev det først formuleret ved overgangen til det 19.-20. århundrede. Værker af G. Frege, C. Pierce, R. Carnap, S. Kripkegjort det muligt at afsløre essensen af denne teori, dens realisme og hensigtsmæssighed.
I en lang periode var semantisk logik hovedsageligt baseret på analyse af formaliserede sprog. Først for nylig har størstedelen af forskningen været viet til naturligt sprog.
Der er to hovedområder i denne teknik:
- notationsteori (reference);
- teori om mening.
Den første involverer studiet af forholdet mellem forskellige sproglige udtryk og de udpegede objekter. Som sine hovedkategorier kan man forestille sig: "betegnelse", "navn", "model", "fortolkning". Denne teori er grundlaget for beviser i moderne logik.
Betydningsteori omhandler søgen efter et svar på spørgsmålet om, hvad der er meningen med et sprogligt udtryk. Hun forklarer deres identitet i mening.
Teorien om mening spiller en væsentlig rolle i diskussionen om semantiske paradokser, i hvis løsning ethvert acceptkriterie anses for vigtigt og relevant.
Logisk ligning
Dette udtryk bruges i metasprog. Under den logiske ligning kan vi repræsentere posten F1=F2, hvor F1 og F2 er formler for det udvidede sprog af logiske propositioner. At løse en sådan ligning betyder at bestemme de sæt af sande værdier af variable, der vil blive inkluderet i en af formlerne F1 eller F2, under hvilke den foreslåede lighed vil blive observeret.
Lighedstegnet i matematik i nogle situationerangiver ligheden af de originale objekter, og i nogle tilfælde er den sat til at demonstrere ligheden af deres værdier. Indtastningen F1=F2 kan indikere, at vi taler om den samme formel.
I litteraturen betyder ganske ofte under den formelle logik et sådant synonym som "logiske propositioners sprog". De "korrekte ord" er formler, der tjener som semantiske enheder, der bruges til at bygge ræsonnement i uformel (filosofisk) logik.
En sætning fungerer som en sætning, der udtrykker en bestemt påstand. Med andre ord udtrykker det ideen om tilstedeværelsen af en eller anden tilstand.
Ethvert udsagn kan betragtes som sandt i det tilfælde, hvor den tilstand, der er beskrevet i den, eksisterer i virkeligheden. Ellers vil en sådan erklæring være en falsk erklæring.
Dette faktum blev grundlaget for propositionel logik. Der er en opdeling af udsagn i simple og komplekse grupper.
Når man formaliserer simple varianter af udsagn, bruges elementære nul-ordens sprogformler. Beskrivelse af komplekse udsagn er kun mulig ved brug af sprogformler.
Logiske forbindelser er nødvendige for at betegne fagforeninger. Når de anvendes, bliver simple udsagn til komplekse former:
- "ikke",
- "det er ikke sandt, at…",
- "eller".
Konklusion
Formel logik hjælper med at finde ud af hvilket navn et udsagn er sandt for, involverer konstruktion og analyse af regler for transformation af bestemte udtryk, der bevarer demægte værdi uanset indhold. Som en separat sektion af filosofisk videnskab dukkede den først op i slutningen af det nittende århundrede. Den anden retning er uformel logik.
Hovedopgaven for denne videnskab er at systematisere de regler, der giver dig mulighed for at udlede nye udsagn baseret på dokumenterede udsagn.
Fundamentet for logik er muligheden for at opnå nogle ideer som en logisk konsekvens af andre udsagn.
Dette faktum gør det muligt på fyldestgørende måde at beskrive ikke kun et bestemt problem inden for matematisk videnskab, men også at overføre logik til kunstnerisk kreativitet.
Logisk undersøgelse forudsætter det forhold, der eksisterer mellem præmisser og konklusionerne fra dem.
Det kan tilskrives antallet af indledende, grundlæggende begreber i moderne logik, som ofte kaldes videnskaben om "hvad der følger af det."
Det er svært at forestille sig at bevise sætninger i geometri, forklare fysiske fænomener, forklare mekanismerne for reaktioner i kemi uden en sådan begrundelse.
