مسند (گزاره)

پروفسور دکتر ولفگانگ سگت

برگردان

شین میم شین

  

۱

·      مسند به فونکسیون حکمی با حداقل یک متغیر فردی و یا یک متغیر مسندی در منطق مدرن اطلاق می شود.

۲

·      مسند مشخصه و یا رابطه ای را منعکس می کند.

۳

·      مسند فرمی است که منطق مدرن در آن، مفهوم را مورد بحث قرار می دهد.

۴

·      در منطق سنتی مفهوم مسند، تنها در حکمی به شکل س ـ پ  بمثابه مسند مشخص می شود.

۵

·      مسندها بسته به این که آنها مشخصات و یا مناسبات را منعکس می کنند، به دو دسته تقسیم می شوند:

الف

·      مسندهای یک عضوی

ب

·      مسندهای چند عضوی.

۶

·      مسندهای چند عضوی را از این رو مناسبات نیز می نامند.

۷

·      از نمودار سمبلی مسندها می توان چند عضوی بودن آنها را تشخیص داد:

الف

·      مسند یک عضوی (مونادی):

·      F(x)

·      اف از ایکس، ایکس عبارت است از اف و یا ایکس مشخصات اف را دارد.

ب

·      مسند دو عضوی (دیادی):

·      R(x, y)

·      ار از ایکس و ایگرگ و یا میان ایکس و ایگرگ رابطه ای برقرار است. 

۸

·      تقسیم بندی مسند ها بر مبنای مرحله ای که آنها بدان تعلق دارند:

الف

·      مسندهای مرحله اول مسندهائی اند که به انعکاس مشخصات افراد و یا به انعکاس روابط موجود میان آنها  می پردازند.

·      مثال برای مسند یک عضوی مرحله اول:

۱

·      ایکس سرخ است.

۲

·      ایکس چهار گوشه است.

۳

·      ایکس زنده است.

·      مثال برای مسند چند عضوی مرحله اول:

۱

·      ایکس بزرگتر از ایگرگ است.

۲

·      ایکس علت ایگرگ است.

ب

·      مسندهای مرحله دوم و یا مسند مسندها مسندهائی اند که

·      به انعکاس مشخصات مشخصات و یا به انعکاس روابط موجود میان مشخصات، به انعکاس روابط موجود میان روابط و غیره می پردازند.

·      مثال برای مسند یک عضوی مرحله دوم:

·      ار متقارن است که مشخصه روابط معینی را منعکس می کند.

۹

·      برای نشان دادن سمبلیکی مسندهای مرحله دوم اغلب حروف بزرگ لاتینی بکار می برند:

·      G(R)

۱۰

·      از مسندها احکام از طرق زیر حاصل می آیند:

الف

·      به متغیرهای آزاد نام افراد و یا طبقات داده می شود.

ب

·      متغیرهای آزاد بکمک کوانتیفیکاسیون منطقی به هم پیوند داده می شوند و یا ترکیبی از دو روش یاد شده بکار برده می شود.

پ

·      در ادبیات مربوط به منطق اغلب نه خود فونکسیون های حکمی، بلکه اشکال زبانی آنها را مسند می نامند.

ت

·      در موارد دیگر P(x), R(x, y) و امثالهم را کلا مسندساز (پره دیکاتور) می نامند و فقط P, R و غیره را مسند نام می دهند.

۱۱

·      مشخصات و روابط اما در استفاده زبانی رایج وجود «درخود» ندارند، بلکه همواره به مثابه مشخصات افراد و یا روابط میان افراد و غیره مطرح می شوند.

·      مراجعه کنید به منطق مسندی، مناسبت.

پایان