Mindblown: a blog about philosophy.

  • 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

    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 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 آذر در چهار نوبت (عصر روز سه‌شنبه 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 so far a pretabular extension: LL (Galminas and Mersch in Stud Log 100:1211–1221, 2012). In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce a new pretabular logic, which we shall name MM , and which is a neighbor of LL , in that it is an extension of KR. Also in this section, an algebraic semantics, ‘ MM -algebras’, will be introduced and the characterization of MM to the set of finite MM -algebras will be shown. In Section 3, the pretabularity of MM will be proved

آیا توصیه کتاب دارید؟