صوری سازی رابطه ی مفهومی تقابل معنایی در سطح واژه از منظر زبانشناسی ریاضی

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