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

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

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

فلسف? زبان معمولی بدلیل دارا بودن ساختار ساده و مبنایی تفکر، توانست تعداد زیادی از فیلسوفان انگلستان در حوز? تحلیل زبانی را به خود جذب کند. از این میان حوز? آکسفورد بیش از همه میزبان متفکرانی شد که مبنای تحلیلی خود را ساختار منطق گزاره هایی قرار دادند که به طور معمول و در جریان زندگی روزمره (توسط افراد معمولی) بیان می شوند. در میان چهره های برجست? این مکتب "جان لنگشاو آستین" به عنوان یکی از فیل...

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

- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.

دو روی کرد میلی و توصیفی در معناشناسی نام های خاصّ، هر کدام برآوردگار شهودهایی و در عین حال ناقض شهودهایی دیگرند. سینز بوری کوشیده است تا با معرفی نظریة دلالت بدون مدلول (rwr)، نظریه ای بینابین دو نظریة فوق ارائه دهد. در این مقاله، ابتدا به انگیزهای معرفی rwr، همچون حلّ برخی مشکلات در متون موجهه، به دست دادن معناشناسی ای درخور برای نام های تهی و وفاداری به نظریة معنای دیویدسون، پرداخته می شود و س...

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

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