Үкім – кез келген білімнің құрамдас элементі болып табылатын адам ойлауының негізгі формаларының бірі. Әсіресе, егер бұл процесс рефлексиялармен, қорытындылармен және дәлелдемелерді құрумен байланысты болса. Логикада пайымдау «ұсыныс» сөзімен де анықталады.
Үкім ұғым ретінде
Бір ғана ұғымдар мен өкілдіктердің байланысы немесе байланысы мүмкіндігінсіз болғандықтан, адамдар бір нәрсені білуге бола ма? Жауап біржақты: жоқ. Таным шындыққа немесе жалғандыққа қатысы бар жағдайларда ғана мүмкін болады. Ал ақиқат пен жалған мәселесі ұғымдар арасында қандай да бір байланыс болған жағдайда ғана туындайды. Олардың арасындағы бірігу тек бір нәрсе туралы үкім шығарған кезде ғана орнатылады. Мысалы, шындығы да, өтірігі де жоқ «мысық» сөзін айтқанда тек ұғымды ғана айтамыз. «Мысықтың төрт табаны бар» деген пікір қазірдің өзінде ақиқат немесе жоқ және оң немесе теріс бағаға ие мәлімдеме болып табылады. Мысалы: «Барлық ағаштар жасыл»; «Кейбір құстар ұшпайды»; «Бірде-бір дельфин балық емес»; «Кейбір өсімдіктержеуге жарамды."
Үкім құрастыру жарамды деп саналатын негізді жасайды. Бұл шындыққа рефлексияда өтуге мүмкіндік береді. Пікір құбылыстар мен заттар арасындағы немесе қасиеттер мен белгілер арасындағы байланысты бейнелеуге мүмкіндік береді. Мысалы: «Су қатқанда кеңейеді» - сөз тіркесі заттың көлемі мен температура арасындағы байланысты білдіреді. Бұл әртүрлі ұғымдар арасында байланыс орнатуға мүмкіндік береді. Үкімдерде оқиғалар, заттар, құбылыстар арасындағы байланысты бекіту немесе теріске шығару жатады. Мысалы, олар: «Көлік үйдің бойымен жүреді» дегенде, олар екі нысанның (көлік пен үй) арасындағы белгілі бір кеңістіктік қатынасты білдіреді.
Үкімдер - бұл заттардың (ұғымдардың) бар екендігін растауды немесе теріске шығаруды, сондай-ақ объектілер немесе ұғымдар, объектілер және олардың белгілері арасындағы қатынасты қамтитын психикалық пішін.
Пікірдің лингвистикалық формасы
Ұғымдар сөздерден немесе сөз тіркестерінен тыс болмайтыны сияқты, сөйлемдерден тыс мәлімдемелер де мүмкін емес. Дегенмен, әрбір үкім үкім бола бермейді. Тілдік формадағы кез келген сөйлем бір нәрсе туралы хабарды жеткізетін баяндауыш түрінде айтылады. Терістеу немесе бекіту (сұрау және итермелеу), яғни ақиқат немесе жалған деп сипаттауға болмайтын сөйлемдер үкім болып табылмайды. Болашақтағы ықтимал оқиғаларды сипаттайтын мәлімдемелерді де жалған немесе шын деп бағалауға болмайды.
Сонымен бірге пішіні бойынша сұрақ немесе леп белгісі сияқты сөйлемдер бар. Бірақолар растайды немесе жоққа шығарады. Олар риторикалық деп аталады. Мысалы: «Қандай орыс жылдам айдағанды ұнатпайды?». - Бұл белгілі бір пікірге сүйенетін риторикалық сұраулы сөйлем. Бұл іс бойынша үкімде әрбір ресейлік жылдам көлік жүргізуді жақсы көретіндігі туралы тұжырым бар. Сол сияқты лепті сөйлемдерге де қатысты: «Маусымда қар тауып көр!». Бұл жағдайда ұсынылған әрекеттің мүмкін еместігі туралы идея расталады. Бұл құрылыс та мәлімдеме. Сөйлемдерге ұқсас пайымдаулар қарапайым немесе күрделі болуы мүмкін.
Пікір құрылымы
Қарапайым мәлімдемеде ерекшеленетін белгілі бір бөлік болмайды. Оның құрамдас бөліктері ұғымдарды атайтын одан да қарапайым құрылымдық компоненттер. Семантикалық бірлік тұрғысынан қарапайым пайымдау ақиқат мәні бар тәуелсіз сілтеме болып табылады.
Нысан мен оның мүмкіндігін байланыстыратын мәлімдеме бірінші және екінші ұғымдарды қамтиды. Осы түрдегі ұсыныстарға мыналар кіреді:
- Үкім тақырыбын көрсететін сөз латын S әрпімен белгіленген тақырып болып табылады.
- Предикат - пәннің атрибутын көрсетеді, ол R әрпімен белгіленеді.
-
Бума – екі ұғымды бір-бірімен байланыстыруға арналған сөз («болған», «болған», «жоқ», емес). Орыс тілінде бұл үшін сызықша қолдануға болады.
«Бұл жануарлар жыртқыш» деген қарапайым мәлімдеме.
Үкім түрлері
Қарапайым мәлімдемелер жіктеледіавторы:
- сапа;
- саны (тақырып көлемі бойынша);
- предикат мазмұны;
- модалиттер.
Сапаны бағалау
Негізгі, маңызды логикалық сипаттамалардың бірі – сапа. Бұл жағдайдағы мән ұғымдар арасындағы белгілі бір байланыстардың жоқтығын немесе болуын ашу қабілетінде көрінеді.
Мұндай сілтеменің сапасына байланысты пайымдаудың екі формасы бөлінеді:
- Дұрыс. Субъект пен предикат арасында қандай да бір байланыстың бар екендігін көрсетеді. Мұндай тұжырымның жалпы формуласы: «S - P». Мысал: "Күн - жұлдыз."
- Теріс. Сәйкесінше, ол (S және P) ұғымдары арасында ешқандай байланыстың жоқтығын көрсетеді. Теріс пайымдау формуласы «S P емес». Мысалы: "Құстар сүтқоректілер емес."
Мұндай бөлу өте шартты, өйткені кез келген жасырын мәлімдемеде терістеу бар. Және керісінше. Мысалы, «мынау теңіз» деген тіркес субъектінің өзен емес, көл емес, т.б. Ал егер «бұл теңіз емес» болса, сәйкесінше, басқа нәрсе, мүмкін мұхит немесе шығанақ. Сол себепті бір пікірді екіншісі түрінде көрсетуге болады, ал қос терістеу сөйлемге сәйкес келеді.
Қолданатын пайымдаулардың түрлері
Егер «not» бөлшегі сілтеменің алдында болмаса, бірақ предикаттың құрамдас бөлігі болса, мұндай мәлімдемелер растау деп аталады: «Шешім қате болды». Екі түрі бар:
- оң қасиет "S P" болғанда: "Итүйде жасалған."
- теріс "S емес-P" болғанда: "Сорпа ескірген".
Теріс пайымдаулардың алуан түрлері
Сол сияқты теріс мәлімдемелердің арасында олар мыналарды ажыратады:
- оң предикатпен «S P емес» формуласы: «Оля алма жеген жоқ»;
- теріс предикатпен, "S емес P емес" формуласы: "Оля кетуі керек."
Теріс пайымдаулардың маңыздылығы олардың шындыққа жетуге қатысуында. Олар бір нәрсенің объективті болмауын көрсетеді. Олардың теріс нәтиже де нәтиже деп айтуы таңқаларлық емес. Объектінің не емес екенін және оның қандай қасиеттері жоқ екенін анықтау да рефлексия процесінде маңызды.
Саны бойынша пайымдаулар
Пәннің логикалық көлемін білуге негізделген тағы бір сипаттама – сан. Келесі түрлер бөлінеді:
- Бір тақырып туралы ақпаратты қамтитын жалғыз. Формула: "S (болмайды) P".
- Текшеліктер – бұл белгілі бір сыныптағы элементтердің бір бөлігі туралы пікірі барлар. Бұл бөліктің сенімділігіне қарай олар мыналарды ажыратады: нақты («Тек кейбір S ғана (болмайды) P») және белгісіз («Кейбір S (болмайды) P»).
- Жалпы қарастырылатын сыныптың әрбір тақырыбына қатысты мәлімдемені немесе теріске шығаруды қамтиды («Барлық S - P» немесе «Жоқ S - P»).
Біріккен пайымдаулар
Көптеген мәлімдемелерде сапалық та, сандық та бартән. Олар үшін біріктірілген классификация қолданылады. Бұл төрт түрлі пайымдаулар береді:
- Жалпы мақұлдау: "Барлық S - P".
- Жалпы теріс: "S жоқ P".
- Айрықша мақұлдау: "Кейбір S - P".
- Ішінара теріс: "Кейбір S P емес"
Предикат мазмұнына негізделген әртүрлі пайымдаулар
Предикаттың семантикалық жүктемесіне байланысты мәлімдемелер бөлінеді:
- сипаттар немесе атрибуттар;
- қарым-қатынастар немесе туыстар;
- бар болу немесе экзистенциалды.
Ойлау объектілері арасындағы тікелей байланысты ашатын қарапайым пайымдаулар оның мазмұнына қарамастан атрибутивтік, немесе категориялық деп аталады. Мысалы: «Біреудің өмірін қиюға ешкімнің құқығы жоқ». Атрибутивтік мәлімдеменің логикалық схемасы: "S - P (немесе емес)" (сәйкесінше субъект, жалғаулық, предикат).
Салыстырмалы пайымдаулар – предикат әртүрлі категориялардағы (уақыт, орын, себептік тәуелділік) екі немесе одан да көп объектілер арасындағы байланыстың (байланыстың) бар немесе жоқтығын білдіретін мәлімдемелер. Мысалы: "Петр Васядан бұрын келді."
Егер предикат объектілердің немесе ойлау объектісінің өзі арасында байланыстың жоқтығы немесе бар екендігі фактісін көрсетсе, мұндай мәлімдеме экзистенциалды деп аталады. Мұндағы предикат: «болды/болмайды», «болды/болмады», «бар/болмайды» т.б. сөздер арқылы өрнектеледі. Мысал: "Отсыз түтін болмайды."
Үкім шығару әдісі
Жалпы мазмұннан басқа, мәлімдеме мүмкінқосымша семантикалық жүктемені көтереді. «Мүмкін», «маңызды», «маңызды» және басқа сөздердің, сондай-ақ «рұқсат етілмейді», «мүмкін емес» және басқалары сәйкес теріс мәндердің көмегімен үкім шығару модальділігі көрсетіледі.
Модалдіктің мынадай түрлері бар:
- Алетикалық (шынайы) модальділік. Ой объектілері арасындағы байланысты білдіреді. Модаль сөздер: «мүмкін», «кездейсоқ», «қажетті», сондай-ақ олардың синонимдері.
- Деонтикалық (нормативтік) модальділік. Әдеп кодексіне сілтеме жасайды. Сөздер: "тыйым салынған", "міндетті", "рұқсат етілген", "рұқсат етілген" және т.б.
- Гносетикалық (когнитивтік) модальділік сенімділік дәрежесін сипаттайды («дәлелденген», «теріске шығарылған», «күмәнді» және олардың аналогтары).
- Аксиологиялық (мәндік) модальділік. Адамның кез келген құндылықтарға қатынасын көрсетеді. Модаль сөздер: "жаман", "немқұрайлы", "маңызды емес", "жақсы".
Әдетте эмоционалдық күймен байланысты модальділік арқылы айтылым мазмұнына қатынасты білдіру құндылық ретінде анықталады. Мысалы: «Өкінішке орай, жаңбыр жауып тұр». Бұл жағдайда сөйлеушінің жаңбыр жауып тұрғанына субъективті қатынасы көрінеді.
Құрама мәлімдеменің құрылымы
Күрделі пайымдаулар логикалық қосылыстар арқылы байланысқан қарапайым пайымдаулардан тұрады. Мұндай байламдар сөйлемдерді бір-бірімен байланыстыра алатын сілтеме ретінде қолданылады. Орыс тілінде одақ формасы бар логикалық сілтемеден басқа, кванторлар да қолданылады. Олар екі түрде келеді:
- Жалпы кванфикатор «барлығы», «әрқайсысы», «ешқайсысы», «кез келген» және т.б. Бұл жағдайда сөйлемдер келесідей болады: "Барлық нысандардың белгілі бір қасиеті бар."
- Экзистенциалды кванфикатор «кейбір», «көп», «аз», «көп» сөздері және т.б. Бұл жағдайда құрмалас сөйлем формуласы: "Белгілі бір қасиеттері бар кейбір нысандар бар."
Күрделі тұжырымның мысалы: "Таңертең әтеш айқайлады, ол мені оятты, сондықтан мен ұйқым қанбады."
Пайдалану қабілеті
Мәлімдеме құрастыру қабілеті адамның жасына қарай бірте-бірте пайда болады. Шамамен үш жаста бала бір нәрсені білдіретін қарапайым сөйлемдерді айта алады. Логикалық байланыстарды, грамматикалық жалғауларды түсіну белгілі бір жағдайда дұрыс пайымдаудың қажетті және жеткілікті шарты болып табылады. Даму барысында адам ақпаратты жалпылауды үйренеді. Бұл оған қарапайым пайымдауларға негізделген күрделі шешімдерді құруға мүмкіндік береді.
