چکیده ایده‌ها و اندیشه‌ها در فرایند شکل‌گیری لزوماً ترتیبِ درست و مراحلِ منطقی خود را طی نمی‌کنند. آنها بیشتر، وقوع و ظهوری «طبیعی»دارند تا «منطقی». از همین روست که مطالعات دین‌داری، پیش از مدل‌سازی و مدل‌سازی‌ها پیش از تأمل در مبانی ساخت مدل‌های دین‌داری به ظهور رسیده‌اند. مدل‌سازی برای دین‌داری، از پی ِمطالعات بسیط  اولیه در اطراف دین‌داری ضرورت پیدا کرد و کنکاش در منطق و مبانی ساخت مدل‌ها نیز ...

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

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

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

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

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

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

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

مکان‌یابی[1] فرآیندی که از طریق آن می‌توان بر اساس شرایط تعیین‌شده برای یک کاربری مشخص و با توجه به منابع و امکانات موجود, بهترین محل مناسب را تعیین نمود. مکان‌یابی درواقع تجزیه‌وتحلیل توأمان اطلاعات فضایی و داده‌های توصیفی به‌منظور یافتن یک یا چند موقعیت فضایی با ویژگی‌های توصیفی موردنظر است. از سوی دیگر منطق فازی که می‌توان در تعریف آن گفت که از منطق ارزش‌های "صفر و یک" نرم‌افزارهای کلاسیک فر...

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