Биз күнүмдүк жашоодо дайыма логикалык мыйзамдарга туш болобуз. Бирок, тилекке каршы, бул илимди изилдөө жогорку окуу жайлардын бир нече факультеттеринде гана толук түрдө жүргүзүлөт.
Түшүнүктөрдүн ар кандай түрлөрү бар, алардын логикасы байыркы доорлордо байкалат. Мунун баары Аристотелдин «Органон» китебинен башталат (бул ой жүгүртүү жөнүндөгү алты трактаттын салттуу аталышы, бул философтун эмгектерин басып чыгаруучу Родостук Андронник сунуш кылган).
Кийинчерээк Аристотелдин идеяларын кайра жаралуу доорунун ойчул, өз доорунун алгачкы эмпириктеринин бири Фрэнсис Бэкон өзгөрткөн. Философ өзүнүн трактатына «Жаңы Органон» деген ат койгон. Ал Аристотелдин ойлоруна скептицизмдин үлүшү менен жооп берип, илимдин милдети таанып-билүүнүн жаңы ыкмасын куруу жана бардык адамдарга пайда келтирүү деп эсептеген. Бэкон эски логиканы сындаган, анын ою боюнча, ой жүгүртүү жөнүндөгү билимдин жалпы системасына баш аламандык гана алып келген. Ал тажрыйбага жана индуктивдүү ыкмага артыкчылык берген.
Белгилей кетсек, логика 20-кылымда өзгөчө интенсивдүү өнүгүп, ыктымалдык, математикалык, так жана жакшы координацияланган системага айланган. Бирок азырынча формалдуу логикалык мыйзамдардын чоң методологиялык мааниси барбардык илимдер үчүн баалуулук.
Формалдуу логика
Анын мыйзамдары түшүнүктөрдүн түрлөрүн да камтыйт. Логика презентация схемасын түзөт, ал чынжырча "түшүнүк - өкүм (же билдирүү) - корутунду". Эң жөнөкөй, бирок ошол эле учурда негизги түшүнүк. Айтымды куруудан жана анын негизинде корутунду (корутунду) чыгаруудан мурда предмет жөнүндө түшүнүккө ээ болуу, анын маанилүү белгилерин түшүнүү зарыл. Бул чыгармачыл ой жүгүртүү көбүнчө курулган сенсордук кабылдоолордун бир эле сүрөттөрү эмес. Белгилер жөнүндө сөз кылып жатып, алар айырмачылыктын же окшоштуктун өзгөчө белгилерин билдирет. Айырмалоочу өзгөчөлүк - бул белгилүү бир предметке гана мүнөздүү болгон касиет.
Түшүнүк – бул объекттин маанилүү жана жалпы белгилеринин жалпылыгы (же бирдиги) түрүндөгү ойдон чыгарылган чагылуу.
Түшүнүктөрдүн логикалык түрлөрүн карайт, алардын мисалдарын табуу абдан оңой. «Мышык» деген сөздү айтып, биз белгилердин белгилүү бир топтомун элестетебиз: тырмак, жүн, мурут, мияулоо, чычкандарды кармоо. Бул топтом өзүнчө бир түшүнүк, ошондуктан "мышык" түшүнүгү татаал деп айтсак болот. Ал жогоруда айтылган башка түшүнүктөрдү камтыйт.
Түшүнүктөрдүн түрлөрү
Түшүнүктөр төмөнкүдөй болушу мүмкүн:
1. Каттоо («кандай инсан?», «Качан?», «Кайда?» деген суроолорго жооп беришет). Мындай түшүнүктөрдүн мисалдары: "бугун Ивановодо жашаган адамдар", "Мадагаскар аралы", "Фёдор Достоевский". Алар өз кезегинде сингулярдуу (белгилүү бир предметти билдиргендер - "Джек Лондон") жана жалпы ("жазуучу", "мамлекет") болуп бөлүнөт.
2. Катталбаган («сөз», «жаныбарлар», «адам»). Аларды сапаттык жактан гана аныктоого болот, аларга кирген түшүнүктөрдүн чексиз чөйрөсү бар, мунун натыйжасында алардын көптөгөн элементтерин эсепке алуу мүмкүн эмес. Логика кээде түшүнүктөрдүн бул түрлөрүн ачык (катталбаган) жана жабык (катталган) деп бөлөт.
3. Белгилүү бир түшүнүктүн реалдуу дүйнөдөгү бир нерсеге дал келүүсүнүн же дал келбестигинин негизинде бош эмес жана бош.
4. абстракттуу жана конкреттуу. Биринчилери объекттин мамилелери же касиеттери жөнүндө түшүнүктөр («намыс», «кадыр-барк», «эрдик»), ал эми экинчилери конкреттүү объектилер жөнүндө («тиреги», «аары уюгу») сүйлөйт.
5. Терс (белгилүү бир объектинин касиеттеринин жоктугу жөнүндө сөз кылуу, мисалы, “адам эмес”, “мышык эмес”) жана позитивдүү (“мышык”, “адам”).
6. Салыштырмалуу жана тиешеси жок. Логика түшүнүктөрдүн бул түрлөрүн бири-биринен көз каранды жана көз карандысыз катары мүнөздөйт. Башкача айтканда, мисалы, "жүзүм" жана "бут" түшүнүктөрү бири-биринен эч кандай көз каранды эмес, ошондуктан аларды тиешеси жок деп эсептесе болот.
Тыянак
Формалдуу логикада бир нече кылымдар бою эң тажрыйбалуу ойчулдар тарабынан аныкталган бир катар кемчиликтер бар. Демек, азыркы логика формалдуу логиканын принциптерин сактаганы менен, экинчисинен өзүнүн бир кыйла кемчиликсиз түзүлүшү менен айырмаланат. Ошондой эле, бул илим кеңири колдонулатар кандай эсептөөлөр үчүн математика. Бирок логикада түшүнүктөрдүн аныктамаларынын түрлөрү бүгүнкү күндө да актуалдуулугун жоготпой келет. Демек, ар бир ой жүгүрткөн адам жөн гана "түшүнүк" сыяктуу терминдин түзүмү менен таанышышы керек.
