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

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

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

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

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

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

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

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

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

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