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

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

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

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

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

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

بعلاوه این نتایج به فضاهای cat(0) تعمیم داده می شوند. همچنین نتایجی درباره نقاط ثابت و همگرایی تکرار مان-گونه نگاشت های سوزکی-نامبسوط تعمیم یافته در فضاهای cat(0) ارایه می گردند.

در این پایان نامه، اعتبار اصل هم ارزی را در مکانیک کوانتومی نسبیتی بررسی و مطالعه می کنیم.با استفاده از مکانیک کوانتومی شبه-هرمیتی به روش نظام مند، فضای هیلبرت فیزیکی و تبدیل فولدی را برای میدان های اسکالر در فضا-زمان های ایستا می سازیم. با توجه به این نکته که نمایش فولدی همان نمایش شناخته شده مکانیک کوانتومی معمولی است، می توانیم مشاهده پذیرهای فیزیکی (از جمله هامیلتونی) و حالت های (جایگزیده) ...

مجموعه ی همه ی زیرفضاهای یک فضای برداری را هندسه ی تصویری از مرتبه ی روی میدان متناهی نامیده و با ‎‎‏نشان می دهند. تابع یک متر روی هندسه ی تصویری ‎‎‏تعریف می کند. یک زیرمجموعه از یک کد زیرفضا نامیده می شود.برای هر عدد ثابت نامنفی مجموعه ی همه ی زیرفضاهای بعدی از گراسمانیان نامیده می شود و با نشان داده می شود. اگر یک کد زیرفضا زیرمجموعه ای از گراسمانیان باشد آن را یک کد با بعد ثابت می نامند. کده...

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