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

معانی مفاهیم«اولی،ضروری،بدیهی،یقینی»به ظاهر،روشن است، اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می‌باشد؛به تبع این‌ مواضع و مباحث مختلف،معانی آنها نیز تا حدی تغییر کرده و مختلف خواهد بود.در این مقاله سعی داریم این مواضع و اختلاف معانی را روشن کنیم.

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

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

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

زبان های طبیعی نظام های پیچیده ای هستند و ایجاد دستورهای رایانه ای برای آن ها، هم به دانش زبان شناختی و هم به داشتن دانشی درباره زبان های برنامه نویسی نیاز دارد. هدف چارچوب دستوری (جی اف) آن است تا این فرایند را هموارتر نماید. جی اف یک زبان برنامه نویسی تابعی است که با استفاده از فنآوری نوین طراحی شده و در آن، مدل معنایی نظریه انواع با برنامه نویسی تابعی در می آمیزد تا سامانه ای را پدید آورد که...

چکیده ندارد.

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

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