zorunlulukmantık ve metafizikte, önermenin yanlış olması mümkün olmayan gerçek bir önerinin ve önermenin doğru olmasının mümkün olmadığı yanlış bir önerinin modal özelliği. Bir mantık yasasını somutlaştırıyorsa veya tanımlayıcı olarak eşdeğer terimlerin yerine geçerek bir mantık yasasını somutlaştırmak için yapılabiliyorsa, mantıksal olarak bir öneri gereklidir. Örnekler “Şimdi yağmur yağıyor ya da şimdi yağmur yağılamıyor” ve “Tüm kadınlar insandır” (“kadınlar” yerine “kadın insanlar” kullanılabilir). Gerekli önermelerin bazen tüm olası dünyalarda (duruma göre) doğru veya yanlış olduğu söylenir. Bu nedenle, koşullu olarak doğru veya yanlış bir öneri, bazı olası dünyalarda doğru ve diğerlerinde yanlıştır (örneğin, “Fransa bir demokrasidir”). Geleneksel bir görüşe göre, gerekli tüm gerçek önermeler analitiktir (totolog) ve bilinebilir bir önseldir (deneyimden bağımsız olarak bilinir). Bazı filozoflar, analitik olmayan ve genellikle önsel olmayan ikinci bir “metafiziksel” önermenin kategorisini tanırlar; örnekler arasında “Su H'dir2 O. ”
epistemoloji: Gerekli ve koşullu önermeler
“Bir mantığın, mantıklı olarak mümkün olan tüm koşullar veya koşullar altında (doğru) olması halinde gerekli olduğu söylenir. “Tüm kocalar
