بسط یک جمله در منطق محمول ها

بسط الگو:به انگلیسی راهی برای تصور شهودی و بیان سورهای یک جمله است. به بیان دیگر، سورها را می‌توان بیان کوتاهی از جمله‌هایی بلند (یا کوتاه) تصور کرد.

بسط سور عمومی

در یک جهان محدود (مثلاً یک جهان با چهار فرد)، می‌توان سور عمومی را بیانی کوتاه از جمله‌های بلند (یا کوتاه) دارای «ترکیب عطفی» تفسیر کرد. به عنوان مثال جمله‌ی:الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین ($\mathrm{\forall }x$) $\mathrm{F}x$ الگو:پایان چپ‌چین الگو:پایان وسط‌چین الگو:سخ

بیانی کوتاه از «ترکیب عطفی» زیر، در یک جهان چهار فردی است:الگو:سخ

الگو:وسط‌چین الگو:چپ‌چین ($\mathrm{F}a$ $\mathrm{\&}$ $\mathrm{F}b$ ) $\mathrm{\&}$ ($\mathrm{F}c$ $\mathrm{\&}$ $\mathrm{F}d$ ) الگو:پایان چپ‌چین الگو:پایان وسط‌چین الگو:سخ به عبارت دیگر، وقتی جهان ما تنها دارای چهار فرد $\mathrm{a}$، $\mathrm{b}$، $\mathrm{c}$ و $\mathrm{d}$ باشد، تقریباً می‌توان گفت که جمله‌ی: $\mathrm{F}x$ ($\mathrm{\forall }x$)، بیانگر آن است که هر کدام از این چهار فرد، دارای ویژگی $\mathrm{F}$ هستند(یعنی: $\mathrm{F}a$ و $\mathrm{F}b$ و $\mathrm{F}c$ و $\mathrm{F}d$).؛ زیرا سور عمومی بیانگر یک ویژگی برای تمامی افراد دامنه‌ی سخن است که در اینجا تنها چهار فرد دارد. لذا به ترکیب عطفی فوق، بسط جمله‌ی: $\mathrm{F}x$ ($\mathrm{\forall }x$)، گفته می‌شود.

بسط سور وجودی

در یک جهان محدود (مثلاً یک جهان با چهار فرد)، می‌توان سور وجودی را بیانی کوتاه از جمله‌های بلند (یا کوتاه) دارای «ترکیب فصلی» تفسیر کرد. به عنوان مثال جمله‌ی:الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین ($\mathrm{\exists }x$) $\mathrm{F}x$ الگو:پایان چپ‌چین الگو:پایان وسط‌چین الگو:سخ

بیانی کوتاه از «ترکیب فصلی» زیر، در یک جهان چهار فردی است:الگو:سخ

الگو:وسط‌چین الگو:چپ‌چین ($\mathrm{F}a$ $\vee$ $\mathrm{F}b$ ) $\vee$ ($\mathrm{F}c$ $\vee$ $\mathrm{F}d$ ) الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ

به عبارت دیگر، وقتی جهان ما تنها دارای چهار فرد $\mathrm{a}$، $\mathrm{b}$، $\mathrm{c}$ و $\mathrm{d}$ باشد، تقریباً می‌توان گفت که جمله‌ی: $\mathrm{F}x$ ($\mathrm{\exists }x$)، بیانگر آن است که حتماً یکی از افراد این جهان دارای ویژگی $\mathrm{F}$ است و نه همه (یعنی: $\mathrm{F}a$ یا $\mathrm{F}b$ یا $\mathrm{F}c$ یا $\mathrm{F}d$). لذا به ترکیب فصلی فوق، بسط جمله‌ی: $\mathrm{F}x$ ($\mathrm{\exists }x$)، گفته می‌شود.

استفاده از بسط برای اثبات عدم اعتبار یک استدلال

یکی از آسان‌ترین راه‌های اثبات عدم اعتبار یک استدلال در منطق محمول‌ها، استفاده از تعبیری با دامنه‌ی بسیار کوچک است؛ چون مادامی که افراد و اوصافی داشته باشیم که بتوان بر اساس آنها مقدمه‌ها را صادق و نتیجه را کاذب تعیین کرد، تفاوتی نمی‌کند که این اوصاف چه باشد. با استفاده از روش بسط، می‌توان ارزش مقدمه‌ها و نتیجه را به راحتی مشخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نتیجه است در نظر بگیرید:الگو:سخ الگو:سخ الگو:چپ‌چین $\sim$ ($\mathrm{\exists }x$) ($\sim$ $\mathrm{A}x$ $\mathrm{\&}$ $\mathrm{B}x$) الگو:پایان چپ‌چین الگو:چپ‌چین ($\mathrm{\exists }x$) ($\mathrm{A}x$ $\mathrm{\&}$ $\mathrm{C}x$) الگو:پایان چپ‌چین الگو:چپ‌چین $\therefore$ $\sim$ ($\mathrm{\forall }x$) ($\mathrm{C}x$ $\supset$ $\sim$ $\mathrm{B}x$) الگو:پایان چپ‌چین الگو:سخ عدم اعتبار این استدلال را با فرض دامنه‌ای با دو فرد می‌توان نشان داد. این دو فرد را $\mathrm{a}$ و $\mathrm{b}$ در نظر می‌گیریم و مقدمه‌ها و نتیجه را بر اساس آنها بسط می‌دهیم. بسط مقدمه‌ی اول که دارای یک سور وجودی است عبارت است از:الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین $\sim$ [( $\sim$ $\mathrm{A}a$ $\mathrm{\&}$ $\mathrm{B}a$ ) $\vee$ ( $\sim$ $\mathrm{A}b$ $\mathrm{\&}$ $\mathrm{B}b$ ) ] الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ مقدمه‌ی دوم نیز دارای یک سور وجودی است و بسط آن عبارت است از:الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین ( $\mathrm{A}a$ $\mathrm{\&}$ $\mathrm{C}a$ ) $\vee$ ( $\mathrm{A}b$ $\mathrm{\&}$ $\mathrm{C}b$ ) الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ و در نهایت بسط نتیجه که دارای یک سور عمومی است، عبارت است از:الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین $\sim$ [( $\mathrm{C}a$ $\supset$ $\sim$ $\mathrm{B}a$ ) $\mathrm{\&}$ ( $\mathrm{C}b$ $\supset$ $\sim$ $\mathrm{B}b$ ) ] الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ حال با توجه به نحوه‌ی ارزش‌دهی جملات و نسبت‌های بین آنها در منطق گزاره‌ها، هر یک از جملات را به گونه‌ای ارزش‌دهی می‌کنیم که دو مقدمه، صادق و نتیجه، کاذب باشد. مقدمه‌ی اول زمانی صادق است که $\sim$ صادق باشد؛ پس، $\vee$ باید در مقدمه‌ی اول کاذب باشد تا نقیض آن صادق گردد. مقدمه‌ی دوم نیز زمانی صادق است که $\vee$ صادق باشد. همچنین نتیجه زمانی کاذب خواهد بود که $\sim$ در نتیجه، کاذب باشد؛ پس، $\mathrm{\&}$ در نتیجه باید صادق باشد تا نقیض آن صادق گردد.الگو:سخ توجه داشته باشید که T برابر با صادق و F برابر با کاذب است.الگو:سخ الگو:سخ الگو:وسط‌چین الگو:چپ‌چین $\underset{\mathrm{T}}{\sim }$ [( $\underset{\mathrm{F}}{\sim }$ $\underset{\mathrm{T}}{\mathrm{A}a}$ $\underset{\mathrm{F}}{\mathrm{\&}}$ $\underset{\mathrm{F}}{\mathrm{B}a}$ ) $\underset{\mathrm{F}}{\vee }$ ( $\underset{\mathrm{F}}{\sim }$ $\underset{\mathrm{T}}{\mathrm{A}b}$ $\underset{\mathrm{F}}{\mathrm{\&}}$ $\underset{\mathrm{F}}{\mathrm{B}b}$ ) ] الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ الگو:وسط‌چین الگو:چپ‌چین ( $\underset{\mathrm{T}}{\mathrm{A}a}$ $\underset{\mathrm{T}}{\mathrm{\&}}$ $\underset{\mathrm{T}}{\mathrm{C}a}$ ) $\underset{\mathrm{T}}{\vee }$ ( $\underset{\mathrm{T}}{\mathrm{A}b}$ $\underset{\mathrm{T}}{\mathrm{\&}}$ $\underset{\mathrm{T}}{\mathrm{C}b}$ ) الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ الگو:وسط‌چین الگو:چپ‌چین $\therefore$ $\underset{\mathrm{F}}{\sim }$ [( $\underset{\mathrm{T}}{\mathrm{C}a}$ $\underset{\mathrm{T}}{\supset }$ $\underset{\mathrm{T}}{\sim }$ $\underset{\mathrm{F}}{\mathrm{B}a}$ ) $\underset{\mathrm{T}}{\mathrm{\&}}$ ( $\underset{\mathrm{T}}{\mathrm{C}b}$ $\underset{\mathrm{T}}{\supset }$ $\underset{\mathrm{T}}{\sim }$ $\underset{\mathrm{F}}{\mathrm{B}b}$ ) ] الگو:پایان چپ‌چین الگو:پایان وسط‌چینالگو:سخ

چنانکه مشاهده شد، تعبیری یافتیم که با فرض صدق مقدمات، نتیجه کاذب بود، لذا این استدلال نامعتبر است؛ زیرا استدلالی معتبر محسوب می‌شود که نتیجه‌ی آن در هر تعبیری صادق باشد.

منابع

1. الگو:یادکرد کتاب
2. الگو:یادکرد کتاب
3. الگو:یادکرد کتاب