Kauli za uwongo na za kweli mara nyingi hutumika katika mazoezi ya lugha. Tathmini ya kwanza inachukuliwa kama kukataa ukweli (uongo). Kwa kweli, aina zingine za tathmini pia hutumiwa: kutokuwa na uhakika, kutokuwa na uthibitisho (uwezekano), kutoweza kusuluhishwa. Kubishana juu ya nambari gani x kauli hiyo ni kweli, ni muhimu kuzingatia sheria za mantiki.
Kuibuka kwa "mantiki yenye thamani nyingi" kulisababisha matumizi ya idadi isiyo na kikomo ya viashirio vya ukweli. Hali iliyo na vipengele vya ukweli inachanganya, ni ngumu, kwa hivyo ni muhimu kuifafanua.
Kanuni za nadharia
Tamko la kweli ni thamani ya mali (sifa), ambayo huzingatiwa kila wakati kwa kitendo fulani. Ukweli ni nini? Mpango huo ni kama ifuatavyo: "Pendekezo X lina thamani ya ukweli Y ikiwa pendekezo Z ni kweli."
Hebu tuangalie mfano. Inahitajika kuelewa ni taarifa gani kati ya hizo zilizopewa ni kweli: "Kitu a kina ishara B". Taarifa hii ni ya uwongo kwa kuwa kitu hicho kina sifa B, na si kweli kwa kuwa a haina sifa B. Neno "uongo" katika kesi hii linatumika kama kanusho la nje.
Uamuzi wa ukweli
Tamko la kweli hubainishwa vipi? Bila kujali muundo wa pendekezo X, ni ufafanuzi ufuatao pekee unaoruhusiwa: “Pendekezo X ni kweli wakati kuna X, X pekee.”
Ufafanuzi huu unawezesha kutambulisha neno "kweli" katika lugha. Inafafanua kitendo cha kukubaliana au kuzungumza na kile inachosema.
maneno rahisi
Zina taarifa ya kweli isiyo na ufafanuzi. Mtu anaweza kujifungia kwa ufafanuzi wa jumla katika pendekezo "Not-X" ikiwa pendekezo hili sio kweli. Kiunganishi "X na Y" ni kweli ikiwa X na Y ni kweli.
Mfano wa kusema
Jinsi ya kuelewa ni x kauli gani ni ya kweli? Kujibu swali hili, tunatumia usemi: "Chembe a iko katika eneo la nafasi b". Zingatia kesi zifuatazo za kauli hii:
- haiwezekani kuona chembe;
- unaweza kuona chembe.
Chaguo la pili linapendekeza uwezekano fulani:
- chembe kwa hakika iko katika eneo fulani la nafasi;
- hayuko katika sehemu inayokusudiwa ya nafasi;
- chembe husogea kwa namna ambayo ni vigumu kubainisha eneo la eneo lake.
Katika hali hii, maneno manne ya thamani ya ukweli yanaweza kutumika ambayo yanalingana na uwezekano uliotolewa.
Kwa miundo changamano, masharti zaidi yanafaa. Hii niinaonyesha maadili ya ukweli usio na kikomo. Kwa nambari gani kauli hiyo ni kweli inategemea ufaafu wa vitendo.
Kanuni ya utata
Kulingana nayo, taarifa yoyote ni ya uwongo au kweli, yaani, ina sifa ya mojawapo ya maadili mawili ya ukweli - "uongo" na "kweli".
Kanuni hii ndiyo msingi wa mantiki ya kitambo, ambayo inaitwa nadharia yenye thamani mbili. Kanuni ya utata ilitumiwa na Aristotle. Mwanafalsafa huyu, akibishana kuhusu ni nambari gani x kauli hiyo ni ya kweli, aliiona kuwa haifai kwa taarifa hizo zinazohusiana na matukio ya nasibu yajayo.
Alianzisha uhusiano wa kimantiki kati ya fatalism na kanuni ya utata, kupangwa kimbele kwa tendo lolote la mwanadamu.
Katika zama zilizofuata za kihistoria, vizuizi vilivyowekwa kwa kanuni hii vilielezewa na ukweli kwamba inatatiza kwa kiasi kikubwa uchanganuzi wa taarifa kuhusu matukio yaliyopangwa, na vile vile kuhusu vitu visivyokuwepo (visivyoonekana).
Kwa kufikiria ni taarifa zipi ni za kweli, haikuwezekana kila wakati kupata jibu la wazi kwa kutumia mbinu hii.
Mashaka yanayoibuka kuhusu mifumo ya kimantiki yaliondolewa baada tu ya mantiki ya kisasa kutengenezwa.
Ili kuelewa taarifa hiyo ni ya kweli kwa nambari gani kati ya hizo zilizotolewa, mantiki yenye thamani mbili inafaa.
Kanuni ya utata
Ikirekebishwalahaja ya taarifa yenye thamani mbili ili kufichua ukweli, unaweza kuigeuza kuwa kisa maalum cha polisemia: taarifa yoyote itakuwa na thamani moja ya ukweli ikiwa n ni kubwa kuliko 2 au chini ya infinity.
Kama vighairi vya thamani za ziada za ukweli (juu ya "uongo" na "kweli") kuna mifumo mingi ya kimantiki kulingana na kanuni ya utata. Mantiki ya kitamaduni yenye thamani mbili ni sifa ya matumizi ya kawaida ya baadhi ya ishara za kimantiki: “au”, “na”, “sio”.
Mantiki iliyozidishwa ambayo inadai kuwa imetungwa haipaswi kupingana na matokeo ya mfumo wenye thamani mbili.
Imani kwamba kanuni ya utata daima husababisha taarifa ya maafa na uamuzi huchukuliwa kuwa potofu. Pia si sahihi ni wazo kwamba mantiki nyingi huonekana kama njia ya lazima ya kutekeleza mawazo yasiyoamua, kwamba kukubalika kwake kunalingana na kukataliwa kwa matumizi ya uamuzi mkali.
Semantiki ya alama za kimantiki
Ili kuelewa ni nambari gani X kauli hiyo ni kweli, unaweza kujizatiti kwa majedwali ya ukweli. Semantiki ya kimantiki ni sehemu ya metolojia inayochunguza uhusiano na vitu vilivyoteuliwa, maudhui yake ya semi mbalimbali za lugha.
Tatizo hili lilizingatiwa tayari katika ulimwengu wa kale, lakini kwa namna ya nidhamu kamili ya kujitegemea iliundwa tu mwanzoni mwa karne ya 19-20. Inafanya kazi na G. Frege, C. Pierce, R. Carnap, S. Kripkeilifanya iwezekane kufichua kiini cha nadharia hii, uhalisia wake na ufaafu wake.
Kwa muda mrefu, mantiki ya kisemantiki iliegemea zaidi kwenye uchanganuzi wa lugha zilizorasimishwa. Ni hivi majuzi tu ambapo utafiti mwingi umejikita katika lugha asilia.
Kuna maeneo makuu mawili katika mbinu hii:
- nadharia ya nukuu (rejea);
- nadharia ya maana.
Ya kwanza inahusisha uchunguzi wa uhusiano wa semi mbalimbali za kiisimu na vitu vilivyoteuliwa. Kama aina zake kuu, mtu anaweza kufikiria: "uteuzi", "jina", "mfano", "tafsiri". Nadharia hii ndiyo msingi wa uthibitisho katika mantiki ya kisasa.
Nadharia ya maana inajishughulisha na utafutaji wa jibu la swali la nini maana ya usemi wa kiisimu. Anafafanua utambulisho wao kwa maana.
Nadharia ya maana ina nafasi kubwa katika mjadala wa vitendawili vya kisemantiki, katika suluhisho ambalo kigezo chochote cha kukubalika kinachukuliwa kuwa muhimu na muhimu.
Mlingano wa Mantiki
Neno hili linatumika katika lugha ya metali. Chini ya mlingano wa kimantiki, tunaweza kuwakilisha rekodi F1=F2, ambamo F1 na F2 ni fomula za lugha iliyopanuliwa ya mapendekezo ya kimantiki. Ili kutatua mlingano kama huo inamaanisha kubainisha seti zile za thamani za kweli za vigeu ambazo zitajumuishwa katika mojawapo ya fomula F1 au F2, ambapo usawa unaopendekezwa utazingatiwa.
Ishara sawa katika hisabati katika hali fulaniinaonyesha usawa wa vitu asilia, na katika hali zingine imewekwa ili kuonyesha usawa wa maadili yao. Ingizo F1=F2 linaweza kuashiria kuwa tunazungumza kuhusu fomula sawa.
Katika fasihi mara nyingi chini ya mantiki rasmi humaanisha kisawe kama "lugha ya maazimio ya kimantiki". "Maneno sahihi" ni fomula zinazotumika kama vitengo vya kisemantiki vinavyotumiwa kujenga hoja katika mantiki isiyo rasmi (ya kifalsafa).
Kauli hufanya kama sentensi inayoonyesha pendekezo fulani. Kwa maneno mengine, inaeleza wazo la kuwepo kwa hali fulani.
Tamko lolote linaweza kuchukuliwa kuwa kweli katika kesi wakati hali ya mambo iliyoelezewa ndani yake ipo katika uhalisia. Vinginevyo, taarifa kama hiyo itakuwa taarifa ya uongo.
Ukweli huu ukawa msingi wa mantiki ya pendekezo. Kuna mgawanyiko wa kauli katika vikundi rahisi na ngumu.
Unaporasimisha vibadala rahisi vya kauli, kanuni za msingi za lugha zisizo na mpangilio hutumika. Ufafanuzi wa kauli changamano unawezekana tu kwa matumizi ya fomula za lugha.
Viunganishi vya kimantiki vinahitajika ili kuashiria miungano. Inapotumiwa, kauli rahisi hubadilika na kuwa maumbo changamano:
- "sio",
- "sio kweli kwamba…",
- "au".
Hitimisho
mantiki rasmi husaidia kujua ni jina gani taarifa ni ya kweli, inahusisha uundaji na uchanganuzi wa sheria za kubadilisha misemo fulani inayoihifadhi.thamani ya kweli bila kujali yaliyomo. Kama sehemu tofauti ya sayansi ya falsafa, ilionekana tu mwishoni mwa karne ya kumi na tisa. Mwelekeo wa pili ni mantiki isiyo rasmi.
Kazi kuu ya sayansi hii ni kupanga kanuni zinazokuruhusu kupata taarifa mpya kulingana na taarifa zilizothibitishwa.
Msingi wa mantiki ni uwezekano wa kupata mawazo fulani kama tokeo la kimantiki la kauli zingine.
Ukweli huu hurahisisha kuelezea vya kutosha sio tu tatizo fulani katika sayansi ya hisabati, lakini pia kuhamisha mantiki hadi kwa ubunifu wa kisanaa.
Uchunguzi wa kimantiki unaonyesha uhusiano uliopo kati ya majengo na hitimisho linalotolewa kutoka kwayo.
Inaweza kuhusishwa na idadi ya dhana za awali, za kimsingi za mantiki ya kisasa, ambayo mara nyingi huitwa sayansi ya "kinachofuata kutoka kwayo."
Ni vigumu kufikiria kuthibitisha nadharia katika jiometri, kuelezea matukio ya kimwili, kuelezea utaratibu wa athari katika kemia bila sababu kama hizo.
