Логикалық есептеу
Логикалық есептеу — логиканың танымдық мәселелерді шешу тәсілі. Символикалық логикада өзара байланысты бірнеше есептеулер бар:
- Лебіздерді есептеу
- Клас-тарды есептеу
- Қатынастарды есептеу, т.б.
Мысалы, лебіздерді есептеу символикалық логиканың қарапайым лебіздерден тұратын күрделі лебіздерді зерделейтін бөлімі болып табылады. Мұнда қарапайым лебіздер латын әріптерімен (А, В, С, т.б.) белгіленеді. Күрделі лебіздер әр түрлі грамматикалық жалғаулар (“және”, “немесе”, “егер”, “онда”, т.б.) арқылы құрылады. Логикада олар пропозиционалдық жалғаулар деп аталып, әрқайсысына белгілі бір таңбалар сәйкестендіріледі: “және” – , “немесе” – , т.с.с. Лебізді есептеу әліппесіне басқа да таңбалар енгізіліп, формулалар жазылады, сөйтіп, күрделі лебіздердің құрылымы, өзара қарым-қатынастары, ақиқат не жалған екендігі есептеліп шығарылады. Логикалық есептеулердің жалпы теориясын жасауға Д.Гильберт, Г.Генцен, Э.Пост, Х.Карри, П.Лоренцен, А.Колмогоров, А.Марков, С.Яновская, т.б. еңбек сіңірді.