مقدمه
منطق ریاضی یکی از مباحث بنیادی ریاضیات است که به بررسی ساختار گزارهها، روابط میان آنها و قواعد صحیح استدلال میپردازد. هنگامی که در ریاضیات جملهای مانند «عدد ۷ اول است» یا «اگر \(x>2\) باشد، آنگاه \(x^2>4\) است» را بررسی میکنیم، در واقع با ساختارهایی سروکار داریم که میتوان درستی یا نادرستی آنها را بهصورت دقیق تحلیل کرد.
هدف منطق ریاضی این نیست که صرفاً درباره درست یا نادرست بودن چند جمله خاص صحبت کند؛ بلکه تلاش میکند ساختار عمومی استدلال را به زبان دقیق و نمادین بیان کند. به همین دلیل، مفاهیمی مانند گزاره، نقیض، عطف، فصل، شرطی، دوشرطی، جدول ارزش، همارزی منطقی و کمیتنماها در بسیاری از شاخههای ریاضیات و علوم کامپیوتر کاربرد دارند.
در منابع آموزشی دانشگاهی، منطق گزارهای معمولاً با گزارهها و عملگرهای منطقی آغاز میشود و سپس به جدولهای ارزش، همارزی منطقی و ساختارهای دارای کمیتنما میرسد. این ساختار به دانشجو کمک میکند تا پیش از ورود به مباحث پیچیدهتر اثبات و استدلال، زبان دقیق منطق را فرا بگیرد. MIT OpenCourseWare و OpenStax نیز همین پیوستار مفهومی را در آموزش منطق دنبال میکنند.
تعریف منطق ریاضی
منطق ریاضی مطالعه ساختار صوری گزارهها و استدلالها و بررسی روابط منطقی میان آنهاست. در این چارچوب، به جای تکیه بر برداشتهای زبانی و شهودی، از نمادهای دقیق و قواعد مشخص استفاده میشود.
در سادهترین سطح، یک گزاره جملهای است که دقیقاً یکی از دو ارزش «درست» یا «نادرست» را دارد. با ترکیب گزارهها به وسیله عملگرهای منطقی، گزارههای مرکب ساخته میشوند. سپس میتوان با استفاده از جدول ارزش یا قوانین همارزی، رفتار منطقی این گزارهها را بررسی کرد.
در سطحی گستردهتر، منطق ریاضی به گزارههایی میپردازد که درباره عناصر یک دامنه صحبت میکنند. در اینجا کمیتنماهایی مانند «برای هر» و «وجود دارد» نقش مهمی پیدا میکنند.
برای مطالعه ساختار کلی مباحث بنیادی ریاضیات، میتوانید به مبانی ریاضیات مراجعه کنید.
مفاهیم بنیادی
گزاره و ارزش صدق
گزاره جملهای خبری است که بتوان برای آن دقیقاً یکی از دو ارزش صدق «درست» یا «نادرست» را تعیین کرد. برای نمایش گزارهها معمولاً از حروفی مانند \(p\)، \(q\) و \(r\) استفاده میشود.
برای مثال، جمله «عدد ۲ زوج است» یک گزاره درست است و جمله «عدد ۵ زوج است» یک گزاره نادرست است.
در مقابل، جملههایی مانند «در را ببند!» یا «آیا امروز باران میبارد؟» معمولاً گزاره محسوب نمیشوند؛ زیرا جمله امری یا پرسشی هستند و بهطور معمول نمیتوان برای آنها ارزش صدق درست یا نادرست تعیین کرد.
گزاره نقطه شروع بیشتر مباحث منطق گزارهای است؛ زیرا سایر ساختارهای منطقی از گزارههای ساده یا گزارههای دارای ساختار داخلی ساخته میشوند.
عملگرهای منطقی
برای ترکیب یا تغییر گزارهها از عملگرهای منطقی استفاده میشود. مهمترین آنها عبارتاند از:
- نقیض: \( \neg p \)
- عطف: \( p\land q \)
- فصل: \( p\lor q \)
- شرطی: \( p\rightarrow q \)
- دوشرطی: \( p\leftrightarrow q \)
هر عملگر قاعده مشخصی برای تعیین ارزش صدق گزاره حاصل دارد. این قواعد پایه ساخت جدولهای ارزش و بررسی همارزیهای منطقی هستند.
ساختار کلی مباحث منطق ریاضی
مباحث منطق ریاضی را میتوان بهصورت یک زنجیره مفهومی در نظر گرفت. ابتدا باید بدانیم گزاره چیست و چگونه ارزش صدق آن تعیین میشود. سپس با نقیض و عملگرهای ترکیب گزارهها آشنا میشویم. پس از آن، جدول ارزش ابزاری برای بررسی همه حالتهای ممکن فراهم میکند. مفهوم همارزی منطقی امکان جایگزینکردن یک عبارت منطقی با عبارت دیگری با همان رفتار منطقی را فراهم میسازد. در مرحله بعد، با استفاده از کمیتنماها میتوان درباره همه یا برخی عناصر یک دامنه صحبت کرد.
این ترتیب از نظر آموزشی اهمیت دارد؛ زیرا هر مفهوم معمولاً بر مفاهیم قبلی تکیه میکند.
گزاره
تعریف کوتاه: گزاره جملهای است که دقیقاً یک ارزش صدق، یعنی درست یا نادرست، دارد.
مفهوم اصلی: گزارههای ساده مانند \(p\) و \(q\) واحدهای پایه منطق گزارهای هستند. گزارههای پیچیدهتر میتوانند از ترکیب چند گزاره ساده تشکیل شوند.
جایگاه در منطق ریاضی: گزاره نقطه شروع مطالعه ساختارهای منطقی است و پیشنیاز طبیعی برای فهم عملگرهای منطقی و جدول ارزش محسوب میشود.
ارتباط با مفاهیم دیگر: نقیض، عطف، فصل، شرطی و دوشرطی همگی روی گزارهها یا گزارههای مرکب عمل میکنند.
مثال: جمله «\(3+4=7\)» یک گزاره درست است.
مطالعه بیشتر درباره گزاره
نقیض گزاره
تعریف کوتاه: نقیض گزاره \(p\) با نماد \( \neg p \) نشان داده میشود و ارزش صدق آن برخلاف \(p\) است.
مفهوم اصلی: اگر \(p\) درست باشد، \( \neg p \) نادرست است و اگر \(p\) نادرست باشد، \( \neg p \) درست خواهد بود.
این رابطه را میتوان بهصورت زیر خلاصه کرد:
$$ p=\text{درست}\quad\Longrightarrow\quad\neg p=\text{نادرست} $$ $$ p=\text{نادرست}\quad\Longrightarrow\quad\neg p=\text{درست} $$
جایگاه در منطق ریاضی: نقیض یکی از بنیادیترین عملگرهای منطقی است و در ساخت گزارههای مرکب، قوانین منطقی و نقیض گزارههای دارای کمیتنما نقش اساسی دارد.
ارتباط با مفاهیم دیگر: نقیض در قوانین دمورگان با عطف و فصل ارتباط مستقیم دارد و در نقیضکردن گزارههای شرطی و کمیتدار نیز اهمیت دارد.
مطالعه بیشتر درباره نقیض گزاره
عطف و فصل
تعریف کوتاه: عطف دو گزاره \(p\) و \(q\) با \(p\land q\) و فصل آنها با \(p\lor q\) نمایش داده میشود.
عطف زمانی درست است که هر دو گزاره درست باشند:
$$ p\land q $$
فصل در معنای رایج منطق ریاضی زمانی نادرست است که هر دو گزاره نادرست باشند؛ بنابراین اگر دستکم یکی از آنها درست باشد، \(p\lor q\) درست است.
جایگاه در منطق ریاضی: این دو عملگر از مهمترین روشهای ساخت گزاره مرکب هستند و بخش مهمی از جدولهای ارزش را تشکیل میدهند.
ارتباط با مفاهیم دیگر: عطف و فصل با نقیض، همارزی منطقی و قوانین دمورگان ارتباط مستقیم دارند. برای نمونه، یکی از قوانین بنیادی منطق چنین است:
$$ \neg(p\land q)\equiv(\neg p\lor\neg q) $$
مطالعه بیشتر درباره عطف و فصل
شرطی و دوشرطی
تعریف کوتاه: گزاره شرطی با نماد \(p\rightarrow q\) و گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده میشوند.
گزاره شرطی «اگر \(p\)، آنگاه \(q\)» فقط در حالتی نادرست است که \(p\) درست و \(q\) نادرست باشد. بنابراین:
$$ p\rightarrow q\equiv\neg p\lor q $$
گزاره دوشرطی \(p\leftrightarrow q\) زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.
جایگاه در منطق ریاضی: شرطی در بیان بسیاری از قضایای ریاضی و ساختارهای استدلالی استفاده میشود و دوشرطی برای بیان رابطه «اگر و تنها اگر» کاربرد دارد.
ارتباط با مفاهیم دیگر: شرطی با همارزی منطقی، نقیض، عکس، معکوس و عکس نقیض ارتباط دارد. بررسی این روابط معمولاً با جدول ارزش انجام میشود.
مطالعه بیشتر درباره شرطی و دوشرطی
جدول ارزش
تعریف کوتاه: جدول ارزش جدولی است که ارزش صدق یک گزاره مرکب را برای همه حالتهای ممکن ارزش صدق گزارههای تشکیلدهنده نشان میدهد.
برای دو گزاره \(p\) و \(q\)، چهار حالت ممکن وجود دارد:
$$ (T,T),\quad(T,F),\quad(F,T),\quad(F,F) $$
نمونهای از جدول ارزش برای چند عملگر اصلی:
| \(p\) |
\(q\) |
\(\neg p\) |
\(p\land q\) |
\(p\lor q\) |
\(p\rightarrow q\) |
\(p\leftrightarrow q\) |
| درست |
درست |
نادرست |
درست |
درست |
درست |
درست |
| درست |
نادرست |
نادرست |
نادرست |
درست |
نادرست |
نادرست |
| نادرست |
درست |
درست |
نادرست |
درست |
درست |
نادرست |
| نادرست |
نادرست |
درست |
نادرست |
نادرست |
درست |
درست |
جایگاه در منطق ریاضی: جدول ارزش یکی از ابزارهای اصلی برای تشخیص وضعیت یک گزاره مرکب و بررسی همارزی منطقی است.
ارتباط با مفاهیم دیگر: با استفاده از جدول ارزش میتوان قوانین منطقی، همارزیها، tautology یا همان هموارهدرست بودن و تناقضها را بررسی کرد.
مطالعه بیشتر درباره جدول ارزش
همارزی منطقی
تعریف کوتاه: دو گزاره منطقی زمانی همارز هستند که در همه حالتهای ممکن ارزش صدق یکسانی داشته باشند.
همارزی منطقی دو گزاره \(p\) و \(q\) معمولاً با نماد زیر نوشته میشود:
$$ p\equiv q $$
برای مثال، گزاره شرطی و عبارت حاصل از فصل نقیض مقدم با تالی همارز هستند:
$$ p\rightarrow q\equiv\neg p\lor q $$
همچنین یکی از قوانین دمورگان چنین است:
$$ \neg(p\lor q)\equiv(\neg p\land\neg q) $$
جایگاه در منطق ریاضی: همارزی منطقی به ما اجازه میدهد یک عبارت منطقی را با عبارت دیگری که دقیقاً همان رفتار منطقی را دارد جایگزین کنیم.
ارتباط با مفاهیم دیگر: جدول ارزش یکی از روشهای استاندارد اثبات همارزی منطقی است. نقیض، عطف، فصل، شرطی و دوشرطی نیز منبع اصلی بسیاری از همارزیهای مهم هستند.
مطالعه بیشتر درباره همارزی منطقی
کمیتنماها
تعریف کوتاه: کمیتنماها ابزارهایی هستند که مشخص میکنند یک گزاره درباره همه اعضای یک دامنه صحبت میکند یا دستکم درباره یک عضو از آن.
دو کمیتنمای اصلی عبارتاند از کمیتنمای کلی:
$$ \forall $$
و کمیتنمای وجودی:
$$ \exists $$
برای نمونه، عبارت
$$ \forall x\in\mathbb{R},\quad x^2\geq0 $$
میگوید برای هر عدد حقیقی \(x\)، رابطه \(x^2\geq0\) برقرار است.
در مقابل:
$$ \exists x\in\mathbb{R},\quad x^2=4 $$
یعنی دستکم یک عدد حقیقی وجود دارد که مربع آن برابر ۴ است.
جایگاه در منطق ریاضی: کمیتنماها منطق را از گزارههایی درباره وضعیت ثابت چند عبارت به گزارههایی درباره اعضای یک دامنه گسترش میدهند.
ارتباط با مفاهیم دیگر: کمیتنماها با گزارهها، نقیض، عملگرهای منطقی و بهویژه نقیض گزارههای دارای کمیتنما ارتباط دارند.
مطالعه بیشتر درباره کمیتنماها
نقیض گزارههای دارای کمیتنما
تعریف کوتاه: در گزارههای دارای کمیتنما، نقیضکردن عبارت تنها به نقیضکردن بخش گزاره محدود نمیشود؛ بلکه نوع کمیتنما نیز تغییر میکند.
دو قانون بنیادی عبارتاند از:
$$ \neg(\forall x\,P(x))\equiv\exists x\,\neg P(x) $$
و:
$$ \neg(\exists x\,P(x))\equiv\forall x\,\neg P(x) $$
به زبان ساده، نقیض جمله «برای همه \(x\)، \(P(x)\) برقرار است» این است که «دستکم یک \(x\) وجود دارد که \(P(x)\) برای آن برقرار نیست».
همچنین نقیض جمله «دستکم یک \(x\) وجود دارد که \(P(x)\) برای آن برقرار است» عبارت است از «برای همه \(x\)، \(P(x)\) برقرار نیست».
جایگاه در منطق ریاضی: این مفهوم برای فهم دقیق نقیض گزارههای ریاضی و ساختن برهان خلف و برخی روشهای اثبات اهمیت زیادی دارد.
ارتباط با مفاهیم دیگر: این مبحث مستقیماً بر گزاره، نقیض، کمیتنماهای کلی و وجودی و قوانین منطقی تکیه دارد.
مطالعه بیشتر درباره نقیض گزارههای دارای کمیتنما
روابط مهم بین مفاهیم
مفاهیم منطق ریاضی جدا از یکدیگر نیستند و یک ساختار پیوسته تشکیل میدهند. میتوان این ارتباط را بهصورت زیر خلاصه کرد:
- ابتدا گزارهها بهعنوان واحدهای پایه منطقی تعریف میشوند.
- با نقیض میتوان ارزش صدق یک گزاره را معکوس کرد.
- با عطف و فصل میتوان چند گزاره را به یک گزاره مرکب تبدیل کرد.
- با شرطی و دوشرطی میتوان روابط منطقی میان گزارهها را بیان کرد.
- جدول ارزش امکان بررسی تمام حالتهای ممکن را فراهم میکند.
- همارزی منطقی مشخص میکند که دو عبارت، مستقل از حالت خاص گزارههای پایه، رفتار منطقی یکسانی دارند.
- کمیتنماها دامنه گزاره را به مجموعهای از عناصر گسترش میدهند.
- نقیض گزارههای دارای کمیتنما رابطه میان نقیض و جابهجایی کمیتنماهای کلی و وجودی را نشان میدهد.
تفاوت «همارزی منطقی» و «دوشرطی»
دوشرطی \(p\leftrightarrow q\) خودش یک گزاره است. اما همارزی منطقی رابطهای میان دو عبارت منطقی است که میگوید آن دو در همه حالتهای ممکن ارزش صدق یکسان دارند.
برای نمونه:
$$ p\rightarrow q\equiv\neg p\lor q $$
به این معناست که دو عبارت سمت چپ و راست در تمام حالتهای ممکن ارزش صدق یکسان دارند. میتوان این موضوع را با جدول ارزش نیز بررسی کرد.
تفاوت گزاره ساده و گزاره مرکب
گزاره ساده در ساختار منطقی مورد بررسی به گزارههای کوچکتر تقسیم نمیشود، در حالی که گزاره مرکب از ترکیب یک یا چند گزاره با عملگرهای منطقی ساخته میشود.
برای مثال، اگر \(p\) گزاره «عدد \(x\) مثبت است» و \(q\) گزاره «عدد \(x\) زوج است» باشد، عبارت \(p\land q\) یک گزاره مرکب است.
کاربردهای منطق ریاضی
اثباتهای ریاضی
هر برهان ریاضی از مجموعهای از گزارهها و روابط منطقی میان آنها تشکیل میشود. شناخت شرطی، نقیض، همارزی و کمیتنماها به ساخت و بررسی دقیق برهانها کمک میکند.
ریاضیات گسسته
منطق گزارهای و منطق دارای کمیتنما از پایههای مهم ریاضیات گسسته هستند و در مطالعه روابط، توابع، الگوریتمها، گرافها و ساختارهای گسسته مورد استفاده قرار میگیرند.
علوم کامپیوتر
منطق در طراحی الگوریتمها، مدارهای دیجیتال، زبانهای برنامهنویسی، پایگاه داده، هوش مصنوعی و نظریه محاسبه کاربرد دارد. ساختارهای منطقی همچنین در طراحی و تحلیل مدارهای دیجیتال نقش بنیادی دارند.
نظریه مجموعهها
بسیاری از تعریفهای ریاضی درباره مجموعهها با استفاده از گزارهها و کمیتنماها بیان میشوند. برای مثال، تعریف یک زیرمجموعه را میتوان با یک گزاره دارای کمیتنمای کلی بیان کرد:
$$ A\subseteq B \iff \forall x\,(x\in A\rightarrow x\in B) $$
استدلال علمی و روزمره
اگرچه منطق ریاضی ساختاری صوری و دقیق دارد، ایدههای آن در تحلیل استدلالهای علمی و حتی استدلالهای روزمره نیز قابل استفادهاند. تشخیص مقدمات، نتیجه، شرط لازم و شرط کافی از نمونههای ارتباط میان منطق و استدلال است.
اشتباهات رایج
اشتباه اول: هر جمله را گزاره دانستن
هر جملهای گزاره نیست. یک گزاره باید بتواند دقیقاً یکی از دو ارزش صدق درست یا نادرست را داشته باشد.
اشتباه دوم: اشتباه گرفتن شرطی با رابطه علت و معلول
در منطق کلاسیک، \(p\rightarrow q\) یک رابطه ارزش صدق میان دو گزاره است و تعریف آن صرفاً بر اساس حالتهای صدق \(p\) و \(q\) انجام میشود. بنابراین معنای صوری شرطی الزاماً همان رابطه علت و معلولی در زبان طبیعی نیست.
اشتباه سوم: تصور اینکه فصل همیشه به معنای «یکی از دو مورد و نه هر دو» است
در منطق گزارهای استاندارد، \(p\lor q\) معمولاً فصل شمولی است؛ یعنی اگر هر دو گزاره درست باشند نیز \(p\lor q\) درست است.
اشتباه چهارم: یکی دانستن دوشرطی و همارزی منطقی
عبارت \(p\leftrightarrow q\) یک گزاره دوشرطی است، در حالی که \(p\equiv q\) بیان میکند که دو عبارت منطقی در تمام حالتهای ممکن همارزش هستند.
اشتباه پنجم: نقیض کمیتنما را فقط با قرار دادن علامت نقیض مشخص کردن
در نقیض گزارههای دارای کمیتنما، نوع کمیتنما نیز تغییر میکند:
$$ \neg\forall\equiv\exists\neg $$ $$ \neg\exists\equiv\forall\neg $$
نادیدهگرفتن این تغییر یکی از خطاهای رایج هنگام نقیضکردن گزارههای ریاضی است.
اشتباه ششم: استفاده نادرست از جدول ارزش
اگر گزاره مرکب \(n\) گزاره پایه مستقل داشته باشد، جدول ارزش آن معمولاً \(2^n\) حالت ممکن دارد. بنابراین با افزایش تعداد گزارههای پایه، تعداد ردیفهای جدول نیز بهسرعت افزایش مییابد.
مسیر پیشنهادی مطالعه
برای یادگیری منظم منطق ریاضی، ترتیب زیر پیشنهاد میشود:
- گزاره؛ ابتدا مفهوم گزاره و ارزش صدق را یاد بگیرید.
- نقیض گزاره؛ سپس نحوه معکوسشدن ارزش صدق را بررسی کنید.
- عطف و فصل؛ با ساخت گزارههای مرکب آشنا شوید.
- شرطی و دوشرطی؛ روابط شرطی و «اگر و تنها اگر» را یاد بگیرید.
- جدول ارزش؛ تمام حالتهای ممکن را بهصورت نظاممند بررسی کنید.
- همارزی منطقی؛ قوانین و تبدیلهای منطقی را بررسی کنید.
- کمیتنماها؛ از منطق گزارهای به گزارههای درباره اعضای یک دامنه بروید.
- نقیض گزارههای دارای کمیتنما؛ در پایان، قواعد نقیضکردن گزارههای کلی و وجودی را یاد بگیرید.
جمعبندی
منطق ریاضی زبان دقیق و صوری برای بیان گزارهها و بررسی روابط منطقی میان آنها فراهم میکند. در این چارچوب، گزارهها واحدهای پایه هستند و با استفاده از نقیض، عطف، فصل، شرطی و دوشرطی میتوان گزارههای مرکب ساخت.
جدول ارزش ابزاری نظاممند برای بررسی ارزش صدق گزارههای مرکب در تمام حالتهای ممکن است. با استفاده از این ابزار میتوان همارزی منطقی، هموارهدرست بودن برخی عبارتها و تناقضهای منطقی را بررسی کرد.
با ورود کمیتنماهای کلی و وجودی، منطق میتواند درباره همه اعضای یک دامنه یا دستکم یک عضو از آن صحبت کند. در این مرحله، قواعد نقیضکردن کمیتنماها اهمیت ویژهای پیدا میکنند؛ زیرا نقیض کمیتنمای کلی به کمیتنمای وجودی و برعکس تبدیل میشود.
در مجموع، این مفاهیم یک زنجیره بههمپیوسته را تشکیل میدهند که از گزارههای ساده آغاز میشود و به ساختارهای منطقی پیچیدهتر میرسد. تسلط بر این مباحث برای مطالعه اثباتهای ریاضی، ریاضیات گسسته، نظریه مجموعهها و بسیاری از حوزههای علوم کامپیوتر ضروری است.
مطالب مرتبط
منابع
منابع کتابی
- Kenneth H. Rosen، Discrete Mathematics and Its Applications. منبع دانشگاهی شناختهشده برای مباحث منطق، گزارهها، جدولهای ارزش، همارزی منطقی و استدلال.
- Susanna S. Epp، Discrete Mathematics with Applications. از منابع معتبر آموزش ریاضیات گسسته با پوشش مباحث منطق، روشهای اثبات و کمیتنماها.
- Richard Johnsonbaugh، Discrete Mathematics. منبع دانشگاهی برای منطق، مجموعهها، روابط، توابع و مباحث ریاضیات گسسته.
- Daniel J. Velleman، How to Prove It: A Structured Approach. منبع تخصصی برای درک ساختار گزارهها، کمیتنماها و روشهای استدلال و اثبات ریاضی.
منابع وب
- MIT OpenCourseWare، Mathematics for Computer Science — Chapter 1: Propositions. این منبع دانشگاهی مباحث گزارهها، محمولها و کمیتنماها را در چارچوب ریاضیات برای علوم کامپیوتر ارائه میکند.
مشاهده منبع در MIT OpenCourseWare
- OpenStax، Contemporary Mathematics — Chapter 2. این فصل گزارهها، کمیتنماها، گزارههای مرکب، جدولهای ارزش، شرطی، دوشرطی، همارزی منطقی و قوانین دمورگان را پوشش میدهد.
مشاهده منبع در OpenStax
- Mathematics LibreTexts، Propositional Logic. این منبع مباحث جدول ارزش، همارزی منطقی و ساختار گزارههای منطقی را با مثال بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Propositional Equivalence. این منبع تعریف همارزی منطقی و استفاده از جدول ارزش برای بررسی آن را توضیح میدهد.
مشاهده منبع در Mathematics LibreTexts
- Mathematics LibreTexts، Truth Tables: Conjunction, Disjunction, Negation. این منبع جدولهای ارزش عملگرهای اصلی و مفاهیمی مانند tautology، contradiction و همارزی منطقی را بررسی میکند.
مشاهده منبع در Mathematics LibreTexts
- Stanford Encyclopedia of Philosophy، Quantifiers and Quantification. این منبع تخصصی برای بررسی مفاهیم و ساختارهای مرتبط با کمیتگذاری در منطق استفاده شده است.
مشاهده منبع در Stanford Encyclopedia of Philosophy
تاریخ بررسی منابع: ۱۳ اوت ۲۰۲۶