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

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

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

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

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

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

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

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

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

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