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

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

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

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

افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبۀ اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده ایم که در ای...

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

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

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

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

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