اصل موضوع: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش برچسب: افزودن پیوند بیرونی به جای ویکیپیوند |
Amirzeinaali (بحث | مشارکتها) اصلاح تایپی |
||
خط ۱:
'''اصل''' یا '''بُنداشت''' یا '''بُن قانون'''،<ref> گزینهٔ «بُنداشت» گرچه زیبا و یک هجا کوتاهتر از «بُن قانون» (همچنین اصل موضوع) اما دارای امکان مشکل است، زیرا در معنی «ثروت» در فارسی به آن واژه نیاز هست (برگرفته از فارسی دری «بُندار» = «ثروتمند، مالدار»)، نیز در کاربرد فعل «بُنداشتن» = to axiomatise کاربردپذیر نیست (البته بشیوهٔ «بنداشت بخشیدن» میتوان بکار برد)، اما «بن قانونیدن» = to axiomatise کاربردپذیر است: «اکنون که ما دادههای این دانش را سراسر بررسی کردهایم آنرا می بُن قانونیم.» برتری دیگر «بُن قانون» آن است که در کنار واژهٔ «بُنیادقانون» = «قانون اساسی» یک «گروه واژههای نزدیک معنیِ هم ساختار» را برمی نهد («قانون اساسی» = «آن چهارچوب قانونی که آغازگاه قانونهای دیگر کشور است و خود از قانون دیگری مشتق نمیشود!» درست همان کارکردی که «بُن قانون» = axiom در زمینهٔ دانش دارد). دریافت کاربران در آینده میان این دو گزینهٔ کارآمد «بنداشت» و «بن قانون» داوری می باید کرد. به هر روی، هر دو واژه بر واژهٔ عربی «اصل»، که در زبان فارسی بسیار آشفته و در کاربردهای جدا و بی پیوست به هم بکار می رود، برتری دارند.</ref> در [[فلسفه]]، [[ریاضیات]]، [[منطق]] و [[فیزیک]]، [[گزاره]]ای است که بدونِ [[اثبات]] و به شکل پیشفرض پذیرفته میشود و از رویِ آن سایر گزارهها استخراج میشوند.
اصل یا بدیهیات آنچنانکه در [[فلسفۀ کلاسیک]] تعریف شده است، گزارهای است (در ریاضیات اغلب بصورت نمادین ارائه میشود) که پرواضح یا بدیهی است، بدون اینکه بحث یا سؤالی در مورد آن مطرح باشد، مورد پذیرش است. بنابراین، اصل میتواند به عنوان مبنایی برای استدلال یا ادعا مورد استفاده قرار گیرد؛ آنچنان که در منطق یا ریاضیات مرسوم است. این واژه از واژۀ یونانی (axíōma (ἀξίωμα
{{سرخط}}در منطق مدرن، اصل پیشفرض یا نقطۀ شروعی برای استدلال است. صحت بدیهی بودن یک اصل مفهومی یا به صورت نمادهای ریاضی، موضوعی است که در فلسفۀ ریاضیات، بوسیلۀ ریاضیدانان مورد بررسی قرار میگیرد.
اصل، در ریاضیات دارای دو مفهوم متمایز است: «اصول منطقی» و «اصول غیرمنطقی». اصول منطقی معمولاً به بیانیههایی گفته میشود که از نظر سیستم منطق صحیح هستند (برای مثال (الف و ب) دلالت بر الف دارد)، در حالیکه اصول غیرمنطقی (مانند الف+ب=ب+الف) بیانگر مفاهیمی ذهنی در مورد دامنۀ یک نظریۀ ریاضی خاص می-باشند (مانند حساب).
|