Джордж Бул - английски математик и логик
От 1849 г. до смъртта си той е професор по математика в King's College Cork (сега University College Cork). Един от предшествениците на математическата логика.
Едва на седемнадесет години Бул достига до висшата математика, движейки се бавно поради липсата на ефективна помощ.
От шестнадесетгодишна възраст Бул започва работа като помощник на учителя в частно училище в Донкастър и по един или друг начин продължава да преподава на различни позиции през целия си живот. Той е женен (от 1855 г.) за Мери Еверест (z. Everest-Buhl), племенница на известния географ Джордж Еверест, която също изучава наука и преподава, а след смъртта на съпруга си полага много усилия за популяризиране на неговия принос към логиката.
Четири от дъщерите им стават известни като учени (геометърът Алисия, химикът Луси) или членове на учени семейства (Мери, съпругата на математика и писател К. Г. Хинтън, и Маргарет, майката на математика Дж. И. Тейлър), а петата, Етел Лилиан Войнич, става известна като писателка.
Бул умира на петдесетата година от живота си от пневмония.
Този списък е допълнен от публикация от 1848 г. в списание Mechanic's Magazine за математическите основи на логиката.
Бул вероятно е първият математик след Джон Уолис, който се обръща към логически проблеми. Идеите за прилагане на символния метод към логиката са изразени за първи път от него в статията „Математически анализ на логиката“ (1847). Недоволен от резултатите, получени в него, Бул изрази желание неговите възгледи да бъдат оценени от обширния трактат „Изследване на законите на мисълта, на които се основават математическите теории на логиката и вероятността“ (1854 г.). Бул не смята логиката за клон на математиката, но открива дълбока аналогия между символния метод на алгебрата и символния метод за представяне на логически форми исилогизми. Бул обозначава вселената от мислими обекти с единицата, с буквени символи - селекции от нея, свързани с обикновени прилагателни и съществителни (например, ако x = "рогат" и y = "овца", последователният избор на x и y от единицата ще даде класа на рогата овца). Бул показа, че този вид символизъм се подчинява на същите закони като алгебричния, от което следва, че те могат да се събират, изваждат, умножават и дори делят. В такава символика твърденията могат да бъдат сведени до формата на уравнения, а заключението от двете предпоставки на силогизма може да бъде получено чрез елиминиране на средния член според обичайните алгебрични правила. Още по-оригинална и забележителна беше частта от неговата система, представена в „Законите на мисълта ...“, която формира общ символен метод на логически изводи. Бул показа как от произволен брой твърдения, включително произволен брой термини, да се изведе всяко заключение, което следва от тези твърдения, чрез чисто символична манипулация. Втората част на "Законите на мисълта ..." съдържа подобен опит да се открие общ метод в смятането на вероятностите, който позволява от дадените вероятности за набор от събития да се определи вероятността за всяко друго събитие, логически свързано с тях.
Въпреки че Бул публикува малко с изключение на математически и логически трудове, неговите писания разкриват широко и дълбоко познаване на литературата. Любимият му поет беше Данте и харесваше рая повече от ада.
Основните трудове на Бул са "Математически анализ на логиката" (1847), "Логическо смятане" (1848), "Изследване на законите на мисълта" (1854).