نتایج جستجو

'''قانون هویت''' {{به انگلیسی|Law of identity}} رابطۀ [[منطق]]ی بین دو شیء متحد است. این هویت را در [[منطق صوری]] با [[علامت]] تساوی (<math>=</math>) نشان می‌دهند. مثال: ب <math>=</m ...

...>P</math> را برآورده می‌سازد. فرمولی که در آن یک سور، گسترده‌ترین [[دامنه (منطق)|دامنه‌اش]] را می‌گیرد، یک '''فرمول کمی‌شده''' {{به انگلیسی|quantified form ...گرداگرد شهر است. سورها قلمرو اعضای موضوع مورد بحث را مشخص می‌کنند. از نظر منطق‌دانان، وجه تشابه سور با دیوار شهر آن است که دیوار گرداگرد شهر، محدود و قلمر ...

...ولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.<ref>{{یادکرد|کتاب=منطق ریاضی|نویسنده=[[محمد اردشیر]]|ناشر=[[انتشارات هرمس]] با همکاری [[مرکز بین‌ا در سال ۱۸۰۰ [[ایمانوئل کانت|امانوئل کانت]] در کتاب منطق خود نوشت: ...

...ردار است. دو نوع مهم از ثابت‌های منطقی[[رابط منطقی|، رابط منطقی]] و [[سور (منطق)|سور]] هستند. گزاره [[تساوی (ریاضیات)|برابری]] (=) نیز در بسیاری از [[دستگا یکی از سؤالات اساسی در [[فلسفه منطق]] این است که «ثابت منطقی چیست؟»؛<ref>{{Cite journal|last=Peacocke|first=Chr ...

...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آ ...

در [[منطق]]، یک '''[[منطق وجهی]] نُرمال''' {{به انگلیسی|Normal modal logic}}'''،''' یک مجموعۀ ''L'' ا * همۀ [[همان‌گویی (منطق)|همان‌گویی]]‌های گزاره‌ای ...

...nal proof}} برهانی است که به‌شکل ادعای شرطی است، و اثبات می‌کند که [[مقدم (منطق)|مقدم]] عبارت شرطی، لزوماً منجر به [[تالی]] می‌شود. == منطق ریاضی == ...

...1|publisher=Wiley-Blackwell|isbn=978-0-631-20693-4|page=4}}</ref>''' یا '''منطق دو ظرفیتی''' نامیده می‌شود.<ref name="Tomassi19992" /><ref name="Hürlimann2 در [[منطق صوری]]، اصل دو ظرفیتی به خاصیتی تبدیل می‌شود که یک [[معناشناسی منطقی]] ممکن ...

...مفهوم متناظر با اصطلاح پیشامدهای ناسازگار در آمار، همان تقابل در مفاهیم در منطق است. ...ical) هستند که معادل همین پیشامدهای دوبه‌دوی ناسازگار در آمار یا متقابل در منطق قرار می‌گیرند.<ref>{{یادکرد کتاب|عنوان=Introduction to Research in Educatio ...

...نند که [[دامنه خالی|دامنه تهی]] دارند. یک منطق آزاد با خاصیت اخیر را یک '''منطق فراگیر''' گویند. در [[منطق کلاسیک]] قضیه‌هایی وجود دارد که به وضوح فرض می‌کنند چیزی در [[دامنه سخن]] م ...

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

اکثر فلاسفه معاصر اعتقاد را یک نگرش و حالت نسبت به یک [[گزاره (منطق)]] می‌دانند. گزاره‌ها معانی جملاتی هستند. به عنوان مثال، اگر دو جمله معنی ی {{منطق}} ...

...ال''' ({{lang|la|Reductio ad absurdum}}، به معنای «کاستن تا حد پوچی») در [[منطق]]، تلاشی است برای نشان دادن اینکه یک گزاره در نهایت خود نتایجی ناممکن، غیرع [[رده:عبارت‌های فلسفی لاتین]] ...

== کار فلسفی == ...ه‌است که بسیاری از کارکردهای [[شناخت|شناختی]]، از جمله [[ادراک]]، [[تمثیل (منطق)|قیاس]]، [[تبیین]]، [[تصمیم‌گیری]]، [[برنامه‌ریزی]] و غیره را می‌توان به‌عن ...

...com/series/why-there-something-rather-nothing |dead-url=yes }}</ref> متفکر فلسفی برجسته «سیدنی مورجنبیسیر»{{efn|Sidney Morgenbesser}} این پرسش را با یک گفته ...اب است، یعنی، 'استنتاج وجود چیزی بدون استفاده از فرضیه‌های که وجود دارند'. منطق‌دان‌ها نباید از ناتوانی خود برای انجام این استنتاج شرمنده باشند، همان‌گونه ...

...انه|دانشمندان '''رایانه''']]، به ویژه [[امیر پنوئلی|امیر پنولی]]، و [[منطق|منطق دانان]] توسعه یافته‌است. ...کننده به‌طور همزمان اعطا نمی‌شود. چنین بیانیه ای را می‌توان به راحتی در یک منطق زمانی بیان کرد. ...

...resent and Future", by A. N. Prior, Oxford Univ.</ref> موجهات دیانتیک یا [[منطق موجهات فقهی]] (به‌طور خاص، «واجب است که <math>p</math>» و «مجاز است که <mat ...د» و «این امکان هست که امروز باران بیاید» هر دو حاوی مفهوم امکان هستند. در منطق موجهات این مسئله به عنوان یک عملگر، یعنی «امکاناً»، به جملهٔ «امروز باران خ ...

...وری‌ها، گزاره‌هایی که به‌صورت کلی و عام پذیرفته شده‌اند، مثل «[[اصل موضوع (منطق)|اصل موضوع]]»، اثبات شده‌است. اثبات قضیهٔ ریاضی، استدلالی منطقی برای گزارهٔ == قضایا در منطق == ...

...ترتیبی|ترتیبی]] و حساب آن‌ها را تعریف کرد. دستاورد کانتور از لحاظ [[فلسفه|فلسفی]] نیز جایگاه ویژه‌ای دارد و وی نیز به‌نیکی از این حقیقت آگاه بود. ...براور]] قرار گرفت، و [[لودویگ ویتگنشتاین]] نیز در مورد نظریهٔ او ایرادهای فلسفی بیان نمود. برخی از علمای مسیحی (به‌ویژه پیروان جدید [[فلسفه مدرسی]]) نیز می ...

[[رده:مفهوم‌ها در منطق]] [[رده:واژگان فلسفی]] ...