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