Pohimet e rreme dhe të vërteta përdoren shpesh në praktikën gjuhësore. Vlerësimi i parë perceptohet si mohim i së vërtetës (të pavërtetës). Në realitet përdoren edhe lloje të tjera vlerësimi: pasiguria, paprovueshmëria (provueshmëria), pazgjidhshmëria. Duke argumentuar se cili numër x deklarata është e vërtetë, është e nevojshme të merren parasysh ligjet e logjikës.
Shfaqja e "logjikës së shumëvlershme" çoi në përdorimin e një numri të pakufizuar treguesish të së vërtetës. Situata me elementet e së vërtetës është konfuze, e ndërlikuar, ndaj është e rëndësishme ta sqarojmë atë.
Parimet e teorisë
Një deklaratë e vërtetë është vlera e një vetie (atributi), e cila merret parasysh gjithmonë për një veprim të caktuar. Çfarë është e vërteta? Skema është si më poshtë: "Propozimi X ka një vlerë të vërtetës Y në rastin kur propozimi Z është i vërtetë."
Le të shohim një shembull. Është e nevojshme të kuptohet se për cilin nga pohimet e dhëna është i vërtetë pohimi: "Objekti a ka një shenjë B". Ky pohim është i rremë në atë që objekti ka atributin B, dhe i gabuar në atë që a nuk ka atribut B. Termi "false" në këtë rast përdoret si një mohim i jashtëm.
Përcaktimi i së vërtetës
Si përcaktohet një deklaratë e vërtetë? Pavarësisht nga struktura e propozimit X, lejohet vetëm përkufizimi i mëposhtëm: "Propozimi X është i vërtetë kur ka X, vetëm X."
Ky përkufizim bën të mundur futjen e termit "e vërtetë" në gjuhë. Ai përcakton aktin e të pajtuarit ose të folurit me atë që thotë.
thënie të thjeshta
Ato përmbajnë një deklaratë të vërtetë pa një përkufizim. Dikush mund të kufizohet në një përkufizim të përgjithshëm në propozimin "Jo-X" nëse ky propozim nuk është i vërtetë. Lidhja "X dhe Y" është e vërtetë nëse të dyja X dhe Y janë të vërteta.
Shembulli i thënies
Si të kuptojmë se për cilin x është i vërtetë pohimi? Për t'iu përgjigjur kësaj pyetjeje përdorim shprehjen: "Grimca a ndodhet në rajonin e hapësirës b". Merrni parasysh rastet e mëposhtme për këtë deklaratë:
- e pamundur të vëzhgosh grimcën;
- mund të vëzhgosh grimcën.
Opsioni i dytë sugjeron disa mundësi:
- grimca ndodhet në të vërtetë në një rajon të caktuar të hapësirës;
- ajo nuk është në pjesën e synuar të hapësirës;
- grimca lëviz në atë mënyrë që është e vështirë të përcaktohet zona e vendndodhjes së saj.
Në këtë rast, mund të përdoren katër terma me vlerë të vërtetë që korrespondojnë me mundësitë e dhëna.
Për strukturat komplekse, më shumë terma janë të përshtatshëm. Kjo ështëtregon vlera të pakufizuara të së vërtetës. Për cilin numër deklarata është e vërtetë varet nga përshtatshmëria praktike.
Parimi i paqartësisë
Sipas tij, çdo deklaratë është ose e rreme ose e vërtetë, domethënë karakterizohet nga një nga dy vlerat e mundshme të së vërtetës - "e rreme" dhe "e vërtetë".
Ky parim është baza e logjikës klasike, e cila quhet teoria me dy vlera. Parimi i paqartësisë u përdor nga Aristoteli. Ky filozof, duke argumentuar se cili numër x është i vërtetë pohimi, e konsideroi atë të papërshtatshëm për ato pohime që lidhen me ngjarje të rastësishme të ardhshme.
Ai vendosi një marrëdhënie logjike midis fatalizmit dhe parimit të paqartësisë, paracaktimit të çdo veprimi njerëzor.
Në epokat e mëvonshme historike, kufizimet që iu vendosën këtij parimi u shpjeguan me faktin se ai e ndërlikon ndjeshëm analizën e deklaratave për ngjarje të planifikuara, si dhe për objekte joekzistente (të pavëzhgueshme).
Duke menduar se cilat pohime janë të vërteta, nuk ishte gjithmonë e mundur të gjeje një përgjigje të qartë me këtë metodë.
Dyshimet në zhvillim rreth sistemeve logjike u shpërndanë vetëm pasi u zhvillua logjika moderne.
Për të kuptuar se për cilin nga numrat e dhënë pohimi është i vërtetë, logjika me dy vlera është e përshtatshme.
Parimi i paqartësisë
Nëse riformulohetvariant i një deklarate me dy vlera për të zbuluar të vërtetën, ju mund ta ktheni atë në një rast të veçantë polisemie: çdo pohim do të ketë një vlerë të vërtetë n nëse n është ose më e madhe se 2 ose më e vogël se pafundësia.
Si përjashtim nga vlerat shtesë të së vërtetës (mbi "e rreme" dhe "e vërtetë") janë shumë sisteme logjike të bazuara në parimin e paqartësisë. Logjika klasike me dy vlera karakterizon përdorimet tipike të disa shenjave logjike: "ose", "dhe", "jo".
Logjika e shumëvlerësuar që pretendon se është konkretizuar nuk duhet të kundërshtojë rezultatet e një sistemi me dy vlera.
Besimi se parimi i paqartësisë çon gjithmonë në një deklaratë fatalizmi dhe determinizmi konsiderohet i gabuar. E pasaktë është gjithashtu ideja se logjika e shumëfishtë shihet si një mjet i domosdoshëm për të kryer arsyetimin indeterminist, se pranimi i saj korrespondon me refuzimin e përdorimit të determinizmit të rreptë.
Semantika e shenjave logjike
Për të kuptuar se për cilin numër X është i vërtetë pohimi, mund të armatoseni me tabela të së vërtetës. Semantika logjike është një pjesë e metalologjisë që studion lidhjen me objektet e përcaktuara, përmbajtjen e tyre të shprehjeve të ndryshme gjuhësore.
Ky problem konsiderohej tashmë në botën e lashtë, por në formën e një disipline të pavarur të plotë, ai u formulua vetëm në fund të shekujve 19-20. Vepra nga G. Frege, C. Pierce, R. Carnap, S. Kripkebëri të mundur zbulimin e thelbit të kësaj teorie, realizmin dhe përshtatshmërinë e saj.
Për një periudhë të gjatë kohore, logjika semantike u mbështet kryesisht në analizën e gjuhëve të formalizuara. Vetëm kohët e fundit shumica e kërkimeve i janë kushtuar gjuhës natyrore.
Ka dy fusha kryesore në këtë teknikë:
- teoria e shënimeve (referencë);
- teoria e kuptimit.
E para përfshin studimin e marrëdhënies së shprehjeve të ndryshme gjuhësore me objektet e përcaktuara. Si kategoritë e tij kryesore, mund të imagjinohet: "përcaktimi", "emri", "modeli", "interpretimi". Kjo teori është baza për provat në logjikën moderne.
Teoria e kuptimit merret me kërkimin e një përgjigjeje në pyetjen se cili është kuptimi i një shprehjeje gjuhësore. Ajo shpjegon identitetin e tyre në kuptim.
Teoria e kuptimit luan një rol të rëndësishëm në diskutimin e paradokseve semantike, në zgjidhjen e të cilave çdo kriter pranueshmërie konsiderohet i rëndësishëm dhe i rëndësishëm.
Ekuacioni logjik
Ky term përdoret në metagjuhë. Nën ekuacionin logjik, mund të paraqesim rekordin F1=F2, në të cilin F1 dhe F2 janë formula të gjuhës së zgjeruar të propozimeve logjike. Të zgjidhësh një ekuacion të tillë do të thotë të përcaktosh ato grupe të vlerave të vërteta të ndryshoreve që do të përfshihen në njërën nga formulat F1 ose F2, sipas të cilave do të respektohet barazia e propozuar.
Shenja e barazimit në matematikë në disa situatatregon barazinë e objekteve origjinale dhe në disa raste është vendosur për të demonstruar barazinë e vlerave të tyre. Hyrja F1=F2 mund të tregojë se po flasim për të njëjtën formulë.
Në literaturë mjaft shpesh nën logjikën formale nënkuptohet një sinonim i tillë si "gjuha e propozimeve logjike". "Fjalët e sakta" janë formula që shërbejnë si njësi semantike që përdoren për të ndërtuar arsyetimin në logjikën joformale (filozofike).
Një deklaratë vepron si një fjali që shpreh një propozim të veçantë. Me fjalë të tjera, ai shpreh idenë e pranisë së ndonjë gjendjeje.
Çdo deklaratë mund të konsiderohet e vërtetë në rastin kur gjendja e çështjeve të përshkruara në të ekziston në realitet. Përndryshe, një deklaratë e tillë do të jetë një deklaratë e rreme.
Ky fakt u bë baza e logjikës propozicionale. Ekziston një ndarje e pohimeve në grupe të thjeshta dhe komplekse.
Kur formalizohen variantet e thjeshta të pohimeve, përdoren formula elementare të gjuhës së rendit zero. Përshkrimi i pohimeve komplekse është i mundur vetëm me përdorimin e formulave gjuhësore.
Duhen lidhje logjike për të treguar bashkimet. Kur zbatohen, deklaratat e thjeshta kthehen në forma komplekse:
- "jo",
- "nuk është e vërtetë që…",
- "ose".
Përfundim
Logjika formale ndihmon për të gjetur se për cilin emër është e vërtetë një deklaratë, përfshin ndërtimin dhe analizën e rregullave për transformimin e shprehjeve të caktuara që i ruajnë atovlera e vërtetë pavarësisht nga përmbajtja. Si një pjesë e veçantë e shkencës filozofike, ajo u shfaq vetëm në fund të shekullit të nëntëmbëdhjetë. Drejtimi i dytë është logjika informale.
Detyra kryesore e kësaj shkence është të sistemojë rregullat që ju lejojnë të nxirrni pohime të reja bazuar në pohime të vërtetuara.
Themeli i logjikës është mundësia e marrjes së disa ideve si pasojë logjike e pohimeve të tjera.
Ky fakt bën të mundur që në mënyrë adekuate të përshkruhet jo vetëm një problem i caktuar në shkencën matematikore, por edhe të transferohet logjika në krijimtarinë artistike.
Hetimi logjik presupozon marrëdhënien që ekziston midis premisave dhe përfundimeve të nxjerra prej tyre.
Mund t'i atribuohet numrit të koncepteve fillestare, themelore të logjikës moderne, e cila shpesh quhet shkenca e "çfarë rrjedh prej saj".
Është e vështirë të imagjinohet vërtetimi i teoremave në gjeometri, shpjegimi i fenomeneve fizike, shpjegimi i mekanizmave të reaksioneve në kimi pa një arsyetim të tillë.
