Логіка та математика

Історично математична логіка будувалась як алгебраїчна теорія, у якій зв’язки між різними поняттями логіки виражалися за допомогою операцій. Така побудова математичної логіки згодом дістала назву алгебри висловлень і алгебри предикатів, причому алгебра висловлень уходить як частина в алгебру предикатів. Вона називається також змістовною побудовою математичної логіки і нею часто вичерпується виклад математичної логіки, причому апарату логіки предикатів достатньо, щоб ставити і розв’язувати досить важливі й складні задачі. Поряд з потребою змістовної побудови математичної логіки виникла потреба будувати математичну логіку як формально-аксіоматичну теорію, для якої алгебра предикатів є однією з можливих інтерпретацій.

Вступ
1. Логіка і математика як два метода пізнання
2. Співвідношення математики і логіки
3. Висновок