Napačne in resnične izjave se pogosto uporabljajo v jezikovni praksi. Prva ocena se dojema kot zanikanje resnice (neresnica). V resnici se uporabljajo tudi druge vrste ocenjevanja: negotovost, nedokazljivost (dokaznost), nerešljivost. Ko se prepiramo, za katero število x je trditev resnična, je treba upoštevati zakone logike.
Pojav "večvrednotne logike" je privedel do uporabe neomejenega števila kazalnikov resnice. Situacija z elementi resnice je zmedena, zapletena, zato je pomembno, da jo razjasnimo.
Načela teorije
Resnična izjava je vrednost lastnosti (atributa), ki se vedno upošteva za določeno dejanje. Kaj je resnica? Shema je naslednja: "Propozicija X ima resnično vrednost Y v primeru, ko je predlog Z resničen."
Oglejmo si primer. Treba je razumeti, za katero od danih trditev drži trditev: "Predmet a ima predznak B". Ta izjava je napačna, ker ima objekt atribut B, in napačna, ker a nima atributa B. Izraz "lažno" se v tem primeru uporablja kot zunanja negacija.
Določanje resnice
Kako se ugotovi resnična izjava? Ne glede na strukturo predloga X je dovoljena le naslednja definicija: "Propozicija X je resnična, če obstaja X, samo X."
Ta definicija omogoča uvedbo izraza "true" v jezik. Opredeljuje dejanje strinjanja ali govorjenja s tem, kar pravi.
Preprosti izreki
Vsebujejo resnično izjavo brez definicije. Lahko se omejimo na splošno definicijo v predlogu "Ne-X", če ta trditev ni resnična. Veznik "X in Y" je resničen, če sta X in Y resnična.
Izgovor primer
Kako razumeti, za kateri x je trditev resnična? Za odgovor na to vprašanje uporabimo izraz: "Delec a se nahaja v območju prostora b". Za to izjavo razmislite o naslednjih primerih:
- delca ni mogoče opaziti;
- delec lahko opazujete.
Druga možnost predlaga določene možnosti:
- delec se dejansko nahaja v določenem območju prostora;
- ni v predvidenem delu prostora;
- delec se premika tako, da je težko določiti območje njegove lokacije.
V tem primeru je mogoče uporabiti štiri izraze resnične vrednosti, ki ustrezajo danim možnostim.
Za zapletene strukture je primernih več izrazov. to jeoznačuje neomejene vrednosti resnice. Za katero številko je trditev resnična, je odvisno od praktične smotrnosti.
Načelo dvoumnosti
V skladu z njim je vsaka izjava bodisi napačna ali resnična, to pomeni, da je zanjo značilna ena od dveh možnih resničnih vrednosti - "false" in "true".
To načelo je osnova klasične logike, ki se imenuje teorija dveh vrednosti. Načelo dvoumnosti je uporabil Aristotel. Ta filozof, ki se je prepiral, za katero število x je izjava resnična, je menil, da ni primerna za tiste izjave, ki se nanašajo na prihodnje naključne dogodke.
Vzpostavil je logično razmerje med fatalizmom in načelom dvoumnosti, predestinacijo vsakega človeškega dejanja.
V poznejših zgodovinskih obdobjih so omejitve, ki so bile naložene temu načelu, pojasnjevale dejstvo, da bistveno otežuje analizo izjav o načrtovanih dogodkih, pa tudi o neobstoječih (neopaznih) objektih.
Če razmišljam o tem, katere trditve so resnične, s to metodo ni bilo vedno mogoče najti jasnega odgovora.
Nastajajoči dvomi o logičnih sistemih so bili razblinjeni šele po razvoju sodobne logike.
Da bi razumeli, za katero od danih številk je trditev resnična, je primerna dvovrednostna logika.
Načelo dvoumnosti
Če je preformuliranorazličico dvovrednostne izjave za razkritje resnice, jo lahko spremenite v poseben primer polisemije: vsaka izjava bo imela eno n resnične vrednosti, če je n večje od 2 ali manjše od neskončnosti.
Kot izjeme od dodatnih vrednosti resnice (nad "false" in "true") so številni logični sistemi, ki temeljijo na načelu dvoumnosti. Dvovrednostna klasična logika označuje tipično uporabo nekaterih logičnih znakov: "ali", "in", "ne".
Večvrednostna logika, ki trdi, da je konkretizirana, ne sme biti v nasprotju z rezultati dvovrednostnega sistema.
Prepričanje, da načelo dvoumnosti vedno vodi do izjave o fatalizmu in determinizmu, velja za zmotno. Napačna je tudi ideja, da se večplastna logika obravnava kot potrebno sredstvo za izvajanje indeterminističnega sklepanja, da njeno sprejemanje ustreza zavračanju uporabe strogega determinizma.
Semantika logičnih znakov
Če želite razumeti, za katero številko X je izjava resnična, se lahko oborožite s tabelo resnice. Logična semantika je del metalogike, ki preučuje odnos do označenih predmetov, njihovo vsebino različnih jezikovnih izrazov.
Ta problem je bil obravnavan že v antičnem svetu, vendar je bil v obliki polnopravne neodvisne discipline oblikovan šele na prelomu iz 19. v 20. stoletje. Dela G. Frege, C. Pierce, R. Carnap, S. Kripkeomogočilo razkriti bistvo te teorije, njen realizem in smotrnost.
Dolgo časa se je semantična logika zanašala predvsem na analizo formaliziranih jezikov. Šele pred kratkim je bila večina raziskav posvečena naravnemu jeziku.
V tej tehniki sta dve glavni področji:
- teorija notacije (referenca);
- teorija pomena.
Prva vključuje preučevanje razmerja različnih jezikovnih izrazov do označenih predmetov. Kot njegove glavne kategorije si lahko predstavljamo: "oznaka", "ime", "model", "interpretacija". Ta teorija je osnova za dokaze v sodobni logiki.
Teorija pomena se ukvarja z iskanjem odgovora na vprašanje, kaj je pomen jezikovnega izraza. Njihovo identiteto razloži v pomenu.
Teorija pomena igra pomembno vlogo pri razpravi o semantičnih paradoksih, pri katerih se vsako merilo sprejemljivosti šteje za pomembno in relevantno.
Logična enačba
Ta izraz se uporablja v metajeziku. Pod logično enačbo lahko predstavimo zapis F1=F2, v katerem sta F1 in F2 formuli razširjenega jezika logičnih propozicij. Rešiti takšno enačbo pomeni določiti tiste nize resničnih vrednosti spremenljivk, ki bodo vključene v eno od formul F1 ali F2, pod katerimi bo upoštevana predlagana enakost.
Znak enakosti v matematiki v nekaterih situacijahoznačuje enakost prvotnih predmetov, v nekaterih primerih pa je nastavljen tako, da dokazuje enakost njihovih vrednosti. Vnos F1=F2 lahko pomeni, da govorimo o isti formuli.
V literaturi precej pogosto pod formalno logiko pomeni tako sinonim, kot je "jezik logičnih propozicij". "Pravilne besede" so formule, ki služijo kot semantične enote, ki se uporabljajo za izgradnjo sklepanja v neformalni (filozofski) logiki.
Izjava deluje kot stavek, ki izraža določen predlog. Z drugimi besedami, izraža idejo o prisotnosti nekega stanja.
Vsako trditev se lahko šteje za resnično, če v njej opisano stanje obstaja v resnici. V nasprotnem primeru bo takšna izjava napačna.
To dejstvo je postalo osnova propozicijske logike. Izjave so razdeljene na preproste in zapletene skupine.
Pri formaliziranju preprostih različic stavkov se uporabljajo osnovne jezikovne formule ničelnega reda. Opis kompleksnih stavkov je možen samo z uporabo jezikovnih formul.
Za označevanje sindikatov so potrebni logični vezniki. Ko se uporabijo, se preprosti stavki spremenijo v zapletene oblike:
- "ne",
- "ni res, da …",
- "ali".
Sklep
Formalna logika pomaga ugotoviti, za katero ime je izjava resnična, vključuje konstrukcijo in analizo pravil za pretvorbo določenih izrazov, ki jih ohranjajopravo vrednost ne glede na vsebino. Kot ločen odsek filozofske znanosti se je pojavil šele ob koncu devetnajstega stoletja. Druga smer je neformalna logika.
Glavna naloga te znanosti je sistematizirati pravila, ki vam omogočajo, da izpeljete nove izjave na podlagi dokazanih izjav.
Osnova logike je možnost pridobivanja nekaterih idej kot logične posledice drugih izjav.
To dejstvo omogoča ustrezen opis ne le določenega problema v matematiki, temveč tudi prenos logike v umetniško ustvarjalnost.
Logična preiskava predpostavlja razmerje, ki obstaja med premisami in sklepi, ki izhajajo iz njih.
To je mogoče pripisati številu začetnih, temeljnih konceptov sodobne logike, ki jo pogosto imenujemo znanost o "kaj iz tega sledi."
Težko si je predstavljati dokazovanje izrekov v geometriji, razlago fizikalnih pojavov, razlago mehanizmov reakcij v kemiji brez takšnega sklepanja.
