جستجوي پيشرفته | کتابخانه مجازی الفبا

هدف من در این رساله بررسی دو مساله است: یکی این که آیا اصل صادق‌سازی می‌تواند به خوبی تعهد هستان‌شناسانه را صورت‌بندی کند؟ دیگر این که آیا می‌توان صادق‌ساز مناسبی برای گزاره‌های صادق سالبه یافت، یا اصل صادق‌سازی را چنان بازبینی کرد که از مشکل گزاره‌های صادق سالبه برهد؟ در فصل 1 پس از بحثی کوتاه درباره‌ی ماهیت دوطرف رابطه‌ی صادق‌سازی؛ یعنی حامل صدق و باشنده‌ها، و رابطه‌ی صادق‌سازی، سعی می‌کنم صورت‌بندی درخوری از این اصل به‌دست‌ دهم. سپس به برخی از مشکلاتی که پای‌بندی به این اصل می‌آفریند و هزینه‌های متافیزیکی‌ای که باید برای چنین پای‌بندی‌ای پرداخت اشاره می‌کنم. از جمله این مشکلات، مشکلاتی است که گزاره‌های صادق موجهه، راجع به آینده و گذشته و سالبه می‌آفرینند و از جمله تعهد‌های هستان‌شناسانه‌ای که قائل بودن به این اصل لازم می‌آورد، تعهد به وجود وضعیت‌امورها و کلی‌ها است. در این فصل پس از بررسی اجمالی این مشکلات و تعهدهای هستان‌شناسانه، مفروضات این رساله درباره‌ی ماهیت رابطه‌ی صادق‌سازی و دو طرف آن و دایره‌ی شمول این اصل را بیان می‌کنم. در فصل 2 به نسبت اصل صادق‌سازی و هستان‌شناسی می‌پردازم. ابتدا نطریه‌های هستان‌شناسانه‌ی کواین و کارنپ را، که آن را نظریه‌های سوری می‌خوانم، معرفی و نقد می‌کنم و سپس با اشاره به روی‌کرد نوکارنپی به هستان‌شاسی، صورت‌بندی دقیق‌تری از نظریه‌ی صادق‌سازی در هستان‌شناسی و شیوه‌ی تقلیل هستان‌شناسانه در این نظریه به‌دست می‌دهم. سپس با بررسی ادعاهایی که روی‌کرد صادق‌سازی را برای حل برخی از مشکلات متافیزیکی، از جمله مساله‌ی اشیاء مرکب، توانا می‌داند، نشان می‌دهم که در بسیاری از این موارد این روی‌کرد قادر به حل آن مشکلات نیست. سپس نشان می‌دهم که این روی‌کرد برای به‌دست‌دادن هستان‌شناسی مناسب‌تر از روی‌کرد سوری است و می‌تواند برخی مشکلات، از جمله مساله‌ی پخش‌پذیر بودن صادق‌سازی بر روی فاصل را حل کند. در فصل‌های 3 و 4 به مشکل صادق‌ساز گزاره‌های صادق سالبه می‌پردازم. در فصل 3 ابتدا پس از اشاره و تدقیق ملاک‌های سالبه بودن یک گزاره و صورت‌بندی این مشکل، مهم‌ترین راه‌حل‌هایی که برای حل این مشکل مطرح شده است (راه‌حل‌های ماینونگی، توسل به مانع، توسل به امرواقع سلبی و توسل به تمامیت وضعیت‌امورها) را نقل و نقد می‌کنم. در این فصل نشان می‌دهم که هیچ یک از این راه‌حل‌ها خرسند‌کننده نیست. هم‌چنین تفاوت ماهوی دو راه‌حل اخیر را، که برخی آن را از یک سنخ دانسته‌اند، مستدل می‌کنم. در فصل چهار با تفصیل بیش‌تر به یکی دیگر از راه‌حل‌های مطرح‌شده برای گزاره‌های صادق سالبه، روایت لوییسی از توسل به کاذب‌سازها، می‌پردازم. در این فصل نشان می‌دهم اولاَ برخی گام‌های استدلال لوییس نادرست اند، ثانیاً صورت‌بندی او از اصل کاذب‌سازی خرسندکننده نیست و ثالثاً هر صورت‌بندی‌ای از اصل کاذب‌سازی مشکل صادق‌ساز گزاره‌های صادق سالبه را حل نمی‌کند.

چکیده ندارد.

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

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

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

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

كتاب اللمحات تأليف يارعلي تبريزي شيرازي (متوفی 816-812) است كه به شرح اللمعات عراقی پرداخته است. اين شرح مشتمل بر يك مقدمه و چهار لمحه به شرح زیر مي‌باشد:1- در بیان موضوع ومبادی علم 2 در بیان وجود حق سبحانه و تعالی و لوازم آن3 -در بیان غیب هویّت و احدیت و واحدیّت . 4- در مراتب الهیّة وکونیّة ودرتحقیق آن که نزول تجلی الهی در این مراتب به الاجمال والتفضیل است.این نسخه شرحی است بر لمعات عراقی مبتنی بر مطالب زیز: پس از مقدمه شرح آغاز می گردد که بیست و هشت لمعه دارد و عبارت های متن لمعات عراقی را شرح داده است. عنوان های لمحه و تنبیه و سوال و جواب هم دارد. این کتاب تا کنون تصحیح نشده و در هیچ جا به چاپ نرسیده است.

چکیده ندارد.

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

عرفان ایرانی، افزون بر آن که سرمایه ی فرهنگی و مایه ی شکفتگی و نو به نویی اندیشه و معنویّت ایرانیان است، یکی از عناصر مهمِملیّت ماست که هم راهبر به ژرفای حقایق معنوی اسلام بوده است و هم پاسدارِ هویّت فرهنگی ایرانیان در گشت روزگاران؛ نظری نه گذرا، به آثار عارفان برجسته ی ایرانی و سنجش آن با متون کهن چون سروده های زرتشت و دیگر متون اوستایی که هر دو دسته، میراث مکتوب ایرانیان هستند، ما را با این حقیقت آشنا می کند که بینش معنوی و عارفانه در ایران به روزگاران کهن باز می گردد؛ هر چند در تصوّف اسلامی و آموزه های عارفان مسلمان ایرانی، سیرابِ اندیشه هایی می شویم که سرچشمهقرآنی دارند و میوه چین باغسار محمدی(ص) هستیم ولی زمینه های متناسب با این اندیشه ها در ایران موجود بوده است که اسلام به آن حیات تازه و عمق بخشیده است.