《亚里士多德的三段论》索引(二）

A

A，常函子，意思是“所有的_是”或者“属于所有的”，（26,108）。            

Aaa,公理，（122）；——独立于其他断定命题的三段论的同一律，（67）；——与命题的同一律相比较，（70）；——亚里士多德在一处证明中运用了它，但陈述得不明确，（204注②）。            

Aab,意思是“所有的a是b”或者“b属于所有的a”，（108）。            

Ab esse ad posse valet consequentia,（从存在的可以正确地推断出是可能的），已为亚里士多德所知，但是没有为他明确地表述出来，（186）。            

Ab oportere ad esse valet consequentia（从必然的可以正确地推断出是存在的），已为亚里士多德所知，但是没有为他明确地表述出来（186）。            

Ad falsum sequitur quodlibet,（从谬误推出所有任意的东西），（246注①）。            

Anerkennen,布伦塔诺对“anerkennen”（承认）与“verwerfen”（排斥）的区别，（125注①）。            

A型前提的换位（conversion of the A-premiss），断定命题，（126）；——不正确地将它当作错误的看待，（178）。            

B

Barbara,公理，（122）；——完全三段论，（65-66）；——亚里士多德所陈述的，（11）；——带有易位的前提并且没有必然性符号，（22注①）；——它在系统中的弱处，（129）；——等值于一个纯粹的蕴涵公式，（250）。            

Barbari,断定命题，（126）。            

Baroco,断定命题，（130）；——亚里士多德以易位的前提加以陈述，（53注⑤）；——用归谬法作的不充分的证明，（79-80）；——为什么Baroco必须用归谬法加以证明，（81）；——亚里士多德所给予的正确证明，（82注③）；——带有两个必然前提需要用显示法加以证明，（248）。            

Bocardo,断定命题，（130）；——亚里士多德以易位的前提加以陈述，（52-53,92注①）；——他用显示法给予证明，（92）；——用存在量词对它的证明，（93-94）；——以后用符号形式的证明，（118-119）；——带有两个必然前提需要用显示法加以证明，（250）。            

Bramantip，断定命题，（127）；——亚里士多德称之为ἀντ ϵστραμμένος σΥλλογισμός（换位的三段论），（40）；——他所给予的证明，（42注①）。            

C

C，蕴涵（“如果——那么”）记号，（108）；——它的二值真值表，（217）；——它的四值真值表，（218,219,231）；——它的八值真值表，（247）。            

Camenes,断定命题，（128）；——亚里士多德给予的证明，（42注①）。            

Camenop,断定命题，（128）。            

Camestres,断定命题，（128）；——亚里士多德以易位的前提加以陈述，（53注④）。            

Camestrop,断定命题，（128）。            

Celarent,断定命题，（127）；——完全三段论，（66）。            

Celaront,断定命题，（128）。            

Cesare,断定命题，（128）。            

Cesaro,断定命题，（128）。            

Cpp，命题的同一律，区别于Aaa,（70）；——在C—N—δ—P—系统范围内对它的推演，（223）。            

Cpq，蕴涵式，意思是“如果p,那么q”，（108）。            

C—N—δ—P系统，解释，（220-224）；——它的某些重要的断定命题，（223）；——它的表达式的验证方法，（224）；——它的唯一的公理，（222）；——它的替代规则，（221）；——它的定义规则，（224-228）。            

C—N—P系统，怎样用真值表方法验证它的表达式，（216-220）；也见：古典的命题演算。            

C—O—δ—P系统，它的公理，（222注①）。            

D

Darapti,断定命题，（127）；——亚里士多德用显示法给予证明，（90注①）；——可以用存在量词给予证明，（90-92）。            

Darii,断定命题，（126）；——完全三段论，（66）；——亚里士多德以易位的前提加以陈述，（53注④）。            

Datisi,公理，（122）；——亚里士多德以易位的前提加以陈述，（53注①）。            

dictum de omni et nullo,（全和零原则），不是一个三段论的原则，（69）；——不是由亚里士多德陈述的，（70）。            

Dimaris,断定命题，（127）；——亚里士多德给予证明，（42注①）。            

Disamis,断定命题，（127）；——亚里士多德以易位的前提加以陈述，（41注①）；——他通过对Darii的结论换位加以证明，（75-77）。            

E

E，常函子，意思是“没有——是”，或者“属于无一”，（26,108）。            

Eab,意思是“没有a是b”或“b属于无一a”，（108）。            

ex mere negativis nihil sequitur,（仅从否定前提不能得出结论），并非总是真的，（142）；——联系于斯卢派斯基的排斥规则，（142）。            

E型前提的换位（conversion of the Epremiss），断定命题，（126）；——亚历山大用三段论加以证明，（21）。            

F

Felapton,断定命题，（129）；——亚里士多德以易位的前提加以陈述，（20注②）。            

Ferison,断定命题，（129）。            

Fesapo，断定命题，（129）；——亚里士多德给予证明，（20注②）。            

Festino,断定命题，（129）；——亚里士多德给予证明，（42）。            

Fresison,断定命题，（129）；——亚里士多德给予证明，（41注②）。            

H

H,析取记号“或者—或者—”，它的定义，（225）；——它的δ-定义，（226）。            

I

I，常函子，意思是“有些——是”或者“属于有些”，（26,108）。            

Iaa,同一律，公理，（122）。            

Iab,意思是“有些a是b”或者“b属于有些a”，（108）。            

I型前提的换位（conversion of the Ipremiss）；断定命题，（125）；——亚里士多德用显示法加以证明，（86注①）；——用存在量词加以证明，（88-89）；——后来用符号加以证明，（117）。            

K

K,合取“和”（并且）的记号，（109）；——它的四值真值表，（231）。            

Kpq，合取式，意思是“p和q”，（108）；——用C和N给予定义，（112）；——定义为真值函项，（115）。            

L

L,常函子，意思是“是必然的”，（184）；——它在四值模态系统中的真值表，（237）。            

M

M，常函子，意思是“是可能的”，（184）；——它在四值模态系统中的真值表，（230）；——它的“成对的”函子，（236-239）。            

M-扩展定律，（强的），可以使我们建立带有可能前提的三段论理论，（264）。            

modus ponens,（肯定前件的假言推理），斯多亚派的第一个不可证明的推论规则，（33）；——分离规则，（28,112）。            

N

N，否定记号“这不是真的——”或者“非”，（108）。            

O

O，常函子，意思是“有些——不是”或者“不属于有些”，（26,108）。            

Oab,意思是“有些a不是b”或者“b不属于有些a”，（108）。            

O前提的换位（conversion of the Opremiss）,非有效的，（22注②）。            

P

peiorem sequitur semper conclusio partem,（结论永远由最弱的部分规定），（252,265）。            

Q

Q，等值记号，（148）；——意思是“当且仅当”，代替通常的符号“E”使用，（148,185注⑤）。            

R

RE,规则，它允许用E代替NI以及反转过来，（121）。            

RO,规则，它允许用O代替NA以及反转过来，（121）。            

RS，斯卢派斯基的排斥规则，（142）。            

T

T，常函子，意思是“是偶然的”，（211）；——不适于解释在亚里士多德的意义上的偶然性，（272）。            

U

unumquodque quando est,oportet esse,（任何存在的东西，当它存在的时候，它是必然的），必然性原则，（206-207）。            

utraque si praemissa neget,nil inde sequetur,（如果两个前提都是否定的，那么不能得出结论），与斯卢派斯基的排斥规则相联系，（142）。            

V

verum sequitur ad quodlibet（真理随便从什么东西都能推出），（246）。            

W

W，常函子，它的四值真值表，（237）；——与成对的函子M的关系，（236-239）；——它在给偶然性下定义时的作用，（241-243）。            

X

X,常函子，它的四值真值表，（242）；——它的δ-定义，（241）；——对与它成对的函子Y的关系的解释，（241-243）。            

Y

Y，常函子，它的四值真值表，（242）；——它的δ-定义，（241）；——对与它成对的函子X的关系的解释，（241-243）。            

（三）

ἀδύνατον，不可能，（183）。            

ἄμεσος πρότασις，见：直接前提。            

ἀναγκαῑ ον，必然的，（183）。            

ἀνάγκη，见：三段论的必然性。            

ἀπαγωγὴ ϵἰς τòἀδύνατον，见：归谬法。            

ἄρα，见：所以。            

ἀρχαἰ，基本真理，（49）。            

ἀξίωμα，斯多亚派表示命题的术语，（114注①）。            

δ，具有一个命题变项的变项函子，对它的值域的解释，（220-223）。            

δΥνατόν，可能的，（183）。            

δ-表达式，验证它的方法，（224）。            

δ-定义，解释，（224-226）；——H的δ-定义，（225）；——L和M的δ-定义，（230-231）；——X和Y的δ-定义，（241）。            

™νδχεσθ北，亚里士多德将它在两种含义上加以使用，（262注②）。            

™νδϵχόμενον，偶然的，（183），见：偶然性。            

ὔλη，作为与三段论形式相对应的三段论的材料，（26）。            

ὑποBάλλειν，菲洛波努斯用以表示“替代”的术语，（19）。            

οὐχί，斯多亚派用以表示命题的否定，（108）。            

στοιχεῑα，字母，变项，（18）。            

σΥζΥγία，前提的组合，（90）。            

θσις，亚里士多德为三个格所采用的词项次序，（52注②-③）。（卢卡西维茨）