Studia Logica

ISI

آخرین بروز رسانی مارس ۲۰۲۳

Scopus

آخرین بروز رسانی فوریه ۲۰۲۲

این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

آخرین بروز رسانی ژانویه ۲۰۲۰

بر اساس دسته بندی این بنیاد این مجله در دسته Q1 قرار دارد

رشته تخصصی و رتبه مجله در آن رشته:

اهداف مجله

مأموریت مجله ایده اصلی مدرسه منطق، فلسفه و ریاضیات لووف-ورشو این بود که مسائل فلسفی را با استفاده از روش‌های دقیق ریاضی بررسی کند. گواه موفقیت بزرگی که مدرسه تجربه کرد این واقعیت است که به طور کلی به عنوان منطق سبک لهستانی شناخته شده است. امروزه لهستانی استایل منطق دیگر منحصراً یک تخصص لهستانی نیست. این توسط منطق دانان، ریاضیدانان و فیلسوفان متعددی از مراکز تحقیقاتی در سراسر جهان ارائه می شود. Studia Logica در سال 1953 توسط Kazimierz Ajdukiewicz، یکی از نمایندگان برجسته مکتب Lvov-Warsaw، که هدفش ترویج تحقیقاتی بود که ایده اصلی مدرسه - به کار بردن روش های ریاضی برای مسائل مهم فلسفی - را در بر می گرفت، تأسیس شد. Studia Logica از اولین شماره خود به نیروهای ریاضیدانان و فیلسوفان در انجام تحقیقات منطقی پیوسته است. موفقیت مکتب لووف-ورشو، فلسفه و ریاضیات را به شیوه های بدیع و عمیق متحد کرد. برای بیش از 50 سال، مقالات منتشر شده توسط مجله ما گواهی بر این واقعیت است که اندیشه مکتب نه تنها منسوخ نشده است، بلکه همچنان منبع مهمی از الهام برای کسانی است که با ابزارهای ریاضی به مسائل فلسفی می پردازند. Studia Logica مقالاتی را منتشر می کند که نتایج اصلی را در مورد سیستم های رسمی ارائه می دهد و از ابزارهای رسمی ریاضیات و منطق قابل درک گسترده استفاده می کند. علاوه بر این، ملاحظات تجربی و فلسفی را می توان به سمت ویژگی های رسمی این سیستم ها هدایت کرد. دامنه مقالات منتشر شده در Studia Logica تمام موضوعات فلسفی را در بر می گیرد، مشروط بر اینکه آنها سیستم های رسمی را ارائه دهند و از روش های منطقی رسمی استفاده کنند. تحقیقات در رشته های دیگر مانند علوم شناختی و زبان شناسی رسمی نیز بدون هیچ گونه محدودیتی در موضوعات مورد استقبال قرار می گیرد. Studia Logica برای ایجاد تعادل بین تکنیک های ریاضی و ارتباط فلسفی تلاش می کند. منطق غیرکلاسیک و جبری بخش مهمی از نمایه مجله است. معیار اصلی پذیرش مقالاتی که در Studia Logica منتشر می شوند، دامنه تحقیق ارائه شده نیست، بلکه روش آن است: آنها باید حاوی نتایج مهم و اصلی در مورد سیستم های رسمی و ویژگی های آنها باشند. بسیاری از نظریه‌های ریاضی مفصل وجود دارند که منشأ خود را در فلسفه پیدا کرده‌اند و تأثیر زیادی بر فلسفه و ریاضیات داشته‌اند. تا حد زیادی همه آنها در Studia Logica نشان داده شده اند. اجازه دهید به چند مثال اشاره کنم: تئوری عملیات پیامد ویژگی های نتیجه منطقی را مطالعه می کند. روش‌های آن در کاوش در حوزه‌های منطق غیر یکنواخت، استدلال تحت اطلاعات ناقص و سایر سیستم‌های منطقی در هوش مصنوعی بسیار مفید بود. منطق‌های با ارزش‌های زیاد حوزه وسیعی از تحقیقات کاملاً منطقی هستند. اما در مبانی آنها پرسش‌های فلسفی محض در مورد ماهیت ارزش‌های منطقی وجود دارد. منطق فازی - یکی از جریان های اصلی در منطق های بسیار ارزشمند - کاربردهای زیادی در علوم کامپیوتر دارد. برای مطالعه ساختار منطقی زبان طبیعی، آثار کازیمیرز آژدوکیوویچ که در هسته خود فلسفی بودند، از اهمیتی اساسی برخوردار بودند. آنها جرقه بسیاری از تحقیقات رسمی و ساختن سیستم هایی از گرامر مقوله ای و منطق زیرساختی را برانگیختند. نظریه صدق تارسکی، منطق‌های مدال، منطق‌های ناسازگار، سیستم‌های منطقی مکانیک کوانتومی، همگی گرایش‌های تحقیقاتی به همان اندازه مهم هستند که در آن‌ها یک رویکرد ریاضی و یک رویکرد فلسفی در هم تنیده شده‌اند تا نتایجی را به ارمغان بیاورند که هم برای ریاضیات و هم برای فلسفه اهمیت فوق‌العاده‌ای دارند. چند دهه است که ما شاهد کاربرد مثمر ثمر روش های کاملاً ریاضی برای رسیدگی به مسائل فلسفی بیشتر و بیشتر بوده ایم. من فقط به سه مورد از گرایش‌های تحقیقاتی متعددی اشاره می‌کنم که الهام‌بخش و ابزارهای خود را از ریاضیات می‌گیرند. معرفت‌شناسی صوری روش‌های منطقی، احتمالی، نظری بازی و سایر روش‌های صوری را برای مسائل و موضوعات معرفت‌شناسی مانند بحث در مورد ضد واقع‌گرایی، شک‌گرایی، منابع دانش و نظریه‌های یادگیری به کار می‌گیرد. در علوم شناختی تصویر جدیدی از منطق پدیدار شده است که بر اساس آن قوانین منطقی گاهی به عنوان توصیف های سطح بالا از عوامل شناختی ایده آل در نظر گرفته می شوند. تحقیقات منطقی در علوم شناختی با موفقیت از روش ها و سیستم های بازنگری باورها، منطق غیر یکنواخت و منطق معرفتی پویا استفاده کرده است. منطق deontic معاصر به طور گسترده از ابزارهای ریاضی برای بررسی موضوعات مرتبط با بسیاری از مسائل فلسفه هنجاری، فلسفه عمل و فلسفه اجتماعی استفاده می‌کند. Studia Logica تلاش می‌کند تا تحقیقات ریاضی را در حوزه‌های فلسفی مانند مواردی که در بالا به آنها اشاره شد، ارتقا دهد و همزمان ویژگی آن را حفظ کند. مجله منطق رسمی