Կեղծ և ճշմարիտ հայտարարությունները հաճախ օգտագործվում են լեզվական պրակտիկայում: Առաջին գնահատականն ընկալվում է որպես ճշմարտության ժխտում (անճշմարտություն): Իրականում կիրառվում են նաև գնահատման այլ տեսակներ՝ անորոշություն, անապացուցելի (ապացուցելի), անլուծելի։ Վիճաբանելով, թե x որ թիվն է ճիշտ պնդումը, անհրաժեշտ է հաշվի առնել տրամաբանության օրենքները:
«Բազմարժեք տրամաբանության» ի հայտ գալը հանգեցրեց ճշմարտության ցուցիչների անսահմանափակ թվի կիրառմանը: Ճշմարտության տարրերի հետ կապված իրավիճակը շփոթեցնող է, բարդ, ուստի կարևոր է այն պարզաբանել:
Տեսության սկզբունքներ
Ճշմարիտ պնդումը հատկության (հատկանիշի) արժեքն է, որը միշտ դիտարկվում է որոշակի գործողության համար: Ի՞նչ է ճշմարտությունը: Սխեման հետևյալն է. «X առաջարկը ունի Y ճշմարտության արժեք այն դեպքում, երբ Z առաջարկը ճշմարիտ է»:
Դիտարկենք օրինակ. Պետք է հասկանալ, թե տրված պնդումներից որի՞ համար է ճշմարիտ պնդումը՝ «a-ն ունի B նշան»։ Այս պնդումը կեղծ է նրանով, որ օբյեկտն ունի B հատկանիշ, և սխալ է նրանով, որ a-ն չունի հատկանիշ B: «Կեղծ» տերմինն այս դեպքում օգտագործվում է որպես արտաքին ժխտում։
Ճշմարտության որոշումը
Ինչպե՞ս է որոշվում ճշմարիտ պնդումը: Անկախ X առաջարկի կառուցվածքից, թույլատրվում է միայն հետևյալ սահմանումը. «X առաջարկը ճշմարիտ է, երբ կա X, միայն X»:
Այս սահմանումը հնարավորություն է տալիս ներմուծել «ճշմարիտ» տերմինը լեզու: Այն սահմանում է իր ասածի հետ համաձայնելու կամ խոսելու ակտը:
Պարզ ասացվածքներ
Նրանք պարունակում են ճշմարիտ հայտարարություն առանց սահմանման: Կարելի է սահմանափակվել «Not-X» առաջարկի ընդհանուր սահմանմամբ, եթե այս դրույթը ճիշտ չէ: «X և Y» կապը ճշմարիտ է, եթե և՛ X, և՛ Y-ը ճշմարիտ են:
Ասելու օրինակ
Ինչպե՞ս հասկանալ, թե որ x-ի համար է ճշմարիտ պնդումը: Այս հարցին պատասխանելու համար օգտագործում ենք «a մասնիկը գտնվում է b տարածության տարածքում» արտահայտությունը։ Դիտարկենք այս հայտարարության հետևյալ դեպքերը.
- անհնար է դիտարկել մասնիկը;
- կարող եք դիտարկել մասնիկը:
Երկրորդ տարբերակը առաջարկում է որոշակի հնարավորություններ.
- մասնիկը իրականում գտնվում է տարածության որոշակի տարածքում;
- նա գտնվում է տարածության նախատեսված հատվածում;
- մասնիկն այնպես է շարժվում, որ դժվար է որոշել իր գտնվելու տարածքը։
Այս դեպքում կարող են օգտագործվել տրված հնարավորություններին համապատասխանող չորս ճշմարտության արժեք:
Բարդ կառուցվածքների համար ավելի շատ տերմիններ տեղին են: Սացույց է տալիս անսահմանափակ ճշմարտության արժեքներ: Թե որ թվի համար է հայտարարությունը ճշմարիտ, կախված է գործնական նպատակահարմարությունից:
Անորոշության սկզբունք
Ըստ դրա՝ ցանկացած պնդում կա՛մ կեղծ է, կա՛մ ճիշտ, այսինքն՝ այն բնութագրվում է երկու հնարավոր ճշմարտության արժեքներից մեկով՝ «կեղծ» և «ճշմարիտ»:
Այս սկզբունքը դասական տրամաբանության հիմքն է, որը կոչվում է երկարժեք տեսություն։ Անորոշության սկզբունքն օգտագործել է Արիստոտելը։ Այս փիլիսոփան, վիճելով, թե x որ թիվն է ճշմարիտ, այն համարեց ոչ պիտանի այն պնդումների համար, որոնք վերաբերում են ապագա պատահական իրադարձություններին:
Նա տրամաբանական հարաբերություններ հաստատեց ֆատալիզմի և երկիմաստության սկզբունքի, մարդկային ցանկացած գործողության կանխորոշման միջև:
Հետագա պատմական դարաշրջաններում այս սկզբունքի վրա դրված սահմանափակումները բացատրվում էին նրանով, որ այն զգալիորեն բարդացնում է պլանավորված իրադարձությունների, ինչպես նաև գոյություն չունեցող (չդիտարկվող) օբյեկտների մասին հայտարարությունների վերլուծությունը։
Մտածելով այն մասին, թե որ պնդումներն են ճշմարիտ, միշտ չէ, որ հնարավոր է եղել հստակ պատասխան գտնել այս մեթոդով։
Տրամաբանական համակարգերի վերաբերյալ ի հայտ եկած կասկածները փարատվեցին միայն ժամանակակից տրամաբանության մշակումից հետո:
Հասկանալու համար, թե տրված թվերից որն է պնդումը ճիշտ, հարմար է երկարժեք տրամաբանությունը։
Անորոշության սկզբունք
Եթե վերաձևակերպվիերկարժեք հայտարարության տարբերակ ճշմարտությունը բացահայտելու համար, դուք կարող եք այն վերածել բազմիմաստության հատուկ դեպքի. ցանկացած պնդում կունենա մեկ n ճշմարտության արժեք, եթե n-ը կա՛մ 2-ից մեծ է, կա՛մ անսահմանությունից փոքր:
Որպես բացառություններ լրացուցիչ ճշմարտության արժեքներից (վերևում «կեղծ» և «ճշմարիտ») շատ տրամաբանական համակարգեր են, որոնք հիմնված են երկիմաստության սկզբունքի վրա: Երկարժեք դասական տրամաբանությունը բնութագրում է որոշ տրամաբանական նշանների տիպիկ օգտագործում՝ «կամ», «և», «ոչ»:
Բազմարժեք տրամաբանությունը, որը հավակնում է կոնկրետացմանը, չպետք է հակասի երկարժեք համակարգի արդյունքներին:
Հավատքը, որ երկիմաստության սկզբունքը միշտ հանգեցնում է ֆատալիզմի և դետերմինիզմի հայտարարության, համարվում է սխալ: Սխալ է նաև այն միտքը, որ բազմակի տրամաբանությունը դիտվում է որպես անորոշ դատողություն իրականացնելու անհրաժեշտ միջոց, որ դրա ընդունումը համապատասխանում է խիստ դետերմինիզմի կիրառման մերժմանը:
Տրամաբանական նշանների իմաստաբանություն
Որպեսզի հասկանաք, թե X թվի համար է ճիշտ պնդումը, կարող եք զինվել ճշմարտության աղյուսակներով: Տրամաբանական իմաստաբանությունը մետալոգիկայի բաժին է, որն ուսումնասիրում է նշանակված առարկաների, դրանց բովանդակությունը տարբեր լեզվական արտահայտությունների հետ կապը։
Այս խնդիրը համարվում էր արդեն հին աշխարհում, սակայն լիարժեք ինքնուրույն կարգապահության տեսքով այն ձևակերպվեց միայն 19-20-րդ դարերի վերջում։ G. Frege, C. Pierce, R. Carnap, S. Kripke ստեղծագործություններըհնարավոր դարձրեց բացահայտել այս տեսության էությունը, իրատեսությունն ու նպատակահարմարությունը։
Երկար ժամանակ իմաստային տրամաբանությունը հիմնականում հիմնվում էր ֆորմալացված լեզուների վերլուծության վրա։ Միայն վերջերս է հետազոտությունների մեծ մասը նվիրված է բնական լեզվին:
Այս տեխնիկայի երկու հիմնական ուղղություն կա.
- նշումների տեսություն (հղում);
- իմաստի տեսություն.
Առաջինը ներառում է տարբեր լեզվական արտահայտությունների փոխհարաբերությունների ուսումնասիրություն նշանակված առարկաների հետ: Որպես դրա հիմնական կատեգորիաներ կարելի է պատկերացնել՝ «նշանակում», «անուն», «մոդել», «մեկնաբանություն»։ Այս տեսությունը հիմք է հանդիսանում ժամանակակից տրամաբանության ապացույցների համար:
Իմաստի տեսությունը զբաղվում է այն հարցի պատասխանի որոնմամբ, թե որն է լեզվական արտահայտության իմաստը: Նա բացատրում է նրանց ինքնությունը իմաստով:
Իմաստի տեսությունը նշանակալի դեր է խաղում իմաստային պարադոքսների քննարկման գործում, որոնց լուծման համար ընդունելիության ցանկացած չափանիշ համարվում է կարևոր և տեղին։
Տրամաբանական հավասարում
Այս տերմինն օգտագործվում է մետալեզուում։ Տրամաբանական հավասարման ներքո մենք կարող ենք ներկայացնել F1=F2 գրառումը, որում F1 և F2-ը տրամաբանական դրույթների ընդլայնված լեզվի բանաձևեր են։ Նման հավասարումը լուծել նշանակում է որոշել փոփոխականների ճշմարիտ արժեքների այն հավաքածուները, որոնք կներառվեն F1 կամ F2 բանաձևերից մեկում, որոնց համաձայն կդիտարկվի առաջարկվող հավասարությունը:
Հավասարության նշանը մաթեմատիկայի մեջ որոշ իրավիճակներումցույց է տալիս սկզբնական օբյեկտների հավասարությունը, իսկ որոշ դեպքերում այն նախատեսված է ցույց տալու դրանց արժեքների հավասարությունը: F1=F2 մուտքագրումը կարող է ցույց տալ, որ մենք խոսում ենք նույն բանաձևի մասին։
Գրականության մեջ բավականին հաճախ ֆորմալ տրամաբանության տակ նշանակում է այնպիսի հոմանիշ, ինչպիսին է «տրամաբանական դրույթների լեզուն»: «Ճիշտ բառերը» բանաձևեր են, որոնք ծառայում են որպես իմաստային միավորներ, որոնք օգտագործվում են ոչ ֆորմալ (փիլիսոփայական) տրամաբանության մեջ հիմնավորումներ կառուցելու համար:
Հայտարարությունը գործում է որպես նախադասություն, որն արտահայտում է որոշակի առաջարկ: Այլ կերպ ասած, դա արտահայտում է իրերի ինչ-որ իրավիճակի առկայության գաղափարը։
Ցանկացած պնդում կարելի է ճշմարիտ համարել այն դեպքում, երբ դրանում նկարագրված իրերի դրությունն առկա է իրականում։ Հակառակ դեպքում նման հայտարարությունը կեղծ հայտարարություն կլինի։
Այս փաստը դարձավ դրույթային տրամաբանության հիմքը։ Կա հայտարարությունների բաժանում պարզ և բարդ խմբերի:
Հայտարարությունների պարզ տարբերակները ձևակերպելիս օգտագործվում են տարրական զրոյական կարգի լեզվական բանաձևեր: Բարդ հայտարարությունների նկարագրությունը հնարավոր է միայն լեզվական բանաձևերի օգտագործմամբ:
Տրամաբանական կապեր են անհրաժեշտ միությունները նշելու համար: Երբ կիրառվում են, պարզ հայտարարությունները վերածվում են բարդ ձևերի՝
- «ոչ»,
- «ճիշտ չէ, որ…»,
- «կամ».
Եզրակացություն
Ֆորմալ տրամաբանությունը օգնում է պարզել, թե որ անվան համար է հայտարարությունը ճշմարիտ, ներառում է որոշ արտահայտությունների փոխակերպման կանոնների կառուցում և վերլուծություն, որոնք պահպանում են դրանք:իրական արժեք՝ անկախ բովանդակությունից: Որպես փիլիսոփայական գիտության առանձին բաժին, այն ի հայտ եկավ միայն XIX դարի վերջին։ Երկրորդ ուղղությունը ոչ ֆորմալ տրամաբանությունն է։
Այս գիտության հիմնական խնդիրն այն կանոնների համակարգումն է, որոնք թույլ են տալիս նոր հայտարարություններ ստանալ՝ հիմնվելով ապացուցված պնդումների վրա:
Տրամաբանության հիմքը որոշ գաղափարներ ստանալու հնարավորությունն է՝ որպես այլ հայտարարությունների տրամաբանական հետևանք։
Այս փաստը հնարավորություն է տալիս ադեկվատ նկարագրել ոչ միայն մաթեմատիկական գիտության որոշակի խնդիր, այլև տրամաբանությունը փոխանցել գեղարվեստական ստեղծագործությանը:
Տրամաբանական հետաքննությունը ենթադրում է հարաբերություններ, որոնք գոյություն ունեն նախադրյալների և դրանցից արված եզրակացությունների միջև։
Դա կարելի է վերագրել ժամանակակից տրամաբանության սկզբնական, հիմնարար հասկացությունների թվին, որը հաճախ անվանում են «այն, ինչից բխում է դրանից» գիտություն։
Դժվար է պատկերացնել թեորեմների ապացուցումը երկրաչափության մեջ, բացատրել ֆիզիկական երևույթները, բացատրել քիմիայի ռեակցիաների մեխանիզմները առանց նման պատճառաբանության։
