متغیر حقیقت (متغیر حکمی)

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

برگردان

شین میم شین

  

۱

·      متغیر حکمی به متغیری اطلاق می شود که عرصه ارزشی اش عرصه احکام است.

۲

·      متغیر حکمی در هر گویش منطقی مشخص کننده جای خالی برای جمله حکمی و یا برای معنی آن، یعنی حکم است.

۳

·      متغیر حکمی به معنی حکم حقیقی و یا خطا ست.

۴

·      از آنجا که در منطق صوری، نه پیوندهای مضمونی (محتوائی) موجود میان احکام مشخص، بلکه «ارزش های حقیقت» روابط فی مابین مورد بررسی قرار می گیرند، می توان متغیرهای حکمی را متغیرهای «ارزش حقیقت» نیز نامید.

۵

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

p, q, r 

p₀, p₁, p₂

P, Q, R

۶

·      در منطق مسندی متغیرهای حکمی را گاهی بمثابه متغیرهای صفرعضوی تعریف می کنند.

·      مراجعه کنید به متغیرها.

پایان