Önkoşullar hakkında başka bir soru sorduğum için özür dileyebilir, ama başlangıç noktaları hakkında kafam karıştı. "Modal Mantık", "Geçici mantık", "Birinci dereceden Mantık", "İkinci dereceden Mantık" ve "Yüksek dereceden mantık" gibi çeşitli terimlerle karşılaştım.
Bu bağlamda "Mantık" tam olarak ne anlama geliyor? "Mantık" kelimesini titizlikle nasıl tanımlarız?
Birkaç kitabın başlangıç sayfalarından geçtikten sonra kabaca "Bir Mantık, programlama dillerinin tasarımında otomatik olarak gerekçeleri ve anlamalarını sağlayacak şekilde program tasarlamayı istediğini belirlerken ve neyin ne anlama geldiğine karar vermenin bir yoludur." İkinci nokta hakkında biraz ayrıntılı bir şekilde anlamak.
Şimdi bu mantıklara geliyoruz.
Bütün bu mantıklar, "geçici Mantık", "Modal Mantık", "Birinci dereceden Mantık", "Yüksek Mertebeden Mantık", birbirlerinden bağımsız mıdır yoksa bu gruptaki birkaç kişiyi anlamak için bu mantığın birkaçını anlamamız gerekir mi? Kısaca, onlar için önkoşullar neler olacak? (Bazı malzemeler hakkında da önerilerde bulunabilseydim harika olacak.)
Not: Nezaketiniz için bir ton teşekkürler