Bulanık mantık, bulanık eseme ya da puslu mantık, 1965 yılında Lütfü Aliasker Zade'nin yayınladığı bir makalenin sonucu oluşmuş bir mantık yapısıdır.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
Sembolik Mantık' ın anlaşılması için ilk olarak önerme kavramının açıklaması gerekir. Önerme; Bir yargı belirten, doğru veya yanlış olan cümlelere denir. Örneğin; "Ankara, Türkiye'nin güneyindedir." cümlesi bir önermedir ve bu önerme yanlıştır. "1 Ocak, yeni bir yılın başlangıcıdır." önermesi ise doğru bir önermedir. Önermeler mantığında basit önermeler p, q, r, s, t, v, z..... gibi önerme sembolleriyle gösterilir.
Mantık tarihi, mantığın tarihteki çeşitli kültürler ve geleneklerde ortaya çıktığı biçimlerini karşılaştırmalı olarak inceler.
Willard Van Orman Quine, analitik felsefe geleneğinden Amerikalı filozof ve mantıkçı. "Yirminci yüzyılın en etkili filozoflarından biri" sayılır. 1930'dan 70 yıl sonraki ölümüne kadar Quine sürekli olarak Harvard Üniversitesi ile öyle ya da böyle yakından ilgiliydi, önce bir öğrenci; sonra da bir profesör olarak. 1956-78 yıllarında Harvard Edgar Pierce Felsefe Kürsüsünde ders verdi.
Alonzo Church, matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı. En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır. Ayrıca dil felsefesi üzerinde çalıştı.
Alfred Tarski, doğduğunda adı Alfred Teitelbaum, olan bir Polonyalı-Amerikalı, mantıkçı ve matematikçi. Model teorisi, metamatematik ve cebirsel mantık konusundaki çalışmaları ile tanınan üretken bir yazar, aynı zamanda soyut cebir, topoloji, geometri, ölçü teorisi, matematiksel mantık, küme teorisi ve analitik felsefeye de katkıda bulundu.
Mühendislik, endüstri ve istatistikte, bir ölçüm sisteminin doğruluğu, bir niceliğin ölçüm değerinin asıl (gerçek) değerine olan yakınlık derecesidir. Bir ölçüm sisteminin kesinliği, aynı şartlardaki ölçümlerin aynı sonucu verme derecesidir. Gündelik dilde iki terim eş anlama gelebilmekteyse de bilimsel yöntemde ikisi özellikle ayrı ayrı kullanılımaktadır.
Mantıkta, matematik ve psikoloji gibi alanlarda ancak ve ancak, iki ifade arasındaki iki koşullu mantık bağlacını belirtir. Birbirine bağlı olan iki ifadenin birinin doğruluğu için ötekinin doğru olması gerekmektedir, dolayısıyla ya iki ifade de doğru ya da her ikisi de yanlıştır. Yazılışta, ancak ve ancak'a alternatif olarak Q P için gerekli ve yeterlidir, Q ise P ifadeleri de kullanılır.
Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.
Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.
Mantıkta, bir cümle sonlu sayıda terimden oluşan bir ifadedir. En yaygın şekliyle ayrılma ile bağlanmış bir cümlenin içindeki terimlerden herhangi biri doğru olduğunda cümle de doğrudur. Çok yaygın olmayan birleşme ile bağlanmış bir cümlenin doğru olması için içerdiği terimlerin hepsi doğru olmalıdır. Kullanılan bağlaca göre, bir cümle sonlu terimlerin ayrışımı ya da sonlu terimlerin birleşimi olarak tanımlanır. Mantık cümleleri, 
terimleri için, genellikle aşağıdaki şekilde ifade edilir:
Mantıkta, yanlış olumsuz doğruluk değerine sahip olma durumudur. Tümleyeni doğru ile birlikte, doğruluk fonksiyonlu önermeler mantığında kullanılan iki doğruluk değerinden biridir. Yanlışın yaygın gösterimleri 0 ve ters T sembolüdür ( ⊥).
Felsefi mantık, felsefi problemleri çözmek veya bu problemler hakkındaki tartışmayı ilerletmek için geleneksel mantık yöntemlerinin kullanıldığı felsefe alanlarına gönderimde bulunur.
Felsefi çalışmaların gelişmesi sürecinde on dokuzuncu yüzyılda sembolik mantık ile yürüyen mantık, yirminci yüzyılda matematiksel mantıkla devam ederken, geleneksel olarak basit mantığın ötesine geçiyorsa, mantığın bir parçası olarak değil de felsefi mantık veya mantık felsefesi olarak değerlendirildi.
Transistör-transistör mantığı (TTL), iki kutuplu bağlantı transistörlerinden oluşturulmuş bir mantık ailesidir. Adı, transistörlerin direnç-transistör mantığı (RTL) veya diyot-transistör mantığının (DTL) aksine hem mantık işlevini hem de yükseltme işlevini yerine getirdiğini belirtir.
Diyot-transistör mantığı (DTL), mantıksal geçitleme işlevi bir diyot ağı tarafından gerçekleştirildiği ve yükseltme işlevi bir transistör tarafından gerçekleştiril bir mantık ailesidir. Transistör-transistör mantığının doğrudan atası olan bir dijital devre sınıfıdır.
Kaarlo Jaakko Juhani Hintikka, Fin filozof ve mantıkçıdır.
