فرگ. [ ف َ ] ( اِخ ) دهی است از دهستان بالاولایت بخش حومه شهرستان کاشمر، واقع در دوهزارگزی جنوب کاشمر، سر راه شوسه عمومی تربت به کاشمر. ناحیه ای است جلگه ای، معتدل ودارای 1062 تن سکنه. از قنات مشروب می شود. محصول عمده آن غلات، انگور، انار و شغل اهالی زراعت است. راه اتومبیل رو دارد. ( از فرهنگ جغرافیایی ایران ج 9 ).
دهی است از دهستان با ویت بخش حومه شهرستان کاشمر در ۲ کیلومتری جنوب کاشمر سرراه شوسه عمومی تربت به کاشمر جلگه و معتدل ۱٠۶۲ تن سکنه قنات محصول غت انگور انار شغل زراعت
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.
💡 درست همانگونه که منطق گزارهای به نوعی یک پیشرفت در مقایسه با دستگاه قدیمیتر منطق قیاسی است، منطق محمولاتی ابداع شده توسط گوتلاب فرگ هم پیشرفتی در مقایسه با منطق گزارهای به حساب میآید. منطق محمولاتی به عنوان "تلفیقی از ویژگیهای شاخص منطق قیاسی و منطق گزارهای" توصیف شدهاست، در نتیجهٔ آغازگر دورانی تازه در تاریخ منطق است. با این وجود پیشرفتهای جدید در منطق گزارهای بعد از فرگ هم انجام گرفتهاست از جمله کسر طبیعی، درختهای درستی و جدول ارزش. کسر طبیعی توسط گرهارد گنتزن و جان لوکاسویچ ابداع شدهاست اما در مورد منشأ اختراع جدول درستی بحث و اختلاف نظر وجود دارد.
💡 ایدههای پشت جدول ارزش در نوشتههای هر دو فرگ و برتراند راسل یافت شدهاند، با این حال ساختار جدولی (یعنی قرار دادن مقادیر درستی در جدولها) عمدتاً به لودویگ ویتگنشتاین، امیل لئون پست یا هر دو نسبت داده میشود (مستقل از یکدیگر). جدا از فرگ و راسل، دیگرانی که به داشتن نظریاتی ماقبل جدولهای درستی شناخته میشوند، عبارتند از: فیلو، بول، چارلز سندرز پرس و ارنست شرودر. همچنین علاوه بر پست و ویتگنشتاین ساختار جدولی را منتسب به افرادی چون لوکاسویچ، شرودر، آلفرد نورث وایتهد،ویلیام استنلی جوونز، جان ون و کلارنس اروینگ لوویس میدانند. در نهایت بعضی چون جان شاشکی اینگونه نتیجهگیری میکنند که «بدیهی است که هرکسی میتواند مخترع جدول ارزش شناخته شود».