mantık

Mantık Nedir:

Mantık, logos, akıl, kelime veya konuşma ile ilgili, yani akıl yürütme bilimi anlamına gelen, Yunanca mantık teriminden kaynaklanan dişil bir isimdir.

Bir mecazi anlamda, mantık kelimesi, doğru bir muhakeme yoluyla ilgilidir . Örneğin: Bu asla işe yaramayacak! Planınızın hiç mantığı yok!

Sorunlar veya mantık oyunları, bir bireyin sorunu çözmek için mantıksal akıl yürütmeyi kullanması gereken faaliyetlerdir.

Aristoteles Mantığı

Aristoteles'e göre, mantığın düşünceyi, onu kontrol eden yasa ve kuralları incelemesi, bu düşüncenin doğru olması gibi. Yunan filozofu için, mantığın kurucu unsurları kavram, yargı ve muhakemedir . Mantık yasaları, bu unsurlar arasında var olan bağlantılara ve ilişkilere karşılık gelir.

Aristo'nun bazı halefleri, on üçüncü yüzyıla kadar süren ortaçağ mantığının temellerinden sorumluydu. Galenus, Porphyry ve Aphrodysia Alexander gibi Ortaçağ düşünürleri, mantığı doğru yargılama bilimi olarak sınıflandırdılar; bu da doğru ve resmi olarak geçerli sebeplere ulaşmayı mümkün kılıyor.

Programlama mantığı

Programlama mantığı, bir bilgisayar programı oluşturmak için kullanılan dildir. Programlama mantığı, programların ve bilgisayar sistemlerinin geliştirilmesi için önemlidir, çünkü bu gelişim için mantıksal bağlantıyı tanımlar. Bu geliştirme için adımlar, yürütülecek işleve ilişkin mantıksal bir talimat dizisinden oluşan bir algoritma olarak bilinir.

Argüman mantığı

Argümantasyon mantığı geçerliliğimizi veya bir ifadenin doğru olup olmadığını doğrulamamızı sağlar. Göreceli veya öznel kavramlarla yapılmaz, geçerliliği doğrulanabilen somut önerilerdir. Bu durumda, mantık içerik değil, önermelerin biçimini değerlendirmeyi amaçlar. Syllogisms (iki bina ve sonuçtan oluşur), tartışma mantığına bir örnektir. Örneğin:

Fubá bir köpektir.

Bütün köpekler memelidir.

Bu nedenle Fubá bir memelidir.

Matematiksel Mantık

Matematiksel mantık (veya biçimsel mantık) mantığını yapısına veya biçimine göre inceler. Matematiksel mantık, muhakemenin geçerliliğini belirlemek için bir dizi kanun ve kural oluşturmayı amaçlayan tümdengelimli bir ifade sisteminden oluşur. Bu nedenle, gerçek kurumdan doğru bir sonuca varmanın mümkün olması halinde bir muhakeme geçerli sayılır.

Matematiksel mantık, başka mantık yürütme yoluyla geçerli bir akıl yürütme oluşturmak için de kullanılır. Muhakeme tümdengelimli (sonuç, tesisin gerçekliğinden mutlaka elde edilir) ve endüktif (olasılıklı) olabilir.

Biçimsel mantık iki gruba ayrılabilir: önermesel mantık ve yordam mantığı.

Leibniz, çoğu kişi tarafından matematiğin temel konularına değinen biçimsel veya matematiksel mantık kavramını başlatan akıl olarak görülür. Ancak, sadece 1890'dan sonra, Peano ile birlikte, aksiyomların tutarlılığı sorunu başladı. Resmi mantığın bazı önemli ilkeleri, George Boole (Mantık veya Boole cebirinin yazarı) tarafından Mantığın Matematiksel Analizi bölümünde bulunur.

Önerme Mantığı

Önerme mantığı, cümleleri (önermeler), doğru veya yanlış olabilen en az söylem birimleri arasındaki ilişkilere göre akıl yürütmeyi inceleyen bir mantık alanıdır.