VI MANTIK ÇALIŞTAYI KİTABI

lünde üçüncü yerde tire bulunmayan tüm işlemlerin de benzer durumlarda
vereceği, tüm diğerlerinin ise 0 ya da ∞ vereceği çıkar.
Peirce buraya kadar sadece bireysel ya da basit terimler üzerinde yapılan
altmış dört işlemin sonucunu tanımlamıştır. Bu tanımları diğer durumlara genişletmek
için öncelikle eşdeğerlik kurallarının genel olarak geçerli olduklarını,
ikinci olarak da
_
0
ya da
eğer a ⎯< b ve c ⎯< d ise, o zaman a (|||) c ⎯< b (|||) d
(a ⎯< b) ⎯ (c ⎯< d) ⎯< { a (|||) c ⎯< b (|||) d }
olduğunu varsaymamızı ister. O zaman bu kural, sembollerinde birinci ve ikinci
yerleri üçüncüyle çizgiye sahip olmak ya da olmamak bakımından uyuşan tüm
işlemlerde doğru olur. Sembollerinde
birinci
a ⎯< b
{ } işaretin bu bakımdan üçüncü ile uyuşmadığı işlemler için bu kuralda { } yerine
ikinci
c ⎯< d
b ⎯< a
{ } yazmamız gerektiğini ifade eder. Böylece, Peirce bu altmış dört işlemin bu şekilde
d ⎯< c
oluşturula dört kuraldan hangisini izlediğine göre dört sınıfa bölünebildiğini
belirtir.
O bir işlemin izlediği kurala ilişkin olarak eğri işaretlerin değil, sadece çizgilerin
önemli olduğunun görüldüğünü ifade eder. Dolayısıyla sembolleri eğri
işaretler barındıran tüm işlemleri reddetmemizi ve sadece sekiz işlemin kalmasını
ister. Bu sekiz işlemi aşağıdaki şekilde tanımlar:
A : B (|||) B : C = A : C
____
A : B (||-) B : C = A : C
____
A : B ( - ||) B : C = A : C
____
____
A : B ( - | -) B : C = A : C
____
A : B (| - |) B : C = A : C
____ ____
A : B (| - -) B : C = A : C
240