در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

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

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

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

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

این رساله تلاشی برای دفاع از وجود داشتن ارتباطی مفهومی و تاریخی بین رساله ی «درباره ی ابطال های سوفیستی» ارسطو و دو نظریه ی منطقی قرون وسطاییِ «دلالت و اطلاق» است. نظریه ی دلالت که ریشه کاملاً ارسطویی دارد توسط منطق دانان قرون وسطی دچار تحولات شگرفی گردید و منشاء پیدایش نظریه های بدیع و گوناگونی گشت. از سوی دیگر نظریه ی اطلاق که در ذیل بحث «ویژگی های حدود» مطرح گردیده، یکی از چند نظریه ی مهم منطق...

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

نویسنده محترم مقاله « قضیه معدوله و محصله » ( مقالات و بررسیها ، 61 ، ص 81-103 ) « درصدد اثبات این مدعا است که در کتب منطقی – از ترجمه کتاب ارسطو گرفته تا کتب منطقی اخیر در سه مورد [ تقسیم قضیه به معدوله و محصله ، تقسیم لفظ به معدول و محصل و گفتگو درباره ملکه و عدم ] ، در هر سه مورد اشتباه رخ داده است (ص 81 ). نوشتار حاضر ابتدا با تفکیک شناخت امر واقع از تبیین آن ، خطای « اخذ مالیس بعلة علة » ...

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