کورت گودل در فوریه ی ???? با دینا اسکات درباره ی دلیل هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتیْ تا حدی متفاوت از آن را در دانشگاه پرینستُن ارائه کرد. نظام منطقی دلیل، منطق موجهات مرتبه ی دوم در نظام s5 است، با این همانی و یک اصلِ انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه ی گودل، این که ضرورتا موجودی خدای-گونه وجود دارد( )، از مقدمات به دست می آید. سوبل اما نشان داد که ع...

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

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

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

شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...

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

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

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

برهان آنسلم از نمونه‌های نامور برهان‌ وجودی است که قرن‌ها محل بحث فیلسوفان و منطق‌دانان بوده است. یکی از کلیدی‌ترین فرازهای این برهان چنین است که «اگر [آن‌چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن‌گاه می‌توان همین فرد را به‌عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می‌توان «مسئلة مقایسة با خود» را مطرح کرد؛ مسئله‌ای که اولاً به تمایز میان «آن‌چه فراتر از آن قابل تصور ...