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

چکیده ندارد.

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

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

اینهمانی یکی از اصول اولیه ذهن است و از زمان های قدیم مورد توجه فلاسفه و منطق دانان بوده است. ارسطو اولین و بزرگ-ترین منطق دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره هایی می برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که ...