تقدم مجموعة المنطق ومنهجية العلوم برنامجًا متعدد التخصصات للدراسة والبحث يؤدي إلى درجة الدكتوراه. يكتسب الطلاب في البرنامج فهمًا جيدًا للنظرية الرياضية المعروفة باسم المنطق الرياضي، والتي تتعامل بطريقة صارمة مع مفاهيم مركزية مثل الحقيقة، وقابلية التحديد، وقابلية الإثبات، وقابلية الحساب. وقد يسعون بعد ذلك إلى المساهمة في هذه النظرية أو تطبيقها. هناك مجالات مهمة للتطبيق في الرياضيات والفلسفة وعلوم الكمبيوتر وأماكن أخرى.
تتم إدارة البرنامج من قبل مجموعة مشتركة بين الأقسام تتعاون بشكل وثيق مع قسم علوم الكمبيوتر وقسم الرياضيات وقسم الفلسفة.
المصدر: دليل بيركلي الأكاديمي (يفتح في علامة تبويب جديدة)