Professional Documents
Culture Documents
المنطق الصوري القديم بين الأصالة والتبعية قضايا وإشكاليات
المنطق الصوري القديم بين الأصالة والتبعية قضايا وإشكاليات
""
2013
5404480
1
2
3
4
5
(1)
––
1
141987
6
(1)
–
1
7
(1)
Marcus Tullius Cicero
Topica
Trebatius
(2)
(3)
1
50–491979
(2) Cicero : Topica , Vol . 2 , Trans . By H.M.Hubble , William
Heinemann LTD , London , I,I – H .
(3) W.Kneale , M.Kneale : Th ed evelopment of Logic , Claendon
Press , Oxford ,1966,P.177 .
8
(1)
–
1
2361964
9
10
11
12
–
–
(1)
–
19871
3
13
(Logos)
1
Prantl
Boethius
De Pinibus
2
Logos
14
3
4
–
–
Bochenski
15
5
–
1
6
2
ھ428
7
8
3
ھ450
16
9
10
3
11
17
12
4
13
port Royal) 5
14
15
Jevons 6
Hamiliton
Keynes
Rabier
16
6
17
18
18
Wolf 7
19
20
21
19
––
–
22
570
23
24
20
25
26
21
27
322384
1
…
22
28
2
29
–
30
–
1910–
31
23
3
32
33
Determinism
24
34
25
1
35
2
36
3
37
4
38
5
39
26
40 6
–
41
27
42
43
Para
44Fait
28
45
Cicero
Sextus EmpiricusGalen
46
47
–
29
48
320
49
50
51
30
52
463
53
54
–
391
55
56
400
31
57
58
59
60
32
–
505
728
61
62
33
63
64
65
34
66
67
68
69
70
35
71
72
73
74
36
75
76
77
78
37
79
Organon
–
80
38
81
82
1
39
2
3
83
1
2
3
84
40
41
85
86
87
42
88
89
–
–
–
90
43
–
91
92
3
44
93
–
94
45
95
96
97
46
98
–
99
100
47
101
102
103
48
Nominal Definition
––
–
–
104
J.S.Mill
49
105
Lexical Definition 1
106
Stipulative Definition 3
50
107
108
7
––
109
51
110
111
112
113
114
115
52
116
117
118
53
Propsition
119
120
–
121
54
––
––
–
Quntity
Universal
122Particular
55
–Quality –
– 1
A––
2
E––
3
I
123O
56
1
0
–
2
3
Alternatives ––
–
Exclusive
57
124
Simple or
pure proposition
58
Modal
Modality proposition
–
125
235
23
523
–
59
332
––
126
60
127
Opposition
Contradiction 1
Contraricty 2
Subalternation 3
Sub - Contraricty 4
61
128
1
2
62
3
4
63
129
Conversion1
130
(131)
1
2
64
132
Obversion2
65
133
1
2
3
4
Obveatec Converaion 3
66
–
134
1
2
67
3
Perial Contnapasition4
1
2
68
1
2
135
1
69
2
136
1
2
70
Camestres
Cesare
Camesres
cesare
1
71
2
1
2
137
1
2
72
138
73
––
139
140
141
–
74
142
143
144
75
145
146
1
2
3
76
4
5
6
7
8
10
11
12
77
1
2
1
78
147
2
148
1
149
2
150
79
3
151
4
152
de omni
Dictumet de nullo
80
De omni 1
De nullo 2
81
82
153
Figure
154
42222
1
2
3
4
83
Galien
Zabrella
1579 1538
155
Lachelier
Thomson
Laws of thought
84
156
Modus Mode
OIEA
644424
282
164
64416
157256464
85
1- AAA 2- AAI 3- EAE 4-EAO
5- IAI 6-OAO 7-AEE 8- AEO
9- AII 10-EIO 11-AOO
158
1
2
3
86
Ferio - Derii - Celarent - Barbara
E A
O Y
159
4 3 2 1
E A E A
I I A A
O I E A
Barbara 1 1
A
A
A
87
Celarent 2 1
E
A
E
Darii3 1
A
I
I
Ferio 4–1
E
I
160 O
88
161
1
2
3
89
4
5
162
1
2
BorocoFestinoCamestresCesare
Ceare 1 2
E
A
E
90
Cametres 2–2
A
E
E
Festino 32
E
I
O
Baroco 4–2
A
O
163O
91
1
2
.(164)
Datisi ( 3 ) Disamis (2) Darapti ( 1 )
Ferison ( 6) Bocardo (5) Felapton ( 4 )
Darapti1 3
A
A
92
I
Felapton 2–3
E
A
O
Disamis3 3
I
A
I
Datisi 4 3
I
I
I
Bocardo 5 3
O
A
O
93
O
165
166
1
2
167
AAI AEE, IAI EAO, Eio
94
1
2
–
3
168
1
2
3
95
1 4
A
A
I
Camenes1 4
A
E
E
Dimaris3 4
I
A
I
Fasapo4 4
A
A
O
96
O
169
––
–––
–
–
–
170
97
171
172
98
1
173
2
174
3
175
99
176
177
178
100
179
––
180
101
181
102
–
182
––
183
103
184
–––
104
185
105
186
187
–
–
106
188
189
1
2
3
190
107
191
192
108
1
193
2
194
3
195
109
4
196
197
Dilemma
110
–
–
111
198
199
112
1
31987
2
131980
128 3
4
3318621
5
1980
6
23
7
441985
23 8
ھ450 9
ھ1316
1
23 10
113
11
319602
23 12
9 13
10 14
6 15
6 16
6 17
7 18
7 19
7 20
7 21
26 22
171997 23
18 24
19 25
20 19 26
29 27
28
441975
114
44 29
44 30
31
1231961
32
112013
11 33
11 34
– 35
20 191994
20 19 36
20 19 37
20 19 38
20 19 39
40
12
31 30 41
33 42
16 43
115
34 33 44
29 45
17 46
(47) M.Mahd : language and logic in classical islamed
GrunebaumWiesbaden 1970P.P 51-53.
48
1831985
82 49
1 50
86 681929
6882 51
85–8491 52
53
11319773
114 54
170 55
170 56
172171 57
172 58
116
171–170 59
172 60
61
2161949
62
101970
123 63
37 64
123 65
134 66
155 67
157 68
1591980 69
25 70
250 71
250 72
250 73
251 74
2 75
223
117
76
261980
26 77
27 78
27 79
70 69 80
71 81
72 82
222 83
234 84
64 85
66 86
343 87
78 88
341 89
90
91
118
145 95
91 96
91 97
91 98
103 103
127 1261 104
105
104 105
105 106
105 107
105 108
105 109
123 110
111
115
119
115 112
115 113
115 114
115 115
115 116
116 117
116 118
119
15
78 120
149 121
145 122
123
124
125
126
123 127
144 128
145 129
183 130
120
148 131
132
186 133
189 134
143 135
136
137
138
193 139
194 140
194 141
155 142
143
144
145
146
155 147
155 148
155 149
155 139
121
155 140
155 141
213 150
256 151
257 152
166 153
213 154
345 155
156
282 157
158
159
160
269 161
257 162
263 163
125 164
269 165
127 166
167
122
2621 168
280 279 169
241 170
99 171
172
133
133 173
134 174
134 175
176
243 242
243 177
243 178
243 179
244 180
244 181
245 182
246 183
247 184
248 185
123
249 186
250 187
262 188
262 189
262 190
262 191
134 192
2641 193
264 194
265 195
265 196
265 197
268 198
265 199
124
125
126
Anumana
Nyaya
Tarka
127
2
3
Nyaya Sutra
128
Aksapada Gautama
4150
5
6
1
Anviksiki
129
Medhatithi Gautama
Sastra or vidya550
7
2
Caraka smhita
Sthapana and pratisthapana
Demonstrations and Counter
Demonstrations
8
3
aiscika Sutra
Kanada
9
Nyaya
1
59
130
10
11
Pramana
prameya
Samsaya
Prayojana
Drstanta
Siddhanta
Avayava
Tarka
Nirnaya
131
Vade
Jalpa ,Vitanda
JatiChalaHetvabhasa
12Nigrahasthana
13
14
17161 15
132
Naiyayikas
Vatsyayana
Vacaspti Misra
Jayanta
Kumarila18Mimamsakas
19
Prasastapada
20Pramanasamuccaya
Dharmakir
Dharmottara
21
22
Jayadeva
Ragunatha
Mathuranatha
Annambhatta
23Summulae Logicales
133
24
134
Celebrooke
25
A.H.Ritter
26
H . H . Price
27
Anton Dumitriu
E. Goblet d`Alviella
–Ce que l`Inde doit a la Grece
281926Paris
Vidyabhusana
135
Influence of Aristotle on The Development of The
The Syllogism in Indian Logic
Journal of Asiatic society of Great Britain and Ireland
B
Callimachus
Syria
TaxilaBactriaSusiana
29
30175 1
PunjabSakala
Rhetoric
45039 2
136
60045 3
Gundeshapour
350
4
Pranava
30
137
Caraka Samhita 1
31
2
32
3
33
138
3
34
Bimal Krishna Matilal
Sanskrit
PrakritPali
Uncomfortable Affinity
35
Arthur Berriedale Keith
139
36
37
1
140
2
Trairupya
Wheel of reason
3
4
Inference For
Inference For The One's Self
Sake of Others
5
Anyathanupapannatva
Vyapti
Anumana
141
hetu
38
39
40
1
2
3
142
41
42
143
375
43
Pratijna 1
Ipratijna Vibakli 2
Hetu 3
Hetu Vibakli 4
Vipaksa 5
Vipaksa-Pratisedha6
Drstanta 7
Asanka 8
Asankapratisedha 9
144
Nigamana 10
44
Caraka
smhita
45
(Sthapana)
Pratisthapana
145
Caraka Smhita
CarakaSmhita
Demonstrative and Refutative Enthymemes
Sthapana ,Pratisthapana
Demonstration
and Counter Demonstration
CarakaSmhita
46
146
Caraka Smhita
CarakaSmhita
Bimal Krishna Matilal
CarakaSmhita
CarakaSmhita
47
Pradeep P.Gokhale
CarakaSmhita
48
49
Purvavat ,Cesevat
,Samanyato drstam
50
Purvavat 1
147
Cesevat 2
Samanyato drstam 3
51
Purvavat
Cesavat–
Samanyato drstam
3932
52
148
53
54
Proposition 1
Reason 2
Example 3
Application 4
Conclusion 5
Pratijne
Hetu
Vdaharana
Vpanaya
149
55Nigamana
Paksa
Sadhya
Hetu
56
Sapaksa
Vipaksa
57
150
58
1
2
3
" 4
59
1
151
2
3
4
5
60
152
Brabara ,Celerent
61
Brabara 1
Celerent 2
153
62
–S.Chatterjee
Nyaya-Vaisesika
Dictum de omni et de nullo
Inclusion
The Relationship of Invariable and Unconditioned
Concomitance
Implication
154
63
64
65
155
1
2
3
4
5
66
1
2
3
4
5
Really Proof
Rule of Rule of Substitution
Stanislaw Separation
Jan Lukasiewicz Schayer
67
156
1
2
1
–2
32 3
431 4
68
157
1
2
3
4
5
158
Universal
69
Hetu Cakara
Pakasadarma
159
Sapaksa
70Vipaksa
1
2
3
Trairupya
Wheel of Reason
71
160
72
1
2
3
73
1
2
3
74
75
1
2
161
3
76
1
2
3
77
1
82
78
162
Knowable 1
Product 2
Non Eternal 3
4
Audible 5
Effect of Volition 6
7
8
Intangible 9
79
Tucci
80
163
81
82
164
83
84
1
X
…
165
85
86
87
166
1
______
1………
1…
…
Eva
167
88
89
168
90
169
91
92
Inference For One's Self
Surarthanumana
Inference For The Sake of Others
93Pararthanumana
94
1
95 2
96
170
97
1
2
3
4
5
98
–
99
100
171
1
2
3
101
102
1
2
172
Patrasvamin
103Anyathanupapannatve
104
1
2
3
173
Kamalasila
Anyatha
Anupapannatve
105
106Vyapti
Vyapti
Invariable Pervasion
Concomitance
Inseparable Connection
Perpetual Attendance
Constant Co-Presence
107Vyapti
108Vyapti
109
Vyapti
174
Avinabhava and Avyabhicara
Vyapti
110
111
AvinabhavaVyapti
175
112
Vyapti
Upadhis
Wet fuel
113
114
176
Vyapti
115
Vyomasiva
Vyapti
Vyomasiva
Vyapti
116
Vypati
117
Bhasarvajna
Vypati
Vyapti
118
177
Trilocana
119Upadhis
Upadhis
UpadhisTarka
120
Vyapti
178
121
Vyapti
Anvaya
-
Vyatireka - Vyapti
Vyapti
122
179
1
2
–
3
180
4
Implication
5
181
123:
–
182
1
2
3
4
5
183
6
7
8
184
1
141987
(2) Vidyabhusana, Satis Chandra : A History of Indian
Logic – AncientMediaeval and Modern Schools
shantilal jain at shri jainendra press, Motilal
BanarsidassDelhi ,India 1971, pp.xi-xvi .
(3) BochenskiI .M. : A History of logicTranslated and
Edited By Ivo ThomasUniversity of Notre Dame
Press, Notre Dame, Indiana, 1966,P.417.
4) Vidyabhusana :ibid, p.47.
5
––
88 871981 1401
886
(7) Vidyabhusana : ibid, P. 5-6 .
(8) Gokhale, Pradeep p. :Inference and Fallacies
Discussed in Ancient Indian Logic ,Sri Satguru
PublicationsDelhiIndia ,1992, PP. 1-3 .
(9) Nancy, Schuster: Inference in The Vaisesika Sutra,
Journal of Indian Philosophy ,Vol..I ,Nos.3-4,March-
June,1972,PP.34-35.
(10) Radhakrishnan, S . : Indian Philosophy,
TheMacmillamCompany, NewYork, 1923,P.43.
185
11
2502002
3012
Vidyabhusana, : IbidP.54.
3013
3014
Buddhism15
Hinayana Nirvana
Mahayana
SautrantitkaVaibhashika
Madhymika
Yogacara
Nagarjune
VasubanduAsanga
186
DignagaVijnanava
Dharmakiurti
1995 1416 199
212–209
Brahmanas16
42
Jainism17
42
mimamsa18
43
(19) Bochenski: A history of Logic, P.418.
(20) Vidyabhusana: A history of Indian Logic, P.xiv.
Bochenski: ibid,P.418.
(21) Bochenski :ibid ,p.418.
(22) , P.418-419.op.cit
(23) ,P.419op.cit24
(24) Colebrooke,H.T.: On The Philosophy of The Hindus:
Part II-on the Nyaya and |Vaiseshika
187
SystemTrans.Royal Asiatic Society
,Vol.I,1824,PP.92-93.
(25) (26)Ritter,A.H.: The History of Ancient
Philosophy,Trans.A.J.Morrision,University Oxford
Press, Oxford ,London,PP.25-27
(26) Price H.H.: The Present Relations Between Eastern
and Western Philosophy ,The Hibbert Journal
,Vol.LIII,April,1955,PP.222-223.
(27) Anton Demitriu :History of logic, Vol.1,Abacus
Press, Tunbridge Wells,Kent,England,1977,P.64.
(28) Vidyabhusana :A history of Indian Logic ,PP.511-
512.
(29) Vidyabhusana : ibid.,PP. 497-499.
(30) Ibid, PP.500-501.
(31) Ibid ,PP. 502-503 .
(32) Ibid ,P.504 .
(33) Ibid ,PP.506-508.
(34) Matilal, Bimal Krishna: Logic, Language and
Reality-An Introduction to Indian Philosophy
Studies,Motilal Banarsidass ,Delhi,1985,PP.1-8.
(35) Keith, Arthur Berriedale :Indian Logic and
Atomism-An Exposion of The Nyaya and Vaicesika
System, Greenwood press, Publishers New
York,1968,PP.16-18.
(36) Bochenski: A history of Logic, P.431.
(37) Matial,Bimal Krishna:The Character of Logic in
Indian,Edited By Jonardon Ganeri and Heeraman
Tiwari,State University ofNew York Press,New
York,1998,P.4.
188
22 38
119 39
40
41
42
(43) Bochenski : A history of Logic,P.424.
(44) Pradeep P. Gokhale: Ibid ,PP.4-5.
(45) Vidyabhusana : Ahistory of Indian LogicPP.499-
501.
(46) 2-3. :LogicLanguage and RealityPPBimal
Krishna Matilal
(47) Pradeep P.Gokhale : Inference and Fallacies ,PP. 2-4.
(48) Ketih ,Arther Berriedale :Indian Logic and
Atomism,PP.88-89.
(49) Ibid,PP.89-90.
(50) Matilal: Logic,Language and Reality,30-31.
(51) Bochenski : op.cit,P.428.
(52) Matilal,Bimal Krisshna: The Character ofLogic
inIndia,p.42.
(53) Vidyabhusana :A History of Indian Logic,P61.
(54) Keith, Arthur Berriedale : Indian Logic and
Atomism, PP.85-87; Vydyabhusana : Ahistory of
Indian LogicPP.60-61.
(55) Sastri,S. Subrahumanya : Logical Theory, in
Encyclopedia of Indian PhilosophiesEdited By Karl
189
H.PotterPrinceton University Press ,Princeton
New Jersey1977PP 181-182.
(56) Ibid ,P.182.
118 117 57
(58) Gokhale,Pradeep P.: Inference and Fallacies….,
PP.17-18.
(59) Sastri,S Subrahmanya : Logical Theory ,PP186-187.
(60) H.N.Randle: A Note on The Indian Syllogism ,Mind
,Vol.XXXIII ,1924, p.401
(61) Vidyabhusana :ibid ,PP.502-503.
(62) DumitriuAnton : History of logicVol . 1, PP . 63-
64
(63) Bochenski : ibidP . 430 .
32 31 64
190
(72) Sastri,S . Subrahmanya :op cit,PP191-192.
(73) Bochenski, op.cit,P.436.
(74) (75)Ibid,PP.436-437.
(75) Ibid,P.436.
(76) Vidyabhusana: op.cit,PP.283-284.
(77) Ibid,PP.285-286.
(78) Bochenski, op.cit,PP.634-635.
(79) (80)Tucci,Giusepee: Pre-Dignaga Buddist Texts on
Logic From Chinese Sources,Gaekwad`s Oriental
Series Vol.XLIX ,Baroda ,1929, PP.55-56.
(80) Sastri,S .Subrahmanya:op.cit,P.192.
(81) Ibid,P.192.
(82) Ibid,p.192.
(83) Ibid,P.192.
(84) Ibid,P.193.
(85) Ibid,P.194.
(86) Ibid,P.194.
(87) Gokhale,P. Pradeep:op.citPP.295-296.
23 88
(89) Robinson,H.Richard :Some Logical Aspect of
Nagarjuna`s System,Philosophy East and West.A
Quarterly Journal of Oriental and Comparative
Thought,Vol.VI.No 4,University of Hawaii Press
january1957,PP.292-293.
23 90
191
23 91
(92) Keith, Arthur Berriedale : Indian Iogic and Atomism,
PP . 94-95 .
36 93
116 115 94
(95) Vidyabhusana : A History of Indian LogicPP . 376-
377 .
(96) IbidP . 361 .
(97) KeithArthur Berriedale : Indian Iogic and
AtomismPP . 94; Vidyabhusana : A History of
Indian LogicPP .280-282 .
36 98
38 37 99
38 100
38 101
(102) Bochenski : A History of Formal Logic,P. 437.
(103) Ibid,PP.437-438 .
(104) Ibid,P.438 .
(105) Ibid,P.438.
(106) (107)Vidyabhusana :IbidP.420-421.
(107) (108)Keith,Arthur Berriedale:IbidP.94.
34 108
192
(109) (107) Keith:IbidP94.
(110) Ibid,P.194.
44 43 111
(112) Sastri,S Subrahmanya:IbidPP200-201.
(113) Ibid ,p 202.
(114) Franco,Eli:Jnanasimitra`s Enquiry about ,Journal of
Indian Philosophy, April, 2002,
pp.191-192.
(115) Sastri:ibid,pp.202-203.
(116) Ibid,P.203.
(117) (1) Franco:Ibid,P.194.
(118) (115) Sastri :Ibid,P.203-204.
(119) (116) Ibid,P.204.
(120) (117) Ibid.PP.206-207.
(121) Vidyabhusana:Ibid ,P.306.
(122) Sastri :Ibid,P.203-204.
(123) Ibid,P.204.
(124) (121) Ibid.PP.206-207.
(125) Vidyabhusana:Ibid ,P.306.
126
100 99
193
1
2
2002
3
1995 1416 199
4
––
1981 1401
5
1987
1- BochenskiI .M. : A History of logicTranslated and
Edited By Ivo ThomasUniversity of Notre Dame
Press, Notre Dame, Indiana, 1966.
2-Colebrooke,H.T.: On The Philosophy of The Hindus:
Part II-on the Nyaya and Vaiseshika
SystemTrans.Royal Asiatic Society ,Vol.I,
London,1824
3-Demitriu,Anton : History of logic, Vol.1,Abacus Press,
Tunbridge Wells,Kent,England,1977.
194
4- Franco,Eli : Jnanasimitra`s Enquiry about ,Journal of
Indian Philosophy,April,2002 .
5- Gokhale Pradeep p. :Inference and Fallacies Discussed
in Ancient Indian Logic ,Sri Satguru Publications
DelhiIndia,1992.
6- Keith,Arthur Berriedale : Indian Logic and Atomism-
An Exposion of The Nyaya and Vaisesika System,
Greenwood press, PublishersNew York1968 .
7- Matilal, Bimal Krishna: Logic, Language and Reality –
Introduction to Indian Philosophical Studies
Shantilal Jain at Shri Jainendra PressIndia1985 .
8- Matial,Bimal Krishna:The Character of Logic in
Indian, Edited By Jonardon Ganeri and Heeraman
Tiwari,State University of New York PressNew
York1998 .
9- Nancy,Schuster: Inference in The Vaisesika - Sutra,
Journal of Indian Philosophy ,Vol..I ,Nos.3-4,March-
June,1972 .
10- Price H.H.: The Present Relations Between Eastern
and Western Philosophy ,The Hibbert Journal ,Vol .
LIIIApril 1955 .
195
13- Randle,H.N.:The Indian Logic in The Early Schools
Oxford UniversityLondon ,1930.
14- Ritter,A.H.: The History of Ancient Philosophy
Trans . A . J . MorrisionUniversity Oxford Press
OxfordLondon1838 .
15- Robinson,H.Richard :Some Logical Aspect of
Nagarjuna`s System, Philosophy East and West. A
Quarterly Journal of Oriental and Comparative
Thought,Vol.VI.No.4,University of Hawaii Press,
January1957.
16- SastriS. Subrahumanya : Logical Theory, in
Encyclopedia of Indian Philosophies, Edited By Karl
H.Potter,Princeton University Press,Princeton,New
Jersey,1977.
17- Schayer ,Stanislaw : Studies in Indian logic
Essay 4in Jonardon Ganeri : Indian Logic ,Rout
ledge Curzon2001 .
18- Schayer,Stanislaw: on The Method of Research Into
Nyaya, in Jonardon Ganeri: Indian LogicRoutledge
Curzon,2001.
19- TucciGiusepee: Pre – Dignaga Buddhist Texts on
Logic From Chinese Sources,Gaekwad`s Oriental
Series Vol.XLIXBaroda1929 .
20- Vidyabhusana, Satis Chandra : A History of Indian
Logic – AncientMediaeval and Modern Schools
shantilal jain at shri jainendra press, Motilal
BanarsidassDelhiIndia 1971 .
196
1
organum
2
3
197
4
5
6
–
7
198
8
9
10
11
12
199
–
13
1804 1724Kant
–
–
14
200
15
––
16
17
201
Diognes Leartius
18
547 540
18
20Modus Tollens
21
202
203
26~
204
205
206
31
32
07
33
34
35
36
208
37
38
39
40
209
41
42
43
44
210
45
–
46
47
211
48
–
Concept
49
212
50
51
–
52
213
–
–
53
54
214
55
56
215
57
58
1
2
3
– 4
5
6
––
216
59
60
61
62
46237321
63
2283
217
64
65
66
218
–
67
68
46
b 40-50 bH
69
Barabara
Felapton
219
70
71
"Ferison
ferio
72
73
220
74
75
–
76
–
1
221
77
––
78
All A is B
B is Belongs B is Preidcated of All A
to All A)
222
Alexander of
79Aphrodisas
80
81
223
82
Stoicheia
83
224
84
2
–85Dictum Deomni Etnullo
86
225
87
3
–––
88
––
226
89–
–
90
227
1
2
3
228
–
––
4
5
229
1
2591980
2
91985
3
1996
100 99
4
1995
82
5
1861992
187 186 6
7
19
187 8
188 187 9
205 10
230
201 11
201 12
201 13
14
231
54 22
54 23
55 24
56 25
232
52 39
96 40
41
W. KnealeM . Kneale : The Development of Logic,
Clarendon PressOxford, 1984P. 11.
42
751987
201 43
4 44
45
951981
96
46
34 331986
47
99 98
99 48
101 100 49
50
2191969
221
85 51
233
52- Aristole : Prior Analytic21b.18.
53- IbidB.1ch.3146-b10:20.
54
102 101
201 55
56- W. KnealeM . Kneale : The Development of Logic
P.23-24.
41 57
103 102 58
103 59
36 60
104 61
104 62
104 63
105 64
105 65
46 66
11 67
2251980
201 68
69- Aristotle : TopicaB.IVch.1, 120b, 17-20.
234
125 70
71- Aristotle : op citB.IV,ch.1101b, 20 ff.
125 72
73- W. KnealeM . Kneale : op.citp.38-39.
78
48 471964
79
282002
29 28 80
81- Aristotle : Prior Analytic ,1.15,34a.20-28.
29 82
83
1961
21 20
84
28 27
235
– 85
227
236
1 1
19801
2
1969
3
1986
4
1993
5
6
1996
7
1964
8
2002
9
1986
237
10
1980
11
1981
12
1996
13
1995
14
1996
1950 15
16
1987
17
1961
18
1987
19
20
1985
238
21
1961
1- W. KnealeM . Kneale : The Development of Logic,
Clarendon PressOxford1984P. 11.
2- RossW.D.: The Works of Aristolle, Translated into
English Vol.1.Categoriae and De interpretatione By
E.M.Edghill Analtica Priora By .A.J.Jenkinson.
Analytica Posteriorn ByG.R.G.Mure.Topica and De
Sophisticis Elenchis By W.A.Pickard Cambridge
Oxford University Press . London ,1950.
239
–
–
Deductive system
–
undefinables
Axioms Definition
1
Alfred Tarski
UnedfinedPrimitive terms
…
…
Postulates
240
…indomonstrable
theorm
2
3
Gottlob Fraga
1879
Principa Mathmatica
4
–
241
–
5
–
6
–
connectives
……………
……………
242
7
8
9~ ~
Inference schemata
Basic indemonstrabemoods
chrysippus
logical truths
Schemata
243
10
Derived
Theorems
11
12–
–
–
244
–
13
14
245
15
Diodorusphilo
16
Truth Table TurthFunction
246
17
18
247
19
20
21
22
248
Strick implication Lewis
necessity
~
€
~€
23
24
25
249
2726
28
Exclusive
non Exclusive
quasi
disjunctive
29
Sheffer
30
250
31
32
33
34
36
35
–1
37
2
38
251
3
39
40 4
~~
Defeta
41
2
~
42
252
43
4
44
253
~ ~
5 6 4 7 8 2 3 1
73 1
–~~
–
2
254
~ ~ .
5 6 4 7 8 2 3 1
8
~ ) ~
2 3 1 8 5 6 4 7
8
255
~ V
5 6 4 7 2 3 1
3
6
~ v
v ~
256
~ V
5 6 4 7 2 3 1
7
V ~
2 3 1 7 5 6 4
7
257
~ 7
5 6 4 7 2 3 1
3
6
~
V ~
258
~
v
5 6 4 7 2 3 1
7
V . ~
2 3 1 7 5 6 4
7
259
~ v
5 6 4 7 2 3 1
3
6
~ v
7 ~
260
~ V
5 6 4 7 2 3 1
7
V ~
2 3 1 7 5 6 4
7
261
~ ~ 7
5 6 4 7 2 3 1
3
6
262
~ ~ 7
5 6 4 7 2 3 1
7
. ~ ~
2 3 1 7 5 6 4
7
263
inference schemata
basic or indemonstrable mood
45
222221
264
46
modus
ponendoponens
.
madus
tollendo tollens
~ ~
3
modus ponendo tollens
265
~ .~
4
modus
ponendo tollens
~ .v
5
modus
tollendo ponens
.~V
independent
266
47 Logical truth
48
1
.
6 7 4 5 2 3 1
7
267
5
3
~ ~
~ ~ .
6 7 4 5 2 3 1
7
5
3
3
~ .~
268
~ . . ~
7 8 5 6 2 3 1 4
8
6
4
4
~ v
~ . v
6 7 4 5 2 3 1
269
7
5
3
5 1
~ v
. ~ . V
6 7 4 5 2 3 1
7
5
3
270
derivable
49
50
~ ~
~ ~
51
271
52
53
272
55
1
56
-1
~-2
-3
~-4
1
~ 2
321~ 3
4
543~ 5
273
~~
~
~
~ ~
6 7 4 5 2 3 1
274
7–
3
5
~ ~
7 8 5 6 2 3 1 4
8
2
57
vv 1
~ 2
275
~ 3
4
5
1v 1
2~ 2
531،2 3
2v 4
~ 5
53،4 6
7v 1
v v
~2 v
v
5
276
~ ~ V V
7 8 5 2 3 4 1
8 1
1 2
64
3
58
277
~v 1
2
~ ~ 3
-1
~ v
-2
~ ~ ~ v
6 7 8 4 5 2 3 1
8
3
5
278
4
(59)
-1
-2
-3
1
2
.
6 7 4 5 2 3 1
7
3
5
279
5
(60)
~ v 1
~~ 2
3
-1
v~v
~~
-2
~ ~ ~ V
7 8 4 5 6 2 3 1
280
8–
3
5
6
61
-1
~ -2
-3
1
~ 2
31،2~ 3
4
281
5
6456
~ 1
2
: ~
8 9 5 6 4 7 2 3 1
9
282
63
7
7
62
1
2
3
6 7 4 5 2 3 1
283
7
3
5
8
63
v 1
~ 2
~ 3
~ 4
v -1
~ -2
321 -3
~ -4
534 ~ -5
284
~v -1
~
~
2
. ~ ~ V
8 9 6 7 3 5 2 1 4
285
9–
21
3
7654
9
64
1
~ 2
~ 3
1
~ 2
31،2 3
4
~ 5
286
645 ~ 6
~
~
~
~
~ ~
8 9 5 6 4 7 2 3 1
9
63
7
287
288
289
(1)
2731979
2
153 1511970
48–473
4
701961
5
1671978
6
1251971
46–457
8
2141996
2159
4710
6911
290
12
5042
231–221
16713
21314
(15)Sextus Empiricus : Adversus Mathematicos
Harvard univ . pressCambridge. Mass . 1957,
Book VIII108
22
351978
291
(23) Anton Dumitriu : History of LogicAbacus press
1977vol . VIP.149 – 150
(24) Benson Mates : Stoic Logicuniv .of California
press, Bberkeley and Los Anglos1961, P. P 49 – 50
(25) ibidP . 50
(26) Diogenes Laertius : Lives of Eminent Philosophers,
trans, R . D. HicksHarvard univ . press
Massachusettscambridge, vol . 2VII 72
(27) Sextus : Adv . Math . VIII282
21728
(29) Mates : op. citP . 53
50–4930
(31) Mates : ibidP . 53 – 54
(32) Sextus. : Adv . Math .VIII125
(33) Diogenes : op.citVII71
(34) ibidVII73 – 75
(35) ibidVII75 .
(36) Sextus : Adv . MathVIII125 .
(37) Bochenski : Ahistory of Logicuniv . of Notre
Dame PressIndianaP . 116 .
(38) ibidP. 116 .
292
(39) ibid. p.116
(40) Diogenes : op . cit VII71
(41) Mates : Stoic Logic Dumitriu : History of Logic
vol . 1, P . 237
219
(42) Mates : op . cit p 55- 56Dumitruiop . citvol .
1P . 238
220
(43) Mates : ibidpp . 56 – 57
220
22044
484745
49–4848
(49) Kneale : the development of Logicp 169.
22750
293
(51) Sextus : Adv . Math VII231.
22852
(53) Kneale : op . citP 169.
226 225
22854
(55) Cicero : Topicavol . 2trans . by H . M . Hubbel
William Heinemann L T DLondon1976 XIV
2257
294
1
v 2
⊽ 3
4
5
€ 6
∼ 7
8
9
295
–
1
1970
2
1993
3
1993
4
1996
5
1978
6
1971
7
1979
8
1978
296
9
1961
1- Anton Dumitriu : History of Logicvolume ( 1VI )
Abacuspress1977 .
2- Benson Mates : Stoic LogicUniversty of California
Press, Berkeley and Los Anglos1961 .
3- Bochenski :Ahistory Of Logic University Of Norh
Dame Press, Indiana .
4- Cicero :Topica Volume 2 Trans . By H .M. Hubbel
William Heinemann LTD London 1976.
5- Diogenes Leartius :Lives Of Eminent Philosphers
Volume VIITrans . D. Hicks M . s .Harvard
University PressMassachuset Cambridge
6- John Corcoran : Ancient Logic and its Modern
interpretationsD . Reidel Publishing Company
Dordrecht – HollandBoston – U. S . A .1974 .
7- Sextus Empiricus : Adversus MathematicosHarvard
University PressMassachusettsCambridge1957 .
8- : Outlines of PyrrhonismHarvard
University PressMassachusettsCambridge1976 .
9- W . K nealeM . K neale : The Development of
LogicClarendon PressOxford, 1966 .
297
1
Zeller
2
G.Prantl
3
Brochard
4
*
298
5
282Chryissups
204
Bochenski
6
7
299
8
Marcus
Tullius Cicero
Topica
Trebatius
9
Arpinum*
1063
Pomponius Atticus
Caesar
C.Antonius
34 331971
38–371984
300
10
11
12
13
301
Panaotius of Rhodes
14
–1
Genus
DifferenceSimilaritySpecies
ControductionsContraries
CauseConsquentsAntecedents
15Effect
16–2
–3
17
302
18
19
20
–1
–2
–3
–4
303
–5
–6
–7
21
304
22
Modus Ponendo
Modus PonensPonens
305
306
Fabia
Mater Familias
23
Modus Tollendo Tollens
Modus Tollens
307
~
~
308
24
309
~~
{~~}
310
25
311
7
7
7
312
26
7
313
Modus Tallendo
Ponenes
314
7
~
{~7}
315
7
28
316
Modus Ponendo Tollens
7
~
317
~ {7}
29
318
~
~
~ {~}
319
30
320
~~~
~
{~~~}
321
403324
478
505
756
322
31
1
32
323
33
34
–2
35
36
324
37
325
326
1
581980
(2) Edward Zeller : Outlines of the History Greek
Philosophy, Henery Holt and Company, New York,
1908PP 235 – 237 .
3
127–1261980
Benson MateK: Stoic Ligic, University of California
Press, Berkeley and Los Anglos, 1961, PP 86 – 87 .
584
5
50–491979
6
2371996
7
67
678
(9) Cicero : Topica, Vol . 2, Trans . By H.M.Hubble,
William Heinemann LTD, London, I,I – H .
(10) W.KnealeM.Kneale : The development of Logic,
Claendon Press, Oxford ,1966, P.177 .
327
11
2361964
12
45 441978
4513
22814
(15) Cicero : Topica, III, IV .
(16) Ibid, XII, XVI .
(17) Ibid, VII,XI .
(18) Ibid, XIV.
(19) W.Kneale , M.Kneale : OP . CitPP.181-182 .
(20) Cicero : op .Cit, XIV, 20-21 .
(21) Ibid, XIV , 21 .
(22) Cic : Topica, III, 13 .
(23) Topica, III, 14 .
(24) Topica, III , 15
(25) Topica, III ,16 .
(26) Topica, III, 16 .
(27) Topica, IV , 18 .
(28) Topica, III, 17 .
(29) Topica, IV, 20 .
(30) Topica, IV, 19 .
5331
328
32
121
12233
12334
12135
12136
8337
329
–1
–2
1991
–3
1996
–4
1964
–5
1980
–6
1978
–7
1980
–8
1984
–9
1971
330
–10
1978
–11
1979
1- Anton Dumitriu : History of Logic,Vol, 1, Abacus
Press . 1977 .
2- Benson Mates : Stoic Logic, University of California
Press, Berkeley and Los Anglos, 1961 .
3- Cicero : Topica, Vol . zTrans . By H.M.Hubbel
William Heinememnn LTDLondon, 1967 .
4- Edward Zeller : Outlines of the history Greek
PhilosophyHenery Holt and Company, New York,
1908 .
5- Sten Ebbesen : Ancient scholastic Logic as the source
of medieval scholasticin Cambridge Press, London,
1982 .
6- W.Kneale, M.Kneale: the development of Logic,
clarendon Press, Oxford, 1966 .
331
332
333
334
3
5
11
14
41
54
61
125
127
197
–
240
298
35