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

رویکردهای طبیعت‌گرایانه به اخلاق درصدد هستند تا از یافته‌های علوم تجربی در مباحث فلسفه‌ی اخلاق بهره گیرند. از معروفترین رویکردهای طبیعت‌‌گرایانه به اخلاق رویکرد تکاملی است. اخلاق تکاملی همواره به ارتکاب مغالطه‌های طبیعت‌گرایانه متهم بوده است. مغالطه‌ی طبیعت‌گرایانه دو قرائت هیومی و موری دارد. قرائت هیومی که به قرائت استنتاجی مغالطه‌ی طبیعت‌گرایانه نیز موسوم است استنتاج «بایدها» از «است‌ها» را ا...

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

چکیده: ضربالمثلها آیینهی تمامنمای فرهنگ هر جامعه به شمار میآید؛ لذا بررسی و تحلیل آنها از زوایای مختلف میتواند ما را نسبت به دیدگاهها، افکار و اندیشه و آداب و رسوم یک فرهنگ آشنا نماید. در زبان و فرهنگ عربی- اسلامی نیز ضرب المثل از جایگاه والایی برخوردار است و موضوعات و مباحث متعددی در آن قابل بررسی است؛ لذا بهخاطر گستردگی موضوعات، ما در این پژوهش، فقط به موضوع مهم «بایدها و نبایدهای اخلاقی»پرد...

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

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

در مشروطیت بسیاری از مفاهیم جدید حقوق عمومی پدیدار شدند. مفهوم برابری در مقابل قانون یکی از این مفاهیم بود. ظهور این مفهوم در افق بحثهای مشروطه خواهان نشان از وقوع تغییراتی در بنیادهای اخلاقی جامعه میداد و از این رو مفهومی بنیادین و یکی از شالوده های استقرار حکومت قانون بود. دفاع از این مفهوم و تفکیک میان دو مفهوم متمایز «برابری در مقابل قانون» و «برابری در قانون» به-مدد سابقه فقهی آن ممکن¬شد. ...

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

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

در این مقاله با تکیه بر آراء بیل و رستال به بررسی نظریۀ کثرت‌گرایی در منطق خواهیم پرداخت. در ابتدا نظریات انحصارگراییِ منطقی، نسبی‌گرایی منطقی، انواع مختلف کثرت‌گراییِ منطقی و همچنین تفاوتِ کثرت‌گرایی بیل و رستال را نسبت به دیگر نظریاتِ کثرت‌گرایانۀ منطقی تشریح خواهیم کرد. توضیح خواهیم داد که بیل و رستال معتقد به نوعی کثرت‌گرایی منطقی معناگرایانه هستند که بر اساس آن می‌توان تفاسیرِ متفاوت و قابل قبو...