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

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

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

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

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

نظام شریعت اسلامی به عنوان یک سیستم ارزشی وحقوقی کامل با منابع پایدار کتاب و سنت و بهره مندی از عقل به عنوان رسول باطنی، سازگارترین نظام ارزشی با تغییرات و تحولات جهان است؛ به طوری که منطق به کار رفته در کتاب و سنت، منطقی چند ارزشی و پیوسته است. در این نظام ارزشی، گزاره های دینی درجه بندی و پیوسته، با متغیرهای زبانی بیان گشته است. این مقاله کوششی است در تبیین نظام ارزشی پیوسته و فازی، تا فرایند...

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

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

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

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