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

حنین بن اسحاق (194-260ق) یکی از پرکارترین دانشمندان دورة اسلامی است. او در طب، فلسفه، منطق، اخلاق، علوم طبیعی و کلام مسیحی آثار فراوانی تألیف و ترجمه کرده است. در این مقاله ضمن معرفی مهم ترین آثار او در طب و فلسفه و منطق، گزارشی مختصر از آرای وی در کلام مسیحی عرضه می شود. جدول شمارة 2 نیز تلخیصی سودمند از رسالة حنین دربارة آثار جالینوس است که حاوی فهرست نسبتاً کاملی از ترجمه های پزشکی حنین و یار...

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

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

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

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

سابقه و هدف: مدل سازی سینتیک خشک شدن با استفاده از روشهای جدید مدل سازی از جمله منطق فازی و شبکه های عصبی مصنوعی می تواند به بهینه سازی فرایند و کاهش انرژی مصرفی کمک کند. در این پژوهش علاوه بر مدل سازی رگرسیونی، در رویکردی جدید اصول منطق فازی و شبکه های عصبی مصنوعی به صورت ترکیبی و مکمل هم به کار برده شده و مدلی فازی – عصبی ارائه ودر نهایت توپولوژی بهینه شبکه های عصبی مصنوعی برای خشک کردن پیاز ...

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

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

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...