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

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

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

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

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

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

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

در این پایان نامه به بررسی مشتق ها روی جبرهای سگال پرداخته می شود. ثابت شده است اگر g گروه میانگین پذیر و s(g) جبر سگال متقارن باشد، در این صورت برای هر –l1(g) دومدول باناخ x ، مشتق های پیوسته از s(g) به x درونی تقریبی هستند. همچنین میانگین پذیری ضعیف جبرهای سگال مورد مطالعه قرار می گیرد، بویژه نشان داده می شود اگر g یک [sin] گروه باشد، آنگاه هر جبر سگال متقارن s(g) میانگین پذیر ضعیف تقریبی است...

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

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