Özgürlük bir olgu değildir. İnsanların olayları açıklamak için icat ettikleri bir kavramdır. Bir şeyi yapabilmeye özgürlük diyoruz (düşünmek de buna dahil). Düşünce özgürlüğü, ifade özgürlüğü, eylem özgürlüğü gibi farklı özgürlükler var. Bu özgürlüklerin nereye kadar gittiği toplumdan topluma, nereye kadar gitmesi gerektiği kişiden kişiye değişir.
@Ascalon
Belirsizlik ilkesi kuantum fiziğinde geçerli. Boyut büyüdüğünde ve klasik fiziğe gelindiğinde neredeyse sıfır olacak şekilde belirsizlik yokoluyor*. Gödel'in teorimiyse determinizmi yok eden bir şey değil. Açıklayıcılık gücüne bir sınırlama getiriyor. Determinizm, özetle, bir sebep - bir sonuç demektir. Gödel'in teoremi bunu yok etmiyor. Sadece, evren hakkında oluşturacağımız açıklama sistemlerinin bir önkabul sınırı olduğunu ve tek bir sistemin -bu durumda teorinin- her şeyi açıklayamayacağını söylüyor.
*Kaldı ki bunlar yine özgür irade var demek olmuyor. Deterministik bir klasik fizik mantığıyla "bir neden bir sonuç" ilişkisiyle gitmesi yerine, olasılığa dayalı "bir neden, birden fazla sonuç" şeklinde gitmesi bir özgür irade anlamına gelmiyor. Bu sonuçların rastgele olduğu ve bir olasılık dalgası halinde gittiğini gösteriyor. Özgür irade denilen şey hem klasik fizik hem de kuantum fiziği mantığıyla bir imkansızlık.
Düzenleme: Bilmeyenler için, Gödel'in eksiklik teoremleri şunu söyler. Matematiksel bir sistem, ya kendi kendine referans yaparak bir paradoks oluşturur ya da tamamlanmamıştır. Bunun bir örneğin "Bu ifade yanlıştır," ifadesidir. Eğer ifade yanlışsa, ifade doğrudur. Eğer ifade doğruysa, ifade yanlıştır. Bu yüzden bu ifade, kendine referans yapan bir paradokstur. Başka bir örneği "Ahmet, kendi kendini tıraş etmeyen her erkeği tıraş ediyor," ifadesidir. Öyleyse Ahmet'i kim tıraş etmektedir? Kendisini tıraş ediyorsa, bu ifade yanlıştır. Kendisini tıraş etmiyorsa, bu ifade yine yanlıştır. Bu sebeple, kendi kendisini referans alan sistemler paradoks içerir denir. Bu paradoksu önlemekse, sistem dışında, doğru olduğu varsayılan bir önkabul içermek demektir.
Bu teoremler özellikle fiziği ilgilendiriyor çünkü fizikteki teoriler, matematiksel modellerdir. Teoremler bu modellerin açıklayıcılığı hakkında ilginç ve düşünmeye değer bir noktaya değiniyor. Ancak deterministik ilişkiyi bozma hakkında bir şey söylenmiyor. Özgür irade konusundaysa, yukarıda bahsettiğim sebeplerden, bir önemi yok.