02-28-2013, 10:20 PM
Angela نوشته: من کلی مشکل دارم!
شما دارید اصل منطقی " جمع تناقضات محال است" رو می سنجید, بعد برای اون تناقض فرض می کنید و با فرض وجود این تناقض ردش میکنید, یعنی برای رد کردنش از همون اصل منطقی استفاده می کنید!
نه فرنودسار[sup][aname="rpa72da5d2dfdf34562b27ef9d08874fa75"][[/aname][anchor="pa72da5d2dfdf34562b27ef9d08874fa75"]1][/anchor][/sup] دو بازو دارد, بازوی validity فرنودسار همان فرایند فرجامیابیِ زیر است:
بُنداشتها[sup][aname="rpa69f94d8310c64e0097438c46be19b42a"][[/aname][anchor="pa69f94d8310c64e0097438c46be19b42a"]2][/anchor][/sup] (axioms) —> پیشانگاشتها[sup][aname="rpa5f74714338464bc5a6228ea4817897df"][[/aname][anchor="pa5f74714338464bc5a6228ea4817897df"]3][/anchor][/sup] —> انگاشتها
Angela نوشته: وقتی می گیم امکان نداره چیزی هم باشه هم نباشه با توجه به تعریف بودن و نبودن اونها رو متناقض می دونیم, اگه برای چیزی این اتفاق افتاد بودن و نبودن برای اون اشتباه تعریف شده, همچنان اصل منطقی ما پابرجاست.
در مورد مثلث چهارگوش هم همینطور...
همه مهادهای[sup][aname="rpac8d78d0cb0914b36854c2b97e8a950ef"][[/aname][anchor="pac8d78d0cb0914b36854c2b97e8a950ef"]4][/anchor][/sup] فرنودسار و همینی که بالا گفتیم, «نشدگی فزود دوستیزگر[sup][aname="rpa5039aa87ec1d43d4bd0b1b464e3e5f78"][[/aname][anchor="pa5039aa87ec1d43d4bd0b1b464e3e5f78"]5][/anchor][/sup] » خود از نپاهش[sup][aname="rpa28b5900e39524d3ebf46d2e91870766f"][[/aname][anchor="pa28b5900e39524d3ebf46d2e91870766f"]6][/anchor][/sup] (observation)
میایند و همچنین, اینها بنداشت و از پایه خود از جنس انگاشت بیشتر نیستند و پس میتوان هرچیز دیگری جایشان گذاشت.
فرنودسار[sup][aname="rpa00fb13158e54460db3651e4edab27449"][[/aname][anchor="pa72da5d2dfdf34562b27ef9d08874fa75"]1][/anchor][/sup] گفتیم دوبازو دارد Validity and Soundness[Internet Encyclopedia of Philosophy]
validity
soundness
soundness
هر دوی اینها نیز در ریشه از آروینش[sup][aname="rpa5d175dee1366417da6c3a4b9b144fe75"][[/aname][anchor="pa00fb13158e54460db3651e4edab27449"]7][/anchor][/sup] (= تجربه کردن) میایند:
validity فرایند فرجامیابی (conclusion) است, همان p —> q
soundness هم درباره فربودینیِ (realness) انگاشتها میباشد.
soundness هم درباره فربودینیِ (realness) انگاشتها میباشد.
از آنجاییکه اکنون هر دوی اینها را میتوان جور دیگری پنداشت, پس در فرجام[sup][aname="rpa28e76e4463364635beba126854e9e3b3"][[/aname][anchor="pa5d175dee1366417da6c3a4b9b144fe75"]8][/anchor][/sup] هر چیزی را میتوان شایند[sup][aname="rpa2403a8252eb644bf85f55e8f04c4bc3a"][[/aname][anchor="pa28e76e4463364635beba126854e9e3b3"]9][/anchor][/sup] (possible) دانست.
یک جور دیگر پنداشتن soundness فرنودسار[sup][aname="rpa912fcc3a416949df9b980934c6293c03"][[/aname][anchor="pa72da5d2dfdf34562b27ef9d08874fa75"]1][/anchor][/sup] ساده است ولی دربارهیِ validity کار سخت میشود, هر آینه بنداشتهایِ[sup][aname="rpa257214d313f045fb97dc1e18213e03f0"][[/aname][anchor="pa69f94d8310c64e0097438c46be19b42a"]2][/anchor][/sup] فرنودسار در همین validity میروند, یعنی
در جهان ما میتواند p —> q ( Material conditional - WiKi ) همیشه درست باشد, میتوان جهانی را ولی پنداشت که اینجور نباشد.
فرایند فرجامیابی یا validity فرنودسار را یکجور دیگر بپندارید, در این جورِ دیگر همه چیز شایند میشود!
----
[aname="pa72da5d2dfdf34562b27ef9d08874fa75"]1[/aname]. ^ [anchor=rpa72da5d2dfdf34562b27ef9d08874fa75]آ[/anchor] [anchor=rpa00fb13158e54460db3651e4edab27449]ب[/anchor] [anchor=rpa912fcc3a416949df9b980934c6293c03]پ[/anchor] Farnudsâr || فرنودسار: دانش منطق Ϣiki-En Logics
[aname="pa69f94d8310c64e0097438c46be19b42a"]2[/aname]. ^ [anchor=rpa69f94d8310c64e0097438c46be19b42a]آ[/anchor] [anchor=rpa257214d313f045fb97dc1e18213e03f0]ب[/anchor] Bondâšt || بنداشت: بدیهی Ϣiki-En Axiom
[aname="pa5f74714338464bc5a6228ea4817897df"]3[/aname]. [anchor=rpa5f74714338464bc5a6228ea4817897df]^[/anchor] Pišengâšt || پیشانگاشت: پیشفرض Ϣiki-En Presumption
[aname="pac8d78d0cb0914b36854c2b97e8a950ef"]4[/aname]. [anchor=rpac8d78d0cb0914b36854c2b97e8a950ef]^[/anchor] Mehâd || مهاد: اصل Ϣiki-En Principle; law
[aname="pa5039aa87ec1d43d4bd0b1b464e3e5f78"]5[/aname]. [anchor=rpa5039aa87ec1d43d4bd0b1b464e3e5f78]^[/anchor] Dosetizgar || دوستیزگر: نقیضین
[aname="pa28b5900e39524d3ebf46d2e91870766f"]6[/aname]. [anchor=rpa28b5900e39524d3ebf46d2e91870766f]^[/anchor] Nepâheš || نپاهش: مشاهده; دریافت; نگرش Ϣiki-En, ⚕Heydari☉ Observation
[aname="pa00fb13158e54460db3651e4edab27449"]7[/aname]. [anchor=rpa5d175dee1366417da6c3a4b9b144fe75]^[/anchor] Ârvinestan || آروینستن: تجربه کردن; آروین کردن To experience
[aname="pa5d175dee1366417da6c3a4b9b144fe75"]8[/aname]. [anchor=rpa28e76e4463364635beba126854e9e3b3]^[/anchor] Farjâm || فرجام: پایان; خاتمه Ϣiki-En, www.loghatnaameh.org Conclusion; ending
[aname="pa28e76e4463364635beba126854e9e3b3"]9[/aname]. [anchor=rpa2403a8252eb644bf85f55e8f04c4bc3a]^[/anchor] Šâyand || شایند: ممکن Ϣiki-En Possible
.Unexpected places give you unexpected returns