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

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

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

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

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

توصیف فیزیکی برهم کنش ها در سیستم های مقید و پراکندگی ذرات دو موضوع اصلی مکانیک کوانتومی هستند. چون جواب-های معادله شرودینگر،h_n ?_n=e_n ?_n، متناظر با حالت های مانای سیستم منزوی مورد نظر هستند، می توان گفت که موضوع اول یکی از موضوع های اصلی مکانیک کوانتومی می باشد. در حالت های مانا انرژی کل سیستم باید پایسته باشد؛ به-وسیله حالت های مانا می توان اطلاعاتی درباره ساختار داخلی سیستم فیزیکی مورد مط...

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