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

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

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

زمینه مطالعه: : استافیلوکوکوس اورئوس یکی از مهمترین باکتری‌های بیماریزا برای انسان به شمار می‌رود که به راحتی طی ذبح، فرآوری، بسته بندی، نگهداری و دستکاری گوشت و محصولات گوشتی به علت عدم رعایت موازین بهداشتی به ماده غذایی انتقال می‌یابد و  موجب بروز مسمومیت غذایی استافیلوکوکی می‌گردد. هدف: هدف این مطالعه بررسی آلودگی به استافیلوکوکوس اورئوس و ارزیابی ﻓﺮاوانی ژن‌های عامل انتروتوکسین‌های استافیلو...

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

در این تحقیق، چشمه بتازای 90Sr/90Y مورد بررسی قرار گرفته است که چگونه می‌توان با استفاده از میدان مغناطیسی حاصل از یک حلقه حامل جریان، آن را تکفام نمود. سپس با توجه به انحراف الکترون در میدان مغناطیسی، طیف انرژی خروجی از پنجره خروجی حلقه حامل جریان، با استفاده از کد شبیه‌ساز مونت‌کارلو MCNP به دست آمده است. در این تحقیق، چشمه بتازای 90Sr/90Y مورد بررسی قرار گرفته است که چگونه می‌توان با استفاده...

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

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