Falska och sanna påståenden används ofta i språkpraxis. Den första bedömningen uppfattas som ett förnekande av sanning (osanning). I verkligheten används även andra typer av bedömningar: osäkerhet, obevisbarhet (bevisbarhet), olöslighet. Om du argumenterar för vilket nummer x påståendet är sant är det nödvändigt att överväga logikens lagar.
Uppkomsten av "multivalued logic" ledde till användningen av ett obegränsat antal sanningsindikatorer. Situationen med sanningselementen är förvirrande, komplicerad, så det är viktigt att klargöra den.
Teoriprinciper
Ett sant uttalande är värdet av en egenskap (attribut), som alltid beaktas för en viss åtgärd. Vad är sanning? Schemat är som följer: "Proposition X har ett sanningsvärde Y i fallet när proposition Z är sant."
Låt oss titta på ett exempel. Det är nödvändigt att förstå för vilket av de givna påståendena påståendet är sant: "Objekt a har ett tecken B". Detta påstående är falskt genom att objektet har attribut B och falskt genom att a inte har attribut B. Termen "falsk" används i det här fallet som en extern negation.
Bestämning av sanning
Hur bestäms ett sant uttalande? Oavsett strukturen för sats X är endast följande definition tillåten: "Proposition X är sant när det finns X, bara X."
Denna definition gör det möjligt att introducera termen "sant" i språket. Den definierar handlingen att instämma eller tala med vad den säger.
enkla ordspråk
De innehåller ett sant uttalande utan definition. Man kan begränsa sig till en generell definition i påståendet "Inte-X" om detta påstående inte är sant. Konjunktionen "X och Y" är sann om både X och Y är sanna.
Sägande exempel
Hur förstår jag för vilket x påståendet är sant? För att besvara denna fråga använder vi uttrycket: "Partikel a är belägen i området av rymd b". Tänk på följande fall för detta uttalande:
- omöjligt att observera partikeln;
- du kan observera partikeln.
Det andra alternativet föreslår vissa möjligheter:
- partikeln är faktiskt belägen i en viss region i rymden;
- hon är inte i den avsedda delen av rymden;
- partikeln rör sig på ett sådant sätt att det är svårt att bestämma området för sin plats.
I detta fall kan fyra sanningsvärdestermer användas som motsvarar de givna möjligheterna.
För komplexa strukturer är fler termer lämpliga. Detta ärindikerar obegränsade sanningsvärden. För vilket nummer påståendet är sant beror på praktisk ändamålsenlighet.
Tvetydighetsprincipen
Enligt det är varje påstående antingen falskt eller sant, det vill säga det kännetecknas av ett av två möjliga sanningsvärden - "falskt" och "sant".
Denna princip är grunden för klassisk logik, som kallas den tvåvärdiga teorin. Tvetydighetsprincipen användes av Aristoteles. Denna filosof, som argumenterade för vilket nummer x påståendet är sant, ansåg det olämpligt för de påståenden som rör framtida slumpmässiga händelser.
Han etablerade ett logiskt förhållande mellan fatalism och principen om tvetydighet, förutbestämningen av varje mänsklig handling.
I efterföljande historiska epoker förklarades restriktionerna som infördes för denna princip av det faktum att den avsevärt komplicerar analysen av uttalanden om planerade händelser, såväl som om icke-existerande (icke observerbara) objekt.
När man tänker på vilka påståenden som är sanna, var det inte alltid möjligt att hitta ett tydligt svar med den här metoden.
Uppkommande tvivel om logiska system skingrades först efter att modern logik utvecklats.
För att förstå vilket av de givna talen påståendet är sant, är tvåvärdig logik lämplig.
Tvetydighetsprincip
Om den omformulerasvariant av ett tvåvärdigt påstående för att avslöja sanningen, du kan göra det till ett specialfall av polysemi: alla påståenden kommer att ha ett n sanningsvärde om n antingen är större än 2 eller mindre än oändligheten.
Som undantag från ytterligare sanningsvärden (ovanför "falskt" och "sant") finns många logiska system baserade på tvetydighetsprincipen. Klassisk logik med två värden kännetecknar typiska användningar av vissa logiska tecken: "eller", "och", "inte".
Multivalued logik som påstår sig vara konkretiserad bör inte motsäga resultaten av ett tvåvärdigt system.
Tron på att principen om tvetydighet alltid leder till ett uttalande om fatalism och determinism anses vara felaktig. Också felaktig är idén att multipellogik ses som ett nödvändigt medel för att föra indeterministiska resonemang, att dess acceptans motsvarar förkastandet av användningen av strikt determinism.
Semantik av logiska tecken
För att förstå för vilket nummer X påståendet är sant kan du beväpna dig med sanningstabeller. Logisk semantik är en sektion av metalogik som studerar relationen till utpekade objekt, deras innehåll i olika språkliga uttryck.
Detta problem övervägdes redan i den antika världen, men i form av en fullfjädrad oberoende disciplin formulerades det först vid 1800-talets början till 1900-talet. Verk av G. Frege, C. Pierce, R. Carnap, S. Kripkegjorde det möjligt att avslöja kärnan i denna teori, dess realism och ändamålsenlighet.
Under en lång period förlitade sig semantisk logik huvudsakligen på analys av formaliserade språk. Först nyligen har huvuddelen av forskningen ägnats åt naturligt språk.
Det finns två huvudområden i denna teknik:
- notationsteori (referens);
- teori om mening.
Den första innefattar studiet av förhållandet mellan olika språkliga uttryck och de utpekade objekten. Som sina huvudkategorier kan man tänka sig: "beteckning", "namn", "modell", "tolkning". Denna teori är grunden för bevis i modern logik.
Meningsteori handlar om sökandet efter ett svar på frågan om vad som är meningen med ett språkligt uttryck. Hon förklarar deras identitet i betydelse.
Teorin om mening spelar en betydande roll i diskussionen om semantiska paradoxer, i vars lösning varje kriterium för acceptans anses vara viktigt och relevant.
Logic Equation
Denna term används i metaspråk. Under den logiska ekvationen kan vi representera posten F1=F2, där F1 och F2 är formler för det utökade språket för logiska propositioner. Att lösa en sådan ekvation innebär att bestämma de uppsättningar av sanna värden av variabler som kommer att inkluderas i en av formlerna F1 eller F2, under vilka den föreslagna likheten kommer att observeras.
Likhetstecknet i matematik i vissa situationerindikerar likheten mellan de ursprungliga föremålen, och i vissa fall är den inställd för att visa att deras värden är lika. Posten F1=F2 kan indikera att vi talar om samma formel.
I litteraturen menas ganska ofta under den formella logiken en sådan synonym som "språket för logiska påståenden". De "rätta orden" är formler som fungerar som semantiska enheter som används för att bygga resonemang i informell (filosofisk) logik.
Ett påstående fungerar som en mening som uttrycker en viss proposition. Med andra ord, det uttrycker idén om närvaron av något tillstånd.
Varje påstående som helst kan anses vara sant i de fall när det tillstånd som beskrivs i det existerar i verkligheten. Annars kommer ett sådant påstående att vara ett falskt påstående.
Detta faktum blev grunden för propositionell logik. Det finns en uppdelning av påståenden i enkla och komplexa grupper.
När man formaliserar enkla varianter av påståenden, används elementära nollordningens språkformler. Beskrivning av komplexa påståenden är endast möjlig med användning av språkformler.
Logiska kopplingar behövs för att beteckna fackföreningar. När de tillämpas förvandlas enkla påståenden till komplexa former:
- "inte",
- "det är inte sant att…",
- "eller".
Slutsats
Formell logik hjälper till att ta reda på vilket namn ett påstående är sant, involverar konstruktion och analys av regler för att transformera vissa uttryck som bevarar demverkligt värde oavsett innehåll. Som en separat del av filosofisk vetenskap dök den upp först i slutet av artonhundratalet. Den andra riktningen är informell logik.
Huvuduppgiften för denna vetenskap är att systematisera de regler som gör att du kan härleda nya påståenden baserade på beprövade påståenden.
Grunden för logik är möjligheten att få vissa idéer som en logisk konsekvens av andra påståenden.
Detta faktum gör det möjligt att adekvat beskriva inte bara ett visst problem inom matematisk vetenskap, utan också att överföra logik till konstnärlig kreativitet.
Logisk undersökning förutsätter det förhållande som finns mellan lokaler och de slutsatser som dras av dem.
Det kan tillskrivas antalet initiala, grundläggande begrepp inom modern logik, som ofta kallas vetenskapen om "vad som följer av den."
Det är svårt att föreställa sig att bevisa teorem i geometri, förklara fysikaliska fenomen, förklara mekanismerna för reaktioner i kemi utan ett sådant resonemang.
