نتایج جستجو برای: کریپکی سایول
تعداد نتایج: 98 فیلتر نتایج به سال:
رابرت آدامز در حوزهى فرااخلاق کوشش میکند تا با دیدگاهی افلاطونی-الهیاتی ماهیت خوبی را دریابد و پس از آن ویژگیهای زندگی اخلاقی توام با بهروزی و سعادت را بیان کند. بدین منظور، ابتدا با الهام از نظریه کریپکی-پاتنم نقشهای معناشناختی خوبی را برمیشمرد سپس در جستوجوی بهترین گزینهای که آن نقشها را ایفا کند خداوند را خودِ خوبی و خوبی چیزها را مبتنی بر مشابهت آنها با خداوند مییابد؛ مشابهت چیزها ب...
در این پایان نامه سعی شده است مدل های نرمال منطق موجهات به لحاظ صوری، معنایی و فلسفی با روش تحلیلی بررسی شوند. هدف اصلی طرح، بررسی تفصیلی سیستم های نرمال بر اساس سیستم هایِ نرمالِ معرفی شده در کتاب درآمدی جدید به منطق موجهات اثر کرسول و هیوز بوده است. برای نیل به این هدف در فصل دوم پس از مروری مختصر بر مبانی منطق موجهات چهل و دو سیستم از آن سیستم ها ارائه شده است. نمایش مدل ها بر اساس دیاگرام ...
سائول کریپکی، در کتاب قواعد و زبان خصوصی از نظر ویتگنشتاین، تفسیری خاص و نسبتاً رادیکال از بحث پیروی از قاعدۀ ویتگنشتاینرا ارائه میدهد که بر اساس آن تمامی زبان و مفهوم سازیهای آن ناممکن و درواقع غیرقابل فهم میشود. یکی از نتایج این تفسیر، دیدگاهی معروف به «دیدگاه جامعهمحور» است که معتقد به ضرورتا اجتماعی بودن زبان بوده است و در نوک پیکان حمله به ایدۀ زبان خصوصی و مدل خصوصیِ پیروی از قاعده قرا...
در این مقاله، دو موضع گیری تجربه گرایان، در برابر چالش مهمّ معرفت پیشین و مستقلّ از تجربه (مانند حقایق ریاضی، منطقی و...)، مورد بررسی قرار گرفته است. موضع و پاسخ اوّل، این است که معرفت پیشین، مربوط به حقایق و گزاره های تحلیلی، یعنی گزاره هایی که بر حسب معانی الفاظ موجود در آن ها، صادق هستند، می باشد. مؤلّّف، در مقام نقد، به مثال های متعدّدی اشاره می کند که حقیقتی، ترکیبی و نه تحلیلی هستند، و معرفت ما...
هدف پژوهش حاضر با هدف بررسی ارتباط صنعت و دانشگاه ایران در تمامی حوزههای دانشی حوزه و مقایسه آن با متوسط منطقه خاورمیانه و متوسط جهانی صورت گرفته استروششناسی این پژوهش از نظر هدف کاربردی و از لحاظ رویکرد مطالعهای کمی و توصیفی است که با استفاده از شاخصهای علمسنجی انجام شده است جامعه پژوهش شامل تمامی بروندادهای علمی نمایهشده ایران خاورمیانه و جهان در پایگاه استنادی اسکوپوس طی سالهای تا میلادی است...
به باور چالمرز آگاهی اگرچه نتیجه منطقی یک سری ویژگی ها و قوانین پایه ای غیرفیزیکی است-برخلاف نظر رازگرایان که آن را غیرقابل تبیین حداقل در مرحله تکاملی فعلی انسان می دانند- به عنوان یک پدیده طبیعی قابل تبیین مطرح است. او با طرح چارچوب سوپرونینس به عنوان قالبی برای بررسی رابطه میان ویژگی های پدیداری و ویژگی های بنیادی فیزیکی، به توضیح رابطه آگاهی با فیزیک و قابلیت تبیین تقلیل گرای آگاهی می پرداز...
منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...
یکی از مسائل اصلی در وارسی سیستم های کامپیوتری، ساخت فضای حالت به صورت یک ساختار مبتنی بر حالت ها مانند ساختار کریپکی است. ابزارهای ارائه شده در بررسی مدل دارای مشکلات انفجار تعداد حالات در فضای حالت سیستم های بزرگ هستند. برای حل این مشکل، تاکنون روش های زیادی ارائه شده است، با این وجود، در سیستم های بزرگ ساخت کل فضای حالت ممکن نیست. برای رهایی از این مشکل، روش های نمادین مانند نمودار های تصمیم...
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...
مسأله انواع طبیعی در زمره مسائل پیچیده و عمیق فلسفی است، که از یک سو با مسأله افراد و از سوی دیگر با مسأله «ذات» گره خورده است. در این مسأله، نامگرایان با اصیل دانستن افراد و برشمردن ویژگیهای مشترک میان آنها، هرگونه هویت هستیشناختی برای انواع را نفی میکنند. در مقابل، واقعگرایان به وجود انواع طبیعی با الزامات خاصّی باور دارند و تلاش میکنند طبقهبندی افراد را تحت انواع طبیعی، براساس ویژگیها...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید