ЛОГИКА (гр. logos — сөз, түшүнүк, таңкуулоо, акыл-эс) — формалдуу — билимдин бардык тармактарындагы рационалдуу туюмдун жалпы маанилүү формалар ж-дөгү окуу ж-а ойлоонун зарыл каражатары. Ойлоонун жалпы маанилүү формаларына: талкулоо, акыл-эс корунтулар түшүнүктөрү кирет. Ал эми жалпыга маанилүү ойлоонун каражаттарына — аныктама, эреже (принциптер) түшүнүктөр, талкулоо ж-а акыл-эс корундулардын түзүлүшү, бир талкуулоодон, же акыл-эс корутундуулардан экинчисине өтүү эрежелери… Кененирээк »
ЛОГИКАНЫН ИЛИМИ, Гегелдин диалектикалык методу кеңири түшүндүргөн, «Чоң логика» («Wissenschaft logik» 1812-16) деп аталган негизги чыгармасы. Ал «Болмуш туурасында илим», «Маңыз туурасында илим», «Түшүнүк туурасында илим» деген үч бөлүктөн турат. Гегель 1831-жылы анын 2- басылышын басууга даярдай баштап, толук кайра иштеп чыга албай калган. Кайра иштеп чыгууга үлгүргөн 1-бөлүгү 1833-жылы басылып чыккан. Гегелдин ою б-ча, логиканын милдети дүйнөнү… Кененирээк »
МОДАЛДЫК ЛОГИКА — составына модалдуулук (модалдык операторлор) «зарылчылык», «мүмкүнчүлүк», «чындык», «кокустук» ж-а аларды тануу кирген ой жүгүртүү структурасын үйрөнүүнү изилдеген логикалык система. Аристотелдин, стоиктердин, схоластиктердин эмгектеринде эле М. л-нын айрым негизги аныктамалары ж-а мыйзамдары белгиленген. Модалдулукту математикалык (символикалык) логиканын каражаттары м-н изилдөө К. Люистин ж-а Лукасевичтен башталган. Алар модалдуулук абсолюттук мүнөзгө ээ болгон модалдык логика системасын сунушташкан, б.… Кененирээк »
УБАКТЫЛУУ ЛОГИКА (Временная логика) — чыныгы мааниси убакыттын тигил же бул белгилүү кырдаалында (аралыгында) объектин жашоосунун байланышын көрсөткөн, айтылган пикирлердин операцияларын изилдөөлөрдө формалдуу-логикалык эсептөөлөрдө колдонулуучу математикалык логиканын багыттарынын бири: чыныгы мааниси убакыттын параметринен көз каранды болгон пикирлерди «убактылуу» пикирлер деп аташат. Убактылуу логиканын пайда болушун 20-к-дын 40-жылдарына таандык деп эсептешет. Себеби Дж. Н. Финдлей «Убакыт: кээ бир табышмактарды… Кененирээк »
