کارگاه منطق و فلسفه اسلامی: چشماندازهای تاریخی و معاصر - تاریخ: 1397/9/13 ساعت: 22:33
پژوهشكده فلسفه, تحلیلی پژوهشگاه دانشهای بنیادی (IPM) كارگاهی را با عنوان « منطق, و فلسفه, اسلامی,: چشماندازهای تاریخی, و معاصر,» در تاریخ سهشنبه ۲۲ خرداد ۱۳۹۷ برگزار میكند. شرکت در این کارگاه, برای عموم
The International Journal of Computer and Information Technologies-IJOCIT - تاریخ: 1397/9/13 ساعت: 22:33
Call for papers——————-Dear colleagues and researchers! "The inte ational jou al of computer and information technology" (IJOCIT), is an open access refereed and peer reviewed jou al with a primary
افسانه گرایی و استعاره در فلسفه ریاضی - تاریخ: 1396/9/30 ساعت: 9:04
انجمن منطق ایران برگزار میxadکند: دکتر سیاوش شهشهانی دانشگاه صنعتی شریف افسانه گرایی و استعاره در فلسفه ریاضی مکان: تهران ، پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن علامه جعفری (طبقه سوم) زمان: چهارشنبه، 27 اردیبهشت 1396 ساعت 4 بعد از ظهر برای آگاهی از برنامه های انجمن منطق ایران به وب...
اشاره: مجله ایرانی فلسفه - تاریخ: 1396/9/30 ساعت: 9:04
متن زیر نامۀ آقای دکتر سید نصر الله موسویان است که شروع به کار نشریه «اشاره» را اطلاع رسانی کردهاند: بسیار خوشحالم، تا از طرف شورای ویراستاران، آغاز به کار را به اطلاعتان برسانم. اشاره مجلهای بینالمللی و دو زبانه (فارسی و انگلیسی) است که مقالات فلسفی ممتاز را در همۀ حوزههای فلسفی و سنتهای آن منتشر م...
تغییر زمان چهارمین همایش دانشجویی فلسفهu200e دانشگاه تربیت مدرس تهران - تاریخ: 1396/9/30 ساعت: 9:04
نظر به تعطیلی مربوط به ایام رحلت رسول اکرم صلی الله علیه و آله و سلّم، چهارمین همایش دانشجویی فلسفه با یک هفته تأخیر، چهارشنبه ۱ آذر ۹۶، برگزار خواهد شد. بدین ترتیب، مهلت ارسال مقاله نیز تا ۷ آبان ادامه دارد و تاریخ اعلام نتایج ۲۲ آبان خواهد بود.
دوره درسی کوتاه مدت در نظریۀ مجموعهها از سوی دیوید آسپرو - تاریخ: 1396/9/30 ساعت: 9:04
در هفته آینده یک دوره درسی کوتاه مدت توسط دکتر 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, inv...
مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل/دکتر پیام سراجی - تاریخ: 1396/6/31 ساعت: 3:05
انجمن منطق ایران برگزار میxadکند مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل دکتر پیام سراجی دانشگاه تبریز در این سخنرانی برهانهایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ...
انتقال وبلاگ - تاریخ: 1396/6/31 ساعت: 3:05
ازین به بعد مطالب وبلاگ را در sahmir.logiccirle.ir دنبال کنید.--------------------------------------------------------------------------------------------هدف از تشکیل این وبلاگ، بیان مطالب منطقی - فلسفی روز و تأمین بخشی کوچک از نیازهای منطق پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب میباشد ک...
Logical Connectives - تاریخ: 1396/4/4 ساعت: 19:30
The sixteen binary logical co ectives: tautologies and truth values. The sixteen logical co ectives ordered in a Hasse diagram. They are represented by: logical formulas the 16 elements of V4 = P^4({}) Ve diagrams The nodes are co ected like the vertices of a 4 dimensional cube. The light blue
ابزارهای آنلاین منطقی دانشگاه استنفورد شامل رسم جدول ارزش، ترجمه به زبان منطق مرتبه اول و ویرایشگر ر - تاریخ: 1396/4/4 ساعت: 19:30
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 co ectives ⊤ and ⊥ can be
دومین گفتارهای ابنu200eسینا: «در باب مدخل شفاء»u200e - دکتر اسدالله فلاحی - تاریخ: 1396/4/4 ساعت: 19:30
گروه و انجمن علمی فلسفه دانشگاه تربیت مدرس دومین دوره از «گفتارهای ابنu200eسینا» را برگزار میu200eکند، و امسال میزبان دکتر اسدالله فلاحی (مؤسسه پژوهشی حکمت و فلسفه ایران) میباشد: در باب مدخل شفاء چهارشنبه، 11 و 18 اسفندماه 1395ـ ساعت 13:30 الی 18 دانشکده علوم انسانی ـ دانشگاه تربیت مدرس (چکیدهu200eی...
دفترچه سؤالات و کلید اولیه آزمون دکتری سال 1396 - کد رشته 2137: فلسفه منطق - تاریخ: 1396/4/4 ساعت: 19:30
دفترچه سوالات آزمون دکتری سال 1396 - کد رشته 2137: فلسفه منطق -------------------کلید اولیه آزمون آزمون دکتری سال 1396 - کد رشته 2137: فلسفه منطق جای بسی خوشحالی است استقلال رشته منطق از فلسفه در آزمون دکتری امسال، که سبب شد آزمونی مختص به این رشته و با سؤالات تقریباً مرتبط و تخصصی برگزار شود و غربا
پیوند منطق و معرفتشناسی نزد ابنسینا - تاریخ: 1396/4/4 ساعت: 19:30
انجمن منطق ایران برگزار میxadکند: پیوند منطق و معرفتشناسی نزد ابنسینا دکتر مهدی عظیمی دانشگاه تهران به اطلاع میرساند که سخنرانی ماهانه انجمن منطق ایران چهارشنبه این هفته در ساعت 16 با سخنرانی آقای دکتر مهدی عظیمی، استادیار گروه فلسفۀ اسلامی از دانشکدۀ الهیات دانشگاه تهران با عنوان «پیوند منطق
افسانه گرایی و استعاره در فلسفه ریاضی - تاریخ: 1396/4/4 ساعت: 19:30
انجمن منطق ایران برگزار میxadکند: دکتر سیاوش شهشهانی دانشگاه صنعتی شریف افسانه گرایی و استعاره در فلسفه ریاضی مکان: تهران ، پل گیشا، دانشگاه تربیت مدرس، دانشکده علوم انسانی، سالن علامه جعفری (طبقه سوم) زمان: چهارشنبه، 27 اردیبهشت 1396 ساعت 4 بعد از ظهر برای آگاهی از برنامه های انجمن منطق ا
سخنرانی دکتر سید محمد علی حجتی با عنوان «Kripke on Contingent a priori» - تاریخ: 1396/4/4 ساعت: 19:30
هدف از تشکیل این وبلاگ ، بیان مطالب منطقی - فلسفی روز و تأمین بخشی کوچک از نیازهای منطق پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب می باشد که به یاری خداوند متعال بتوانیم با راهنمایی های دوستان خواننده در جهت بهبود آن گام برداریم .
اشاره: مجله ایرانی فلسفه - تاریخ: 1396/4/4 ساعت: 19:30
متن زیر نامۀ آقای دکتر سید نصر الله موسویان است که شروع به کار نشریه «اشاره» را اطلاع رسانی کردهاند: بسیار خوشحالم، تا از طرف شورای ویراستاران، آغاز به کار اشاره: مجله ایرانی فلسفه را به اطلاعتان برسانم. اشاره مجلهای بینالمللی و دو زبانه (فارسی و انگلیسی) است که مقالات فلسفی ممتاز را در همۀ حوزه
انتشار مقاله ای از دکتر اسداله فلاحی در ژورنال بین المللی Studia Logica - تاریخ: 1396/4/4 ساعت: 19:30
انتشار مقاله آقای دکتر فلاحی عزیز در ژورنال بین المللی Studia Logica تحت عنوان A Second Pretabular Classical Relevance Logic را به ایشان تبریک میگویم. لازم به ذکر است این مقاله ارزشمند فعلاً به صورت آنلاین منتشر شده است. لینک مقاله: https://link.springer.com/article/10.1007/s11225-017-9734-z :Abs