به صورت کلی در جهان، منطق با سه رویکرد فلسفی، ریاضی و علوم کامپیوتر دنبال میشود. ازین جهت رشته دانشگاهی منطق نیز در سه گروه ۱. فلسفه ۲. ریاضی و ۳. علوم کامپیوتر قرار میگیرد. به عبارت دیگر گرایش منطق در این سه رشته قرار میگیرد. در رشته منطق فلسفی، منطق را با رویکرد، انگیزهها و اهداف فلسفی دنبال میکنیم. مشابهاً در رشتههای منطق ریاضی و منطق کامپیوتر، منطق را برای کارکردهای ریاضیاتی و علوم کامپیوتری آن مورد مطالعه قرار میدهیم.
در آموزشگاه حلقه منطق درسهای متنوعی در شاخههای مختلف منطق ارائه خواهیم داد. کلاسهای ما در ۳ رشتهی (گروه آموزشی) فلسفه، ریاضی و علوم کامپیوتر قرار میگیرند. در گروه فلسفه درسهایی مانند «فلسفه تحلیلی»، «منطق جدید» و «تفکر انتقادی» - در گروه ریاضی درسهایی مانند «نظریه مجموعهها»، «نظریه مدل» و «منطق جبری» - در گروه علوم کامپیوتر نیز درسهایی مانند «نظریه پیچیدگی»، «نظریه محاسبه» و «برنامهنویسی منطقی» خواهیم داشت. لیست مفصل درسها و کلاسهای فعال آموزشگاه را از https://logiccircle.ir/academy/ ببینید.
آموزشگاه حلقه منطق، تنها آموزشگاه تخصصی منطق در ایران است. در این آموزشگاه ما به آموزش «علم منطق» در سه شاخهی فلسفه، ریاضی و علوم کامپیوتر خواهیم پرداخت.