Falske og sanne utsagn brukes ofte i språkpraksis. Den første vurderingen oppfattes som en fornektelse av sannhet (usannhet). I realiteten brukes også andre typer vurderinger: usikkerhet, ubevisbarhet (bevisbarhet), uløselighet. Ved å argumentere for hvilket tall x utsagnet er sant, er det nødvendig å vurdere logikkens lover.
Fremveksten av "multivalued logic" førte til bruk av et ubegrenset antall sannhetsindikatorer. Situasjonen med sannhetens elementer er forvirrende, komplisert, så det er viktig å avklare det.
Teoriprinsipper
Et sant utsagn er verdien av en egenskap (attributt), som alltid vurderes for en bestemt handling. Hva er sannhet? Opplegget er som følger: "Proposisjon X har en sannhetsverdi Y i tilfelle når påstand Z er sann."
La oss se på et eksempel. Det er nødvendig å forstå hvilke av de gitte utsagnene utsagnet er sant: "Objekt a har et tegn B". Dette utsagnet er usant ved at objektet har attributt B, og usant ved at a ikke har attributt B. Begrepet "false" i dette tilfellet brukes som en ekstern negasjon.
Beslutning av sannhet
Hvordan bestemmes et sant utsagn? Uavhengig av strukturen til påstand X, er bare følgende definisjon tillatt: "Proposisjon X er sann når det er X, bare X."
Denne definisjonen gjør det mulig å introdusere begrepet "sann" i språket. Den definerer handlingen å godta eller snakke med det som står.
Enkle ordtak
De inneholder et sant utsagn uten en definisjon. Man kan begrense seg til en generell definisjon i påstanden "Ikke-X" hvis denne påstanden ikke stemmer. Konjunksjonen "X og Y" er sann hvis både X og Y er sanne.
Uttalseksempel
Hvordan forstå hvilken x påstanden er sann for? For å svare på dette spørsmålet bruker vi uttrykket: "Partikkel a er lokalisert i området av rom b". Vurder følgende tilfeller for denne uttalelsen:
- umulig å observere partikkelen;
- du kan observere partikkelen.
Det andre alternativet foreslår visse muligheter:
- partikkel befinner seg faktisk i et bestemt område i verdensrommet;
- hun er ikke i den tiltenkte delen av rommet;
- partikkel beveger seg på en slik måte at det er vanskelig å bestemme området der den befinner seg.
I dette tilfellet kan fire sannhetsverditermer brukes som samsvarer med de gitte mulighetene.
For komplekse strukturer er flere termer passende. Dette erindikerer ubegrensede sannhetsverdier. Hvilket tall utsagnet er sant avhenger av praktisk hensiktsmessighet.
Tvetydighetsprinsippet
I følge den er enhver påstand enten usann eller sann, det vil si at den er preget av en av to mulige sannhetsverdier – “false” og “true”.
Dette prinsippet er grunnlaget for klassisk logikk, som kalles toverditeorien. Tvetydighetsprinsippet ble brukt av Aristoteles. Denne filosofen, som kranglet om hvilket tall x utsagnet er sant, anså det som uegnet for utsagn som er relatert til fremtidige tilfeldige hendelser.
Han etablerte et logisk forhold mellom fatalisme og prinsippet om tvetydighet, predestinasjonen av enhver menneskelig handling.
I påfølgende historiske epoker ble begrensningene som ble pålagt dette prinsippet forklart med at det kompliserer analysen av utsagn om planlagte hendelser, så vel som om ikke-eksisterende (ikke-observerbare) objekter.
Tenker på hvilke utsagn som er sanne, var det ikke alltid mulig å finne et klart svar med denne metoden.
Voksende tvil om logiske systemer ble fjernet først etter at moderne logikk ble utviklet.
For å forstå hvilke av de gitte tallene utsagnet er sant, er toverdislogikk egnet.
Prinsipp om tvetydighet
Hvis omformulertvariant av et utsagn med to verdier for å avsløre sannheten, kan du gjøre det om til et spesielt tilfelle av polysemi: ethvert utsagn vil ha én n sannhetsverdi hvis n enten er større enn 2 eller mindre enn uendelig.
Som unntak fra ytterligere sannhetsverdier (over "usant" og "sant") er mange logiske systemer basert på prinsippet om tvetydighet. To-verdi klassisk logikk karakteriserer typisk bruk av noen logiske tegn: "eller", "og", "ikke".
Multivalued logic som hevder å være konkretisert, bør ikke motsi resultatene av et toverdisystem.
Troen på at prinsippet om tvetydighet alltid fører til en uttalelse om fatalisme og determinisme anses som feilaktig. Også feil er ideen om at multippellogikk blir sett på som et nødvendig middel for å utføre indeterministiske resonnementer, at aksepten tilsvarer avvisningen av bruken av streng determinisme.
Semantikk av logiske tegn
For å forstå hvilket nummer X utsagnet er sant, kan du bevæpne deg med sannhetstabeller. Logisk semantikk er en del av metalogikken som studerer forholdet til utpekte objekter, deres innhold i ulike språklige uttrykk.
Dette problemet ble vurdert allerede i den antikke verden, men i form av en fullverdig uavhengig disiplin ble det formulert først ved overgangen til 1800- og 1900-tallet. Verker av G. Frege, C. Pierce, R. Carnap, S. Kripkegjorde det mulig å avsløre essensen av denne teorien, dens realisme og hensiktsmessighet.
I en lang periode var semantisk logikk hovedsakelig avhengig av analyse av formaliserte språk. Først nylig har mesteparten av forskningen vært viet naturlig språk.
Det er to hovedområder i denne teknikken:
- notasjonsteori (referanse);
- teori om mening.
Den første innebærer studiet av forholdet mellom ulike språklige uttrykk til de utpekte objektene. Som hovedkategorier kan man forestille seg: "betegnelse", "navn", "modell", "tolkning". Denne teorien er grunnlaget for bevis i moderne logikk.
Teori om mening omhandler søken etter svar på spørsmålet om hva som er meningen med et språklig uttrykk. Hun forklarer identiteten deres i mening.
Teorien om mening spiller en betydelig rolle i diskusjonen av semantiske paradokser, i løsningen av hvilke ethvert aksepterbarhetskriterium anses som viktig og relevant.
Logic Equation
Dette begrepet brukes i metaspråk. Under den logiske ligningen kan vi representere posten F1=F2, der F1 og F2 er formler for det utvidede språket til logiske proposisjoner. Å løse en slik ligning betyr å bestemme de settene med sanne verdier av variabler som vil bli inkludert i en av formlene F1 eller F2, under hvilke den foreslåtte likheten vil bli observert.
Likningstegnet i matematikk i enkelte situasjonerindikerer likheten til de originale objektene, og i noen tilfeller er den satt for å demonstrere likheten mellom verdiene deres. Oppføringen F1=F2 kan indikere at vi snakker om samme formel.
I litteraturen betyr ganske ofte under den formelle logikken et slikt synonym som "språket for logiske påstander". De "riktige ordene" er formler som fungerer som semantiske enheter som brukes til å bygge resonnement i uformell (filosofisk) logikk.
Et utsagn fungerer som en setning som uttrykker en bestemt proposisjon. Med andre ord, det uttrykker ideen om tilstedeværelsen av en eller annen tilstand.
Enhver påstand kan betraktes som sann i tilfellet når tingenes tilstand som er beskrevet i den eksisterer i virkeligheten. Ellers vil en slik erklæring være en falsk erklæring.
Dette faktum ble grunnlaget for proposisjonell logikk. Det er en inndeling av utsagn i enkle og komplekse grupper.
Ved formalisering av enkle varianter av utsagn, brukes elementære nullordensspråkformler. Beskrivelse av komplekse utsagn er bare mulig ved bruk av språkformler.
Logiske koblinger er nødvendig for å betegne fagforeninger. Når de brukes, blir enkle utsagn til komplekse former:
- "ikke",
- "det er ikke sant at…",
- "eller".
Konklusjon
Formell logikk hjelper til med å finne ut hvilket navn en påstand er sann, innebærer konstruksjon og analyse av regler for transformasjon av visse uttrykk som bevarer demsann verdi uavhengig av innhold. Som en egen del av filosofisk vitenskap dukket den opp først på slutten av det nittende århundre. Den andre retningen er uformell logikk.
Hovedoppgaven til denne vitenskapen er å systematisere reglene som lar deg utlede nye utsagn basert på beviste utsagn.
Grunnlaget for logikk er muligheten for å få noen ideer som en logisk konsekvens av andre utsagn.
Dette faktum gjør det mulig å på en adekvat måte ikke bare beskrive et bestemt problem i matematisk vitenskap, men også å overføre logikk til kunstnerisk kreativitet.
Logisk undersøkelse forutsetter forholdet som eksisterer mellom premisser og konklusjonene som trekkes fra dem.
Det kan tilskrives antallet innledende, grunnleggende begreper i moderne logikk, som ofte kalles vitenskapen om "hva som følger av det."
Det er vanskelig å forestille seg å bevise teoremer i geometri, forklare fysiske fenomener, forklare mekanismene for reaksjoner i kjemi uten slik resonnement.
