گیون (2001) چارجوبی جامع را برای بررسی جهت های ناگذرا عرضه می‎ کند. او این جهت ها را به دو دستة عمدتاً معناشناختی و عمدتاً کاربردشناختی تقسیم می کند و با قرار دادن مجهول در دستة دوم، می کوشد تا با تکیه بر مفهومِ «موضوعیت نسبی» و دو معیار سنجش آن، یعنی تداوم پیش رو و فاصلة پس رو، نقش مجهول و شرایط کاربرد آن را تبیین کند. به علاوه، او هفت بافت را که در آنها مجهول به کار می رود، معرفی می کند. در مقال...

توجه به دانش در عصر دانایی و اقتصاد دانش محور از اولویت های سازمان های امروزی است. یکی از منابع با ارزش برای سازمان دانش از مشتریان است. آن چه مدنظر مشتری است و در ذهن او نهفته است نوعی دانش پنهان تلقی می شود که اگر هر بنگاهی بخواهد از آنها استفاده کند باید سازوکار مناسب آن را تعبیه کند. بنگاه ها برای دستیابی به مزیت رقابتی و عملکرد برتر باید به دنبال منابع ارزشمند، کمیاب، دارای قابلیت تحرک اند...

اثیرالدین ابهری یکی از برجسته ترین منطق دانان دوره اسلامی است که کمتر شناخته شده است. جستار پیش رو، از یکسو، با تصحیح الرساله الزاهره، یکی از منطق نوشته های ارزشمند وی را از پستوی فراموشی به پیشخوان چاپ و انتشار درمی آورد و، از دیگرسو، با شرح و واشکافی و تحلیل آن از دریچه منطق جدید، بر گوشهای از اندیشه های منطقی ابهری پرتو می افکند. مهمترین دستآوردهای این جستار در مقام بازشناسی اندیشه های منطقی...

سود گزارش شده ی شرکت ها به عنوان یکی از معیارهای مهم تصمیم گیری و از مهم ترین معیارهای ارزیابی عملکرد و تعیین ارزش بنگاه اقتصادی تلقی می شود، که همواره مورد استفاده ی طیف وسیعی از استفاده کنندگان نظیر سهامداران، سرمایه گذاران، کارگزاران بورس و... قرار می گیرد. از آنجایی که محاسبه ی سود بنگاه اقتصادی متأثر از روش های برآوردی حسابداری بوده و تهیه ی صورت های مالی بر عهده ی مدیریت واحد تجاری می باش...

‏در این پایان نامه نظریه بهترین تقریب همزمان را برای مجموعه های بسته رو به پایین در شرایطی که ‎x‎ یک فضای باناخ بطور مشروط کامل ‎‏با یکه قوی است‏، ‎‎گسترش می دهیم. سپس به بررسی بهترین تقریب های همزمان ‏‎‎ به وسیله عناصری از مجموعه های رو به پایین و نرمال می پردازیم و شرط لازم و کافی برای بهترین تقریب های همزمان به وسیله زیر مجموعه های بسته ای از ‎‎x‎ داده می شود. ثابت می کنیم یک زیرمجموعه روبه ...

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

رفتار تولیدکننده، یکی از چالش‌های نظری مهم درباره اثر دین بر اقتصاد است. در این‌باره نظریه‌هایی ارایه شده است؛ اما این نظریه‌ها نارسایی‌هایی نیز دارد. در نوشتار پیش ‌رو کوشیده شده است با یادآوری انگیزه و هدف تولیدکننده و دادن چارچوبی سازگار با دین به آن، اثر باور به زندگی پس از مرگ و رضایت‌خاطر آن زندگی، بر رفتار تولیدکننده تحلیل و تبیین شود. نوشتار پیش ‌رو در چارچوب نظریه‌پردازی می‌گنجد و روش...

با توجه به اهمیت و کاربرد فراوان استدلالهای غیرقیاسی در زندگی بشر، همواره لزوم صورت بندی چنین استدلالهایی احساس می شد. لکن چون استدلالهای غیرقیاسی نسخ پذیرند، در حوزه ی منطق کلاسیک قابل طرح و بررسی نیستند؛ لذا می بایست سیستم منطقی نوینی جهت صورت بندی اینگونه استدلالها طراحی می شد. از این رو منطق ناهمگن با این هدف روی کار آمد. توجه به منطق ناهمگن و رویکردهای مختلف آن در چند دهه ی اخیر، حاکی از ...

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

در این مقاله با تکیه بر آراء بیل و رستال به بررسی نظریۀ کثرت‌گرایی در منطق خواهیم پرداخت. در ابتدا نظریات انحصارگراییِ منطقی، نسبی‌گرایی منطقی، انواع مختلف کثرت‌گراییِ منطقی و همچنین تفاوتِ کثرت‌گرایی بیل و رستال را نسبت به دیگر نظریاتِ کثرت‌گرایانۀ منطقی تشریح خواهیم کرد. توضیح خواهیم داد که بیل و رستال معتقد به نوعی کثرت‌گرایی منطقی معناگرایانه هستند که بر اساس آن می‌توان تفاسیرِ متفاوت و قابل قبو...