پژوهشكده فلسفه, تحلیلی پژوهشگاه دانشهای بنیادی (IPM) كارگاهی را با عنوان « منطق, و فلسفه, اسلامی,: چشماندازهای تاریخی, و معاصر,» در تاریخ سهشنبه ۲۲ خرداد ۱۳۹۷ برگزار میكند. شرکت در این کارگاه, برای عموم ادامه مطلب

Call for papers——————-Dear colleagues and researchers! "The inteational joual of computer and information technology" (IJOCIT), is an open access refereed and peer reviewed joual with a primaryادامه مطلب

انجمن منطق ایران برگزار میxadکند: دکتر سیاوش شهشهانی دانشگاه صنعتی شریف افسانه گرایی و استعاره در فلسفه ریاضی مکان: تهران ، پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن علامه جعفری (طبقه سوم) زمان: چهارشنبه، 27 اردیبهشت 1396 ساعت 4 بعد از ظهر برای آگاهی از برنامه های انجمن منطق ایران به وب سایت مراجعه فرمایید. ادامه مطلب

متن زیر نامۀ آقای دکتر سید نصر الله موسویان است که شروع به کار نشریه «اشاره» را اطلاع رسانی کردهاند: بسیار خوشحالم، تا از طرف شورای ویراستاران، آغاز به کار را به اطلاعتان برسانم. اشاره مجلهای بینالمللی و دو زبانه (فارسی و انگلیسی) است که مقالات فلسفی ممتاز را در همۀ حوزههای فلسفی و سنتهای آن منتشر میکند. مقالات به روش «همتا ارزیابی» (peer review) داوری میشوند و دسترسی به آنها برای عموم آزاد است. برای اطلاعات بیشتر، لطفاً به وب سایت ما مراجعه فرمایید. سید نصرالله موسویان ------------------دربارۀ «اشاره»: «اشاره: مجلۀ ایرانی فلسفه» مجلهای بینالمللی است که مقالات فلسفی ممتاز را در همۀ حوزههای فلسفی و سنتهای آن منتشر میکند. مقالات به روش «همتا ارزیابی» (peer review) داوری میشوند. «اشاره» مجلهای دوزبانه (فارسی و انگلیسی) است و دسترسی به آن برای عموم آزاد است. «اشاره» متعهد به آییننامۀ اخلاق ایپیای در پژوهشهای آکادمیک و نشر (قابل دسترسی در ) است. «اشاره» متعهد به انتشار تعداد معینی مقاله در سال نیست؛ مقالات پذیرفته شده ممکن است در فواصل زمانی نامنظم منتشر شوند. هر زمان که مقالهای پذیرفته شود و مراحل ویرایش و آمادهسازی آن به پایان رسد، روی وبسایت مجله قرار میگیرد. هر مقاله با یک شمارۀ منحصربهفرد منتشر و انتشار آن از طریق ایمیل به مشترکان مجله اطلاع داده میشادامه مطلب

نظر به تعطیلی مربوط به ایام رحلت رسول اکرم صلی الله علیه و آله و سلّم، چهارمین همایش دانشجویی فلسفه با یک هفته تأخیر، چهارشنبه ۱ آذر ۹۶، برگزار خواهد شد.

بدین ترتیب، مهلت ارسال مقاله نیز تا ۷ آبان ادامه دارد و تاریخ اعلام نتایج ۲۲ آبان خواهد بود.

در هفته آینده یک دوره درسی کوتاه مدت توسط دکتر David Aspero از دانشگاه East Anglia برگزار خواهد شد. عنوان دوره: Forcing with symmetric systems as side condition and adding few new reals Abstract: There is a useful method for constructing models of set theory with the continuum arbitrarily large, involving iterated forcing with symmetric systems of models as side conditions. It tus out that a natural variation of this method can be used to produce forcing constructions giving rise to models of the Continuum Hypothesis. Unlike the case with the classical approaches to preserving CH, this new method produces forcing notions which actually add new reals, but only a small number of them. I will give a gentle introduction to this method, focusing on some of its applications. اطلاعات بیشتر در آمده است. در ضمن ایشان یک سخنرانی هم در کنفرانس انجمن منطق که در تاریخ های 21-23 آذر برگزار میشود ارائه میکنند که عنوان آن در زیر آمده است: Large cardinals, forcing axioms, and mathematical realisms با سپاس از دکتر محمد گلشنی از پژوهشگاه دانشهای بنیادی که اطلاع رسانی کردند. ادامه مطلب

انجمن منطق ایران برگزار میxadکند مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل دکتر پیام سراجی دانشگاه تبریز در این سخنرانی برهانهایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی قرادامه مطلب

ازین به بعد مطالب وبلاگ را در sahmir.logiccirle.ir دنبال کنید.

----------------------------------------------
----------------------------------------------
هدف از تشکیل این وبلاگ، بیان مطالب منطقی - فلسفی روز و تأمین بخشی کوچک از نیازهای منطق پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب میباشد که به یاری خداوند متعال بتوانیم با راهنماییهای دوستان خواننده در جهت بهبود آن گام برداریم.

The sixteen binary logical coectives: tautologies and truth values. The sixteen logical coectives ordered in a Hasse diagram. They are represented by: logical formulas the 16 elements of V4 = P^4({}) Ve diagrams The nodes are coected like the vertices of a 4 dimensional cube. The light blue ادامه مطلب

This tool generates truth tables for propositional logic formulas. You can enter logical operators in several different formats. For example, the propositional formula p ∧ q → ¬r could be written as p / q -> ~r, as p and q => not r, or asp && q -> !r. The coectives ⊤ and ⊥ can beادامه مطلب

گروه و انجمن علمی فلسفه دانشگاه تربیت مدرس دومین دوره از «گفتارهای ابنسینا» را برگزار میکند، و امسال میزبان دکتر اسدالله فلاحی (مؤسسه پژوهشی حکمت و فلسفه ایران) میباشد: در باب مدخل شفاء چهارشنبه، 11 و 18 اسفندماه 1395ـ ساعت 13:30 الی 18 دانشکده علوم انسانی ـ دانشگاه تربیت مدرس (چکیدهی درسگفتار)ادامه مطلب

دفترچه سوالات آزمون دکتری سال 1396 - کد رشته 2137: فلسفه منطق -------------------کلید اولیه آزمون آزمون دکتری سال 1396 - کد رشته 2137: فلسفه منطق جای بسی خوشحالی است استقلال رشته منطق از فلسفه در آزمون دکتری امسال، که سبب شد آزمونی مختص به این رشته و با سؤالات تقریباً مرتبط و تخصصی برگزار شود و غرباادامه مطلب

انجمن منطق ایران برگزار میxadکند: پیوند منطق و معرفتشناسی نزد ابنسینا دکتر مهدی عظیمی دانشگاه تهران به اطلاع میرساند که سخنرانی ماهانه انجمن منطق ایران چهارشنبه این هفته در ساعت 16 با سخنرانی آقای دکتر مهدی عظیمی، استادیار گروه فلسفۀ اسلامی از دانشکدۀ الهیات دانشگاه تهران با عنوان «پیوند منطق ادامه مطلب

انجمن منطق ایران برگزار میxadکند: دکتر سیاوش شهشهانی دانشگاه صنعتی شریف افسانه گرایی و استعاره در فلسفه ریاضی مکان: تهران ، پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن علامه جعفری (طبقه سوم) زمان: چهارشنبه، 27 اردیبهشت 1396 ساعت 4 بعد از ظهر برای آگاهی از برنامه های انجمن منطق اادامه مطلب

هدف از تشکیل این وبلاگ ، بیان مطالب منطقی - فلسفی روز و تأمین بخشی کوچک از نیازهای منطق پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب می باشد که به یاری خداوند متعال بتوانیم با راهنمایی های دوستان خواننده در جهت بهبود آن گام برداریم .