Тұжырымдау (ағылш. Inference) — берілген бір немесе бірнеше өзара байланысты (premise) арқылы жаңа (logical consequence) шығаратын ойлау формасы.
Алғышарттары
Тұжырымдау әдетте "алғышарт" деп аталатын ой қорытуға негіз болатын пайымдардан және "логикалық қорытынды" деп аталатын алғышарттардан логикалық жолмен шығарылатын жаңа қорытынды пайымнан тұрады. Алғышарттардан қорытындыға логикалық түрде өтуді "ой қорыту" дейді. Тұжырымдау – бұрыннан бар білімдерден жаңа білімдерді қорытып шығарудың логикалық формасы. Мұндай білімдер қорытынды білімдер делінеді. ‘’Силлогизм’’ деп аталатын ең қарапайым тұжырымдау екі алғышарттан және қорытындыдан құралады. Алғышарттары екіден көп күрделі. Тұжырымдауды силлогизмдер тізбегіне бөліп қарастыруға болады. Алғышарттардан қорытындыға логикалық өту олардың арасындағы мазмұны бойынша байланысты қажет етеді. Ондай байланысы жоқ пайымдардан ой қорыту мүмкін емес.
Пайымдау барысы
Пайымдау барысында жаңа ақиқат білім алу үшін екі шарт орындалуы тиіс. Сонда ғана тұжырымдау ақиқат тұжырым береді және логикалық жағынан дұрыс құрылған болады. Олар:
- алғышарттардың ақиқат болуы;
- тұжырымдау ережесінің қатаң сақталуы.
Тұжырымдау ережелерінің қатаңдығына орай тұжырымдау (қажетті) және демонстративті емес (шындыққа ұқсас) болып екіге бөлінеді. Демонстративті тұжырымдау алғышарттардан қорытылып шығатын, демонстративті емес тұжырымдау қорытындының алғышарттардан қорытылып шығуы ықтимал сипат алады.
Тұжырымдау ой қозғалысының бағытына орай үшке бөлінеді: индуктивтік (жекеден жалпыға қарай), дедуктивтік (жалпыдан жекеге қарай) және аналогия бойынша (жекеден жекеге қарай).
Берілген бір пайымды түрлендірудің арқасында іске асатын тұжырымдау "тіке тұжырымдау" деп аталады. Олардың төрт түрі бар: "айналдыру", "ауыстыру", "предикатқа қарсы қою", " бойынша ой тұжырым жасау". Бұлардың әрқайсысының өз логикалық ой қорыту ережелері бар. Бірнеше (екі және одан көп) пайымнан тұратын тұжырымдау орағытылған деп аталады. Орағытылған тұжырымдау ең кең тараған түріне қарапайым кесімді силлогизм жатады. Мұнда алғышарттар есебінде берілген екі кесімді пайымнан қорытылатын тұжырым да кесімді пайым болып шығады.
Силлогизмнің құрамына кіретін ұғымдарды силлогизмнің терминдері деп атайды. Олар кіші, үлкен және орташа болып үшке бөлінеді.
Кіші термин деп тұжырымның болатын ұғым саналады, ал оны өзіне кіргізіп тұрған алғышарт "кіші алғышарт" делінеді; тұжырымның предикаты үлкен термин деп, ал оның өзінде тұтатын алғышарт "үлкен алғышарт" деп аталады; екі алғышартта да бар, бірақ тұжырымда жоқ ұғым орташа термин болады. Бұл терминдер ретіне қарай S (кішісі), P (үлкені) және M (орташасы) деген белгіленеді. Орташа термин шеткі екеуін байланыстырып, логикалық ой қорытуға жол ашады, ол болмаса ой қорыту да мүмкін емес. Қарапайым кесімді силлогизмнің өз логикалық (жалпы және айрықша) ережелері бар.
Орташа терминнің алғышарттарда алатын орнына байланысты силлогизмнің "фигуралар" деп аталатын төрт түрі, өз ретінде әр фигураның 16 модусы болады. Барлығы 64 модустың тек 19-ы ғана дұрыс ой қорытумен аяқталады, яғни логикалық ережелердің талабына сай келеді; бұлар "дұрыс модустар" деп аталады. Кесімді силлогизмдерден басқа күрделі тұжырымдаулары да болады. Мысалы, , т.б.
Дереккөздер
- Қазақ энциклопедиясы 7-том
Бұл мақаланы Уикипедия сапа талаптарына лайықты болуы үшін уикилендіру қажет. |
уикипедия, wiki, кітап, кітаптар, кітапхана, мақала, оқу, жүктеу, тегін, тегін жүктеу, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, сурет, музыка, ән, фильм, кітап, ойын, ойындар, ұялы, андроид, iOS, apple, ұялы телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ДК, веб, компьютер
Tuzhyrymdau agylsh Inference berilgen bir nemese birneshe ozara bajlanysty premise arkyly zhana logical consequence shygaratyn ojlau formasy AlgysharttaryTuzhyrymdau әdette algyshart dep atalatyn oj korytuga negiz bolatyn pajymdardan zhәne logikalyk korytyndy dep atalatyn algysharttardan logikalyk zholmen shygarylatyn zhana korytyndy pajymnan turady Algysharttardan korytyndyga logikalyk tүrde otudi oj korytu dejdi Tuzhyrymdau burynnan bar bilimderden zhana bilimderdi korytyp shygarudyn logikalyk formasy Mundaj bilimder korytyndy bilimder delinedi Sillogizm dep atalatyn en karapajym tuzhyrymdau eki algysharttan zhәne korytyndydan kuralady Algysharttary ekiden kop kүrdeli Tuzhyrymdaudy sillogizmder tizbegine bolip karastyruga bolady Algysharttardan korytyndyga logikalyk otu olardyn arasyndagy mazmuny bojynsha bajlanysty kazhet etedi Ondaj bajlanysy zhok pajymdardan oj korytu mүmkin emes Pajymdau barysyPajymdau barysynda zhana akikat bilim alu үshin eki shart oryndaluy tiis Sonda gana tuzhyrymdau akikat tuzhyrym beredi zhәne logikalyk zhagynan durys kurylgan bolady Olar algysharttardyn akikat boluy tuzhyrymdau erezhesinin katan saktaluy Tuzhyrymdau erezhelerinin katandygyna oraj tuzhyrymdau kazhetti zhәne demonstrativti emes shyndykka uksas bolyp ekige bolinedi Demonstrativti tuzhyrymdau algysharttardan korytylyp shygatyn demonstrativti emes tuzhyrymdau korytyndynyn algysharttardan korytylyp shyguy yktimal sipat alady Tuzhyrymdau oj kozgalysynyn bagytyna oraj үshke bolinedi induktivtik zhekeden zhalpyga karaj deduktivtik zhalpydan zhekege karaj zhәne analogiya bojynsha zhekeden zhekege karaj Berilgen bir pajymdy tүrlendirudin arkasynda iske asatyn tuzhyrymdau tike tuzhyrymdau dep atalady Olardyn tort tүri bar ajnaldyru auystyru predikatka karsy koyu bojynsha oj tuzhyrym zhasau Bulardyn әrkajsysynyn oz logikalyk oj korytu erezheleri bar Birneshe eki zhәne odan kop pajymnan turatyn tuzhyrymdau oragytylgan dep atalady Oragytylgan tuzhyrymdau en ken taragan tүrine karapajym kesimdi sillogizm zhatady Munda algysharttar esebinde berilgen eki kesimdi pajymnan korytylatyn tuzhyrym da kesimdi pajym bolyp shygady Sillogizmnin kuramyna kiretin ugymdardy sillogizmnin terminderi dep atajdy Olar kishi үlken zhәne ortasha bolyp үshke bolinedi Kishi termin dep tuzhyrymnyn bolatyn ugym sanalady al ony ozine kirgizip turgan algyshart kishi algyshart delinedi tuzhyrymnyn predikaty үlken termin dep al onyn ozinde tutatyn algyshart үlken algyshart dep atalady eki algyshartta da bar birak tuzhyrymda zhok ugym ortasha termin bolady Bul terminder retine karaj S kishisi P үlkeni zhәne M ortashasy degen belgilenedi Ortasha termin shetki ekeuin bajlanystyryp logikalyk oj korytuga zhol ashady ol bolmasa oj korytu da mүmkin emes Қarapajym kesimdi sillogizmnin oz logikalyk zhalpy zhәne ajryksha erezheleri bar Ortasha terminnin algysharttarda alatyn ornyna bajlanysty sillogizmnin figuralar dep atalatyn tort tүri oz retinde әr figuranyn 16 modusy bolady Barlygy 64 modustyn tek 19 y gana durys oj korytumen ayaktalady yagni logikalyk erezhelerdin talabyna saj keledi bular durys modustar dep atalady Kesimdi sillogizmderden baska kүrdeli tuzhyrymdaulary da bolady Mysaly t b DerekkozderҚazak enciklopediyasy 7 tomBul makalany Uikipediya sapa talaptaryna lajykty boluy үshin uikilendiru kazhet