Formel ve informel mantık nedir ?

Muqe

Global Mod
Global Mod
Formel ve Informel Mantk: Karslastrma, Kullanm ve Ozellikler

Formel mantk, aklc iletisimin temelini olusturan bir bilim daldr. Bu bilim, aklc olmayan dusuncelerin nasl aklc olarak duzenlenebilecegini anlamamza yardmc olur. Bir diger bilim olan informel mantk, daha ziyade aklc olmayan dusunceleri nasl duzenleyebilecegimizi anlamamza yardmc olur. Bu iki bilim dalnn karslastrlmas, kullanm ve ozellikleri hakknda daha fazla bilgi edinmek icin bu makale okunmaldr.

Formel Mantk
Formel mantk, aklc dusunceleri ifade etmek icin kullanlan bir dildir. Formel mantkta, dusunceleri matematiksel kurallar ve formullere dayal olarak ifade etmek mumkundur. Bu dusunceler, aklc olmayan dusunceleri aklc hale getirmek icin kullanlr. Formel mantga ozgu olarak, kesin bir cumleyi degistirmek mumkundur. Bu, anlaslmas zor dusunceleri daha kolay anlaslabilir hale getirmek icin kullanlr.

Informel Mantk
Informel mantk, aklc olmayan dusunceleri ifade etmek icin kullanlan bir dildir. Informel mantk, aklc dusunceleri ifade etmek icin kullanlan kurallardan daha cok insani ve etkileyicidir. Informel mantkta, dusuncelerin ifade edilmesi icin kullanlan kurallar genellikle daha esnek ve yorumlanabilirdir. Bu da okuyucularn daha kolay anlayabilecegi dusunceler olusturulmasn saglar.

Karslastrma
Formel mantk ve informel mantk arasndaki temel fark, dusuncelerin ifade edilmesi icin kullanlan kurallardr. Formel mantkta, dusuncelerin ifade edilmesi icin kullanlan kurallar matematiksel kurallara dayaldr. Bu da dusunceleri aklc hale getirmek icin kullanlr. Informel mantkta, dusuncelerin ifade edilmesi icin kullanlan kurallar daha esnek ve yorumlanabilirdir. Bu da okuyucularn daha kolay anlayabilecegi dusunceler olusturulmasn saglar.

Kullanm
Formel mantk, aklc dusunceleri ifade etmek icin kullanlr. Matematiksel kurallara dayal olarak, aklc olmayan dusunceleri aklc hale getirmek icin kullanlr. Informel mantk, aklc olmayan dusunceleri ifade etmek icin kullanlr.