نتایج جستجو برای: منطق گزاره ای

تعداد نتایج: 242709  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی 1393

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

پایان نامه :دانشگاه آزاد اسلامی 1379

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی 1387

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

ژورنال: :منطق پژوهی 0
ابوذر قاعدی فرد دانشجوی دکتری فلسفة اسلامی، دانشگاه بین المللی امام خمینی سیدمحمد قادری دانشجوی دکتری فلسفة اسلامی، دانشگاه بین المللی امام خمینی

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

غلامرضا ذکیانی

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

ژورنال: غرب شناسی بنیادی 2013

گزارة نظرورزانه یکی از نوآوری‌های منطقی هگل است که آن را نخست‌بار در درآمد کتاب پدیدارشناسی روح مطرح کرد. مفهوم اساسی این گزاره بر اساس نقدی شکل می‌گیرد که وی به منطق سنتی و نیز به منطق کانتی دارد. در این مقاله می‌کوشم تا نشان دهم این گزاره در اندیشة هگل چگونه شکل می‌گیرد چه نسبتی با گزاره‌های بنیادین در دو منطق پیش‌گفته دارد و نیز این برداشت خاص از گزاره چه امکاناتی را برای متافیزیک و منطق وی ...

ژورنال: :پژوهشنامه فلسفه دین (نامه حکمت) 2012
محمد سعیدی مهر

بحث از مواد ثلاث («وجوب » (یا ضرورت)، «امکان » و «امتناع ») و گزاره های موجّه در منطق و فلسفۀ اسلامی از جایگاه خاصی برخوردار بوده است و فیلسوفان و منطقدانان مسلمان به تفصیل از احکام و اقسام آن بحث کرده اند. با این حال، به دلیل عدم بهره گیری از یک نظام معناشناختی منقح با پاره ای ابهامات معنایی در برخی اقسام گزاره های موجّه روبه روییم. در این مقاله پس از مروری کلی بر بحث موجهات در منطق و فلسفه اسلا...

ژورنال: :غرب شناسی بنیادی 2014
سیدمحمدتقی طباطبایی

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

احد فرامرز قراملکی احمد عبادی,

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی 1390

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید