Логикадағы пайымдау. Сот дегеніміз не, сот шешімдерінің түрлері

Сот дегеніміз - объектілердің болуы, олардың арасындағы байланыстар, сондай-ақ объектілер арасындағы қарым-қатынастар туралы ештеңені растайтын немесе қабылдамайтын ойлау түрі .

Сот шешімдерінің мысалдары: «Волга Каспийге ағып келеді», «А. Пушкин «Қола сарбаз», «Уссури Тигр Қызыл кітапқа енгізілген» және т.б.

Сот шешімдерінің құрылымы

Сотқа мынадай элементтер кіреді: тақырып, предикат, байлам және квант.

1. Тақырып (латындық секьюктум - «астынғы») бұл пікірде, оның тақырыбы («S») айтылған.
2. Бастапқы (лат. Praedicatum - «spoken») - субъектінің ерекшелігі, сот туралы мәселе туралы айтылады («R»).
3. Шаншу - тақырып («S») мен предикат («P») арасындағы қатынас. Белгіленген негізде көрсетілген кез-келген мүліктің болуын / болмауын анықтайды. Мүмкін екеуі де «сызықша» немесе «бар» («жоқ»), «бар», «бар», «мән» және т.б.
4. Сандықтаушы (квантейнерлік сөз) пікірдің мәні туралы тұжырымдаманың көлемін анықтайды. Ол тақырыптың алдында, бірақ ол сот шешімінде де болмауы мүмкін. «Барлығы», «көп», «кейбір», «жоқ», «ешкім» және т.б. сияқты сөздермен белгіленеді.

Шынайы және жалған пікірлер

Сот шешімінде бекітілген / қабылданбаған объектілердің қасиеттері, қасиеттері мен қатынастары шындық болған жағдайда дұрыс. Мысалы: «Барлық қарлығаштар - құстар», «2-ден астам 2» және т.б.

Егер сот шешімінде айтылған сөз дұрыс емес болса, онда біз «Күн бүкіл әлемге айналады», «Темір килограммы мақтадан бір килограмнан гөрі ауыр» және т.б. дұрыс шешім шығарады.

Дегенмен, шынайы немесе жалған болуы мүмкін екі бағаланатын логикаға қосымша, көп өлшемді логика да бар. Оның шарттарына сай, сот шешімі де белгісіз болуы мүмкін. Бұл әсіресе болашақ жеке пайымдауларға қатысты: «Ертең теңіздік шайқас болады» (Аристотель, «Түсіндірме туралы»). Егер бұл шынайы ұсыныс деп ойласақ, ертеңгі теңіз шайқасы болмайды. Сондықтан бұл орын алуы керек. Немесе керісінше: қазіргі уақытта бұл сот шешімінің жалған екендігін дәлелдеп, ертеңгі теңіз шайқасының мүмкін еместігін талап етеміз .

Сөз түрлеріне байланысты шешімдер

Белгілі болғандай, сөйлемнің үш түрі бөлінеді : әңгіме, мотивациялық және сауалдама. Мысалға, «Мен тамаша сәт есімде» деген сөйлем мәтінді сипаттауға қатысты. Мұндай шешімнің де баяндалатыны туралы ойланған жөн. Онда белгілі бір ақпарат, белгілі бір оқиға туралы есептер бар.

Өз кезегінде, сұрақ жауапта: «Болашақ мен үшін не дайындайды?» Деген сұрақ бар. Сонымен қатар, бұл ештеңе айтпайды және ештеңені жоққа шығармайды. Тиісінше, мұндай шешімнің жауап беруі қате. Сұрау салу негізінен шешім шығармайды, өйткені мәселе ақиқат / жалғандық принципіне сәйкес сараланбайды.

Ұсыныстардың ынталандырушы түрі іс-әрекет, сұрау немесе тыйым салу үшін белгілі бір мотивация болған кезде пайда болады: «Орныңнан тұр, пайғамбар, көріп, ести». Кейбір зерттеушілердің пайымдаулары бойынша, олар осы түрдегі ұсыныстарда жоқ. Басқалары, бұл әртүрлі модалдық пікірлер.

Сот шешімінің сапасы

Сапа тұрғысынан алғанда, пайымдаулар оң немесе оң болуы мүмкін (S - P) немесе теріс (S - P емес). Жағымды ұсыныс болған жағдайда предикатқа субъектіге (-a) беріледі. Мысалы: «Леонардо да Винчи - итальяндық суретші, сәулетші, мүсінші, ғалым, табиғи ғалым, өнертапқыш және жазушы, Ренессанс өнерінің ең үлкен өкілі».

Теріс пікірде, керісінше, субъектінің мүлкі алынып тасталады: «Джеймс Вэйкердің 25-ші кадрлар теориясы эксперименталды растауға ие емес.»

Сандық сипаттамасы

Логикадағы пайымдаулар жалпы сипатта болуы мүмкін (осы сыныптың барлық субъектілеріне қатысты), жеке (олардың кейбіріне) және жалғыздық (ол бір жағдайда бар объектке қатысты). Мысалы, «түнде, күкірттің барлық мысықтары» деген пікірдің жалпы түрге жататыны туралы пікір айтуға болады, өйткені ол барлық пациенттердің өкілдеріне әсер етеді (соттың мәні). «Кейбір жыландар улы емес» деген ұғым нақты шешімнің үлгісі болып табылады. Өз кезегінде, «тыныш ауа райында керемет Дниепер» сөзі - бұл жалғыз, себебі бұл бір өзеннің бір нысаны бар мәселе.

Қарапайым және күрделі пікірлер

Құрылымға байланысты шешім қарапайым немесе күрделі түрдегі болуы мүмкін. Қарапайым ұсыныстың құрылымы екі тұжырымдаманы (СП) қамтиды: «Кітап - білімнің көзі». Сондай-ақ, бір тұжырымдамасы бар пікірлер - екіншісі тек қана: «Қараңғыланған» (П).

Кешенді пішін бірнеше қарапайым пайымдауларды біріктіру арқылы қалыптасады.

Қарапайым шешімдердің жіктелуі

Логикадағы қарапайым пайымдаулар мынадай түрлерде болуы мүмкін: атрибутивтік, қатынасы бар пікірлер, экзистенциалды, модальды.

Атрибутивтер (шешімдер - қасиеттері) белгілі бір атрибуттардың (атрибуттардың), қызмет түрлерін растайтын / қабылдамауға бағытталған . Бұл пайымдаулар саналы түрде және сұраққа жауап бермейді: «Сүтқоректілердің жүйке жүйесі мидың, жұлынның және шығатын жүйке жолдарынан тұрады».

Қарым-қатынастар туралы шешімдерде объектілер арасындағы кейбір қатынастар қарастырылады. Олар кеңістікте уақытша контекстке, себеп-салдарға және т.б. болуы мүмкін. Мысалы: «Ескі дос екі жаңадан жақсы», «Сутегі көміртегі қос тотығынан 22 есе жеңіл».

Экзистенциалды сот - бұл объектіні (материалдық және идеалды) бар-жоқтығы туралы: «Өз елінде ешқандай пайғамбар жоқ», «Ай Жер серіктесі».

Модельдік пікір - белгілі бір модальды оператордың қатысуы (қажет, жақсы / жаман, дәлелденген, белгілі / белгісіз, тыйым салынған, сенген және т.б.). Мысалы:

• «Ресейде білім реформасы қажет» (аликандық әдіс - бұл бір мүмкіндік үшін, қажет нәрсе үшін).
• «Әр адамның жеке басына қол сұғылмауға құқығы бар» (деонтикалық әдіс - әлеуметтік мінез-құлықтың моральдық нормалары).
• «Мемлекеттік мүлікке деген берік көзқарас оны жоғалтуға әкеледі» (аксиологиялық әдіс - материалдық және рухани құндылықтарға қатысты).
• «Біз сенің кінәсіздікке сенеміз» (эпистемалық әдіс - білім сенімділігінің дәрежесі).

Кешенді шешімдер және логикалық қосылыстардың түрлері

Жоғарыда айтылғандай, күрделі шешімдер бірнеше қарапайым нәрседен тұрады. Олардың арасында логикалық байланыстары бар:

• Байланыстыру (a ʌ b - қосылатын шешімдер). Сот-конъюнктураларда «және» көптеген: «Адамның және азаматтың құқықтары мен бостандықтарын жүзеге асыру басқалардың құқықтары мен бостандықтарын бұзбауы керек».
• Бөлу (авб - бөлгіш пікірлер). Құрамдас элементтер ретінде сөйлем-дисландттар, түйін ретінде - «немесе» бірлестігі пайдаланылады. Мысалы: «Талапкер шағым сомасын ұлғайтуға немесе азайтуға құқылы».
• Салдары (a → b - сот-салдары). Егер күрделі ұсыныстың құрылымы үй-жай мен әсер арасындағы айырмашылығы болса, онда мұндай шешім дәлелденбеген деп айтуға болады. Осы форматтағы түйін ретінде, егер «егер ... болса» сияқты кәсіподақтар қолданылады. Мысалы: «Егер электр өткізгіштің өткізгіші арқылы өтіп кетсеңіз, онда дирижер қыздырады», «Егер сіз бақытты болғыңыз келсе, онда ол болыңыз».
• Баламалы (a ≡ b - жеке шешім). А және b мәндері бірдей (немесе екеуі де шын немесе екеуі де жалған) кезде пайда болады: «Адам ұшу үшін құс секілді бақыт үшін жаратылған».
• Келіспеушілік (¬a, ā - сот-инверсия). Бастапқы бекітудің әрқайсысына бастапқы бекітуді жоққа шығаратын композициялық бекіту хат жазылады. Ол «жоқ» деген байланысы арқылы жүзеге асырылады. Түпнұсқада, егер түпнұсқалық ұғым мынаған ұқсаса: «бұқа қызыл жарыққа жауап береді» (a) - онда бұғаттылық «бук қызыл жарыққа жауап бермейді» (¬a) сияқты айтылады.