Veridicality
لسانیات میں، تصدیق (لاطینی سے "سچائی سے کہا گیا") کسی بیان کی سچائی کا لفظی یا گرائمیکل دعوی ہے۔ تعریف میریئم-ویبسٹر "ویریڈیکل" کی تعریف سچے، سچے اور غیر خیالی کے طور پر کرتی ہے۔ یہ لاطینی "ویریڈیکس" سے نکلا ہے، جو لاطینی ویرس پر مشتمل ہے، جس کا مطلب ہے "سچ"، اور ڈائسیر، جس کا مطلب ہے "کہنا"۔ مثال کے طور پر، بیان "پال نے سانپ دیکھا" اس دعوے کی سچائی پر زور دیتا ہے، جبکہ "پال نے سانپ دیکھا" اس سے بھی زیادہ مضبوط دعوی ہے۔ تصدیق کی رسمی تعریف سیاق و سباق کو ایک پیشگی آپریٹر کے طور پر دیکھتی ہے (گیاناکیڈو 1998)۔ ایک پروپوزیشنل آپریٹر F درست ہے اگر Fp میں p شامل ہے، یعنی Fp → p ؛ بصورت دیگر F غیر درست ہے۔ مزید برآں، ایک نان ویریڈیکل آپریٹر ایف اینٹی ویریڈیکل ہے اگر ایف پی میں پی نہیں ہوتا ہے، یعنی ایف پی۔ عارضی اور پہلو آپریٹرز کے لیے، تصدیق کی تعریف کچھ زیادہ پیچیدہ ہے: وقت کے لمحات سے متعلق آپریٹرز کے لیے: فرض کریں کہ F ایک عارضی یا پہلو آپریٹر ہے، اور t وقت کا ایک لمحہ ہے۔ وقت t پر Fp کے سچ ہونے کے لیے F درست ہے، p کو (سیاق و سباق سے متعلق) وقت ≤ t پر درست ہونا چاہیے ؛ بصورت دیگر F غیر درست ہے۔ ایک نان ویریڈیکل آپریٹر F وقت t پر Fp کے درست ہونے کے لیے اینٹی ویریڈیکل IFF ہے، ¬p کو (سیاق و سباق سے متعلق) وقت ≤ t پر درست ہونا چاہیے۔ وقت کے وقفوں سے متعلق آپریٹرز کے لیے: فرض کریں کہ F ایک عارضی یا پہلو آپریٹر ہے، اور t وقت کا وقفہ ہے۔ ایف ٹی کے لیے ایف پی کے سچ ہونے کے لیے درست آئی ایف ایف ہے، پی کو تمام (سیاق و سباق سے متعلق) ٹی کے لیے درست ہونا چاہیے ؛ بصورت دیگر ایف غیر درست ہے۔ ایک نان ویریڈیکل آپریٹر ایف اینٹی ویریڈیکل آئی ایف ایف ہے جس کے لیے ایف پی ٹی کے بارے میں درست ہے، Âp تمام (سیاق و سباق سے متعلق) Ât کے بارے میں درست ہونا چاہیے۔ نان ویریڈیکل آپریٹرز نیگیشن ویریڈیکل ہے، حالانکہ مخالف قطعیت کا، جسے بعض اوقات اینٹی ویریڈیکل کہا جاتا ہے: "پال نے سانپ نہیں دیکھا" اس بات پر زور دیتا ہے کہ بیان "پال نے سانپ دیکھا" غلط ہے۔ انگریزی میں، غیر علامتی مزاج یا غیر حقیقی مزاج اکثر غیر حقیقی معنوں میں استعمال کیے جاتے ہیں: "پال نے سانپ دیکھا ہوگا" اور "پال نے سانپ دیکھا ہوگا" اس بات کا دعوی نہ کریں کہ پال نے اصل میں سانپ دیکھا تھا اور دوسرے کا مطلب ہے کہ اس نے نہیں دیکھا۔ "پال نے واقعی سانپ دیکھا ہوگا" درست ہے، اور کچھ زبانوں میں ایسے معاملات کے لیے الگ الگ مشروط مزاج ہوتے ہیں۔ لاڈوسا (1980) کے تجویز کردہ بااثر ڈاونورڈ اینٹیلمنٹ تھیوری (نیچے دیکھیں) کے متبادل کے طور پر قطبیت آئٹمز جیسے انگریزی الفاظ کسی بھی اور ہمیشہ کے لائسنس کے پیچھے غیر تصدیق کی تجویز کی گئی ہے۔ اناستاسیا گیاناکیڈو (1998) نے استدلال کیا کہ زبان میں مشاہدہ کیے جانے والے مختلف قطعیت کے مظاہر ظاہری شکل کے سیاق و سباق کی (غیر) صداقت پر قطعیت کی اشیاء کے انحصار کا مظہر ہیں۔ (غیر) حقیقی انحصار مثبت (لائسنسنگ)، یا منفی (اینٹی لائسنسنگ) ہو سکتا ہے، اور قطعیت آئٹمز کی حساسیت الفاظ سے پیدا ہوتا ہے۔ زبانوں میں، مختلف قطبیت آئٹمز تصدیق، اینٹی تصدیق، یا غیر تصدیق کے لیے حساسیت ظاہر کر سکتی ہیں۔ نان ویریڈیکل آپریٹرز عام طور پر قطعیت آئٹمز کے استعمال کا لائسنس دیتے ہیں، جو کہ حقیقی سیاق و سباق میں عام طور پر غیر گراماتی ہوتے ہیں: * مریم نے کسی بھی طالب علم کو دیکھا۔ (سیاق و سباق درست ہے۔) مریم نے کوئی طالب علم نہیں دیکھا۔ (سیاق و سباق غیر تصدیق شدہ ہے۔) نیچے کی طرف آنے والے تمام سیاق و سباق غیر تصدیق شدہ ہیں۔ اس کی وجہ سے، غیر تصدیق پر مبنی نظریات کو نیچے کی طرف داخل ہونے کی بنیاد پر توسیع کے طور پر دیکھا جا سکتا ہے، جس سے قطعیت آئٹم لائسنسنگ کے مزید معاملات کی وضاحت کی جا سکتی ہے۔ ڈاونورڈ اینٹیلمنٹ پیش گوئی کرتا ہے کہ قطبیت آئٹمز کو نفی کے دائرہ کار میں لائسنس دیا جائے گا، جس میں نیچے کی طرف چند N، زیادہ سے زیادہ n N، No N، اور ہر ایک کی پابندی شامل ہے: کسی بھی طالب علم نے کچھ نہیں دیکھا۔ مریم نے کچھ نہیں دیکھا۔ بہت کم بچوں نے کچھ دیکھا۔ ہر وہ طالب علم جس نے کچھ دیکھا ہو اسے پولیس کو اطلاع دینی چاہیے۔ نان مونوٹون کوانٹیفایئرز بالکل تین طلباء کی طرح ہیں، کوئی نہیں بلکہ جان، اور تقریبا کوئی بھی مونوٹون نہیں ہے (اور اس طرح نیچے کی طرف نہیں ہے) لیکن اس کے باوجود کسی کو تسلیم کرتے ہیں:% بالکل تین طلباء نے کچھ بھی دیکھا۔ مریم کے سوا کسی نے کچھ نہیں دیکھا۔ تقریبا کسی نے کچھ نہیں دیکھا۔ مشکل سے اور بمشکل مشکل سے اور بمشکل نیچے کی طرف مائل نہ ہونے کے باوجود کسی کی اجازت دیتے ہیں۔ مریم نے شاید ہی کسی سے بات کی ہو۔ (اس کا مطلب یہ نہیں ہے کہ "مریم نے شاید ہی اپنی ماں سے بات کی ہو۔") مریم نے بمشکل ہی کچھ پڑھا۔ (اس کا مطلب یہ نہیں ہے کہ "مریم نے بمشکل لسانیات کا مطالعہ کیا"۔) سوالات قطعیت سوالات میں کافی کثرت سے ہوتے ہیں، حالانکہ سوالات یکسوئی نہیں ہوتے ہیں۔ آپ نے کچھ دیکھا؟ اگرچہ سوالات منفی جواب کی طرف متعصبانہ ہوتے ہیں، جیسے کہ "کیا آپ [یہاں تک کہ] کسی بھی کتاب کے بارے میں پرواہ کرتے ہیں؟" (منفی جملوں پر مبنی ٹیگ کے سوالات اس طرح کے تعصب کو ظاہر کرتے ہیں)، بعض اوقات نیچے کی طرف مائل ہونے کے طور پر دیکھا جا سکتا ہے، یہ نقطہ نظر عام معاملے کا محاسبہ نہیں کر سکتا، جیسے کہ مندرجہ بالا مثال جہاں سیاق و سباق بالکل غیر جانبدار ہے۔ نہ ہی یہ وضاحت کر سکتا ہے کہ منفی سوالات، جو قدرتی طور پر متعصبانہ ہوتے ہیں، منفی قطعیت والی اشیاء کو لائسنس کیوں نہیں دیتے ہیں۔ سیمنٹکس میں جو کسی سوال کو اس کے حقیقی جوابات کے مجموعے کے طور پر پیش کرتا ہے، قطبی سوال کی نشاندہی میں دو ممکنہ جوابات ہوتے ہیں: [[کیا آپ نے مریم کو دیکھا؟]] = {آپ نے مریم کو دیکھا؟ آپ نے مریم کو نہیں دیکھا] کیونکہ اختلاط p * q میں نہ تو p اور نہ ہی q شامل ہے، سیاق و سباق غیر تصدیق شدہ ہے، جو کسی کے داخلے کی وضاحت کرتا ہے۔ مستقبل کے قطبیت آئٹمز مستقبل کے جملوں میں ظاہر ہوتے ہیں۔ مریم شراب کی کوئی بھی بوتل خریدے گی۔ جیسے ہی بچوں کو کچھ پتہ چلے گا وہ وہاں سے چلے جائیں گے۔ عارضی آپریٹرز کے لیے تصدیق کی باضابطہ تعریف کے مطابق، مستقبل غیر تصدیق شدہ ہے: کہ "جان مرلوٹ کی ایک بوتل خریدے گا" اب سچ ہے اس کا مطلب یہ نہیں ہے کہ "جان مرلوٹ کی ایک بوتل خریدتا ہے" کسی بھی وقت سچ ہے اور اب بھی شامل ہے۔ دوسری طرف، ماضی درست ہے: کہ "جان نے میرلوٹ کی ایک بوتل خریدی" اب سچ ہے کہ اس سے پہلے ایک لمحہ ہے جس پر "جان میرلوٹ کی ایک بوتل خریدتا ہے" سچ ہے۔ عادت کا پہلو اسی طرح، عادت کے پہلو کی غیر تصدیق قطعیت آئٹمز کو لائسنس دیتی ہے۔ وہ عام طور پر کسی بھی کتاب کو بہت احتیاط سے پڑھتا ہے۔ عادت کا پہلو غیر تصدیق شدہ ہے کیونکہ مثال کے طور پر، یہ کہ "وہ عام طور پر خوش مزاج ہوتا ہے" کچھ وقفے کے ساتھ سچ ہے اس کا مطلب یہ نہیں ہے کہ "وہ خوش مزاج ہے" اس کے ہر ذیلی وقفے پر سچ ہے۔ یہ مثال کے طور پر ترقی پسند پہلو کے برعکس ہے، جو درست ہے اور منفی قطعیت والی اشیاء کو منع کرتا ہے۔ عام جملے غیر یک سنگی عام جملے قطعیت کی اشیاء کو قبول کرتے ہیں۔ کوئی بھی بلی چوہوں کا شکار کرتی ہے۔ موڈل فعل موڈل فعل قطعیت آئٹمز کے لیے عام طور پر اچھا ماحول پیدا کرتے ہیں: مریم کسی سے بھی بات کر سکتی ہے۔ کسی بھی نابالغ کو اپنے والدین کے ساتھ ہونا چاہیے۔ کمیٹی کسی بھی امیدوار کو نوکری دے سکتی ہے۔ اس طرح کے سیاق و سباق غیر یک آواز ہونے کے باوجود غیر تصدیق شدہ ہوتے ہیں اور بعض اوقات اس سے بھی اوپر کی طرف ہوتے ہیں ("مریم کو ٹینگو کرنا چاہیے" کا مطلب ہے "مریم کو ناچنا چاہیے")۔ امپیریٹوز امپیریٹوز عام طور پر موڈل فعل اور شدید سیاق و سباق کے تقریبا متوازی ہوتے ہیں۔ کوئی بھی سیب لے لیں۔ (cf. "آپ کو کوئی بھی سیب لینا چاہیے،" میں چاہتا ہوں کہ آپ کوئی بھی سیب لیں۔ ") پروٹاسس آف کنڈیشنلز قطعیت والی اشیاء کے لیے سب سے عام ماحول میں سے ایک ہے۔ اگر آپ کسی کے ساتھ سوتے ہیں تو میں آپ کو مار ڈالوں گا۔ ڈائرکٹو انٹینشنل فعل قطبیت آئٹمز کو ڈائرکٹو پروپوزیشنل رویوں کے ساتھ لائسنس دیا جاتا ہے لیکن علمی رویوں کے ساتھ نہیں۔ مریم کسی بھی طالب علم کو مدعو کرنا چاہے گی۔ مریم نے ہم سے کسی بھی طالب علم کو مدعو کرنے کو کہا۔ * مریم کا ماننا ہے کہ ہم نے کسی بھی طالب علم کو مدعو کیا تھا۔ * مریم نے خواب دیکھا کہ ہم نے کسی بھی طالب علم کو مدعو کیا ہے۔ حوالہ جات گرائمر انفریشن سیمنٹکس منطقی سچائی رسمی سیمنٹکس (قدرتی زبان)