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

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

دو اصل مهمی که تشکیل‌دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم‌ارزی؛ راه‌حل‌های مطرح‌شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته‌بندی هستند: نخست‌، راه‌حل‌هایی که بر رد یا اصلاح معیار نیکو مبتنی‌اند؛ دوم،‌ راه‌حل‌هایی که بر رد یا اصلاح شرط هم‌ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته‌ایم....

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

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

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

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

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

دو اصل مهمی که تشکیل دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم ارزی؛ راه حل های مطرح شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته بندی هستند: نخست ، راه حل هایی که بر رد یا اصلاح معیار نیکو مبتنی اند؛ دوم، راه حل هایی که بر رد یا اصلاح شرط هم ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته ایم. ...