Математическа логика: Разлика между версии

'''Математическата [[логика]]''' е съвременна форма на [[формална логика|формалната логика]]. Тя включва и представя по съответен начин всички ценни резултати на традиционната логика, като се започне от силогистиката на [[Аристотел]], но излиза далеч извън схващанията на традиционната логика. Основна съставна част на математическата логика е '''съждителната логика''' (или, както също се нарича,"пропозиционалната„пропозиционалната логика"). След нея се изгражда '''логиката на предикатите''' („предикатната логика“). Разглеждането на многоместните предикати е голям неин успех. '''Теорията на типовете''' изследва не само предикати от първа степен, които са приложими към математическите обекти, а също и предикати от предикати и техните връзки. Най-общо математическата логика е теория на логическите константи и предикати от произволна степен и връзките между тях.