یکی از مسائلی که هیدگر از همان سال‌های اوّلیّة تحصیل دانشگاهی خود و بعد از آن در سال‌های تدریس به آن پرداخته است مسألة منطق است. البته هر کجا او از منطق سخن می‌گوید منظورش منطق فرادادی (سنّتی) است و نه منطق ریاضى- سمبلیک که اصطلاحاً به آن منطق جدید مى‏گویند. آنچه او دربارة منطق جدید گفته و نوشته است بسیار کم و غالباً همراه با توصیفاتی منفى است. در منطق فرادادی (سنّتی) نیز او به دنبال دستیابی به روش‏ه...

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

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

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

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

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

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