نتایج جستجو برای: منطق چند ارزشی
تعداد نتایج: 87099 فیلتر نتایج به سال:
اهداف این پایان نامه عبارتند از: 1) ایجاد یک مدل فازی دانش و حدس برای آزمونهای چند گزینه ای و 2) ایجاد یک روش نمره دهی چند وجهی که بتواند تا اندازه ای دانش نسبی را در آزمون های چند گزینه ای مورد سنجش قرار دهد. در رابطه با اولین هدف، نگرش نظری به مفهوم دانش از منظر منطق فازی باعث پیدایش طبقه بینابینی دانش نسبی گردید. سپس برای درک طبیعت ساختاری دانش نسبی از طریق تجربی، به 10 آزمودنی دو آزمون لغت ...
هدف اصلی از نگارش این پایان نامه بررسی bl-جبرها به عنوان ساختار جبری متناظر با منطق فازی پایه (bl) است.bl-جبرها در راستای اثبات قضیه تمامیت در bl توسط هایک در سال 1998 به وجود آمده اند. توضیح آن که? در منطق فازی پایه- که توسیعی از منطق دو ارزشی است- همانند منطق کلاسیک? مفاهیم مختلف راستی و برهان یکسان هستند. یعنی این که در bl? هر چه که برهان پذیر باشد راست است.(قضیه درستی)? و هر چه راست باشد بر...
چکیده سیستمهای قدرت در معرض اختلالات فرکانس پایین قرار دارند که ممکن است باعث از بین رفتن سنکرونزاسیون و از کار افتادگی احتمالی کل سیستم شود. نوساناتی که عموما در محدوده فرکانسی 0.3هرتز و 0.2 هرتز قرار دارند ممکن است توسط اختلالاتی که در سیستم و در برخی مواقع حتی ممکن است خودبخود بوجود آید. این نوسانات قابلیت انتقال توان یک شبکه را محدود می کند و در برخی مواقع باعث از بین رفتن سنکرونزاسیون و ا...
مفهوم ترجیح رابطه ای مستقیم و بنیادی با مفاهیم خوب،بدو بهتر دارد.بر این اساس ترجیح چیزی بر چیزی رامی توان درکاربرد وسیله ای ،روشی از انجام دادن چیزی ،جهان ممکن،وضع ذهنی خاص وغیره لحاظ نمود.یک رفتار ترجیحی،در واقع ترجیح متعلق به یک شخص فاعل در یکی از موارد فوق است که آن را ترجیح مرتبه اول می نامیم.ترجیح مرتبه دوم آن است که میان مرجحات مرتبه اول،یک ار ارجح بدانیم و همین طور در ترجیح مرتبه سوم که ...
هر چند ملاصدرا - در منطق - متأثر از دیدگاه های حکمت سینوی است؛ اما نوآوری هایی در منطق دارد که به حق می توان منطق او را منطق صدرایی قلمداد کرد. ملاصدرا علاوه بر آن که در دو بخش تعریف و استدلال، نظرات ابتکاری ای دارد، در رابطه با علم منطق به عنوان یک مجموعه در کنار علوم بشری دیگر و نیز در مباحث مقدماتی آن، صاحب رأی است. ملاصدرا بر اساس تقسیم علوم حقیقی به حکمت نظری و حکمت عملی، علم منطق را مندرج...
ترکیب تابع ارزشی p با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر میشود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار میآید، معادل ترکیبهای تابع ارزشی و در منطق جدید است که دارای همان ماتریس میباشد. این ترکیب اساسیترین مفهوم منطق جدید محسوب میشود و در استدلالهای پیچیدۀ ریاضی نتایج رضایتبخشی داده است. آگاهی یا عدم آگاهی منطقدانان قدیم از شروط صدق این ترکیب سئوا...
در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...
دیدگاهی که می پندارد هرگونه روایت تاریخی باید فاقد بار ارزشی باشد، چه دیدگاهی است و چرا باید این دیدگاه را ناکارآمد پنداشت؟این دو پرسش اصلی و سؤالات فرعی دیگری که به فراخور بحث مطرح می شوند و تلاش برای پاسخگویی به آن ها، بنیاد مقاله ی حاضر را شکل می دهد. در واقع اساس این پژوهش بر این امر استوار است که هر کنش تاریخی، به ناگزیر دارای بار ارزشی است و چون روایت کردن تاریخ علاوه بر اینکه مقوله ای م...
الف) موضوع و طرح مسئله(اهمیت موضوع و هدف): قبل از پیدایش مکانیک کوانتوم، دانشمندان با مشکل توجیه بسیاری ازپدیده های فیزیکی مواجه بودند. مکانیک کوانتوم برای حل این مشکلات به میدان آمد. این نظریه هرچند از دیدگاه تجربی موفق است اما از دیدگاه مفهومی و فلسفی و از نظر عقل عرفی نه تنها نتوانسته است برخی از پرسش های قدیمی را پاسخ دهد، بلکه علاوه بر اینکه آن ها را از نو سر زبان ها انداخته است موجب سر بر...
منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید