Zorunlu mantık - Imperative logic

Zorunlu mantık , zorunluluklarla ilgili mantığın alanıdır . Bildirimlerin aksine , buyrukların önermeleri mi yoksa daha genel olarak anlambilimlerinde doğruluk ve yanlışlığın oynadığı rolü mi ifade ettiği açık değildir . Bu nedenle, emir mantığının herhangi bir yönü üzerinde neredeyse bir fikir birliği yoktur.

Jørgensen'in ikilemi

Bir mantığın temel kaygılarından biri mantıksal geçerliliktir . Öyle görünüyor ki, buyrukları olan argümanlar geçerli olabilir. Düşünmek:

P1. Tüm kitapları masadan kaldırın!
P2. Aritmetiğin temelleri masada.
C1. Bu nedenle Aritmetiğin Temellerini masadan kaldırın!

Ancak, sonuç öncüllerden geliyorsa, bir argüman geçerlidir. Bu, öncüllerin sonuca inanmamız için bize sebep verdiği veya alternatif olarak, öncüllerin doğruluğunun sonucun doğruluğunu belirlediği anlamına gelir. Emirler ne doğru ne de yanlış olduklarından ve doğru inanç nesneleri olmadıklarından, mantıksal geçerliliğin standart hesaplarının hiçbiri emirleri içeren argümanlar için geçerli değildir.

İşte ikilem. Emirleri içeren argümanlar geçerli olabilir veya olmayabilir. Bir yandan, eğer bu tür argümanlar geçerli olabilirse, yeni veya genişletilmiş bir mantıksal geçerlilik açıklamasına ve buna eşlik eden ayrıntılara ihtiyacımız var. Böyle bir hesabı sağlamak zor oldu. Öte yandan, eğer bu tür argümanlar geçerli olamazsa (bu argümanların tümü geçersiz olduğu için veya geçerlilik emirlere uygulanan bir kavram olmadığı için), o zaman yukarıdaki argüman (ve buna benzer diğerleri) ile ilgili mantıksal sezgilerimiz yanlıştır. Her iki cevap da sorunlu göründüğünden, bu Jørgensen'in ikilemi olarak bilinir ve adını Jørgen Jørgensen'den ( da ) alır.

Bu sorun ilk olarak Frege tarafından bir dipnotta belirtilmiş olsa da , Jørgensen tarafından daha gelişmiş bir formülasyona kavuşmuştur.

Ross'un paradoksu

Alf Ross , bir emir operatörü kapsamında klasik ayrılma kuralının uygulanmasının saçma sonuçlara yol açtığını gözlemledi . Basit bildirimlere uygulandığında, sonuç geçerli bir kesinti gibi görünmektedir.

P1. Oda temiz.
C1. Bu nedenle oda temizdir veya çimenler yeşildir.

Ancak benzer bir çıkarımın emirler için geçerli olmadığı görülmektedir. Düşünmek:

P1. Odanı temizle!
C1. Bu nedenle ya odanı temizle ya da evi yak!

Ross'un paradoksu , standart geçerlilik hesabını değiştirmek veya eklemek isteyen herkesin karşılaştığı zorluğu vurgular. Zorluk, geçerli bir zorunlu çıkarımla kastettiğimiz şeydir. Geçerli bildirimsel çıkarım için, öncüller size sonuca inanmanız için bir neden verir. Zorunlu çıkarım için, öncüllerin size sonucun söylediği gibi yapmanız için bir neden verdiği düşünülebilir. Ross'un paradoksu aksini gösteriyor gibi görünse de, ciddiyeti çok fazla tartışma konusu oldu. Bu tartışmanın Bazı ipliklerini bağlamak Hans Kamp 'ın serbest seçim paradoksu saçma sonuçlara ayrılma giriş açar bir olasılık modal kapsamında uygulanan ettiği,.

karışık çıkarımlar

Aşağıdaki, saf bir zorunluluk çıkarımının bir örneğidir:

P1. Aşağıdakilerden ikisini yapın: bulaşıkları yıkayın ve odanızı temizleyin!
C1. Bu nedenle, odanızı temizleyin!

Bu durumda, argümanı oluşturan tüm cümleler zorunluluktur. Tüm zorunlu çıkarımlar bu türden değildir. Tekrar düşünün:

P1. Tüm kitapları masadan kaldırın!
P2. Aritmetiğin temelleri masada.
C1. Bu nedenle Aritmetiğin Temellerini masadan kaldırın!

Bu argümanın hem buyruklardan hem de bildirimlerden oluştuğuna ve zorunlu bir sonuca sahip olduğuna dikkat edin.

Karışık çıkarımlar mantıkçıların özel ilgi alanına girer. Örneğin, Henri Poincaré , en az bir buyruk içermeyen bir dizi öncülden hiçbir buyruk sonucu geçerli olarak çıkarılamayacağını savundu. İken RM Hare hiçbir bildirime sonuca validly validly yalnız aralarında bildirim deyimleri gelen çizilemez tesislerinde kümesinden çizilebilir belirtmiştir. Bu (veya benzeri) iddiaların doğruluğu veya yanlışlığı konusunda mantıkçılar arasında bir fikir birliği yoktur ve karışık emir ve bildirim çıkarımı rahatsız olmaya devam etmektedir.

Uygulamalar

İçsel ilginin yanı sıra, zorunlu mantığın başka uygulamaları da vardır. Ahlak kuramında buyrukların kullanılması, buyruk çıkarımını etik ve metaetik için önemli bir konu haline getirmelidir .

Ayrıca bakınız

Referanslar

daha fazla okuma

  • Charles Leonard Hamblin (1987). Zorunluluklar . Basil Blackwell. ISBN'si 978-0-631-15193-7.
  • Peter BM Vranas (2010), ZORUNLULUKLAR, MANTIK* , Uluslararası Etik Ansiklopedisi Girişi
  • Harry J. Gensler (2010). Mantığa Giriş (2. baskı). Taylor ve Francis. Bölüm 12: Deontik ve Zorunlu Mantık. ISBN'si 978-0-415-99650-1.Çoğunlukla Héctor-Neri Castañeda'nın yaklaşımını kapsar .

Dış bağlantılar