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

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

ابن سینا نظریه علیت خود را، که شامل تعریف علیت فاعلی، مادی، صوری و غایی می شود، در هر دو نظام فلسفیِ طبیعی و الهیاتی ارائه می کند. از پرسش های پیش رو پیرامون نظریه علیت ابن سینا، نسبت علت فاعلی در طبیعیات (علّت فاعلی طبیعی) با علت فاعلی در الهیات (علّت فاعلی متافیزیکی) است. به نحو مشخص، این پرسش قابل بررسی است که آیا تعریف علیت فاعلی متافیزیکی بر مفهوم علت فاعلی طبیعی هم صدق می کند؟ این مقاله درصد...

رورتی در تلاش است به عنوان یک فیلسوف تحلیلی، در بستر اندیشه ای پسامدرنی و با نگاهی پراگماتیکی که به واژگان و زبان دارد، به ساختار شکنی مسائل مختلف فلسفه مبادرت ورزد. بدین منظور، او تمام معرفت شناسی سنتی را با تمام مقولاتش (نظیر حقیقت، عینیت، عقل و غیره) زیر سوال می برد. دیدگاه او این است که فیلسوفان سنتی (مثل افلاطون، دکارت، و کانت ) همواره با باور به واقعیت های فراانسانی و فراتاریخی (نظیر حقیق...

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

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

نظریة افعال گفتاری(Theory of Speech Acts)  نظریه‌ای فلسفی است که جان لنگشاو اَستین استاد فلسفة اخلاق دانشگاه آکسفورد در سال 1962 عرضه کرد و پس از او شاگردش جان سرل، فلیسوفِ ذهن و زبان معاصر در کتابی با عنوان افعال گفتاری آن را بسط و توسعه داد. هدف این نظریه ارائه تحلیل جامعی از نحوة ارتباط زبان با عالم خارج است  و در نهایت، به این پرسش اساسی و مهم در حوزة فلسفة زبان پاسخ می‌گوید که چگونه می‌توان ...