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

گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل‌گری» و «قواعد ساختاری» تقسیم می‌کند. مقصود وی از قواعد عمل‌گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان‌کنندة ویژگی‌های مبنایی یک استدلال است به‌‌ گونه‌ای که هر تغییری در آن‌ها سبب تغییر کل سیستم می‌شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل‌گری قابل حصول است این نکته زیربنای رویکرد...

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

در این مقاله، نخست نظریه معنای دیوید سن و چگونگی کاربرد آن برای تعیین مصداق ثوابت منطقی را شرح خواهم داد. به این منظور به اصول موضوع واژگانی(lexical axioms) و اصول موضوعِ مسوّرِ (extentional attributive adjectives) را انتخاب می کند و نشان می دهد که با اتخاذ تعبیری خاص، می توان نظریه معنای ساخت که در آن، صفت های مقید مصداقی در اصول موضوعِ مسوّر ظاهر شوند؛ بنابراین، این اصول موضوع نمی توانند مشخص کنند...

در این مقاله، نخست نظریة معنای دیوید‌سن و چگونگی کاربرد آن برای تعیین مصداق ثوابت منطقی را شرح خواهم داد. به این منظور به اصول موضوع واژگانی(Lexical axioms) و اصول موضوعِ مسوّرِ (Extentional attributive adjectives) را انتخاب می‌کند و نشان می‌دهد که با اتخاذ تعبیری خاص، می‌توان نظریة معنای ساخت که در آن، صفت‌های مقید مصداقی در اصول موضوعِ مسوّر ظاهر شوند؛ بنابراین، این اصول موضوع نمی‌توانند مشخص کنند...

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

مواد نانو کریستال حاوی کریستال هایی با اندازه دانه هایی در مقیاس نانو(از 1 نانومتر تا 100 نانومتر) می باشند. محل اتصال دو یا چند دانه در مواد پلی کریستال را مرزدانه می گویند. خواص بسیار زیادی از مواد پلی کریستالی تحت اثر همین مرزدانه ها است. چیدمان های اتمی در مرزدانه ها میتواند باعث ایجاد خواص متفاوتی مانند خواص الکتریکی یا خواص ترمودینامیکی، خواص استحکامی شوند. در این پایان نامه به بررسی خواص...

این مقاله یک روش جدید عددی-تجربی برای محاسبه ی ثوابت معیار تسلیم ناهمسانگرد پیشرفته ی bbc2003 ارائه می دهد. محاسبه ی هشت ثابت این معیار تسلیم نیازمند تعیین تجربی هشت خاصیت مکانیکی است. این خواص عبارتند از تنش تسلیم تک محوره در جهت 0، 45 و 90 درجه نسبت به راستای نورد، ضرایب ناهمسانگردی در این جهت ها و تنش تسلیم در شرایط کرنش صفحه ای در دو جهت 0 و 90 درجه. اما، تعیین تنش تسلیم و ضرایب ناهمسانگردی...

این مقاله یک روش جدید عددی-تجربی برای محاسبه ی ثوابت معیار تسلیم ناهمسانگرد پیشرفته ی bbc2003 ارائه می دهد. محاسبه ی هشت ثابت این معیار تسلیم نیازمند تعیین تجربی هشت خاصیت مکانیکی است. این خواص عبارتند از تنش تسلیم تک محوره در جهت 0، 45 و 90 درجه نسبت به راستای نورد، ضرایب ناهمسانگردی در این جهت ها و تنش تسلیم در شرایط کرنش صفحه ای در دو جهت 0 و 90 درجه. اما، تعیین تنش تسلیم و ضرایب ناهمسانگردی...