المنطق غير التقليدي وتطبيقاته : نظري وتمارين محلولة

أسعد قادر الجنابي

Description

يمثل هذا الكتاب مدخلا إلى المنطق غير التقليدي وتطبيقاته، والمنطق التقليدي هو الذي يصح فيه مبدأ الثالث المرفوع، أي أن القضية تكون صادقة أو كاذبة وليس ثمة قيمة صدق أخرى، ولهذا سمي أيضا المنطق ثنائي القيم، وهذا المنطق يدرسه عادة الطلبة المبتدئون في الجامعات العربية، ولكننا نرى أنه من المهم، بل من اللازم أن تبدأ هذه الجامعات بإصلاح تدريس المنطق فيها، ومواكبة الجامعات العالمية، وذلك بتدريس المنطق غير التقليدي لأهميته في الفلسفة والرياضيات وعلوم الحاسوب، وتقع دراسة الكتاب في عشرة فصول: (منطق قضايا الجهة، أشجار الصدق الموجهة، أنساق منطق قضايا الجهة، الاستلزام الدقيق ومضادات الواقع، منطق المحمولات الجهوي، منطق الزمن ومنطق الأخلاقlogic، منطق المعرفة ومنطق الاعتقاد، المنطق الحدسي، المنطق المتعدد القيم، والمنطق المرن).

Sujets

• الرياضيات

Informations

• Publié par: دار رسلان للطباعة والنشر والتوزيع
• Date de parution: 01 janvier 2010
• Nombre de lectures: 11
• EAN13: 9796500329925
• Langue: Arabic
• Poids de l'ouvrage: 4 Mo

Extrait

ﻖﻄﻨﳌا
ﻪﺗﺎﻘﻴﺒﻄﺗو يﺪﻴﻠﻘﺘﻟا رﻏ

يﺎﻨﺠﻟا ردﺎﻗ ﺪﻌﺳأ .د





ﻖﻄﻨﳌا
ﻪﺗﺎﻘﻴﺒﻄﺗو يﺪﻴﻠﻘﺘﻟا رﻏ
ﺔﻟﻮﻠﺤﻣ ﻦﻳرﺎمو يﺮﻈﻧ

.ﻪﺗﺎﻘﻴﺒﻄﺗو يﺪﻴﻠﻘﺘﻟا رﻏ ﻖﻄﻨﳌاƇ
.ﺔﻟﻮﻠﺤﻣ ﻦﻳرﺎمو يﺮﻈﻧ

.يﺎﻨﺠﻟا ردﺎﻗ ﺪﻌﺳأ .د :ﻒﻴﻟﺄﺗ•
.2010 :ﺔﻋﺎﺒﻄﻟا ﺔﻨﺳ•
.ﺔﺨﺴﻧ 1000 :ﺦﺴﻨﻟا دﺪﻋ•
ISBN•: 978-9933-18-006-5 :ﱄوﺪﻟا ﻢﻴﻗﱰﻟا

نﻼﺳر ﺔﺴﺳﺆﻣ راﺪﻟ ﺔﻇﻮﻔﺤﻣ قﻮﻘﺤﻟا ﻊﻴﻤﺟ

:ﱄﺎﺘﻟا ناﻮﻨﻌﻟا ﲆﻋ بﺎﺘﻜﻟا ﺐﻠﻄﻳ

ىﺮﻛﺬﻟءﺎــــﻓو
ً
ﻮﻜﻨﻴﻠﻴﺋﺎﺨﻴﻣ ﺎـــﻳوز ةﺪﻴﺴﻟا
ﻦﻳﺪﻟا ءﻼﻋ راد ةرﺴﻣ ﰲ رﺒﻜﻟا ﺎﻫروﺪﻟ

- 4 -

تﺎﻳﻮﺘﺤﳌا

9.................................................................................................................... ﻞــﺧﺪﻣ
13........................................................................................................ ﺔﻴﺿﺎﻳر ﺔﻣﺪﻘﻣ
17............................................................................................................لوﻷا ﻞﺼﻔﻟا
ﺔﻬﺠﻟاﺎﻳﺎﻀﻗ ﻖﻄﻨﻣ
ModalPropositional Logic
17................................................................يﺪﻴﻠﻘﺘﻟا ﺎﻳﺎﻀﻘﻟا بﺎﺴﺣ ﺔﻐﻟ ﺐﻴﻛﺮﺗ 1.1
19.................................................................. يﺪﻴﻠﻘﺘﻟا ﺎﻳﺎﻀﻘﻟا بﺎﺴﺣ ﺔﻐﻟ ﺔﻟﻻد 1.2
20............................................................................ ﺎﻬﺗﺎﻗﺎﻴﺳ ﲆﻋ ﺎﻳﺎﻀﻘﻟا داﺘﻋا 1.3
21............................................................................................... ﺔﻨﻜﻤﳌا ماﻮﻌﻟا 4.1
25..............................................................................ﺔﻬﺠﻟا ﺎﻳﺎﻀﻗ ﺔﻟﻻدو ﺐﻴﻛﺮﺗ 5.1
39...........................................................................................................ﻦﻳرﺎم 6.1
41............................................................................................................يﺎﺜﻟا ﻞﺼﻔﻟا
ﺔﻬﺟﻮﳌاقﺪﺼﻟا رﺎﺠﺷأ
Modal Truth Trees
41............................................. يﺪﻴﻠﻘﺘﻟا ﺎﻳﺎﻀﻘﻟا بﺎﺴﺣ ﻖﻄﻨﻣ ﰲ قﺪﺼﻟا رﺎﺠﺷأ 1.2
43.......................................................................... قﺪﺼﻟا رﺎﺠﺷأ قﺎﻘﺘﺷا ﺪﻋاﻮﻗ 2.2
50............................................................... ﺔﻬﺠﻟا ﺎﻳﺎﻀﻗ ﻖﻄﻨﻣ ﰲ قﺪﺼﻟا رﺎﺠﺷأ 3.2
56...........................................................................................................ﻦﻳرﺎم 4.2
57..........................................................................................................ﺚﻟﺎﺜﻟا ﻞﺼﻔﻟا
ﺔﻬﺠﻟاﺎﻳﺎﻀﻗ ﻖﻄﻨﻣ قﺎﺴﻧأ
Systems Of Propositional Modal Logic
57.................................................................ﺔﻬﺠﻟا ﺎﻳﺎﻀﻗ ﻖﻄﻨﳌ ﺔﻳدﺎﻌﻟا قﺎﺴﻧﻷا 1.3

- 5

57................................................................................................K ﻖﺴﻨﻟا 1.1.3
63................................................................................................T ﻖﺴﻨﻟا 2.1.3
64...................................................................(ﻲﻗﻼﺧﻷا رﺴﻔﺘﻟا) D ﻖﺴﻨﻟا 3.1.3
64............................................................................................... S4ﻖﺴﻨﻟا 4.1.3
66............................................................................................... S5ﻖﺴﻨﻟا 5.1.3
67................................................................................................ Bﻖﺴﻨﻟا 6.1.3
68..........................................................................ﺔﻳدﺎﻌﻟا قﺎﺴﻧﻷا قﺪﺻ رﺎﺠﺷأ 2.3
74...........................................................................................................ﻦﻳرﺎم 3.3
75........................................................................................................... ﻊﺑاﺮﻟاﻞﺼﻔﻟا
ﻊﻗاﻮﻟاتادﺎﻀﻣو ﻖﻴﻗﺪﻟا ماﺰﻠﺘﺳﻻا
Strict Implication And Counterfactuals
75............................................................................................ ﻖﻴﻗﺪﻟا ماﺰﻠﺘﺳﻻا 1.4
75.........................................................................يدﺎﳌا ماﺰﻠﺘﺳﻻا تﺎﻗرﺎﻔﻣ 1.1.4
78................................................................. ﻖﻴﻗﺪﻟا ماﺰﻠﺘﺳﻻا قﺪﺻ رﺎﺠﺷأ 2.1.4
81.............................................................................ﻖﻴﻗﺪﻟا ماﺰﻠﺘﺳﻻا ﻖﺴﻧ 3.1.4
82..............................................................................................ﻊﻗاﻮﻟا تادﺎﻀﻣ 2.4
89...........................................................................................................ﻦﻳرﺎم 3.4
91....................................................................................................... ﺲﻣﺎﺨﻟاﻞﺼﻔﻟا
يﻮﻬﺠﻟاتﻻﻮﻤﺤﳌا ﻖﻄﻨﻣ
Modal Predicate Logic
91.......................................................(يﻮﻬﺠﻟا رﻏ) يﺪﻴﻠﻘﺘﻟا تﻻﻮﻤﺤﳌا بﺎﺴﺣ 1.5
93.........................................................يﻮﻬﺠﻟا تﻻﻮﻤﺤﳌا بﺎﺴﺣ ﺔﻟﻻدو ﺐﻴﻛﺮﺗ 2.5
96.............................................................. ﺔﻳﻮﻬﻟا ﻊﻣ يﻮﻬﺠﻟا تﻻﻮﻤﺤﳌا بﺎﺴﺣ 3.5
98...........................................................................................................ﻦﻳرﺎم 4.5

- 6

99....................................................................................................... سدﺎﺴﻟا ﻞﺼﻔﻟا
قﻼﺧﻷاﻖﻄﻨﻣو ﻦﻣﺰﻟا ﻖﻄﻨﻣ
Tense Logic And Deontic Logic
99..................................................................................................ﻦﻣﺰﻟا ﻖﻄﻨﻣ 1.6
101.....................................................................ﻦﻣﺰﻟا ﺎﻳﺎﻀﻗ ﻖﻄﻨﻣ ﺐﻴﻛﺮﺗ 1.1.6
102................................................................................. ﻦﻣﺰﻟا ﺎﻳﺎﻀﻗ ﺔﻟﻻد 2.1.6
105............................................................................................. قﻼﺧﻷا ﻖﻄﻨﻣ 2.6
108.........................................................................................................ﻦﻳرﺎم 3.6
109........................................................................................................ﻊﺑﺎﺴﻟا ﻞﺼﻔﻟا
دﺎﻘﺘﻋﻻاﻖﻄﻨﻣو ﺔﻓﺮﻌﳌا ﻖﻄﻨﻣ
Epistemic Logic And Belief Logic
109.............................................................................................. ﺔﻓﺮﻌﳌا ﻖﻄﻨﻣ 1.7
114.............................................................................................دﺎﻘﺘﻋﻻا ﻖﻄﻨﻣ 2.7
117........................................................................................................ ﻦﻣﺎﺜﻟا ﻞﺼﻔﻟا
ﳼﺪﺤﻟاﻖﻄﻨﳌا
Intuitionistic Logic
119....................................................................... ﳼﺪﺤﻟا ﻖﻄﻨﳌا ﺐﻴﻛﺮﺗو ﺔﻟﻻد 1.8
120........................................................................ ﳼﺪﺤﻟا ﻖﻄﻨﳌا قﺪﺻ رﺎﺠﺷأ 2.8
121.....................................................................................قﺎﻘﺘﺷﻻا ﺪﻋاﻮﻗ 1.2.8
124....................................................................................ﳼﺪﺤﻟا ﻖﻄﻨﳌا ﻖﺴﻧ 3.8
127........................................................ ﳼﺪﺤﻟا ﺎﻳﺎﻀﻘﻟا ﻖﻄﻨﳌ ﺮﺧآ يرﻮﺻ ﻖﺴﻧ 4.8
127.........................................................................................................ﻦﻳرﺎم 5.8
129........................................................................................................ﻊﺳﺎﺘﻟا ﻞﺼﻔﻟا
ﻢﻴﻘﻟادﺪﻌﺘﳌا ﻖﻄﻨﳌا
Many-Valued Logic
129................................................................يﺪﻴﻠﻘﺘﻟا ﻖﻄﻨﳌا ﻢﻴﻤﻌﺗ ﱃإ ﺔﺟﺎﺤﻟا 1.9
133...................................................................................... ﻢﻴﻘﻟا يﻼﺜﻟا ﻖﻄﻨﳌا 2.9

- 7

133........................................................................................رﺎﻔﺷﻮﺑ ﺔﻟﻻد 1.2.9
135............................................................................................ نﻠﻛ ﺔﻟﻻد 2.2.9
136................................................................................. ﺞﻴﻔﻴﺸﺗﺎﻛﻮﻟ ﺔﻟﻻد 3.2.9
137...............................................ﻢﻴﻘﻟا دﺪﻌﺘﳌا ﻖﻄﻨﳌا ﻢﻴﻘﻟا يﻼﺛ ﻖﻄﻨﳌا ﻢﻴﻤﻌﺗ 3.9
140...........................................................ﻢﻴﻘﻟا دﺪﻌﺘﳌا ﻖﻄﻨﳌا ﰲ قﺎﺴﻧﻷا ءاﺪﺟ 4.9
141.........................................................................................................ﻦﻳرﺎم 5.9
143........................................................................................................ﴍﺎﻌﻟا ﻞﺼﻔﻟا
نﺮــﳌاﻖــﻄﻨﳌا
Fuzzy Logic
144.......................................................................................ﺔﻧﺮﳌا تﺎﻋﻮﻤﺠﳌا 1.10
145..........................................................ﺔﻧﺮﳌا ﺔﻋﻮﻤﺠﳌا ﻒﻳﺮﻌﺗو ءاﺘﻧﻻا ﺔﻟاد 2.10
147.....................................ﺔﻧﺮﳌا تﺎﻋﻮﻤﺠﳌا ﲆﻋ ﺔﻴﺳﺎﺳﻷا تﺎﻴﻠﻤﻌﻟاو تﺎﻗﻼﻌﻟا 3.10
152..................................................................................نﺮﳌا ﻖﻄﻨﳌا عﻮﺿﻮﻣ 4.10
153.......................................................................................ﺔﻳﻮﻐﻠﻟا تارﻮﺤﳌا 5.10
ﱢ
155......................................................................................................قﺪﺼﻟا 6.10
156........................................................................................... ﺔﺒﻛﺮﳌا ﺎﻳﺎﻀﻘﻟا 7.10
159.......................................................................................... نﺮﳌا لﻻﺪﺘﺳﻻا 8.10
159................................................................................ ﺔﻤﻤﻌﳌا ﻊﺿﻮﻟا ةﺪﻋﺎﻗ 9.10
160.....................................................................................................ﻦﻳرﺎم 10.10
163...................................................................................................... ﻦﻳراﺘﻟا لﻮﻠﺣ
183................................................................................................................. ﻊﺟاﺮﳌا