Gereklilik

Gereklilikmantık ve metafizikte, gerçek bir önermenin modal bir özelliğidir; bu suretle önermenin yanlış olması ve yanlış bir önermenin olması mümkün değildir, bu nedenle önermenin doğru olması mümkün değildir. Bir mantık yasasını somutlaştıran veya tanımsal olarak eşdeğer terimlerin ikame edilmesi yoluyla bir mantık yasasını somutlaştırmak için yapılabilen bir önerme mantıksal olarak gereklidir. Örnekler, "Şu anda yağmur yağıyor veya şu anda yağmur yağmıyor" ve "Bütün kadınlar insandır" ("kadın" yerine "dişi insan" alınabileceğini varsayarak). Gerekli önermelerin bazen tüm olası dünyalarda (duruma göre) doğru veya yanlış olduğu söylenir. Koşullu olarak doğru veya yanlış bir önerme, bu nedenle bazı olası dünyalarda doğru ve diğerlerinde yanlıştır (örneğin, "Fransa bir demokrasidir"). Geleneksel bir görüşe göre,tüm gerçek gerekli önermeler analitiktir (totolog) ve önceden bilinebilir (deneyimden bağımsız olarak bilinebilir). Bazı filozoflar, analitik ve genellikle a priori olmayan ikinci bir "metafiziksel" gerekli önermeler kategorisini kabul eder; örnekler, "Su H'dir2 O. "

optik illüzyon: ışığın kırılmasıBu Konuyla İlgili Daha Fazla Bilgi Edinin epistemoloji: Gerekli ve koşullu önermeler ”Mantıksal olarak olası tüm koşullarda veya koşullarda tutarsa ​​(doğruysa) bir önermenin gerekli olduğu söylenir. “Bütün kocalar ... Bu makale en son, Kıdemli Editör Brian Duignan tarafından revize edildi ve güncellendi.