Što je istinska izreka

Lažna i istinita izjava često se koristi u jezičnoj praksi. Prva procjena se percipira kao negacija istine (neistina). U stvarnosti se koriste i druge vrste procjene: nesigurnost, neprovazivost (provabljivost), nerješivost. Tvrdimo li o pravom broju za koji je istinito, potrebno je razmotriti zakone logike.

Pojava "multivalued logic" dovela je do upotrebe neograničenog broja indikatora istine. Situacija s elementima istine je zbunjena, komplicirana, pa je važno jasno razjasniti.

Načela teorije

Pravi izgovor je vrijednost entiteta (atribut), uvijek se uzima u obzir za određenu radnju. Što je istina? Shema je sljedeća: "Izjava X ima istinitost vrijednosti Y kada je izjava Z istinita."

Pogledajmo primjer. Potrebno je razumjeti koje je od sljedećeg točno: "Predmet a ima znak B". Ta je izjava netočna jer objekt ima znak B i nije točan da nema prijavu. " Pojam "krivo" u ovom slučaju koristi se kao vanjska negacija.

Definicija istine

Kako se utvrđuje istinska izjava? Bez obzira na strukturu rečenice X, dopušteno je samo sljedeće definicije: "Izjava X je istinita kada je X, samo X".

Ova definicija omogućuje da pojam "istiniti" uvede u jezik. Određuje čin prihvaćanja pristanka ili izražavanja onoga što se u njoj navodi.

Jednostavne izjave

U njima je istinska izjava bez definicije. Možete se ograničiti na "He-X" opću definiciju, ako ta izjava nije istinita. Pravi spoj je "X i Y" ako su X i Y istiniti.

Izjava o uzorku

Kako razumjeti za koji je x istinita izjava? Da bismo odgovorili na ovo pitanje, koristimo izraz: "Čestica a nalazi se u području prostora b". Razmotrite sljedeće slučajeve za ovu izjavu:

• nemoguće je promatrati česticu;
• može se promatrati čestica.

Druga opcija uključuje određene mogućnosti:

• čestica je zapravo u određenoj regiji prostora;
• nije u pretpostavljenom dijelu prostora;
• čestica se pomiče na takav način da je teško odrediti njegov položaj.

U ovom slučaju, možete upotrijebiti četiri termina vrijednosti istine koja odgovaraju navedenim mogućnostima.

Za složene strukture prikladno je koristiti više pojmova. To ukazuje na neograničene vrijednosti istine. Za koji je broj istinita izjava ovisi o praktičnoj svrhovitosti.

Dva vrijedna načela

U skladu s tim, svaka izjava je lažna ili istinita, tj. Karakterizira jedna od dvije vjerojatne vrijednosti istine - "lažno" i "istinito".

To je načelo klasične logike, koja se zove dvoznamenkana teorija. Dva vrijedna načela koristio je Aristotel. Ovaj filozof, raspravljajući o broju riječi za koje je rečenica istinita, smatrala je neprikladnom za one izjave koje se odnose na buduće slučajne događaje.

Utemeljio je logičan odnos između fatalizma i načela dvosmjerne vrijednosti, odredbe o unaprijed određenoj ljudskoj akciji.

U kasnijim povijesnim epohama, ograničenja koja su nametnuta ovom načelu objasnila je činjenicom da značajno otežava analizu izjava o planiranim događajima, kao io nepostojećim (neočekivanim) objektima.

Razmišljajući o tome što su istinite, ova metoda nije uvijek bila moguća za nedvosmisleni odgovor.

Nastale sumnje u logičkim sustavima raspršene su tek nakon razvoja moderne logike.

Da bi razumjeli koji je od tih brojeva istinit, dvosmjerna je logika prikladna.

Načelo polysemije

Ako preformuliraju verziju dvosmjerne izjave da bismo otkrili istinu, možemo je pretvoriti u poseban slučaj polizije: svaka rečenica ima jednu n vrijednost istine ako je n jednaka ili veća od 2 ili manje od beskonačnosti.

Kao izuzetak od dodatnih vrijednosti istine (iznad "lažnog" i "istinitog"), pojavljuju se mnogi logički sustavi zasnovani na principu višestruke vrijednosti. Dva vrijedna klasična logika karakterizira tipične varijante upotrebe nekih logičkih znakova: "ili", "i", "ne".

Višerazinska logika, koja tvrdi da je specifična, ne bi trebala proturječiti rezultatima dvaju vrijednih sustava.

Uvjerenje, prema kojem načelo dvostruke vrijednosti uvijek dovodi do izjave fatalizma i determinizma, pogrešno je. Također je pogrešna ideja da se višestruka logika smatra neophodnim sredstvom za provedbu neeterminističkog razmišljanja, da njegovo prihvaćanje odgovara odbijanju korištenja strogog determinizma.

Semantika logičkih znakova

Da biste shvatili za koji je broj X istinita izjava, možete se uhvatiti za stolove istine. Semantika logike predstavlja dio meta-logike koji istražuje odnos prema određenim objektima, njihov sadržaj različitih jezičnih izraza.

Taj se problem smatrao već u drevnom svijetu, ali u obliku punopravne samostalne discipline formuliran je tek na prijelazu XIX-XX. Stoljeća. Radovi G. Frege, C. Pierce, R. Carnap, S. Kripke dopuštali su identificirati suštinu ove teorije, njegov realizam i izvedivost.

Tijekom dugog vremenskog razdoblja semantička se logika uglavnom oslanjala na analizu formaliziranih jezika. Tek nedavno većina istraživanja posvećena je prirodnom jeziku.

U ovoj se metodi razlikuju dva glavna područja:

• teorija označavanja (referenca);
• teorija značenja.

Prvo uključuje proučavanje odnosa različitih lingvističkih izraza na određene predmete. Kao glavne kategorije, može se zamisliti: "oznaka", "ime", "model", "tumačenje". Ta je teorija osnova za dokaze u suvremenoj logici.

Teorija značenja bavi se traženjem odgovora na pitanje o tome što čini značenje jezičnoga izraza. Objašnjava njihov identitet u značenju.

Važnu ulogu ima teorija značenja u diskusiji semantičkih paradoksa, u rješenju za koje se svaki kriterij prihvatljivosti smatra važnim i relevantnim.

Logička jednadžba

Ovaj pojam se koristi u metalanguage. Pod logičkom jednadžbom možemo zapisati unos F1 = F2, u kojem F1 i F2 imaju formule proširenog jezika logičnih prijedloga. Za rješavanje takve jednadžbe znači odrediti one skupove stvarnih vrijednosti varijabli koje će ući u jednu od formula F1 ili F2, pod kojima će se promatrati predložena jednakost.

Jednakost znaka u matematici u nekim situacijama ukazuje na ravnopravnost izvornih predmeta, au nekim je slučajevima pokazana jednakost njihovih vrijednosti. Snimanje F1 = F2 može ukazivati ​​na pitanje o istoj formuli.

U književnosti, vrlo često, formalna logika znači takav sinonim kao "jezik logičnih izjava". Kako su "ispravne riječi" formule koje služe kao semantičke jedinice korištene za konstruiranje razmišljanja u neformalnoj (filozofskoj) logici.

Izjava služi kao rečenica koja izražava određeni prijedlog. Drugim riječima, ona izražava ideju o prisutnosti određenog stanja poslova.

Svaka tvrdnja može se smatrati istinitim u slučaju kada stanje stvari koje su opisane u njoj postoji u stvarnosti. U drugim slučajevima takva će izjava biti lažna izjava.

Ta je činjenica postala osnova propozicionalne logike. Postoji podjela izdvajanja u jednostavne i složene skupine.

U formalizaciji jednostavnih rečenica koriste se osnovne formule nulte reda. Opis složenih izjava moguće je samo uz uporabu jezičnih formula.

Logički paketi su neophodni za označavanje saveza. S njihovom primjenom jednostavne izjave postaju složene vrste:

• „Ne”
• "Nije točno da Hellip;"
• „Ili”.

zaključak

Formalna logika pomaže u otkrivanju za koje je ime izjava istinita, uključuje izgradnju i analizu pravila za transformaciju određenih izraza koji čuvaju svoje pravo značenje bez obzira na sadržaj. Kao zasebni dio filozofske znanosti, pojavio se tek u kasnom devetnaestom stoljeću. Drugi smjer je neformalna logika.

Glavna zadaća ove znanosti je sistematiziranje pravila koja nam omogućuju izvođenje novih tvrdnji na temelju dokazanih tvrdnji.

Temelj logike je mogućnost dobivanja nekih ideja kao logičke posljedice drugih izjava.

Ta činjenica omogućuje adekvatno opisivanje ne samo određenog problema u matematičkoj znanosti, nego i prenosi logiku na umjetničku kreativnost.

Logičko istraživanje pretpostavlja odnos koji postoji između prostora i zaključaka izvedenih od njih.

Može se pripisati broju inicijalnih, temeljnih pojmova moderne logike, koja se često naziva znanost o "onome što slijedi iz nje".

Teško je zamisliti bez takvih argumenata dokaz teorema u geometriji, objašnjenje fizičkih fenomena, objašnjenje mehanizama tijeka reakcija u kemiji.