Үкім – объектілердің бар екендігі, олардың арасындағы байланыстар мен олардың қасиеттері туралы, сондай-ақ объектілер арасындағы қатынастар туралы бірдеңені растайтын немесе жоққа шығаратын ойлау түрі.
Үкім мысалдары: «Еділ Каспий теңізіне құяды», «А. С. Пушкин «Қола салт атты», «Уссури жолбарысы Қызыл кітапқа енген» поэмасын жазды.
Пікір құрылымы
Пікір келесі элементтерді қамтиды: тақырып, предикат, жалғаулық және квантор.
- Субъект (лат. subjektum – «негізінде жатқан») – бұл үкімде не айтылған, оның пәні («S»).
- Предикат (лат. praedicatum – «айтты») – субъектінің атрибутының көрінісі, үкімнің субъектісі туралы не айтылғанын («Р»).
- Сілтеме – субъект («S») мен предикат («P») арасындағы қатынас. Предикатта көрсетілген қандай да бір қасиет субъектісінің бар/жоқтығын анықтайды. Ол сызықша белгісімен немесе «болды» («болмайды»), «бар», «болады», «мәні» және т.б. сөздермен тұспалдауға да, көрсетуге де болады.
- Квантор (мөлшер сөз) пайымдау пәні жататын ұғымның аясын анықтайды. Нысанның алдында тұрады, бірақ оның ішінде болмауы да мүмкінүкім. "Барлығы", "көп", "кейбіреулер", "ешқандай", "ешқандай", т.б сөздермен белгіленеді.
Шын және жалған үкімдер
Үкімде расталған/ теріске шығарылған объектілердің белгілерінің, қасиеттерінің және қатынастарының болуы шындыққа сәйкес келсе, үкім ақиқат болып табылады. Мысалы: «Қарлығаштардың барлығы құс», «9 саны 2-ден көп», т.б.
Үкімде айтылған сөз дұрыс болмаса, біз жалған үкіммен айналысамыз: «Күн Жерді айналады», «Бір килограмм темір бір килограмм мақтадан ауыр» т.б. Дұрыс пайымдаулар дұрыс қорытындылардың негізін құрайды.
Алайда, пайымдау ақиқат немесе жалған болуы мүмкін екі мәнді логикаға қосымша көп өлшемді логика да бар. Оның шарттарына сәйкес сот үкімі де мерзімсіз болуы мүмкін. Бұл, әсіресе, болашақтағы жалғыз шешімдерге қатысты: «Ертең теңіз шайқасы болады / болмайды» (Аристотель, «Түсіндіру туралы»). Бұл шынайы үкім деп есептесек, ертең теңіз шайқасы болмай қалуы мүмкін емес. Сондықтан бұл орын алуы керек. Немесе керісінше: бұл үкім қазіргі уақытта жалған деп мәлімдеу арқылы біз ертеңгі теңіз шайқасының мүмкін еместігін қажет етеміз.
Өтініш түрі бойынша шешімдер
Өздеріңіз білетіндей, баяндауыш түріне қарай сөйлемнің үш түрі бар: баяндауыш, жігерлендіру және сұраулы. Мысалы, «Мен бір тамаша сәт есімде» деген сөйлемге қатыстыбаяндау түріне. Мұндай үкім де баяндау болар еді деп болжауға болады. Ол белгілі бір ақпаратты қамтиды, белгілі бір оқиға туралы хабарлайды.
Өз кезегінде сұраулы сөйлемде «Алдағы күн мен үшін не дайындайды?» деген жауапты білдіретін сұрақ бар. Ол ештеңені білдірмейді де, жоққа да бермейді. Тиісінше, мұндай үкім сұраулы болып табылады деген тұжырым қате. Сұраулы сөйлем, негізінен, пайымдауды қамтымайды, өйткені сұрақты ақиқат/жалғандық принципі бойынша саралау мүмкін емес.
Сөйлемдердің ынталандырушы түрі белгілі бір әрекетке екпін, өтініш немесе тыйым болған кезде жасалады: «Тұр, пайғамбар, көр және тыңда». Үкімдерге келетін болсақ, кейбір зерттеушілердің пікірінше, олар мұндай түрдегі сөйлемдерде жоқ. Басқалар біз модальды пайымдаулар туралы айтып отырмыз деп санайды.
Пікір сапасы
Сапа тұрғысынан пайымдаулар растаушы (S - P) немесе теріс (S - P емес) болуы мүмкін. Бекіткіш сөйлем жағдайында белгілі бір қасиет(тер) предикаттың көмегімен субъектіге жалғанады. Мысалы: "Леонардо да Винчи - итальяндық суретші, сәулетші, мүсінші, ғалым, табиғат зерттеушісі, сонымен қатар өнертапқыш және жазушы, Қайта өрлеу өнерінің ең ірі өкілі."
Теріс ұсыныста, керісінше, қасиет тақырыптан шегеріледі:эксперименттік растау."
Сандық сипаттамалар
Логикадағы пайымдаулар жалпы (берілген класстың барлық объектілеріне қатысты), жеке (олардың кейбіреулері үшін) және жеке (бір көшірмеде бар объектіге қатысты) болуы мүмкін. Мысалы, «Барлық мысықтар түнде сұр болады» сияқты шешім жалпы болады деп айтуға болады, өйткені ол барлық мысықтарға (сот тақырыбы) әсер етеді. «Кейбір жыландар улы емес» деген мәлімдеме жеке соттың мысалы болып табылады. Өз кезегінде, «Днепр тыныш ауа-райында тамаша» деген шешім бір ғана, өйткені біз бір формада болатын бір нақты өзен туралы айтып отырмыз.
Қарапайым және күрделі пайымдаулар
Құрылымына байланысты пайымдау қарапайым немесе күрделі типті болуы мүмкін. Қарапайым пайымдау құрылымы бір-бірімен байланысты екі ұғымды (С-П) қамтиды: «Кітап – білім көзі». Сондай-ақ бір тұжырымдамасы бар пайымдаулар бар - екіншісі тек тұспалдалған кезде: «Қараңғылық» (P).
Күрделі пішін бірнеше қарапайым ұсыныстарды біріктіру арқылы жасалады.
Қарапайым пайымдаулардың классификациясы
Логикадағы қарапайым пайымдаулар келесі түрлерде болуы мүмкін: атрибутивтік, қатынастары бар пайымдаулар, экзистенциалды, модальды.
Атрибутивтік (мүліктік пайымдаулар) объектінің белгілі бір қасиеттері (атрибуттары), әрекеттері бар екенін растауға/жоққа шығаруға бағытталған. Бұл пайымдаулар категориялық түрге ие және күмән келтірмейді: «Сүтқоректілердің жүйке жүйесі мидан, жұлыннан тұрады.ми және шығатын жүйке жолдары.”
Реляциялық пайымдаулар объектілер арасындағы белгілі бір қатынастарды қарастырады. Олардың кеңістіктік-уақыттық контекст, себептілік және т.б. болуы мүмкін. Мысалы: «Екі достан ескі дос жақсы», «Сутегі көмірқышқыл газынан 22 есе жеңіл.»
Экзистенциалды пайымдау дегеніміз – заттың (материалдық та, идеалды да) бар/жоқтығы туралы мәлімдеме: «Өз елінде пайғамбар жоқ», «Ай – Жердің серігі».
Модальдық ұсыныс – белгілі модальдық операторды қамтитын сөйлемнің түрі (қажетті, жақсы/жаман; дәлелденген, белгілі/белгісіз, тыйым салынған, сену, т.б.). Мысалы:
- «Ресейде білім беру реформасын жүргізу қажет» (алетикалық модальділік – бір нәрсенің мүмкіндігі, қажеттілігі).
- "Әркімнің жеке басының тұтастығына құқығы бар" (деонтикалық модальділік - әлеуметтік мінез-құлықтың моральдық стандарттары).
- «Мемлекеттік меншікке немқұрайлы қарау оны жоғалтуға әкеледі» (аксиологиялық модальділік – материалдық және рухани құндылықтарға қатынас).
- «Біз сенің кінәсіздігіңе сенеміз» (эпистемикалық модальділік – білімнің сенімділік дәрежесі).
Күрделі пайымдаулар мен логикалық жалғаулардың түрлері
Бұдан бұрын айтылғандай, күрделі пайымдаулар бірнеше қарапайымнан тұрады. Олардың арасындағы логикалық байланыстар мыналар сияқты:
- Қоғам (және ʌ b - байланыстырушы ұсыныстар). Біріктірілген пайымдауларда «және» тобы бар:«Адамның және азаматтың құқықтары мен бостандықтарын жүзеге асыру басқа адамдардың құқықтары мен бостандықтарын бұзбауға тиіс.»
- Дизъюнкция (a v b – дизъюнктивтік пайымдаулар). Құрамдас элементтер ретінде ажыратылған пайымдаулар қолданылады, ал «немесе» одақ сілтеме ретінде қолданылады. Мысалы: "Талапкер талаптардың мөлшерін ұлғайтуға немесе азайтуға құқылы."
- Салдау (a → b – пайымдау-салдары). Күрделі пайымдау құрылымында алғышарт пен салдар ажыратылса, онда мұндай пайымдау импликативтілерге жатады деп айтуға болады. Бұл пішіндегі сілтеме ретінде «егер … онда» сияқты одақтар қолданылады. Мысалы: «Өткізгіштен электр тогы өтсе, өткізгіш қызады», «Бақытты болғың келсе, солай бол.»
- Балама (a ≡ b – бірдей пайымдаулар). a және b бірдей болғанда пайда болады (екеуі де ақиқат немесе екеуі де жалған): "Адам құстың ұшатыны сияқты бақытты болу үшін жаратылған."
- Терістеме (¬a, ā – пайымдау-инверсия). Әрбір бастапқы мәлімдеме түпнұсқаны жоққа шығаратын құрама сөйлеммен байланысты. Ол «жоқ» шоғырының көмегімен жүзеге асырылады. Тиісінше, егер бастапқы мәлімдеме келесідей көрінсе: «Өгіз қызыл жарыққа әрекет етеді» (а) - онда теріске шығару: «Бұқа қызыл жарыққа ЕМЕС» (¬a) сияқты естіледі.
