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

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

¯ چکیده زمینه : پرولاکتین یکی از هورمونهای مهم پستانداران است که گیرنده آن در بسیاری از سلولها تشخیص داده شده است. برای سنجش گیرنده پرولاکتین از دو روش رادیولیگاند و بافت شیمیایی استفاده میشود. هدف : مطالعه به منظور تولید کنژوگه fitc- پرولاکتین و ارزیابی توانایی اتصال این کنژوگه به گیرنده پرولاکتین انجام شد. مواد و روشها : در این مطالعه تجربی fitc در محیط قلیایی به پرولاکتین متصل شد. کنژوگه fit...

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

چکیده ندارد.

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

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

¯چکیده زمینه : پرفشاری خون یکی از مهم ترین عوامل خطر ساز بیماری های قلبی عروقی است که از سن 50 سالگی به بعد شیوع آن به ازای هر 10 سال، %10 افزایش می یابد. هدف : مطالعه به منظور تعیین علل عدم کنترل فشارخون در افراد بالای 65 سال انجام شد. مواد و روش ها : این مطالعه مشاهدهای از نوع مورد- شاهدی در سال 1382 بر روی200 بیمار بالای 65 سال با تشخیص قبلی پر فشاری خون که جهت معاینه نهایی، برای سفر حج به د...

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

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