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

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

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

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

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

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

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

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

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