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

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

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

در این تحقیق یک دستگاه شاخه تکان پنوماتیک قابل حمل و سبک برای برداشت میوه هایی که می توان با تکانیدن شاخه برداشت نمود، طراحی و ساخته شد. جریان هوا و جریان الکتریکی مورد نیاز برای بکار انداختن دستگاه از مجموعه ای متشکل از مولد الکتریکی و کمپرسور باد سوار بر شاسی قابل حمل تأمین می گردد. برای کنترل بسامد ارتعاش مجهز به یک کنترل کننده منطقی برنامه پذیر (plc) و جهت تغییر دامنه نوسان مجهز به یک سیستم...

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

هدف از این پروژه طراحی بلوک منطقی برای fpga می باشد. معماری بلوک منطقی طراحی شده در این پروژه از fpgaی cyclone که توسط شرکت altera عرضه گردیده، الگو برداری شده است. بر خلاف cyclone که در تکنولوژی 130 نانومتر از شرکت umc طراحی و ساخته شده، ما از تکنولوژی 180 نانومتر tsmc برای طراحی های خود استفاده کرده ایم. همچنین ولتاژ تغذیه برابر 1.8 ولت در نظر گرفته شده است. کلیه مراحل طراحی در نرم افزار cade...

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

پیش از ظهور منطق جدید، نظام منطقیِ رایج بی‌بدیل می‌نمود. اما منطق کلاسیک، با نظام‌های متعددی روبه‌روست که خود را منطقی و هماورد منطق کلاسیک می‌دانند. این نظام‌ها، اغلب مبتنی بر پیش‌فرض‌های خاص فلسفی هستند و قواعد منطقی متفاوتی را طرح می‌کنند. در مواجهه با این نظام‌ها، پرسشی فلسفی مطرح می‌شود مبنی بر اینکه آیا اساساً کثرت در نظام و/یا قواعد منطقی ممکن است؟ فیلسوفان منطق جدید، پاسخ‌های متنوعی به ای...

این مقاله فاقد چکیده می​باشد.