ДОСТОР МЕНЕН АКЫСЫЗ:
Ой жүгүртүүнүн негизги логикалык формалары: түшүнүү, баалоо
планы:
1. Түшүнүктүн мазмуну жана өлчөмү, алардын өз ара байланышы.
2. Түшүнүктүн түрлөрү жана алардын ортосундагы байланыштар.
3. Сүйлөмдүн курамы жана анын негизги түрлөрү.
4. Соттордун ортосундагы мамилелер.
1. Түшүнүк – предметтердин жана окуялардын жалпы, маанилүү белгилерин чагылдырган ой жүгүртүү формасы.
Белгилер - предметтерди бири-биринен айырмалоочу жана алардын бири-бирине окшоштугун билдирген жактары жана белгилери. Ар бир объекттин көптөгөн символдору бар, анткени ал ааламдагы башка объектилер менен байланышта (түз же кыйыр түрдө). Алардын айрымдары бир гана предметке мүнөздүү болуп, анын жеке, өзгөчө белгилерин түзсө, башкалары предметтердин белгилүү бир тобуна кирет жана жалпы белгилер болуп саналат. Мисалы, ар бир адамдын уникалдуу рухий тажрыйбалары жана ушундай жеке өзгөчөлүктөрү бар. Ошону менен бирге ал адамдардын белгилүү бир тобуна (эмгек коллективине, улутка ж. б. таандык) же бардык адамдарга (эмгекке, ойлонууга, коомдук мамилелерге катышууга ж.б.) мүнөздүү болгон жалпы мүнөздөмөлөргө ээ.
Жеке жана жалпы белгилердин айрымдары предметтин бар болушу үчүн зарыл болуп, анын табиятын, маңызын билдирет. Мындай белгилер предметтин маанилүү белгилери деп аталат. Мисалы, мамлекеттин болушу үчүн анын өзүнүн аймагы, калкы, бийлиги болушу керек.
Маанисиз каармандар предметтин маңызын түзбөйт. Алардын жок болушу менен предметтин табияты өзгөрбөйт. Мисалы, инсандын адам катары бар болушу үчүн кайсы расага, улутка, жыныска таандык экендиги маанилүү эмес.
Ошондой эле предметтин белгисинин маанилүү же маанилүү эмес экендиги иш жүзүндө предметке кандай мамиле кылганыбыздан көз каранды экенин айтуу керек. Айрыкча, бир мамиледе маанилүү болбогон сапаттар башкасында маанилүү болушу мүмкүн. Мисалы, адамдын жөндөмдүүлүгү анын кайсы кесипти тандашы үчүн маанилүү, бирок анын адам болушуна эмес. Мындай маанилүү белгилер белгилүү бир байланыштагы субъекттин маанилүү белгилери деп аталат жана объективдүү маанидеги белгилерден (субъекттин болушу менен сөзсүз түрдө байланышта болгон белгилер) айырмаланат.
Акырында, объект тынымсыз кыймылда, өнүгүүдө болгондуктан, анын маанилүү белгиси убакыттын өтүшү менен анча маанилүү эмес белгиге, же тескерисинче, анча маанилүү эмес белгиге айланышы мүмкүн.
Мисалы, түздөн-түз байкалуучу фактылар эмпирикалык билимдин баскычында маанилүү, бирок теориялык билимдин этабында азыраак.
Демек, концепцияда предмет анын маанилүү белгилери аркылуу ой жүгүртүлөт жана бул белгилер субъекттин жалпы жана жеке белгилери болушу мүмкүн. Маселен, «Хамза Хакимзада Ниязи» концепциясында предметтин (адам, жазуучу) жалпы белгилеринен тышкары, жеке маанилүү өзгөчөлүктөр (айрыкча «Бой ила кызматчы» драмасынын автору) каралат.
Концепциянын эмоционалдык таанып-билүүнүн формаларынан принципиалдуу түрдө айырмалангандыгына өзгөчө көңүл буруу зарыл. Интуиция, кабылдоо жана элестетүү нерсенин жандуу элеси. Биз конкреттүү бир нерсени, мисалы, биз жазып жаткан калемди гана кабылдай алабыз же түшүнө алабыз. "Калемди такыр" кабылдоо мүмкүн эмес. Түшүнүк – бул нерсенин конкреттүү элеси эмес, абстракттуу образ. Калем түшүнүгү бардык конкреттүү калемдерди камтыйт, алардын ар бирине мүнөздүү жеке белгилерин четке кагып, алардын жалпы, маанилүү белгилерин туюндурат. Ошол эле учурда бул каармандар калемди башка нерселерден, мисалы, китептен айырмалап турган спецификалык өзгөчөлүктөр катары да кызмат кылат.
Түшүнүк предметтин маанилүү эмес белгилеринен четтегендиктен, аны толук чагылдыра албайт. Бул жагынан алганда, ал таанып-билүүнүн сезүү формаларына карата болмуштан алыс турат. Бирок түшүнүк предметтин маанилүү белгилерин кабыл алуу жана анын маңызын чагылдыруу аркылуу эмоционалдык билимдин формаларына салыштырмалуу болууну тереңирээк жана толук чагылдырат.
Түшүнүктөр таанымдын эмоционалдык формаларынан айырмаланып, адамдын мээсинде түздөн-түз чагылдырылбайт. Ал белгилүү бир логикалык ыкмаларды колдонуу менен түзүлөт. Бул ыкмалар салыштыруу, анализ, синтез, абстракциялоо, жалпылоодон турат.
Салыштыруунун жардамы менен объектилер бири-бири менен салыштырылып, алардын окшош, жалпы жактары жана бири-биринен айырмаланган жекече белгилери аныкталат.
Салыштыруу анализди талап кылат. Объекттерди бүтүндөй салыштырууга болбойт. Аларды тигил же бул касиети боюнча салыштыруу керек. Бул үчүн, ошол касиеттери бөлүнүшү керек. анализдин жардамы менен предмет предметти түзгөн бөлүктөргө жана тараптарга бөлүнөт жана алардын ар бири өзүнчө изилденет.
Синтез – анализге карама-каршы ыкма, ал анализ учурунда бөлүнгөн бөлүктөрдү жана аспектилерди акыл-эс менен айкалыштыруу жолу менен предметти бир бүтүнгө келтирүүдөн турат. Синтезсиз предмет боюнча ар тараптуу пикирди калыптандыруу мүмкүн эмес. Анализ жана синтез бири-бири менен тыгыз байланышта.
Концепцияны түзүү үчүн жогорудагы ыкмалар менен аныкталган предметтин маанилүү жалпы жана жеке белгилерин бөлүп, маанилүү эместерин алып салуу керек. Бул абстракциянын жардамы менен ишке ашырылат.
Жалпылоодо объекттер кээ бир жалпы, маанилүү белгилери боюнча класстарга бириктирилет жана ошентип бир эле түрдөгү бардык объектилерди бир түшүнүктө ойлонууга болот.
Түшүнүктүн калыптанышы сөз менен ажырагыс байланышта. Алардын ортосундагы байланыш ой менен тилдин байланышынын конкреттүү көрүнүшү.
Түшүнүктөр сөздөр жана сөз айкаштары аркылуу берилет. Мисалы, «студент», «тарых факультети», «Өзбекстан улуттук университети» сыяктуу сөздөрдөн турат. Бирок түшүнүк менен сөз так эле окшош деген тыянак чыгарбаш керек. Бир эле түшүнүк ар башка тилде, кээде бир эле тилде ар башка сөздөр менен туюнтулат. Тилибиздеги омонимдер менен синонимдердин кубулуштары сөздөрдүн, түшүнүктөрдүн салыштырмалуу өз алдынча болушун көрсөтүп турат.
Көптөгөн мааниге ээ болгон сөз кээде ой жүгүртүү процессинде түшүнүктөрдүн чаташуусуна алып келерин да айтуу керек. Ошондуктан илимде жана техникада терминдер көбүрөөк колдонулат. Термин – бир гана түшүнүктү туюндурган жана илимий билимдин белгилүү тармагында бирдей мааниде колдонулган сөз.
Концепциянын өзүнүн мазмуну жана көлөмү бар. Концепциянын мазмуну каралып жаткан предметтин маанилүү белгилеринин жыйындысы болуп саналат. Мисалы, «илим» түшүнүгүнүн мазмунун илимдин маанилүү белгилери, башкача айтканда, анын практика менен байланышы, кандайдыр бир нерсеге байланыштуу түшүнүктөр, мыйзамдар, принциптер түрүндөгү объективдүү чыныгы (реалдуу) билимдер системасы түзүлөт. предметтердин чөйрөсү, дүйнө таанымын калыптандырууга катышуу жана башкалар.
Концепциянын көлөмү анда каралуучу объекттердин суммасынан турат. Мисалы, жогоруда айтылган «илим» түшүнүгүнүн чөйрөсү бар болгон бардык илимдерди камтыйт: математика, физика, логика ж.б.
Түшүнүктүн мазмуну жана көлөмү бири-бири менен тыгыз байланышта жана ал түшүнүктүн мазмуну менен көлөмүнүн ортосундагы тескери пропорция мыйзамы аркылуу туюнтулат. Бул мыйзамга ылайык, түшүнүктүн чөйрөсү кеңейсе, анын мазмуну, тескерисинче, көлөмү тарылса, мазмуну да кеңейет. Мисалы, «Илим» түшүнүгүнүн мазмунуна «логикага таандык» белгисин кошуу менен ал чөйрөсү тарыраак «логика илими» түшүнүгүнө өтөт.
«Илим» түшүнүгүнүн чөйрөсүн кеңейтүү менен «коомдук аң-сезимдин формасы» түшүнүгү түзүлөт, ал мазмуну жагынан тарыраак. Мында искусство сыяктуу коомдук аң-сезимдин башка формаларында эмес, илимге гана таандык болгон конкреттүү белгилер түшүнүктүн мазмунунан чыгарылат.
Бул мыйзам түшүнүктөр менен аткарылуучу бир катар логикалык операцияларга негизделген.
2. Логикада түшүнүктөр мазмунуна жана көлөмүнө жараша бир нече түргө бөлүнөт. Тактап айтканда, жеке жана жалпы түшүнүктөр көлөмүнө жараша бөлүнөт.
Бир эле түшүнүктүн алкагында бир предмет каралат. Мисалы, «Жер планетасы», «ӨзМУнун башкы китепканасы» жана башкалар жеке түшүнүктөр. Жалпы түшүнүктөр субъекттердин тобун билдирет. «Планета», «Китепкана» түшүнүктөрү жалпы түшүнүктөр. Жалпы түшүнүктөрдү чагылдырган предметтердин саны чектелген же чексиз болушу мүмкүн. Мисалы, «химиялык элемент» түшүнүгүндө каралган предметтердин саны чектелүү. Аларды кароого болот. «Жылдыз» түшүнүгүн түзгөн объектилердин саны чексиз жана аларды санап чыгуу мүмкүн эмес.
Ой жүгүртүү процессинде кемитүү жана кошумча түшүнүктөрдү айырмалоо да маанилүү. Айырмалоочу түшүнүк – бул берилген класстын ар бир предметине мүнөздүү болгон ушунчалык жалпы түшүнүк. Маселен, «Өзбекстан Республикасынын Олий Мажлисинин экинчи чакырылышынын биринчи сессиясынын материалдарын ӨзМУнун студенттери изилдеп жатат» деген ой УзМУнун ар бир студентине таандык. Демек, «УзМУ студенттери» деген түшүнүк бул жерде кемсинтүүчү түшүнүк болуп саналат.«Өзбекстан Республикасынын Олий Мажлисинин экинчи чакырылышынын биринчи сессиясынын жыйынтыгын талкуулап жаткан ӨзМУнун студенттери» деген пикирде «ӨзМУнун студенттер" - бул чогултуу түшүнүгү. кылат, анткени пункт алардын топтомуна карата жасалган.
Мазмуну боюнча түшүнүктөр абстракттуу жана конкреттүү түшүнүктөр болуп бөлүнөт. Конкреттүү түшүнүктөрдө предмет анын белгилери менен бирге ойлонулат. Абстракттуу түшүнүктөрдө предметтин белгилери андан бөлүнүп, өзүнчө чагылдырылат. Мисалы, «Адам», «Жаратылыш» түшүнүктөрү конкреттүү түшүнүктөр, «эрдик» (адамдын өзгөчөлүгүн билдирет), «Сулуулук» (бар болгон предметтердин мүнөздөмөсүн билдирет) түшүнүктөрү абстракттуу түшүнүктөр.
Мазмуну боюнча пропорционалдык эмес жана салыштырмалуу түшүнүктөрдү да ажыратууга болот. Салыштырмалуу түшүнүктөр салыштырмалуу көз карандысыз, өзүнчө бар объекттерди чагылдырат. «Мамлекет», «Искусство чыгармасы» деген ушундай түшүнүктөр.
Салыштырмалуу түшүнүктөр сөзсүз түрдө бири-биринин болушун талап кылган объекттерди чагылдырат. Мисалы, «Мугалим» жана «Окуучу», «Позитивдүү мүнөз» жана «Терс мүнөз», «Себеп» жана «Натыйжа» деген түшүнүктөр салыштырмалуу түшүнүктөр.
Кээ бир учурларда оң жана терс түшүнүктөр да айырмаланат. Позитивдүү түшүнүктөрдүн мазмунунда предмет өзүнө мүнөздүү белгилер аркылуу ойлонулса, терс түшүнүктөрдүн мазмунунда субъект ага мүнөздүү эмес белгилер аркылуу ой жүгүртүлөт. Мисалы, «Элита адам», «Абийирдүү адам» оң түшүнүктөр, «Сабатсыз адам», «Адепсиз адам» терс түшүнүктөр.
Биз буга чейин түшүнүктөрдүн бир нече түрүн киргизгенбиз. Түшүнүктүн бул түрлөрдүн кайсынысына таандык экенин аныктоо ага логикалык мүнөздөмө берүү дегенди билдирет. Мисалы, «Окуучу» - жалпы, кемитүү, чектелген, конкреттүү, диспропорциялуу, оң түшүнүк; «А. Өзбекстандын Навои атындагы мамлекеттик китепканасы» – бирдиктүү, жыйнактуу, чектелген, конкреттүү, пропорционалдуу эмес, позитивдүү түшүнүк.
Объективдүү дүйнөдөгү бардык нерселер жана окуялар өз ара байланышта болгондуктан, аларды чагылдырган түшүнүктөр да белгилүү бир байланышта жашайт. Бул мамилелер ар түрдүү жана аларды аныктоо үчүн эң оболу салыштырылуучу жана салыштырылбаган түшүнүктөрдү айырмалоо зарыл.
Салыштырылуучу түшүнүктөр – жалпы белгилери бар, мазмуну жана көлөмү боюнча бири-бирине жакын түшүнүктөр. Маселен, «Металлург», «Жумушчу» деген түшүнүктөр мына ушундай салыштырылуучу түшүнүктөр.
Салыштырылбаган түшүнүктөр бири-бири менен алыскы байланышта болгон объекттерди чагылдырган, көп учурда материалдык же идеалдуу болуудан башка эч кандай жалпы белгиси жок түшүнүктөр. «Социалдык прогресс» жана «Венера жылдызы», «Идеалдуу газ» жана «Сулуулук» деген түшүнүктөр теңдешсиз түшүнүктөр болуп эсептелет. Логикада теңдешсиз түшүнүктөрдүн ортосундагы логикалык байланыштар изилденбейт. Салыштырылуучу түшүнүктөр көлөмү боюнча кысылма жана кысылбайт.
Бири-бирине шайкеш келген түшүнүктөрдүн өлчөмү бири-бирине толук, толук же жарым-жартылай дал келет. Алардын ортосундагы мамилелердин үч түрү бар: шайкештик, жарым-жартылай шайкештик жана баш ийүү. Шайкештикке карата түшүнүктөр бир предметти (предметтердин классын) чагылдырган түшүнүктөр болуп саналат жана алар бири-биринен мазмуну боюнча гана айырмаланат. Мисалы,
«И.А.Каримов», «Өзбекстан Республикасынын Президенти» деген түшүнүктөр да ушундай эле байланышта бар. Муну төмөнкү схема аркылуу көрсөтсө болот.
А.А. Каримов.
Өзбекстан Республикасынын Президенти.
Жарым-жартылай шайкештик мамилелериндеги түшүнүктөрдүн көлөмү жарым-жартылай жалпылыкка ээ. Мисалы:
A-Sportsman.
V-студент.
Тегерекчелердин сызыкчасы бир эле учурда спортчу жана студент болгондорду көрсөтөт.
Багынуу мамилесинде бир түшүнүктүн көлөмү экинчисинин көлөмүнө толук кирип, анын составдык бөлүгү катары каралат. Мисалы:
A-Science.
V-Logic.
Бул катнаштагы түшүнүктөрдүн бири багыңкы (А), экинчиси (V) багыныш болуп, алар жыныс-түр байланышында болот. Урук түшүнүгү предметтердин классын, ал эми түр түшүнүгү бул класска кирген объекттердин бир тобун же бирин чагылдырат. Логикада тигил же бул түшүнүктүн тукум же түр болушу салыштырмалуу мүнөзгө ээ. Ар бир түшүнүк бир кыйла жалпы түшүнүккө карата түр, азыраак жалпы түшүнүккө карата бир тукум. Мисалы, улуттук идея, идея, ой түшүнүгүнүн ортосунда төмөнкүдөй байланыш бар: «Фоя» түшүнүгү «Идея» түшүнүгүнө салыштырмалуу түр, ал эми «Улуттук идея» түшүнүгү гендердик.
Өлчөмү боюнча эч кандай жалпылыгы жок жана бир класска кирген түрдүү объектилерди же объекттердин топторун билдирген түшүнүктөр түгөнгүс түшүнүктөр. Алардын жалпылыгы мына ушунда. Бул түшүнүктөрдүн ортосунда дагы үч түрдүү байланыш бар: ко-багынуу, карама-каршылык, карама-каршылык.
Төмөнкү түшүнүктөрдүн ортосунда өз ара баш ийүү байланышы бар.
A-Science.
V-Logic.
S-Физика.
Мында «Логика» жана «Физика» түшүнүктөрү көлөмү жагынан «Илим» түшүнүгүнө баш ийет. Оппозицияга карата түшүнүктөрдүн көлөмдөрү бири-бирин жокко чыгарат. Алар предметтин (объекттердин тобунун) карама-каршы белгилерин чагылдырат, башкача айтканда, бири предметтин белгилүү бир белгисин билдирсе, экинчиси аны жокко чыгарган башка белгини чагылдырат. Оппозициялык мамилелердеги түшүнүктөр өздөрү баш ийген түшүнүктүн аймагын толук ээлей албайт. Мисалы, “Узун бойлуу адам”, “Кыска адам” деген түшүнүктөр “Адам” түшүнүгүнүн алкагын толук камтый албайт.
А-Адам А
V- Узун киши.
S-Кыска адам.
Карама-каршылык байланышындагы түшүнүктөрдүн бири предметтин өзгөчөлүгүн билдирсе, экинчиси аны жокко чыгарып, мазмуну боюнча эки ача мааниде кала берет. Карама-каршылык байланышындагы түшүнүктөр карама-каршылык байланышындагы түшүнүктөрдөн айырмаланып, баш ийүүчү түшүнүктүн аймагын толугу менен камтыйт. Мисалы,
AA
A-Man.
V- Узун киши.
S-Бийик эмес, дамба.
Түшүнүктөрдүн ортосундагы байланышты аныктоо алардын мазмунун жана өлчөмүн тактоого, байланыштырууга, ой жүгүртүүнүн бир формасынан экинчи формасына өтүүгө жардам берет. Мисалы, «Окуучу» жана «Мыкты» түшүнүктөрүнүн ортосундагы байланышты аныктоонун негизинде «Кээ бир окуучулар мыкты» деген пикир түрүндөгү пикирди түзүүгө болот.
Түшүнүктөр менен логикалык операциялар төмөнкүдөй:
1. Түшүнүктөрдү аныктоо жана жалпылоо.
2. Түшүнүктөрдү бөлүү. Классификация.
3. Түшүнүктөрдүн аныктамасы. Сүрөттөмөгө окшош ыкмалар.
4. Класстар боюнча аракеттер.
3. Соттоо – белгилүү бир касиеттин, объектке болгон мамиленин мүнөздүү же мүнөздүү эместигин билдирген ой жүгүртүүнүн формасы.
Сүйлөмдүн негизги милдети - субъект менен анын белгилеринин ортосундагы байланышты көрсөтүү. Ошондуктан ал дайыма оң же терс пикирден турат. Ой жүгүртүү процессинде биз предметтердин жана окуялардын жөнөкөй, тышкы касиеттерин, ошондой эле алардын ички, зарыл байланыштарын жана мамилелерин билебиз. Объекттердин жана окуялардын касиеттерин ырааттуу изилдөө менен алар жөнүндө ар кандай абстракцияларды түзөбүз. Бул абстракциялар сүйлөмдөрдүн жардамы менен айтылат. Биздин билимибиз ар башка болгондуктан, аны билдирген өкүмдөр да ар түрдүү болот. Кээ бир пикирлер конкреттүү, текшерилген билимди билдирсе, башкалары объекттин мүнөздөмөсүн болжолдойт, башкача айтканда, бүдөмүк билимдер туюнтулат.
Соттор салыштырмалуу толук ойлор. Анда конкреттүү объект жана анын конкреттүү белгиси жөнүндөгү билимдер айтылган.
Өкүмдөр чындыкка дал келүү даражасына жараша туура, жалган жана белгисиз (балким болжолдуу). Объективдүү чындыкка дал келген жана аны туура туюндурган өкүмдөр чындык, ага туура келбегени жалган. Ошол эле учурда туура же жалган экендигин аныктоого мүмкүн болбогон өкүмдөр бар - эки ача өкүмдөр.
Сүйлөмдөр сүйлөм аркылуу тилде айтылат. Сүйлөм логикалык категория болсо, сүйлөм грамматикалык категория. Сүйлөмдөр негизинен сүйлөм аркылуу айтылат. Каймана маанидеги сүйлөмдөрдөгү гана пикир оң же терс болот.
Маселен, «Убакыт артка кайтпайт», «Жашоо бир кыймыл» деген сыяктуу сөздөр өкүмдү билдирет.
Жөнөкөй өкүмдөр
Сүйлөмдөр түзүлүшү боюнча жөнөкөй жана татаал. Жөнөкөй сүйлөм башка сүйлөмдөн ажыратылбай турган пикирди билдирет. Эки же андан көп сүйлөмгө бөлүнүүчү сүйлөм татаал сүйлөм деп аталат. Мисалы, "Логиканы изилдөө туура ой жүгүртүү маданиятын түзөт" деген сөз жөнөкөй пикирди билдирет. «Логика илими ой жүгүртүүнүн формаларын жана мыйзамдарын изилдейт» деген сөз татаал сөз. Бул ой жүгүртүүнүн курамы эки жөнөкөй сүйлөмдөн турат: «Логика илими ой жүгүртүүнүн формаларын изилдейт» жана «Логика илими ой жүгүртүүнүн мыйзамдарын изилдейт».
Ой жүгүртүүнүн (соттун) түзүлүшүндө логикалык жана логикалык бөлүмдөрдү ажыратууга болот. Логикалык ээси-субъект (С) каралып жаткан объектке жана окуяга тиешелүү. Логикалык сүйлөм-предикат (Р) субъекттин өзгөчөлүгүн, байланышын көрсөтөт. Предикатта айтылган билимдин аркасында предметти кабыл алуу байыйт. Сүйлөмдүн предикаты жана предикаты анын мүчөлөрү деп аталат.
Соттун үчүнчү маанилүү элементи логикалык байланыш болуп саналат. Ал предикат менен предикатты бири-бири менен байланыштырып, сүйлөмдү түзөт. Жөнөкөй туруктуу сүйлөмдүн формуласы төмөнкүчө жазылат: СП.
Кадимки өкүмдөр сапаты жана саны боюнча түрлөргө бөлүнөт. Жакшы жана терс баалоо сапаты боюнча айырмаланат. Соттун сапаты вантикалык байланыш менен аныкталат. Ырастоочу баалар белгинин предметке мүнөздүү экендигин, ал эми терс сүйлөмдөр, тескерисинче, анын конкреттүү эместигин көрсөтөт. Мисалы, «А. Орипов — Өзбекстан Республикасынын Гимнинин автору» - оң өкүм, «Математика коомдук илим эмес» - терс өкүм. Суммасы боюнча катардагы соттор бир, жалпы жана жарым-жартылай өкүмдөр болуп бөлүнөт. Ал предметте чагылдырылган объектилердин санына, башкача айтканда, анын өлчөмүнө негизделет.
Жекече баалоодо белгинин предметке мүнөздүүбү же жокпу деген пикир айтылат. Мисалы: «Өзбекстан Республикасы эгемендүү мамлекет», «Ахмедов тарыхчы эмес».
Жалпы пикирлер белгинин бардык класстагы бир объектилерге же андагы ар бир объектке тиешелүү же колдонулбайт деген пикирди билдирет. Мисалы: "Ар бир адам бактылуу болгусу келет", "Эч бир акылдуу адам убактысын текке кетирбейт".
Субъективдүү баалоодо белги предметтердин жыйындысынын бөлүгүнө мүнөздүү же мүнөздүү эместиги жөнүндө пикир айтылат. Мисалы: «Кээ бир философтор чечен». – Көпчүлүк студенттер жалкоо эмес. «Кээ бир» деген сөз Жузи өкүмдөрүндө «жок дегенде бирөө, бирок бардыгы» маанисинде колдонулат. Ошого жараша «Кээ бир таштар жандык эмес» деген сүйлөм туура, анткени эч бир таш жандык эмес.
Кандайдыр бир мааниде жекече өкүмдөрдү жамааттык өкүмгө теңесе болот. ×себеби эки өкүмдө бир нерсе топтомдогу объекттердин ар бирине тиешелүү же колдонулбайт деп көрсөтүлгөн. Жалгыз сүйлөмдө бул жыйнак бир гана темадан турат.
Чечимдердин туура же туура эместигин аныктоодо жана кээ бир башка учурларда сан жана сапат боюнча жөнөкөй өкүмдөрдүн бириктирилген классификациясы (негизги түрлөрү) колдонулат. Алар төмөнкүлөрдөн турат:
1. Жалпы ырастоочу өкүмдөр. Алар бир эле учурда жалпы жана ырастоочу ойду билдирет. Мисалы, «Бардык студенттер логиканы окушат». Бул өкүмдөр латын алфавитинде А тамгасы менен белгиленип, "Баары S-P" формуласы менен туюнтулган.
2. Жалпы терс сүйлөмдөр бир эле учурда жалпы жана терс ойду билдирет. Мисалы, “Бир дагы бизнесмен плансыз иштебейт”. Бул сүйлөм "No SP" формуласы менен туюнтулуп, латын Е тамгасы менен белгиленет.
3. Заттык жактан ырастоо өкүмдөр бир эле учурда субъективдүү да, ырастоочу да болот деген пикирди билдирет. Мисалы, «Кээ бир студенттер жооптуу». Ал латын тамгасы I менен белгиленет жана "Some SP is" формуласы менен көрсөтүлөт.
4. Жарым-жартылай терс сүйлөм бир эле учурда оң да, терс да болгон пикирди билдирет. Мисалы, «Кээ бир окуучулар спорт менен машыгышпайт». Анын формуласы "Эмес, кээ бир SP" жана латын тамгасы O менен белгиленет.
Жөнөкөй сүйлөмдөрдөгү терминдердин өлчөмү. Жөнөкөй сүйлөмдөрдөгү (С жана П) терминдер түшүнүктөр аркылуу берилгендиктен, алардын көлөмүнө жараша өз ара байланышын аныктоого болот. Сүйлөмдө терминдер (S жана P) толук же толук эмес түрдө кабыл алынат. Термин толук көлөмдө алынганда, анын өлчөмү башка терминдин өлчөмүнө дал келет же такыр дал келбейт (алардын өлчөмдөрү бири-бирин жокко чыгарат). Эгерде термин толук эмес көлөмдө алынса, анда анын көлөмү башкасынын көлөмүнө жарым-жартылай туура келет же андан жарым-жартылай алынып салынат. Жөнөкөй сүйлөмдөрдүн өлчөмү төмөнкүдөй:
1. А — Жалпы ырастоочу өкүмдөрдүн предмети ар дайым толугу менен кабыл алынат. Предикат кээде толук, кээде толук эмес. Мисалы: "Бардык адамдар тирүү жандыктар".
Бул сүйлөмдүн предмети «Адам», предикат «Тирүү жандык» түшүнүгү, «Ар бир адам» жалпылыктын сан көрсөткүчү. Бул сүйлөмдүн предмети бүтүндөй алынган, анткени анда бардык адамдар жөнүндө пикир айтылат жана бул түшүнүк «тирүү жандык» түшүнүгүнүн алкагына толук кирет. Анын предикаты бүтүндөй кабыл алынбайт, анткени ал тирүү жандыктардын бир бөлүгүн – адамдарды билдирет. Мунун тегерек диаграммасы төмөнкүдөй: (1-сүрөт).
P
SSP
1-сүрөт 2-сүрөт
Кээ бир жалпы ырастоочу чечимдерде S жана R да толук болушу мүмкүн. Мисалы, «Бардык мусулмандар Исламга ишенишет» (2-сүрөт).
2. Ооба – жалпы терс сүйлөмдөрдүн темасы да, предикаты да бүтүндөй кабыл алынат. Мисалы, “Ыймансыз ыймансыз болбойт”. Бул сүйлөмдө S ишенгендерди, P ишенбегендерди билдирет жана эч бири жалпылык сандык көрсөткүч эмес. Бул учурда эки терминдин өлчөмү бири-бирин жокко чыгарат (3-сүрөт).
SP 3-сүрөт
3. I – Жарым-жартылай ырастоочу өкүмдөрдүн предмети дайыма толук эмес, ал эми предикат кээде толук, кээде толук эмес. Мисалы: "Кээ бир студенттер англис тилин билишет." сүйлөмдүн шарттары төмөнкүдөй: S – студенттер, R – англис тилинде сүйлөгөндөр, кээ бирлери – катышуусунун квантору. Бул сүйлөмдө S да, Р да толук эмес көлөмдө алынган жана эки терминдин тең көлөмү бири-бирине жарым-жартылай дал келет (4-сүрөт).
4-сүрөт SP
Дагы бир мисалды карап көрөлү: "Кээ бир дарыгерлер хирург". Бул сүйлөмдө S - дарыгерлер, R - хирургдар, кандайдыр бир барлык сандык көрсөткүч. Сүйлөмдө предикат толук эмес, анткени ал кээ бир дарыгерлерге тиешелүү, ал эми предикат толук эмес, анткени бардык хирургдар дарыгер. Предикаттын өлчөмү предметтин өлчөмүнө киргендиктен, ал толук өлчөмдө алынат (5-сүрөт).
S
P
5-сүрөт.
4. О – Жарым-жартылай терс сүйлөмдөрдүн субъектиси дайыма толук эмес формада, ал эми предикат толук формада алынат. Мисалы, “Кээ бир жаштар уста эмес”. Бул өкүмдүн шарттары S - жаштык, R - уста эмес, кээ бир - барлык сандык көрсөткүч. Сүйлөмдүн предмети толук алынбай, анда жаштыктын бир бөлүгү гана чагылдырылат. Ал эми сүйлөмдүн предикаты толук алынат. Анда бардык өнөрпоздор түшүндүрүлөт (6-сүрөт).
P
6-сүрөт
Жогоруда айтылгандарды жыйынтыктап, жалпы өкүмдөрдүн предмети дайыма толук формада, ал эми жарым-жартылай өкүмдөрдүн предмети толук эмес формада алынат деп айтууга болот. Терс сүйлөмдөрдүн предикаты дайыма толук формада болот. Бекитүүчү сүйлөмдөрдүн предикаты R S болгондо гана толук, башка учурларда толук эмес болот.
Катуу силлогизмди туура куруу жана түз жыйынтык чыгаруу үчүн сүйлөмдөрдөгү терминдердин өлчөмүн аныктоонун мааниси чоң.
Жөнөкөй сүйлөмдөрдөгү терминдердин өлчөмүн төмөндөгү схема менен даана көрсөтүүгө болот. Бул жерде "+" толук өлчөмдү, "" толук эмес өлчөмдү билдирет.
Сүйлөмдөрдүн түрлөрү
Белги сүйлөмдүн формуласы Терминдердин чоңдугу Терминдердин катышы
СП Математикалык логикада формалдуу логикада
Жалпы оң чечим A All SP
S a P x(S(x)P(x)) + SP
Жалпы терс өкүм Ye None S–P
S e P x(S(x)
+ + SP
Жарым-жартылай ырастоочу өкүм I белгилүү S–R
S i P x(S(x) P(x)) — SP
Жарым-жартылай терс баа берүү O Кээ бир S–P эмес
S o R x(S(x)
— + SP
Предикаттын мазмунуна карай жөнөкөй сүйлөмдүн түрлөрү. Аларга төмөнкүлөр кирет: атрибутивдик өкүмдөр, бар болуу өкүмдөрү жана реляциялык өкүмдөр. Атрибутивдик (атрибуттук жана мүнөздөмөлүү) баалоодо белгинин предметке мүнөздүү же мүнөздүү эместиги так жана катуу көрсөтүлөт. Демек, атрибутивдик баалоолорду объекттин класска кирүү (таануу) же кирбөө (таануу эместиги) жөнүндөгү пикирлер катары аныктаса болот.
Мисалы: "Бардык дарактар - өсүмдүктөр" жана "Бир да өсүмдүк жаныбар эмес". Биринчи сүйлөмдө бак-дарактар өсүмдүктөр классына кирет деген пикир айтылса, экинчи сүйлөмдө өсүмдүктөр жана жаныбарлар классынын жалпылыгы жок деген пикир айтылат.
Эки, үч ж. Мисалы: "Бүтүндөй кесимден чоңураак". "Экиден же үчтөн кичине сан". Биринчи сүйлөмдө бүтүн менен бөлүктүн ортосундагы “чоңдук” байланышы ырасталса, экинчи сүйлөмдө үч саны менен экинин ортосундагы байланыш жөнүндөгү пикир ырасталган.
Мамилелер жөнүндө баалоо сапаты боюнча оң же терс баамдардын түрлөрүнө бөлүнөт. Ырастык байланыштуу сүйлөмдөр предметтердин бири-бирине белгилүү бир байланышта болгондугу жөнүндөгү пикирди билдирет. Терс мамиленин өкүмдөрүндө объектилердин ортосунда айрым мамилелер жок деген пикир берилет.
Карым-катнаш өкүмдөрү да өлчөмүнө жараша түрлөргө бөлүнөт. Тактап айтканда, эки позициялык мамилелердин өкүмдөрү көлөмү боюнча жеке-жеке, жалпы-жалпы, конкреттүү-өзгөчө, жеке-жалпы, жеке-жартылай, жалпы-жартылай, жарым-жартылай-жалпы түрлөргө бөлүнөт.
Мисалы: «Агасы агасынан узун» (жалгыз); «Биздин группанын ар бир студенти биздин факультеттеги бардык мугалимдерди билет» (жалпы); «Биздин группадагы кээ бир студенттер Индиянын кино жылдыздары менен тааныш» (жарым-жартылай). «Тарых мугалими биздин тайпадагы ар бир окуучуну жакшы билет» (жалпы-жалпы); «Досум кээ бир маселелерди чече алат» (сингулярдуу); "Биздин тайпадагы бардык студенттер англис тилин үйрөнүшөт" (жалпы-сингулярдуу); «Биздин группадагы кээ бир студенттер француз тилин үйрөнүшөт» (жеке); «Биздин группадагы кээ бир студенттер «Пахтакор» командасынын ар бир оюнчусун билишет» (жарым-жартылай жалпы).
Үч орундуу, төрт орундуу ж.б. маанай өкүмдөрү да жогорудагыдай түрлөргө бөлүнөт.
Атрибутивдик жана байланыштык сүйлөмдөрдөн тышкары болмуш сүйлөмдөрүн (Китепканада логикалык окуу китеби бар), объективдүү сүйлөмдөрдү ("АБ" формасында) жана модалдык сүйлөмдөрдү (It might be raining) көрсөтүүгө болот. Кээ бир окуу китептеринде, алар жөнөкөй катуу сот түрлөрү катары чечмеленет. Биз өкүмдөрдүн бул түрлөрүн өз-өзүнчө карап көрбөйбүз, анткени барлык өкүмдөр көбүнчө атрибутивдик өкүмдөр, ал эми субъективдүү өкүмдөр реляциялык өкүмдөр катары чечмелениши мүмкүн.
Ошондой эле, айырмалоочу жана четтетүү өкүмдөрү жөнөкөй өкүм түрлөрү катары айырмаланат. – Сынакка биздин тайпадан 4 гана окуучу катышат. Бул басмырлоочу өкүм. «Логика тарыхы» курсунан башка бардык окутулган предметтер боюнча окуу китептери жетиштүү. Бул жокко чыгаруучу өкүм.
3. Татаал өкүмдөр. Эгерде сүйлөмдүн мүчөлөрү бирден көп болсо, ал татаал сүйлөм деп аталат. Татаал сүйлөмдөр эки же андан көп жөнөкөй сүйлөмдөрдүн айкалышуусу аркылуу логикалык байланыштарды, жокко чыгаруу жана «жана», «же», «эгер... анда» сыяктуу модалдык терминдерди колдонуу менен түзүлөт. Логикалык байланыштыруучунун мазмуну боюнча татаал сүйлөмдөрдүн төмөнкүдөй негизги түрлөрүн ажыратууга болот: унитардык, кемитүү, шарттуу, эквиваленттүү.
Эки же андан көп жөнөкөй сүйлөмдөрдүн «жана», «жана», «жана» сыяктуу логикалык байланыштыруучуларынын жардамы менен байланышып түзүлгөн сүйлөмдөрдү байланыштырган (конъюнктивдүү) сүйлөмдөр атайт. Мисалы: 1.»Коңгуроо кагылып, сабак башталды». 2. «А. Навои акын жана мамлекеттик ишмер болгон. 3. «Мухаммед Хорезми менен Ахмад Фаргани математиканын өнүгүшүнө чоң салым кошушкан».
Биринчи бириктирүүчү сүйлөм эки өз алдынча жөнөкөй сүйлөмдүн байланышы аркылуу түзүлөт. Экинчи сүйлөмдө бир эле темадагы эки жөнөкөй сүйлөм байланышат. Үчүнчү байланыштыруучу сүйлөмдө бир эле предикаттуу эки жөнөкөй сүйлөм байланышат. Өзбек тилинде да байланыштыруучу сүйлөмдөр «аммо», «бирок», «бирок», (,) сыяктуу байланыштар менен түзүлөт. Логикалык байланыштар конъюнктура белгиси, «» менен көрсөтүлөт.
Эгерде байланыштыруучу (бириктирүүчү) сүйлөмдүн курамындагы жөнөкөй сүйлөмдөрдү “r” жана “q” шарттуу белгилери менен белгилесек, анда бул сүйлөм “pq” формуласы менен туюнат. Жалгаштуу сүйлөмдөгү жөнөкөй сүйлөмдөр чын же жалган болушу мүмкүн. Конъюнктивдүү сүйлөм андагы жөнөкөй сүйлөмдөрдүн баары чын болгондо чын болот. Бардык башка учурларда, ката болот. Мисалы, «Калп айтуу, уурдоо кылмыш» деген сүйлөмдөгү биринчи жөнөкөй сүйлөм туура болбогондуктан, бул сүйлөм туура эмес.
pqp q
ээк
ээк
ката
ката чындык
ката
ээк
ката чындык
ката
ката
ката
Дизюнктивдүү сүйлөм деп жөнөкөй сүйлөмдөрдүн “же”, “же”, “же” логикалык байланыштарынын жардамы менен түзүлгөн айтым айтылат. Бул байланыштар эки жөнөкөй сүйлөмдү же бир нече предикатты же бир нече предикатты бөлүп турат. Мисалы: «Кадыров философияны, же социологияны, же психологияны окуп жатат». – Экинчи саатта же математика, же чет тил сабагы болот. Дизъюнкциялык байланыштар "V" дизъюнкциялык белгиси менен берилет. Дизюнктивдүү сүйлөмдөр жөнөкөй же катаал түргө бөлүнөт. Жөнөкөй ажыратуучу сүйлөмдө жөнөкөй сүйлөмдөрдүн бири же баары чын болушу мүмкүн, ал эми катуу ажыратуучу сүйлөмдө жөнөкөй сүйлөмдөрдүн бирөө гана туура болот. Жөнөкөй ажырагыч сүйлөм (pq) формуласы менен, катаал ажыратуучу сүйлөм формула менен аныкталат. Дизюнктивдүү сүйлөмдөрдүн туура болушунун шарттары төмөнкүдөй:
pqr qpq
ээк
ээк
ката
ката чындык
ката
ээк
ката чындык
ээк
ээк
ката чындык
ээк
ката
ката чындык
ката
ээк
ката катасы
ээк
ээк
ката
— Х.Х.Ниязи акын же драматург. Бул жөнөкөй ажыратуучу сүйлөм. «Абдуллаев мелдеште же жеңет, же жок. Бул катуу ажыратуучу сүйлөм.
Шарттуу (импликативдик) сүйлөм эки жөнөкөй сүйлөмдүн “эгер... анда” логикалык байланышы аркылуу айкалышуудан турат. Шарттуу сүйлөмдүн маңызын аныктоо үчүн зарыл жана жетиштүү шарттар түшүнүктөрүн айырмалоо зарыл. Окуянын зарыл шарты – анын болушун камсыз кылуучу шарт. Эгерде окуянын шарты зарыл болбосо, окуя болбойт. Мисалы: «Өсүмдүк суусуз калса, куурап калат».
Окуянын жетишээрлик шарты деп ошол шарт болгон учурда ошол окуя байкалган абал деп аталат. Мисалы: "Жамгыр жааса, анда үйлөрдүн чатыры суу болот". Шарттар "жетиштүү, бирок зарыл эмес", "зарыл, бирок жетиштүү эмес", "зарыл жана жетиштүү" болушу мүмкүн. Мисалы: N экиге жана үчкө бөлүнүшү анын алтыга бөлүнүшүнүн зарыл жана жетиштүү шарты. N экиге бөлүнүшү анын алтыга бөлүнүшү үчүн зарыл, бирок жетиштүү шарт эмес. N онго бөлүнүшү анын экиге бөлүнүшү үчүн жетиштүү, бирок зарыл шарт эмес.
Шарттуу сүйлөмдүн составында негиз жана натыйжа мүчөлөрү түрдүүчө болот. Шарттуу сүйлөмдүн "Эгерде" жана "анда" деген сөздөрүнүн ортосундагы бөлүгү негиз, ал эми "Анда" деген сөздөн кийинки бөлүгү жыйынтык деп аталат. “Жамгыр жааса үйлөрдүн чатыры суу болот” деген сүйлөмдө “Жамгыр жааса” деген сүйлөм негиз, ал эми “үйлөрдүн чатыры суу болот” деген сүйлөм жыйынтыкталган.
Демек, негизде көрсөтүлгөн окуя, анын натыйжасында сүйлөм жазылган окуянын болушунун жетиштүү шартын билдирген окуя шарттуу сүйлөм деп аталат.
Шарттуу (имплициттүү) сүйлөмдөр “эгер... анда” () логикалык байланышы менен берилет. Логикада азыркы чак () белгиси менен белгиленет. Бул белгилер материалдык импликация символдору деп аталат. Шарттуу сүйлөм импликативдик сүйлөм деп аталат. Импликативдик өкүмдүн негизи антецедент, ал эми натыйжасы жыйынтык деп аталат. Импликативдик сүйлөм бардык учурларда туура болот, антецедент чын жана натыйжасы жалган болгондон башка учурларда:
pqpq
ээк
ээк
ката
ката чындык
ката
ээк
ката чындык
ката
ээк
ээк
Эквиваленттүү сүйлөмдөр эки жөнөкөй сүйлөмдүн “эгер жана гана болсо... анда” логикалык байланышынын жардамы менен байланышып түзүлөт. Табигый тилде тең салмактуу сүйлөм шарттуу сүйлөм түрүндө берилет. Мындай учурларда шарттуу жаза эквиваленттүү жаза экенин аныктоо керек болот. Эгерде шарттуу сүйлөмдүн негизи келип чыккан пикирдин зарыл жана жетиштүү шарты болуп эсептелсе, анда бул сүйлөм эквиваленттүү сүйлөм болуп саналат. Мисалы: "Эгер берилген бүтүн сан жуп сан болсо, анда ал экиге калдыксыз бөлүнөт."
Эквиваленттүү сүйлөмдүн логикалык байланыштыруучусу () белгиси, башкача айтканда, (мазмундук) барабардыктын белгиси менен берилет. Эквиваленттүү сүйлөмдүн туура болушунун шарттары төмөнкүдөй:
pqpq
ээк
ээк
ката
ката чындык
ката
ээк
ката чындык
ката
ката
ээк
4. өкүмдөрдүн (соттордун) ортосундагы мамилелер.
Пикирлер (соттор), түшүнүктөр сыяктуу эле салыштырылуучу (жалпы предмети же предикаты бар) жана салыштырылбаган түрлөргө бөлүнөт. Салыштырылуучу ойлор компакттуу же компакттуу эмес. Логикада эки өкүмдүн биринин чындыгы (r жана q) сөзсүз түрдө экинчисинин жаңылышынан келип чыкса, алар бири-бирине дал келбеген өкүмдөр (соттор) деп аталат. Кысылбай турган өкүмдөр бир эле учурда туура боло албайт. Кыска билдирүүлөр толугу менен же жарым-жартылай так бир ойду билдирет. Кошумча өкүмдөр (соттор) өз ара эквиваленттүүлүктүн, логикалык баш ийүүнүн жана жарым-жартылай дал келүүчүлүктүн (субконтративдик) катышында болот.
Ыйгарымсыз өкүмдөр карама-каршылык (карама-каршы) жана карама-каршылык (каршылык) байланышында болот. Соттордун (соттордун) ортосундагы мамилелердин схемалык түрдө чагылдырылышы «логикалык квадрат» деп аталат. Логикалык квадрат аркылуу өкүмдөрдүн (соттордун) ортосундагы чындык мамилелери аныкталат.
Карама-каршы
bb
о' о'
yy
ss
II
nn
II
ш ш
I субподрядчы О
Мисалы, «Ар бир коомдун өзүнүн моралдык нормалары бар». Бул жалпы ырастоочу өкүм (сот). Ye, I, O төмөнкүчө чагылдырылат:
же. Эч бир коомдун өзүнүн моралдык нормалары жок.
I. Кээ бир коомдордун өзүнүн моралдык нормалары бар.
O. Кээ бир коомдордо өздөрүнүн моралдык нормалары жок.
Бул өкүмдөр салыштырылуучу өкүмдөр (соттор) болуп саналат жана алардын чындыгына жараша алардын ортосунда белгилүү бир байланыш бар.
Салыштырмалуу өкүмдөрдүн (соттордун) ортосунда карама-каршылык (каршы) жана карама-каршылык (каршылык) мамилелери бар. Мазмуну боюнча бири-биринен айырмаланган жалпы пикирлердин ортосунда карама-каршылык байланышы бар жана бул катышка ылайык экөө тең бир убакта туура боло албайт. Бул өкүмдөр бир эле учурда жаңылышы мүмкүн; эгерде алардын бири ачык-айкын чын болсо, экинчиси жалган болушу керек. Жогоруда келтирилген мисалдардан А – чыныгы өкүм, Йе – жалган өкүм экендиги белгилүү.
Конфликттик байланыш мазмуну жана өлчөмү боюнча айырмаланган өкүмдөрдүн (сотторунун) ортосунда болот. Бул эки пикирдин (соттун) экөөсү тең бир убакта туура жана жалган боло албайт. Алардын бири дайыма чындык, экинчиси дайыма жалган. Жогорудагы мисалдардан А чын, О жалган. Ошондой эле, мен өкүм (сот) акыйкатмын, Йе – өкүм (сот) туура эмес.
Бири-бирине шайкеш келген өкүмдөрдүн (соттордун) ичинде мазмуну бирдей, өлчөмү ар башка сүйлөмдөр өз ара баш ийүү мамилесинде болот. Мында жалпы өкүмдөр (соттор) баш ийүүчү, жарым-жартылай өкүмдөр (соттор) баш ийүүчү болуп саналат. Эгерде жалпы өкүмдөр баш ийүүчүлүккө карата туура болсо, аларга баш ийген жарым-жартылай өкүмдөр да туура болот. Ал эми жарым-жартылай өкүмдөр чын болгондо, жалпы өкүмдөр белгисиз (чын же жалган). Жогорудагы мисалдан А өкүмү (сот) чындык болгондуктан, багынуучу I өкүм (сот) да туура болот. Эгерде жалпы өкүмдөр (соттор) туура эмес болсо, аларга баш ийген жарым-жартылай өкүмдөр белгисиз (чын же жалган) болот. Биздин мисалда Йе - ой жүгүртүү (сот) туура эмес болгондуктан, О - ой жүгүртүү (сот) да туура эмес. Кээ бир учурларда, жалпы өкүмдөр жалган, ал эми жарым-жартылай өкүмдөр чындык.
Ар кандай мазмундагы жарым-жартылай өкүмдөрдүн ортосунда жарым-жартылай дал келүү (субконтративдик) байланыш бар. Бул сөздөр бир эле учурда туура болушу мүмкүн, бирок экөө тең бир убакта жалган болушу мүмкүн эмес. Алардын бири ачыктан ачык жалган болсо, экинчиси чын болушу керек. Жогорудагы мисалыбызда О - ой жүгүртүүнүн (соттун) катасы ачык болгондуктан, I - ой жүгүртүү (сот) туура.
Эквиваленттүү сүйлөмдөр бир эле ойду ар кандай жолдор менен туюнткандыктан ар дайым туура болот. Мисалы, «А. Орипов — Өзбекстан Республикасынын гимнинин автору» жана «А. Орипов – Өзбекстандын Баатыры» өкүмдөрү (соттору) өз ара эквиваленттүү, башкача айтканда, предикаттары бир, бирок предикаттары ар башка болгон өкүмдөр (соттор).
Өкүмдөрдүн чындыгына жараша мамилесин билдирген жогоруда аталган мыйзамдар билимде чоң мааниге ээ.
Негизги түшүнүктөр
1. Түшүнүк – адамдын аң-сезиминде нерселердин жалпы жана маанилүү белгилерин толук чагылдырган ой жүгүртүү формасы.
2. Талдоо – изилденүүчү объектти анын курамдык бөлүктөрүнө бөлүү ыкмасы.
3. Синтез – нерселерди жана окуяларды бир бүтүн катары карап чыгуу, алардын составдык бөлүктөрүн бири-бири менен байланыштыруу ыкмасы.
4. Категория – түшүнүктүн өзгөчө түрү. Категория – адамдын аң-сезиминдеги предметтердин өз ара мамилелерин жана байланыштарын эң жалпы түрдө чагылдырган илимий түшүнүк.
5. Аныктама – түшүнүктөрдү аныктоо.
6. Классификация – классификация, категориялаштыруу, бул болуунун эң кемчиликсиз формасы.
7. Субъект сүйлөмдүн ээси болуп саналат. (S), соттун биринчи түшүнүгү болуп саналат.
8. Предикат сүйлөмдүн мүчөсү (Р), сүйлөмдүн экинчи түшүнүгү.
9. Байланыштуу сүйлөмдөр бириктирүүчү сүйлөмдөр.
10. Дизюнктивдүү сүйлөм – кемитүү сүйлөмдөр.
11. Импликативдик сүйлөм – шарттуу сүйлөмдөр.
Суроолорду карап чыгуу
1. Түшүнүктү түзүү үчүн кандай логикалык ыкмалар колдонулат?
2. Түшүнүктөр ортосунда кандай байланыштар бар?
3. Түшүнүктөр менен кандай логикалык операцияларды билесиз?
4. Сүйлөм деген эмне жана ал кандай түзүлүштө?
5. A, E, I, O сүйлөмдөрүндөгү терминдер кандай өлчөмдөрдө болот?
6. Татаал сүйлөм деген эмне? Кандай түрлөрү бар?
Тема боюнча тапшырмалар жана сунуштар
1. Ой жүгүртүүнүн негизги формаларынын түзүлүшү жана түрлөрү боюнча материалдарды терең өздөштүрүү.Алардын ар бирине мисал келтиргиле.
2. Түшүнүктүн негизги түрлөрүн, ой жүгүртүүсүн, корутундусун жана алардын ортосундагы байланышты түшүнүү.
3. Ар бир түшүнүктүн, өкүмдүн, корутундунун түрлөрүнө мисал келтиргиле.
4. Корутундунун өзгөчө белгилерин аныктоо жана илимий индукциянын маңызын түшүнүү.
АДАБИЯТТАР ТИЗМЕСИ
1. Өзбекстан Республикасынын Конституциясы. - Т.: Өзбекстан, 2003.
2. Биздин негизги милдетибиз – мамлекетибиздин өнүгүүсүн, элибиздин бакубаттуулугун мындан ары жогорулатуу. Президент Ислам Каримовдун 2009-жылдагы өлкөбүздүн социалдык-экономикалык өнүгүүсүнүн жыйынтыктары жана 2010-жылга экономикалык программанын эң маанилүү артыкчылыктары боюнча министрлер кабинетинин жыйынында сүйлөгөн сөзү. Элдик сөз, 2010-январь, 30-жыл.
3. Биздин приоритетибиз – өлкөбүздү жаңылоо жана күчтүү жарандык коомду куруу. Өзбекстан Республикасынын Олий Мажлисинин Мыйзам чыгаруу палатасы менен Сенатынын биргелешкен жыйыны жөнүндө маалымат. 2010-январь, 28-жыл.
4. Өзбекстандын Конституциясы биз үчүн демократиялык өнүгүү жана жарандык коомду куруу жолунда бекем негиз болуп саналат. Президент Ислам Каримовдун Өзбекстан Республикасынын Конституциясынын кабыл алынгандыгынын 17 жылдыгына арналган салтанатта сүйлөгөн сөзү. «Эл сөзү», 2009-декабрь, 6-жыл.
5. Каримов И.А. Дүйнөлүк финансылык-экономикалык кризис, Өзбекстандын шарттарында аны жоюунун жолдору жана чаралары. - Т.: Өзбекстан, 2009.
6. Каримов И.А. Жогорку руханият – жеңилбес күч. -Т., «Руханият», 2008-ж.
7. Каримов И.А. Өзбекстандын 16 жылдык эгемендик өнүгүү жолу. Т., «Өзбекстан», 2007.
8. Каримов И.А. Өзбек эли эч качан эч кимге көз каранды болбойт. - Т.: Өзбекстан, 2005.
9. Каримов И.А. Биздин негизги максатыбыз – коомду демократиялаштыруу жана жаңылоо, өлкөнү модернизациялоо жана реформалоо. Т., «Өзбекстан», 2005.
10. Каримов И.А. Империянын тушунда бизди экинчи сорттогу адамдар деп эсептешчү. Т., «Өзбекстан», 2005.
11. Платон. Мыйзамдар. -Т.: Жаңы доордун мууну, 2002-ж.
12. Бор МЗ Основи экономических исследований. Логика, методология, уюштуруу методологиясы. М., «ДИС», 1998. 144 б.
13. Бочаров В.А., Маркил VI. Негизги логика: Учебник. -М.: ФОРУМ: ИНФРА. 2005. -336 б.
14. Войшвило Е.К., Дегтярев М.Г. Логика. - М.: Владос, 1998.
15. Горский Д.П., Ивин А.А., Никифоров А.А. Краткий словар по логике. - М.: Владос, 2000.
16. Гетманова А.Д. Логика (словарь и задачник) — М.: Владос, 1998.
17. Дегтяров М.Г., Хмелевская С.А. Логика. - М.: «ПЕРСЕ», 2003.
18. Джек Траут. «Новое позитситонирование». «Башкаруу-нун теориясы жана практикасы» сериясы. Spb. «Петр», 2000. 192 б.
19. Ерина Е.Б. "Логика: Учебное пособье. -М.: Изд-ва, РИОР, 2006. -112 б.
20. Ивин А.А., Никифиров А.Л. Словарь по логике. - М.: Владос, 1998.
21. Ивлев Ю.В. Логика: Окуу китеби. 3rd izd. Pererab. мен доп. М.: Т.К.Уэлби, Изд-во. Проспект. 2006. -288 б.
22. Курбатов В.И. Логика. - Ростов-на-Дону. Phoenix, 1997, II бөлүм "Теория жана практикалык аргументация".
23. Никифиров А.Л. Логика. - М.: Вес мир, 2001.
24. Махкамов Ж., Гудратова У., Бахадиров О. Логика. - Т., 2005.
25. Минто В. «Дедуктивдүү жана индуктивдүү логика». SPb. ТИТ «Комета», 1995. 464 б.
26. Светлов В.А. Практикалык логика. SPb. «МИМ», 1997. 576 б.
27. Skorik UD Логика жана схема. - М.: Прометей, 2004.
28. Скирбек Г., Гилс Н. Философия тарыхы. -Т.: Шарк, 2002.
29. Трояновский В.М. Логика жана башкаруу. - М.: Изд. RDL, 2001, 240 б.
30. Шарипов М., Файзихожаева Д. Логика. Лекциялардын тексти. - Т., 2000.
31. Шарифхожаев М., Абдуллаев Ё. Башкаруу: 100 суроо-жооп. - Т.: Эмгек, 2000-ж.
32. Философия энциклопедиялык сөздүгү. - Т.: Шарк, 2004.
33. Кудратова У. «Логика» предмети боюнча өз алдынча иштөө үчүн тесттер жана көнүгүүлөр топтому. Т., ТДИУ, 2009.
34. «Чындык пейзаждары» 96 классикалык философ. -Т.: Жаңы доордун мууну, 2002-ж.
35. www.gov.uz.
36. www.press-service.uz.
37. www.bilim.uz.
38. www.philosophy.ru.
39. www.filosofiya.ru.
40. www.philosophy.nsc.ru.
41. http//philosophy.albertina.ru.
42. www.history.ru.
43. www.philosophy.com.
