نظریۀ ارجاع مستقیم در مورد برخی مسائل معنی شناختی، از جمله مسئلۀ ارجاع به لاوجود و مسئلۀ جایگزینی اسامی خاص هم مرجع در جمله های نگرش گزاره ای با مشکل مواجه می شود؛ زیرا تنها چیزی که در این نظریه معنی یک عبارت را تشکیل می دهد مصداقِ مرتبط با آن است. در این مقاله، سعی بر آن است که با تکیه بر آنچه «مصداق گفتمانی» نامیده می شود، به دو پرسش اساسی در این زمینه پاسخ داده شود: الف) چرا جایگزینی دو عبارت...

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

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

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

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