قضاياي حقيقيه و خارجيه

:نگاه سمانتيكي

:نگاه نحوي: قواعد صوري. ارتباط با 1

عكس مستوي، عكس نقيض،

عكس نقيض اتفاقي، شكل هاي چهارگانة قياس

: تقسيمات موضوع و محمول. 2)حقيقي و خارجي(،

)سلبي و معدول(ميان قضيه هاي حقيقيه و خارجيهروابط و نسب . 3هميشه صادق. گزاره هاي 4لزومي و اتفاقي. تشبيه به 5

تحليل هايياز

قضاياي حقيقيه

و خارجيه

)دامنة سمانتيكي تحليل ضيا موحدسخن(

)وجود اصل موضوعي تحليل وحيد دستجرديمحمول ها(

)شرطي عملگريتحليل و عاطف(

حائري، قراملكي،

فالحي

)ضرورت موجهاتيتحليل و امكان(

قراملكي، فالحي، پل تام

)وجود محمول وجودي تحليل فالحيخارجي(

)سور مرتبة مرتبه ايتحليل پل تام و فالحياول و دوم(

تحليل قضاياي حقيقيه و خارجيهبا صورت بندي فرگه اي

)تمايز با دامنة سخن(سمانتيكيتحليل •)تمايز با اصول اصل موضوعي تحليل •

موضوعه(

همان تحليل منطق جديد : 1366. تحليل ضياء موحد 1

موجودات خارجي: دامنة سخن: قضاياي خارجيهموجودات خارجي و ذهني: دامنة سخن: قضاياي حقيقيه

 همان تحليل منطق جديد : 1367. تحليل وحيد دستجردی 2

: اصول و قواعد منطق جديدقضاياي حقيقيه+ اصل موضوع وجود: اصول و قواعد منطق جديد قضاياي خارجيه

اصل موضوع وجود: اصل موضوع است. xFx محمول نشانه باشد، آنگاه Fاگر

]شرط سمانتيكي وجود: نشAانه، محمAول هAر نسAبت نXاتهي زيرمجمXوعه ايبه را دامنAه از

بدهيد.[

عملگريتحليل با شرطي و عاطف

لزوميشبيه شرطي حقيقية قضية •اتفاقي شبيه شرطي خارجيهقضية •عطفي معادل با تركيب اتفاقيشرطي •

  حقيقيه خارجيههر الف ب است x ( Ax → Bx ) x ( Ax Bx )

ب الXXXف هيچ نيست

x ( Ax → ~Bx ) x ( Ax ~Bx )

ب الXXف بعضXXي است

x ( Ax → Bx ) x ( Ax Bx )

ب الXXف بعضXXي نيست

x ( Ax → ~Bx ) x ( Ax ~Bx )

  1360حائري 1371قراملكي

1371، قراملكي 1360. تحليل حائري 1

  حقيقيه خارجيههر الف ب است x ( Ax → Bx ) x ( Ax Bx )

ب الXXXف هيچ نيست

x ( Ax → ~Bx ) x ( Ax ~Bx )

ب الXXف بعضXXي است

x ( Ax → Bx ) x ( Ax Bx )

ب الXXف بعضXXي نيست

x ( Ax → ~Bx ) x ( Ax ~Bx )

  1360حائري 1373قراملكي

1373. تحليل قراملكي 2

  خارجيهA هر الف ب است x Ax x ( Ax → Bx )E هيچ الف ب نيست x Ax x ( Ax → ~Bx )I بعضي الف ب است x ( Ax Bx )O بعضي الف ب نيست x ( Ax ~Bx )

  حقيقيه خارجيهA xAx → x(Ax→Bx) xAx x(Ax→Bx)E xAx → x(Ax→~Bx) xAx x(Ax→~Bx)I xAx → x(AxBx) xAx x(AxBx)O xAx → x(Ax~Bx) xAx x(Ax~Bx)

1386. پيشنهاد فالحي 3

1392-1388. پيشنهاد فالحي 4

موجهاتيتحليل با استلزام اكيد و مادي

قضية حقيقية شبيه شرطي لزومي•قضية خارجيه شبيه شرطي اتفاقي•استلزام اكيد معادل با لزوميشرطي •استلزام مادي معادل با اتفاقيشرطي •

  خارجيه حقيقيه  A x ( Ax → Bx ) x ( Ax Bx ) x ( Ax → Bx )  E x ( Ax → ~Bx ) x ( Ax ~Bx ) x ( Ax → ~Bx )  I x ( Ax Bx ) x ( Ax ◦ Bx ) x ( Ax Bx )  O x ( Ax ~Bx ) x ( Ax ◦ ~Bx ) x ( Ax ~Bx )           

  خارجيه حقيقيه  ب الXXXف هر

استx ( Ax → Bx ) x ( Ax → Bx )

 

ب الXXف هيچ نيست

x ( Ax → ~Bx ) x ( Ax → ~Bx ) 

ب الXف بعضXي است

x ( Ax Bx ) x ( Ax Bx ) 

ب الXف بعضXي نيست

x ( Ax ~Bx ) x ( Ax ~Bx ) 

       

1386 و فالحي 1373. تحليل قراملكي 1

2008 و پل تام 1386. تحليل فالحي 2

  خارجيه حقيقيهA x Ax x ( Ax → Bx ) x Ax x ( Ax → Bx ) E x ( Ax → ~Bx ) x ( Ax → ~Bx ) I x ( Ax Bx ) x ( Ax Bx ) O ~ x Ax x (Ax ~Bx ) ~ x Ax x ( Ax ~Bx )

1386. تحليل فالحي 3

تحليل قضاياي حقيقيه و خارجيه

محمول وجودبا

خارجيه قضايايدر وجود خارجي محمول •شرطي و به همراه وجود خارجي محمول •

عاطف

  خارجيه حقيقيه  ب الXXXف هر

استx[E!x → (Ax → Bx)] x(Ax → Bx)  

ب الXXف هيچ نيست

x[E!x → (Ax → ~Bx)] x(Ax → ~Bx)  

ب الXف بعضXي است

x[E!x (Ax Bx)] x(Ax Bx)  

ب الXف بعضXي نيست

x[E!x (Ax ~Bx)] x(Ax ~Bx)  

       

1388. تحليل فالحي 1

1388. تحليل فالحي 2

  خارجيه حقيقيه  ب الXXXف هر

است x [ ( E!x Ax ) → Bx ] x(Ax → Bx) 

ب الXXف هيچ نيست x [ ( E!x Ax ) → ~ Bx ] x(Ax → ~Bx)

 

ب الXف بعضXي است x [ ( E!x Ax ) Bx ] x(Ax Bx)

 

ب الXف بعضXي نيست x [ ( E!x Ax ) ~ Bx ] x(Ax ~Bx)

 

       

  خارجيه حقيقيه  A x [ ( E!x Ax ) → ( E!x Bx ) ] x [ ( E!x → Ax ) → ( E!x → Bx ) ]  E x [ ( E!x Ax ) → ( E!x ~ Bx ) ] x [ ( E!x → Ax ) → ( E!x → ~ Bx ) ]  I x [ ( E!x Ax ) ( E!x Bx ) ] x [ ( E!x → Ax ) ( E!x → Bx ) ]  O x [ ( E!x Ax ) ( E!x ~ Bx ) ] x [ ( E!x → Ax ) ( E!x → ~ Bx ) ]  

       

1389 و 1388. تحليل فالحي 2

تحليل قضاياي حقيقيه و خارجيه

سور مرتبة دومبا

سور و حقيقيه با سور مرتبة اول خارجيه با •مرتبة دوم

، هر دو، با سور خارجيه و حقيقيهقضاياي•اول و دوممرتبة

  خارجيه حقيقيه  هر ج ب است x(Jx Bx) D[(D J) ⇒ (D B)]⇒  

هيچ ج ب نيست x(Jx ~Bx) D[(D J) ⇒ (D ⇒ ~B)]  

ب ج بعضXXXي است x(Jx & Bx) D[(D J) & (D B)]⇒ ⇒  

ب ج بعضXXXي نيست x(Jx & ~Bx) D[(D J) & (D ⇒ ⇒ ~B)]  

(D ⇒ B) =df x (Dx → Bx)

2010. تحليل پل تام 1

1391. تحليل فالحي 2

(D ⇒ B) =df (xDx → xBx)

  خارجيه حقيقيه  هر ج ب است x(Jx Bx) D[(D J) ⇒ (D B)]⇒  

هيچ ج ب نيست x(Jx ~Bx) D[(D J) ⇒ ~ (D B)]⇒  

ب ج بعضXXXي است x(Jx & Bx) D[(D J) & (D B)]⇒ ⇒  

ب ج بعضXXXي نيست x(Jx & ~Bx) D[(D J) & ⇒ ~ (D B)]⇒  

  حقيقيه  

هر ج ب است D x [(Dx → Jx) (Dx → Bx)]  

هيچ ج ب نيست D x [(Dx → Jx) ~ (Dx → Bx)]  

بعضي ج ب است D x [(Dx → Jx) & (Dx → Bx)]  

ب ج بعضXXXي نيست D x [(Dx → Jx) & ~ (Dx → Bx)]  

  خارجيه  

هر ج ب است D x [(Dx & Jx) (Dx & Bx)]  

ب ج هيچ نيست D x [(Dx & Jx) ~ (Dx & Bx)]  

ب ج بعضXXي است D x [(Dx & Jx) & (Dx & Bx)]  

ب ج بعضXXي نيست D x [(Dx & Jx) & ~ (Dx & Bx)]  

1392تحليل فالحي . 3

ارتباط قضية حقيقيه و خارجيهبا شرطي لزومي و اتفاقي

ارتباط قضية حقيقيه و خارجيهبا شرطي لزومي و اتفاقي

ارتباط قضية حقيقيه و خارجيهبا شرطي لزومي و اتفاقي