نتایج جستجو برای: منطق صوری
تعداد نتایج: 12464 فیلتر نتایج به سال:
در استدلال های علمی و حتی در استدلال های روزمره ما، مقدمات استدلال و نتیجه باید به هم ربط داشته باشند. از جهتی ما با بسیاری از استدلال هایی سر و کار داریم که تقریبی اند و تا یک درجه خاصی درست هستند. در این پایان نامه با توجه به دو مقوله مهم در زبان طبیعی و منطق، یعنی «ربط» و «ابهام»، با رویکردی صوری، گزاره ای و غیرکلاسیک منطق هایی ساخته می شوند که استدلال آن ها هم فازی است و هم ربطی، و منطق های...
ایده جهانهای ممکن حدود نیم قرن است که مورد توجه قرار گرفته است. کاربرد اصلی و اولیه این ایده، توسط منطقدانان و به منظور طراحی دلالتشناسی صوری برای منطق گزارههای ضروری و ممکن، با استفاده از مفاهیم و ساختارهای موجود در نظریه مجموعهها، بوده است. این ایده سپس، در شاخههای دیگر منطق، مانند منطق تکلیف و منطق شرطی نیز به کار گرفته شد و سودمند واقع شد. «جهانهای ممکن»، به سرعت، در رشتههای دیگر مانند...
دکتر محمد خوانساری،متولد 1300 ش./1921 م.در شهر اصفهان است.ایشان،علاوه بر استفاده از محضر استادان بنام علوم قدیم اصفهان،در طول دوران تحصیل در دانشسرای مقدماتی اصفهان و دانشسرای عالی تهران،از محضر استادانی همچون مرحوم کتابی،همائی،مدری رضوی،رضازادهء شفق،بهار،اقبال آشتیانی، معین،مهدوی،سیاسی،صدیقی و بخصوص شیخ محمد حسین فاضل تونی بهرهمند گردید.پس از اخذ لیسانس لسفه و علوم تربیتی،ابتدا بهعنوان مسئو...
کانت منطق را به دو حوزه کلی منطق عمومی و منطق استعلایی تقسیم میکند. منطق عمومی نسبت به اعیان خنثی است و صرفا قواعد انسجام خود اندیشه و از این رو صرفا شرایط سلبی حقیقت را بیان میکند. اما آیا اصل طرد شق ثالث که میگوید از بین یک گزاره و نفی آن یکی درست است یک شرط صرفا سلبی برای حقیقت است؟ در این مقاله نشان میدهیم که چنین نیست. در این راستا هم به لحاظ تاریخی به برهان کانتور اشاره میکنیم و هم ب...
کتاب مبانی نظری و عملی پژوهش در علوم انسانی و اجتماعی تألیف علی دلاور سالهاست متن درسی روش تحقیق در رشتههای علوم اجتماعی و انسانی است و تاکنون بارها تجدیدچاپ شده است. پژوهۀ فرارو با روش تحلیل اسنادی این تألیف را نقد کرده است و با تکیه بر نظریۀ «تقسیم» در منطق ارسطویی نواقص «ارائۀ منطقی محتوا» را در این کتاب در فصلبندی و ارائۀ زیرعنوانها و تدوین مطالب در ذیل عناوین، که هریک موجب اختلال در فر...
منطق معرفت پویا منطق معرفت و عمل است. این تنها یک منطق نیست، بلکه شامل خانواده ای از منطق هاست که قابلیت بررسی جنبه های دینامیک و استاتیک سیستم های فکری عامل ها را دارند. منطق معرفت پویا منطقی است برای استدلال در رابطه با ارتباطات و باورهای صادق. منطق معرفت پویا همانند منطق معرفت، نسبت به منطق صوری کلاسیک منطقی توسعه یافته است. منطق معرفت پویا با افزودن اپراتورهای پویا به منطق معرفت ایچاد می گ...
منطق مورد استفاده در حقوق، نمیتواند محدود به منطق صوری باشد، زیرا حقوق، حوزۀ قضاوتهای ارزشی است که اثبات ریاضی و آزمایش تجربی را برنمیتابد. منطق حقوق، منطق اقناع و احتجاج است. نظریۀ احتجاج به بررسی استدلالهایی میپردازد که در مورد قضاوتهای ارزشی بهکار میروند. یکی از استدلالهایی که در این نظریه کاربرد دارد، «احتجاج مبتنی بر مرجعیت» است. در این احتجاج، مرجعیت نظری یک شخص یا نهاد بهعنوان ...
ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...
همواره آزمون و وارسی جزء پیچیده ترین و هزینه برترین گام های توسعه سیستم های نرم افزاری به شمار می آیند. با پدیدار گشتن سیستم های نرم افزاری نوین که بیشتر از پیش، بر پویایی، انعطاف پذ یری، خودمختاری، اندازه پذیری و توزیع شدگیشان افزوده شده است، پیچیدگی و هزینه آزمون و وارسی نیز افزون تر گشته است. در این میان، سیستم های با معماری خدمت گرا، به ویژه خدمت های وبی، با آنکه توانسته اند با بهره گیری از...
زبان ریاضی می تواند رفتار یک سیستم فیزیکی را در قالب نظریه هایی مانند مکانیک نیوتن یا مکانیک کوانتوم توصیف کند، عبارات ریاضی مربوط به نظریه، گزاره هایی حامل اطلاعاتی راجع به ماهیات و سیستمهای مرتبط با آن نظریه هستند. این عبارات ساختاری جبریرا نشان می دهند و متناظر با روابط جبری بین عبارات ریاضی، روابط منطقی بین گزاره ها وجود دارد، یعنی بین گزاره هایی که با توجه به نظریه، سیستمی را توصیف م...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید