نتایج جستجو برای: منطق موجهات محمولی
تعداد نتایج: 7217 فیلتر نتایج به سال:
باوجود اهمیت ساخت سببی- که جزء جهانیهاست- و نیز انجامشدن پژوهشهای گسترده دربارۀ اینگونه ساختها در زبانهای دیگر، تحقیق دربارۀ ساخت سببی ریشهای، تکواژی و کمکی ترکی آذری، محدود به بررسیهای سنتی است، و توصیفها به افزودهشدن تکواژ سببی دئر (dir) به پایههای فعلیای چون قاچ دیرماق (qaçdirmaq)، یعنی دواندن/ دوانیدن و یاتدیرماق (yatdirmaq)، یعنی خواباندن/ خوابانیدن اختصاص دارند؛ بنابراین،...
حکما مسائل علم را عوارض ذاتی موضوع علم می دانند و محمولی را که موضوع در حد آن اخذ شود یا محمولی که از جوهر و ماهیت موضوع به آن ملحق شود عرضی ذاتی می نامند. هر چند اساس این سخن، مأخوذ از ارسطو است، اما فیلسوفانی چون فارابی و ابن سینا مباحث جدیدی را پیرامون ارتباط موضوع علم با موضوع مسئله مطرح نموده اند که در آثار ارسطو به چشم نمی خورد. از آن جا که محمولات مسائل، عوارض ذاتی موضوع علم اند، موضوع ع...
این رساله مشتمل بر پنج بخش است . در بخش اول مفهوم وجود، دلائل استغنای وج از تعریف ، برهان وجودی، اقسام وجود، وجود محمول حقیقی، رای برخی از اندیشمندان غرب پیرامون وجود محمولی، پاسخ فلاسفه اسلامی و اشکالهای وارده بر نظریه کانت مورد بحث قرار گرفته است .در بخش دوم حقیقت وجود، وحدت وجود موجود، وحدت در کثرت ، کثرت در وحدت بررسی گردیده .در بخش سوم دلایل زیادت وجود بر ماهیت در ظرف ذهن و رای قائلین به ا...
امساوی های مشهور ریاضی نامساوی مینکوفسکی است. نامساوی کلاسیک مینکوفسکی توسط مینکوفسکی در سال 1910 منتشر شد. این نامساوی از نقطه نظر ریاضی و کاربردی بسیار مهم است. در کل هر نامساوی انتگرالی می تواند یک ابزار قوی برای کاربردها باشد. به ویژه وقتی به یک عملگر انتگرالی به عنوان یک ابزار محمولی فکر می کنیم آنگاه یک نامساوی انتگرالی در اندازه گیری و بعد سازی چنین فرایندهایی کاربردی می تواند مهم باشد.د...
کورت گودل در فوریه ی ???? با دینا اسکات درباره ی دلیل هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتیْ تا حدی متفاوت از آن را در دانشگاه پرینستُن ارائه کرد. نظام منطقی دلیل، منطق موجهات مرتبه ی دوم در نظام s5 است، با این همانی و یک اصلِ انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه ی گودل، این که ضرورتا موجودی خدای-گونه وجود دارد( )، از مقدمات به دست می آید. سوبل اما نشان داد که ع...
عقیده به ضروری بودن نظام موجودات عالم ازدیرباز برای اندیشمندان و فیلسوفان مساله ای مهم می نمود، اکنون نیز چنین است .پژوهش درباره اینکه آیا آنچه در نظام هستی پدید می آید و مرتبه ای از آن را می سازد، به حکم ضرورت و وجوب صورت می گیرد، یا اینکه ضرورتی در کار نیست و خلاف آن امتناع و محالی را نمی طلبد، یک رشته مسائل فلسفی دیگری را در پی آورد که در مبحث ویژه ای به نام " مبحث مواد سه گانه عقلی " در فلس...
محور اصلی رساله حاضر بررسی نسبت احکام ضروری و احکام پیشینی، بر پایه معناشناسی ساول کریپکی و نظریه دلالت مستقیم است. در فصول اول، معناشناسی کریپکی را برای منطق موجهات به تفصیل شرح داده و بر پایه آن، سمانتیک پاره ای از مهمتری تعابیر ضرورت را، یعنی ضرورت منطقی، متافیزیکی و فیزیکی، بیان کرده ایم. در فصل دوم، آرای متافیزیکی کریپکی را در باب جهانهای ممکن بررسی کرده و سپس به مقایسه دو دیدگاه تحقق گرای...
شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...
این پایان نامه پنج فصل دارد. فصل نخست به بیان مقدمات و کلیات طرح تحقیق اختصاص دارد. در فصل دوم به صدق منطقی و ویژگی های آن و تلقی های متفاوتی که از آن شده است می پردازیم. نخست، برخی تعریف هایی که از صدق منطقی شده است ذکر و به اختلافشان اشاره خواهیم کرد. سپس ویژگی هایی را که عموماً درباره? صدق های منطقی پذیرفته شده است توضیح می دهیم. آنگاه دو تلقی نحوی و دلالت شناختی به صدق و استنتاج منطقی را م...
هر چند ملاصدرا - در منطق - متأثر از دیدگاه های حکمت سینوی است؛ اما نوآوری هایی در منطق دارد که به حق می توان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاری ای دارد، در رابطه با علم منطق به عنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید