دسته: عمومی
-
Annonce Reel De Plan Cul Gratuit Nievre
Rencontre sex a plan cul dans le 42 viry 74580. Annonce plan cul marseille loos sexe. Rencontre sex Chaumont Rencontre sexe localise. Plan cul menton. Cherche femme pour sexe a thionville. Ali 42 ans, actuellement célibataire sans cesse, puisque je me méfie en furetant sur lyon plan cul gay site de rencontre. Les messages blog…
-
انتخاب دکتر اسداله فلاحی به عنوان برگزیده اول گروه فلسفه، منطق و کلام در جشنواره فارابی
💠 دکتر اسدالله فلاحی، عضو هیئت علمی مؤسسه پژوهشی حکمت و فلسفه ایران، با کتاب “منطق تطبیقی” برگزیده اول گروه فلسفه، منطق و کلام دهمین جشنواره بین‌المللی فارابی شد. 💠 این انتخاب شایسته را خدمت جناب دکتر فلاحی عزیز و تمام منطق‌دوستان تبریک می‌گویم.
-
The International Journal of Computer and Information Technologies-IJOCIT
Call for papers Dear colleagues and researchers! “The international journal of computer and information technology” (IJOCIT), is an open access refereed and peer reviewed journal with a primary objective to provide the academic community and industry for the submission of original research and applications related to computer science & information technologies. We invites you to…
-
کارگاه منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر
پژوهشکده فلسفه تحلیلی پژوهشگاه دانش‌های بنیادی (IPM) کارگاهی را با عنوان «منطق و فلسفه اسلامی: چشم‌اندازهای تاریخی و معاصر» در تاریخ سه‌شنبه ۲۲ خرداد ۱۳۹۷ برگزار می‌کند. شرکت در این کارگاه برای عموم آزاد است. زمان: سه‌شنبه ۲۲ خرداد ۱۳۹۷، ساعت ۱۰ الی ۱۶ مکان: تهران، میدان شهید باهنر (نیاوران)، پژوهشگاه دانش‌های بنیادی، پژوهشکده فلسفه تحلیلی، سالن…
-
دوره درسی کوتاه مدت در نظریۀ مجموعه‌ها از سوی دیوید آسپرو
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 turns 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…
-
فراخوان ثبت نام پنجمین سمینار سالانه انجمن منطق ایران
به اطلاع اساتید،دانشجویان، پژوهشگران و علاقه‌مندان منطق می‌رساند که پنجمین همایش سالانۀ انجمن منطق ایران در روزهای 21-23 آذر در چهار نوبت (عصر روز سه‌شنبه 21، صبح و عصر روز چهارشنبه 22 و صبح روز پنج‌شنبه 23 آذر) در دانشگاه صنعتی امیرکبیر برگزار می‌شود.
-
تغییر زمان چهارمین همایش دانشجویی فلسفه دانشگاه تربیت مدرس تهران
نظر به تعطیلی مربوط به ایام رحلت رسول اکرم صلی الله علیه و آله و سلّم، چهارمین همایش دانشجویی فلسفه با یک هفته تأخیر، چهارشنبه ۱ آذر ۹۶، برگزار خواهد شد.
-
انتقال وبلاگ
دوستان عزیز ازین به بعد ادامه مطالب وبلاگ «منطق پژوهی» را می‌توانید در سایت حلقه منطق دنبال کنید. آدرس وبلاگ به sahmir.logiccirle.ir تغییر کرده است.
-
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی
در این سخنرانی برهان‌هایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی…
-
انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica
Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions (Swirydowicz in J Symb Log 73(4):1249–1270, 2008), for the classical relevance logic KR=R+{(A&∼A)→B}KR=R+{(A&∼A)→B} there has been known…