نوشته اصلی از سوی
Angela
من کلی مشکل دارم!
شما دارید اصل منطقی " جمع تناقضات محال است" رو می سنجید, بعد برای اون تناقض فرض می کنید و با فرض وجود این تناقض ردش میکنید, یعنی برای رد کردنش از همون اصل منطقی استفاده می کنید!
نه فرنودسار[1] دو بازو دارد, بازوی validity فرنودسار همان فرایند فرجامیابیِ زیر است:
بُنداشت‌ها[2] (axioms) —>
پیش‌انگاشت‌ها[3] —> انگاشت‌ها
نوشته اصلی از سوی
Angela
وقتی می گیم امکان نداره چیزی هم باشه هم نباشه با توجه به تعریف بودن و نبودن اونها رو متناقض می دونیم, اگه برای چیزی این اتفاق افتاد بودن و نبودن برای اون اشتباه تعریف شده, همچنان اصل منطقی ما پابرجاست.
در مورد مثلث چهارگوش هم همینطور...
همه مهادهای[4] فرنودسار و همینی که بالا گفتیم, «نشدگی فزود دوستیزگر[5] » خود از نپاهش[6] (observation)
میایند و همچنین, اینها بنداشت و از پایه خود از جنس انگاشت بیشتر نیستند و پس میتوان هرچیز دیگری جایشان گذاشت.
فرنودسار[1] گفتیم دوبازو دارد Validity and Soundness[Internet Encyclopedia of Philosophy]
validity
soundness
هر دوی اینها نیز در ریشه از آروینش[7] (= تجربه کردن) میایند:
validity فرایند فرجامیابی (conclusion) است, همان p —> q
soundness هم درباره فربودینیِ (realness) انگاشت‌ها میباشد.
از آنجاییکه اکنون هر دوی اینها را میتوان جور دیگری پنداشت, پس در فرجام[8] هر چیزی را میتوان شایند[9] (possible) دانست.
یک جور دیگر پنداشتن soundness فرنودسار[1] ساده است ولی درباره‌یِ validity کار سخت میشود, هر آینه بنداشت‌هایِ[2] فرنودسار در همین validity میروند, یعنی
در جهان ما میتواند p —> q ( Material conditional - WiKi ) همیشه درست باشد, میتوان جهانی را ولی پنداشت که اینجور نباشد.
فرایند فرجامیابی یا validity فرنودسار را یکجور دیگر بپندارید, در این جورِ دیگر همه چیز شایند میشود!
----
1. ^ آ ب پ Farnudsâr || فرنودسار: دانش منطق Ϣiki-En Logics
2. ^ آ ب Bondâšt || بنداشت: بدیهی Ϣiki-En Axiom
3. ^ Pišengâšt || پیشانگاشت: پیشفرض Ϣiki-En Presumption
4. ^ Mehâd || مهاد: اصل Ϣiki-En Principle; law
5. ^ Dosetizgar || دوستیزگر: نقیضین
6. ^ Nepâheš || نپاهش: مشاهده; دریافت; نگرش Ϣiki-En, ⚕Heydari☉ Observation
7. ^ Ârvinestan || آروینستن: تجربه کردن; آروین کردن To experience
8. ^ Farjâm || فرجام: پایان; خاتمه Ϣiki-En, www.loghatnaameh.org Conclusion; ending
9. ^ Šâyand || شایند: ممکن Ϣiki-En Possible
پاسخ با گفت‌آورد