در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

هرچند همه­ی تلاش «ویتگنشتاین» (wittgenstein) به منظور سازگاری درونی دیدگاه متأخّر خود بوده است، لیکن با بررسی دقیق، مواردی از ناسازگاری درونی در آن مشاهده می­شود. یکی از موارد ناسازگاری درونی و بیرونی مطابق با تفسیر «کول»(cavell) و «کریپکی» قرائت شکّاکانه از دیدگاه ویتگنشتاین متأخّر است. ویتگنشتاین شک­گرایی را به طور آشکار بی­معنا می­داند. به نظر او اصولاً نباید شکّاک حتّی برای بیان شک­گرایی خود از ط...

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

در آثار صدرا بحثی منسجم درباره فطرت انسانی یافت نمی شود، ولی به طور پراکنده مباحث مهمی را در این باب مطرح کرده است. واژه «فطرت» در آثار صدرا مفهوم های متعددی یافته است: استعداد تکامل، استعداد قوّه کسب معارف، وجود اندکاکی و اندماجی انسان در مرتبه ذات ربوبی و حالت اعتدالی روح. هرچند اخوان الصفا برای نخستین بار آموزهٔ خداشناسی فطری را در منبعی فلسفی مطرح کردند و ابن سینا و سهروردی نیز اندیشه هایی قا...

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

دستورحاضر برخلاف دستور های سنتی،ساختگرا و زایشی سه نوع رابطه را تحت عنوان «همپایگی»(coordination)،«ناهمپایگی»(subordination)و«هم وابستگی»(cosubordination) بین بند ها در جملات مرکب مطرح می سازد و سه سطح اولیه ی پیوند را« بند»،«کانون» و«هسته» معرفی می نماید. سه نوع رابطه ی احتمالی بین «واحدها» برقرار است. همه این روابط در تمام صورت های پیوند ممکن می باشندکه از ترکیب آنها نه رابطه در دستور همگانی ...

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

کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر‌و‌تنها‍‌اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع‌طبیعی مورد استفاده قرار می‌گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسی...