ابن‌سینا دو تعریف متمایز برای جمله‌ی خبری ارائه می‌دهد. یکی در الشفاء: «قضیه عبارتی است که دارای صدق یا کذب است» و دیگری در الإشارات: «ترکیب خبری آن است که گوینده‌ی آن را بتوان در آنچه می‌گوید، صادق یا کاذب دانست». بنابر یک تفسیر، این دو تعریف دو ملاک تمایز برای جمله‌ی خبری است، که هرکدام به فضای معناداریِ مستقلّی تعلّق دارد. تعریف نخست مبتنی بر فضای سمانتیکال است، که بر اساس آن، جمله‌ی خبری به‌تن...

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

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

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

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

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

نویسنده کتاب «خوانشی نو از فلسفه فارابی گسست بنیادین معرفتی از سنت یونانی»در صدد است با برجسته کردن ابداعات اساسی و محوری فارابی در باز تدوین فلسفه در زمانه ی خویش نحوه افتراق جریان فلسفه اسلامی از سنت یونانی را توضیح دهد . مهم ترین مدعای نویسنده پی افکنی فلسفه اسلامی بر مبنای سه قضیه است : الف-.تعیین موضوع آن به عنوان "وجود" نه "موجود".  ب-استناد فهم وجود به ع...

ارسطو در آغاز کتاب قیاس (تحلیل اولی) گزارة حملی را به دو قسم مسور و مهمل طبقه‌بندی می‌کند. منطق‌دانان پیشین در دورة اسلامی، طبقه‌بندی گزارة حملی را در "کتاب عبارت"طرح و آن را به سه قسم شخصی، مسور و مهمل افزایش دادند. منطق‌دانان دو بخشی متأخر (از سده هفتم به بعد) طبیعیه را نیز بر آنها افزودند. علامه حلی طبقه‌بندی پنج‌گانه‌ای را ارائه می‌دهد. امروزه یدگاه رایج از آن منطق‌دانان دو بخشی متأخر است. ...