از معادله تا مدارکه در جبر CAS
از معادله تا مدارکه: پیوند صورت های ریاضی و ادراک معنا در چارچوب
CAS–PMA
۲۵ مهر ۱۴۰۵
نویسنده :محمد حجتی فرد(استاد سرجودی)
پژوهشگر و معمار جبر ادراک معنا PMA-CAS
فهرست مطالب
۱ مقدمه: چرا تمایز میان برابری و مدارکه اهمیت دارد
۲ برابری، هم ارزی و هم نهشتی: سه کارکرد متمایز
۳ از مقارنه تا مدارکه در جبر ادراک معنا
۴ معیارهای صورت بندی و نتیجه گیری
۱ مقدمه: چرا تمایز میان برابری و مدارکه اهمیت دارد
این مقاله تمایز میان برابری، هم ارزی، هم نهشتی، مقارنه و مدارکه را در دو سطح دنبال می کند: سطح تعریف های تثبیت شده ریاضی و سطح صورت بندی پیشنهادی در جبر ادراک معنا (PMA) و چارچوب CAS–PMA. مدعای اصلی آن است که این اصطلاح ها را نمی توان مترادف گرفت؛ هرکدام نوعی متفاوت از نسبت میان نمادها، عناصر یا تجربه های معنایی را بیان می کنند. در ریاضیات، رابطه هم ارزی با شروط صوری روشن تعریف می شود و هم نهشتی پیمانه ای نمونه ای دقیق از آن است؛ این تمایزها در یادداشت دانشگاهی مری رادکلیف، «روابط هم ارزی» صورت بندی شده اند. در مقابل، «مقارنه» و «مدارکه» در این پژوهش مفاهیمی پیشنهادی برای توصیف فرایند مقایسه و تحقق ادراکی معنا هستند و تا هنگامی که دامنه، عملگرها و معیارهای آزمونشان مشخص نشود، نباید آن ها را قضیه یا مفهوم استاندارد ریاضی معرفی کرد. این تفکیک، هم امکان گفت وگوی میان ریاضیات و فلسفه معنا را حفظ می کند و هم مانع از خلط استعاره نظری با نتیجه اثبات شده می شود.
۲ برابری، هم ارزی و هم نهشتی: سه کارکرد متمایز
برابری معمولا بیان می کند دو شیء یا دو عبارت در چارچوبی معین یکسان اند؛ معنای دقیق آن وابسته به دستگاه صوری و نوع اشیای مورد بحث است. معادله نیز گزاره ای شامل برابری است که ممکن است مسئله یافتن مقادیر مجهول را پیش بکشد. بنابراین «حل معادله» با «تعریف رابطه هم ارزی» یکی نیست: اولی مسئله ای درباره صدق برابری در شرایطی خاص است، دومی رابطه ای روی یک مجموعه با خواص معین.
رابطه هم ارزی روی مجموعه X رابطه ای است که بازتابی، متقارن و متعدی باشد: برای هر x، داریم xx؛ اگر xy، آنگاه yx؛ و اگر xy و yz، آنگاه xz. چنین رابطه ای مجموعه را به کلاس های هم ارزی افراز می کند. یادداشت درسی مری رادکلیف، «روابط هم ارزی» این تعریف را ارائه می کند و نشان می دهد که هم ارزی پیمانه ای، یعنی ab (mod n) هرگاه n مقسوم علیه a−b باشد، نمونه ای از رابطه هم ارزی بر اعداد صحیح است.
هم نهشتی بسته به شاخه ریاضی، کاربردهای متفاوتی دارد. در حساب پیمانه ای، هم نهشتی پیمانه n همین رابطه هم ارزی مبتنی بر باقی مانده یکسان است. در ساختارهای جبری، رابطه هم نهشتی افزون بر هم ارزی بودن، باید با عمل های ساختار سازگار باشد؛ در نتیجه هر رابطه هم ارزی دلخواه را نمی توان بی قیدوشرط هم نهشتی یک ساختار دانست. پس برابری، هم ارزی و هم نهشتی از نظر دامنه و کارکرد به هم مربوط اند، اما قابل جایگزینی نیستند.
۳ از مقارنه تا مدارکه در جبر ادراک معنا
در چارچوب پیشنهادی CAS–PMA، مقارنه را می توان عمل مقایسه دو یا چند محتوای معنایی در یک میدان و بر پایه وجوه یا محورها ی مشخص دانست. مقارنه صرفا اعلام نمی کند که دو عبارت برابرند؛ می پرسد چه جنبه هایی از آن ها سنجیدنی است، چه زمینه ای مقایسه را ممکن می کند و کدام تفاوت ها در آن زمینه اهمیت دارند. این تعریف فعلا یک پیشنهاد مفهومی است، نه تعریف پذیرفته شده در ریاضیات.
مدارکه در این مقاله نام فرایندی است که طی آن یک ناظر، در پیوند با میدان معنایی و شرایط ادراکی خود، از مقایسه به دریافت یا تحقق معنایی می رسد. به این اعتبار، مدارکه را نباید معادل برابری صوری یا صرفا خروجی زبانی دانست. دو گزاره ممکن است از حیث صورت برابر نباشند، اما در یک میدان معین کارکردی نزدیک داشته باشند؛ یا برعکس، صورت یکسانی داشته باشند ولی به سبب تفاوت زمینه و ناظر، مدارکه یکسانی پدید نیاورند. این مثال ها پرسش های پژوهشی اند و تا تعریف عملیاتی دقیق، شاهد اثبات نظریه محسوب نمی شوند.
برای صورت بندی این گذار، می توان به طور مقدماتی سه جزء را از هم جدا کرد: (۱) داده ها یا عبارت های معنایی مورد مقارنه؛ (۲) میدان، محور و شرایط مقایسه؛ و (۳) ناظر و قاعده ای که خروجی ادراکی را تولید یا گزارش می کند. سپس باید روشن شود آیا خروجی مدارکه یک کلاس، بردار، رابطه یا ساختار دیگری است و چگونه به تغییر ورودی و زمینه پاسخ می دهد. استفاده از اصطلاح «ایزومورفیسم ادراک و معنا» نیز تنها زمانی ریاضی وار خواهد بود که دو ساختار، نگاشت میان آن ها و حفظ دقیق عملیات و روابط تعریف شود؛ شباهت شهودی به تنهایی ایزومورفیسم را اثبات نمی کند.
۴ معیارهای صورت بندی و نتیجه گیری
برای تبدیل پیشنهاد مفهومی به چارچوبی قابل ارزیابی، گام نخست تعیین دامنه است: اشیای معنایی دقیقا چه هستند و ناظر چه داده ای دریافت می کند؟ گام دوم تعریف رابطه مقارنه و مشخص کردن ویژگی های آن است؛ برای نمونه، باید آزمود آیا بازتابی، متقارن یا متعدی است، یا آگاهانه برخی از این خواص را ندارد. گام سوم تعریف سازوکار تولید مدارکه و معیار سنجش پایداری آن در برابر تغییر صورت بیان، زمینه و ناظر است. سرانجام، مثال های نقض و موارد مرزی باید پیشاپیش تعیین شوند تا چارچوب بتواند میان پیش بینی موفق و تفسیر پسینی تمایز بگذارد.
این معیارها از تعریف های استاندارد رابطه هم ارزی و نقش آن در افراز مجموعه ها الهام می گیرند؛ اما به خودی خود اعتبار تجربی یا ریاضی PMA را اثبات نمی کنند. نتیجه این مطالعه مقدماتی آن است که مسیر «از معادله تا مدارکه» نه تبدیل مستقیم یک مفهوم ریاضی به مفهوم ادراکی، بلکه ساختن پل میان دو سطح با حفظ تفاوت هایشان است. برابری و هم نهشتی ابزارهای صوری تعریف شده اند؛ مقارنه و مدارکه در این چارچوب، مفاهیمی نیازمند تعریف دقیق، قواعد استنتاج و آزمون مستقل اند. همین مرزبندی می تواند پایه ای برای توسعه منضبط تر CAS–PMA فراهم کند.
۵ منابع
Mary Radcliffe, Math 127: Equivalence Relations, یادداشت درسی دانشگاه کارنگی ملون، بهار ۲۰۱۹، بخش های ۱–۲، صص. ۱–۴. منبع برای تعریف رابطه هم ارزی، افراز به کلاس های هم ارزی و هم نهشتی پیمانه ای استفاده شده است.