Page 315 - Microsoft Word - Lot3_GerekcelerinYazilmasiHakimlerIcinElKitabi_Matbaa

HUKUKİ ARGÜMANTASYON TEORİSİ

Özel hukuki argüman kalıpları, hukuki argümantasyonda genel ge-
çer olan mantıksal çıkarım kalıplarını kullanmaktan daha fazlası olma-
salardı, bu kadar tartışmaya konu olmazlardı. İlgi çekici olmalarının ne-
192
deni de tam olarak budur. En tartışmalı olanı kıyastır.
Kıyas, geçerli bir mantıksal çıkarım olarak da sunulabilir. Bu çok
farklı şekillerde yapılabilir. Burada özellikle basit bir yol seçilmiştir. “F
sim x”, “x bir F’ye benzer” anlamına gelir. Kıyas sonucu aşağıdaki şe-
kilde formüle edilebilir:

(J.16) .(1) (x) (Fx  F sim x → OGx)

.(2) (x) (Hx → F sim x)

(3) (x) (Hx → OGx) (1), (2)
193
(J.16), Klug’un (9.6) formülüne karşılık gelir. Dolayısıyla
(J.16)’ya Klug’un örneği uygulanabilir. “x”i eylemlerle ilgili bir değiş-
ken olarak düşünelim:

.(1) Tüm x’ler için geçerlidir: x bir satım sözleşmesi (F)
veya satım sözleşmesine benzer bir sözleşme (F sim)
ise, x için AMK Md. 433 vd. uygulanabilir (G) olma-
lıdır.

.(2) Tüm x’ler için geçerlidir: Eğer x, ticari işletmenin
ivazlı devrine ilişkin bir sözleşme (H) ise, o zaman x,
satış sözleşmesine benzer bir sözleşmedir (F sim).

192 Burada sadece kanun kıyası ya da Larenz tarafından münferit kıyas olarak nite-
lendirilen kıyas biçimi ele alınacaktır. Bu kavram için bkz. K. Engisch, a.g.e., S.
147; K. Larenz, a.g.e., S. 368.
193 U. Klug, a.g.e., S. 120. Bu, kalkülüs kümesi dilinde ifade edilir ve aşağıdaki bi-
çime sahiptir: ((α ⊂ β) & ((β ∪ γ) ⊂ σ)) → (α ⊂ σ).a, Hx, β F sim x, γ Fx ve σ
OGx’e denk gelir.

313