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

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

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

فرض می کنیم که r یک حلقه جابجایی بایکه و m یک r- مدول یکانی باشد. r- مدول m را هم ضربی گوییم هرگاه به ازای هر زیر مدول n از m، ایده آل a از r چنان موجود باشد به طوری کهn=(0:_m a) . در این پایان نامه، مدول های هم ضربی و بعضی از خواص آن ها را مورد مطالعه قرار می دهیم.در این پایان نامه نشان داده شده است که هر مدول هم ضربی و نامنفرد، نیمه ساده و پروژکتیو است. همچنین، مدول های هم ضربی خاصی در شرط ab...

اخیرا ‏‎f.h.clark‎‏ و ‏‎y-ledyaev‎‏ یک قضیه مقدار میانگین را برای توابع نیم پیوسته پائینی بر فضاهای هیلبرت بدست آورده اند. نتیجه ای از این قضیه که کار اصلی این رساله است، به کاربردهای مفیدی منتهی می شود. در فصل چهارم این رساله این نتیجه را به گونه ای برای توابع موضعا لیپ شیتز در فضاهای باناخی که تابع لبه دار پیوسته لیپ شیتزی از رده ‏‎c1‎‏ روی آنها موجود باشد، یعنی توابعی که در شرط ‏‎c1‎‏ -لیپ ش...

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

فرض کنیم s رده ی تمام توابع نحلیلی و تک ارز به شکل f(z) = z + ς n=٢ nzn روی قرص یکه باز {1>[z], c ∋z:z} و a رده ی همه توابع تحلیلی نرمال شده {z}f در u باشد. در این پایان نامه رده ی تمام توابع تحلیلی به شکل بالا که در شرط صدق می کند را مورد بررسی قرار می دهیم. همچنین شرایطی را روی ?و μ تعیین خواهیم کرد که تضمین کند رده ی توابع بالا ستاره گون است.

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

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

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