در برخی قضایا و در برخی زبان‌ها (مانند زبان فارسی)، افزون بر موضوع و محمول، واژه‌ای (مانند «است») وجود دارد که «ربط» یا «رابط» نام دارد. بسیاری از فلاسفۀ اسلامی، حقیقتِ «ربط» را مرتبه‌ای از مراتب «وجود» می‌دانند و از این رو از آن به «وجود رابط» تعبیر می‌کنند.  این نظریه مبتنی بر مبانی و مقدماتِ خاصی است که مهم‌ترین آن‌ها این است که: «رابط» در عالم خارج وجود دارد.در بین فلاسفۀ اسلامی متفکرانی هستن...

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

منطق دانان مسلمان برای توجیه استدلالهای ساده ای ( مانند قیاس مساوات ) دچار گرفتاریهایی شده اند که این گرفتاریها از التزام آنها به قیاس حملی نشات گرفته است ناتوانی منطق قدیم در این زمینه از ناحیه نسبت به ماهی نسبت نیست یعنی اینگونه نیست که منطق قدیم به این دلیل از اثبات استدلالهای حاوی نسبت ناتوان باشد که دارای نسبت هستند بلکه مشکل اصلی منطق قدیم همان اتکا به تحلیل موضوع محمولی گزاره و عطف توجه ...

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

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

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

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