نتایج جستجو برای: گزاره
تعداد نتایج: 1893 فیلتر نتایج به سال:
ساختار bck-جبر نخستین بار توسط یک ریاضیدان ژاپنی به نام ک.ایزکی در سال 1966معرفی گردید. این ساختار از دو منشاء متفاوت سرچشمه گرفته است، اولین منشاء برپایه نظریه مجموعه ها و دومین منشاء برگرفته از حساب گزاره ها یا منطق است. در سال 1934نظریه ابرساختار، توسط مارتی [9] در هشتمین کنفرانس ریاضیدانان اسکاندیناوی معرفی شد. ابر ساختارها کاربردهای فراوانی در علوم محض و کاربردی دارند. برزویی [4] با به کار...
این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب the nature of necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزاره ای و وجه شئ ای، ذات گرایی و تحویل به تئوری مجموعه ها، جایگاه ضرورت، تابع هسته ای، جهان ها، کتابها و ویژگی های ذاتی، شاخص بندی اولیه ذات،...
ارزیابی ها و به خصوص دو ارزش گذاری ها توابعی دو ضابطه ای به اعداد حقیقی هستند. این توابع می تواند به درجه ای از شمول توسعه پیدا کنند که موجب اندازه گیری روی ترتیب جزئی می شود. برای مشبکه های توزیع پذیر این درجه از شمول از قوانین جمع، ضرب و قضیه ی بیز پیروی می کند. در کاربردی از مشبکه ی گزاره های منطقی ، نظریه ی احتمالات بیز را دریافت می کنیم و همچنین پی خواهیم برد که مشبکه ی سوالات دوگان مشبکه ...
فعل سبک فارسی یکی از مقولاتی است که پژوهش های قابل توجّهی را در مباحثی چون فعل سببی، انضمام، فعل مرکّب، ساختار موضوعی و ساخت مجهول به خود اختصاص داده است. در عموم بررسی هایی که در خصوص فعل سبک در افعال مرکّب صورت گرفته است افزایش و کاهش ظرفیت فعل و ساختار موضوعی آن بیشتر مدّ نظر قرار گرفته است. یکی از جنبه های قابل بررسی در فعل سبک میزان واژگانیبودن این فعل در ترکیبات متفاوت است. این پژوهش می کوشد...
وحی به عنوان مهم ترین مقوله در ادیان الهی همواره مورد تبیین و نقد توسط اندیشمندان علوم قرآنی واقع شده است. یکی از این اندیشمندان حامد ابو زید است که نظریه ی سنتی وحی که همان املای الفاظ است را مورد نقد قرار داده و در این زمینه خود نظریات دیگری را ارائه می دهد که در آثار وی می توان این نظریات را استخراج کرد. ابوزید در آرای خود از متفکران عدیده ای بهره جسته که مهم ترین آنه مستشرقان هستند. با مطال...
احکام راجع به علیت- راجع به اینکه چه چیز علت چه چیز می شود- آن قدر در زندگی ما متداول است که ما متوجة آن نمی شویم. اما چرا یک چیز علت چیزی دیگر می شود؟ چه چیزی یک شیء را علت شیء دیگر می سازد. ما ابتدا باید میان فهم رابطة علیت و فهم آنچه علیت به هم می پیوندد، فرق بگذاریم. این رابطة علیت چیست که علت و معلول را به هم پیوند می دهد؟ این سؤال اول است. اما همچنین می توانیم بپرسیم علت و معلول باید چه ن...
این پژوهش ضمن معرفی رویکردهای مطرح در خصوص انضمام، به بررسی انضمام در زبان فارسی پرداخته است. در این پژوهش با استناد به برخی از صورت های انضمام در زبان فارسی، استدلال شده است که هیچ کدام از رویکردهای نحوی و واژگانی نمی تواند به درستی پدیدة انضمام را در زبان فارسی توجیه کند. داده های زبان فارسی نشان می دهند که رویکردی می تواند پدیدة انضمام را تبیین کند که عوامل کاربردشناختی را در این پدیده لحاظ ...
گزاره های صادق سالبه برای اصل صادق سازی مشکل می آفرینند. شهوداً چنین گزاره هایی نه بهسبب وجود چیزی یا چیزهایی، بلکه به سبب عدم چیز یا چیزهایی صادق اند. در حالی که اصلصادق سازی لازم م یآورد که گزاره های صادق به سبب وجود چیز یا چیزهایی صادق باشند. برایحل این مشکل یا باید اص ل صادق سازی را بازبینی کرد یا به هستان شناسی مختار چیزی افزود. حکمبه وجود امور واقع سلبی از جمله هزین ههای متافیزیکی ای است ک...
در این مقاله ابتدا به معرفی اجمالی نظریه مطابقت و سپس اشکالات آن پرداخته ام و آن گاه نظریه صادق ساز را در پرتو نظریه مطابقت بررسی کرده ام. پس از معرفی این نظریه، به بحث چگونگی صدق گزاره های سالبه به واسطه اصل صادق ساز پرداخته ام و به انواع راه حل هایی که این نظریه برای پشتیبانی صدق گزاره های سالبه آورده است، اشاره کرده ام.
هدف نقد دیدگاه های غیرشناختاری ویتگنشتاین و بریث ویت از اهداف این تحقیق است که می تواند کارکردهای زبان دین را در عرصه های مختلف زندگی انسان نشان دهد. روش تبیین و توصیف تحلیلی دیدگاه های این دو متفکر مورد نظر است. یا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید