Логика: Нұсқалар арасындағы айырмашылық

 

Логика (гректің. logike - талдауға құрылған) - Дұрыс, яғни білімді, ойға құрылғанды кеңейтуге қабілетті түрлер мен заңдарды зерттейтін пән. Ғылым ретіндегі логикадан логикалық дұрыс ойдың байланысы мен динамикасын (ойлау логикасы) айыра білу қажет. Ғылыми логика саласына белгілік құрылымдарды жасау мен зерттеу (есептеу, формальдік жүйелер), жалпы касиеттері логикалық оймен көрінетін және белгілік құрылымда белгіленетін шындықтың белгілі бір үзінділерін қарастыру (модельдер) енеді.