Gözlem - Obversion

Gelen geleneksel mantık , obversion bir "türüdür acil çıkarsama belirli bir mesafede olan önerme başka önerme olan konu olan yüklem orijinal konu, aynı orijinal yüklem çelişkili ve kaliteli olumlu olduğunu anlaşılmaktadır ise orijinal önermenin kalitesi olumsuzdu ve bunun tersi de geçerliydi". Çıkarsanan kategorik önermenin niteliği değişir, ancak doğruluk değeri orijinal önermeyle aynıdır. Hemen çıkarsanan önerme, orijinal önermenin "ön yüzü" olarak adlandırılır ve kategorik önermelerin tüm türleri (A, E, I, O) için geçerli bir çıkarım biçimidir.

Bir evrensel olumlu ve bir evrensel olumsuz önermede, özne terim ve yüklem teriminin her ikisi de olumsuzlanmış karşılıkları ile değiştirilir :

Tümel olumlu ("A" önermesi) evrensel bir olumsuza ("E" önermesi) çevrilir.

"Tüm S P'dir" ve "Hiçbir S P değildir"
"Bütün kediler hayvandır" ve "Hiçbir kedi hayvan değildir"

Evrensel olumsuz ("E" önermesi), evrensel bir olumluya ("A" önermesi) çevrilir.

"Hiçbir S, P değildir" ve "Tüm S, P değildir"
"Hiçbir kedi arkadaş canlısı değildir" ve "Bütün kediler arkadaş canlısı değildir"

Olarak özellikle olumlu konusu terimin miktarı değişmeden kalır, ancak türetilmiş önermenin yüklemi terimi, orijinal önermenin yüklem teriminin tamamlayıcı ortadan kaldırmaktadır. Belirli bir olumlu ("I" önermesi), belirli bir olumsuz ("O" önermesi) ile çevrilir.

"Bazı S P'dir" ve "Bazı S, P değildir"
"Bazı hayvanlar dost canlısı yaratıklardır" ve "Bazı hayvanlar düşmanca yaratıklar değildir."

Belirli bir olumsuzun belirli bir olumluya çevrilmesinde öznenin niceliği de değişmeden kalır ve yüklem terimi basit olumsuzlamadan tamamlayıcı sınıfın bir terimine değiştirilir. Belirli olumsuz ("O") önermesi, belirli bir olumlu ("I" önermesine) çevrilir.

"Bazı S, P değildir" ve "Bazı S, P değildir"
"Bazı hayvanlar dost canlısı değildir" ve "Bazı hayvanlar düşmanca yaratıklardır."

Orijinal bir ifadenin doğruluk değerinin, elde edilen ön yüz biçiminde korunduğuna dikkat edin. Bu nedenle, nitelik veya nicelikten bağımsız olarak tüm kategorik önermelerin doğrudan çıkarımlarını belirlemek için gözlemleme kullanılabilir.

Ek olarak, obversion, "A" Önermelerinden "E" Önermelerine ve ayrıca "Ben" Önermelerinden "O" Önermelerine ve bunun tersine ilerlemek için bir araç sağlayarak geleneksel mantıksal karşıtlık karesinde gezinmemizi sağlar . Bununla birlikte, obversion'dan elde edilen önermeler , doğruluk değeri açısından orijinal ifadelere mantıksal olarak eşdeğer olmasına rağmen, standart formlarında orijinal ifadelerine anlamsal olarak eşdeğer değildir.

Orijinal ifadenin doğruluk değerinin bir obversion işlemiyle korunduğunun kanıtı

Kümeler kullanılarak temsil edilen Konu (S) ve Tahmin (P) arasındaki tüm olası ilişkileri göz önünde bulundurun:

Durum 1: S = P (S ve P mükemmel şekilde örtüşür)

Durum 2: S, P'nin bir alt kümesidir

Durum 3: P, S'nin bir alt kümesidir

Durum 4: S ve P örtüşen iki kümedir

Durum 5: S ve P ayrık kümelerdir

Durum 6: S, P'nin P'nin bir alt kümesi olduğu evrendir

Durum 7: P, S'nin S'nin bir alt kümesi olduğu evrendir

Obversion'dan sonra ifadelerin geçerliliği:

Obversion işlemi, ifadenin kalitesi değiştirilerek ve yüklemin tümleyeni ile değiştirilerek gerçekleştirilir.

1. Açıklama: Tüm S'ler P'dir (Durum 1, 2, 6 ve 7 için geçerlidir)

Ön Yüz: Hiçbir S, P olmayan

Geçerlilik: EVET

2. Açıklama: Hiçbir S, P değildir (5. Durum için geçerlidir)

Ön Yüz: Tüm S'ler P değildir

Geçerlilik: EVET

3. Açıklama: Bazı S'ler P'dir (Durum 1, 2, 3, 4, 6 ve 7 için geçerlidir)

Ön Yüz: Bazı S, P olmayan

Geçerlilik: EVET

4. Açıklama: Bazı S, P değildir (Durum 3, 4, 5 ve 7 için geçerlidir)

Ön Yüz: Bazı S, P olmayan

Geçerlilik: EVET

Ayrıca bakınız

Dipnotlar

  1. ^ Alıntılanan tanım şu kaynaktan alınmıştır: Brody, Bobuch A. "Mantıksal Terimler Sözlüğü". Felsefe Ansiklopedisi . Cilt 5-6, s. 70. Macmillan, 1973. Ayrıca, Stebbing, L. Susan. Mantığa Modern Bir Giriş . Yedinci baskı, s. 65-66. Harper, 1961 ve Irving Copi'nin Mantığa Giriş , s. 141, Macmillan, 1953. Tüm kaynaklar hemen hemen aynı açıklamaları verir. Copi (1953) ve Stebbing (1931) her ikisi de uygulamayı kategorik önermelerle sınırlandırır ve Symbolic Logic , 1979'da Copi, nicelleştirmede ve sınıf aksiyomlarında Yer Değiştirme Kurallarına "soğurulmasına" dikkat çekerek sürecin kullanımını sınırlar. cebir.
  2. ^ "Syllogism: Syllogism Anlamı, Syllogism Soruları, Püf Noktaları" .

bibliyografya

  • Brody, Bobuch A. "Mantıksal Terimler Sözlüğü". Felsefe Ansiklopedisi. Cilt 5-6. Macmillan, 1973.
  • Kopi, Irving. Mantığa Giriş . MacMillan, 1953.
  • Irving. Sembolik Mantık . MacMillan, 1979, beşinci baskı.
  • Bıçaklamak, Susan . Mantığa Modern Bir Giriş . Cromwell Şirketi, 1931.