- alt öbekdeyimTek kurucu ögesi boş küme olan öbek.
- burhān-ı limnîdeyimTümdengelim.
- çelişiklik ilkesideyimİki çelişik önermenin hem doğru hem yanlış olamayacağı ilkesi.
- çok tasımdeyimBirinin sonucu diğerine öncül olmak şartıyla birçok kıyastan oluşmuş kanıt.
- deneysel tanımlamadeyimGözlem, karşılaştırma ve soyutlamaya dayanan tanımlama.
- dolayımsız önermedeyimKendisinden önce hiçbir önerme bulunmayan önerme.
- dolayımsız verilerdeyimBir sezgi sonucu elde edilen veriler.
- dolaysız kanıtdeyimTümevarımlar ve kesin olmayan durumların verdiği bilgiler dışında kalan gerçek ve kesin kanıt.
- eş güçlülükdeyimKaplamı aynı olan iki önerme veya iki kavram arasındaki mantıksal eşitlik ilişkisi.
- eş kuvvetlilikdeyimİki önerme veya kaplamları aynı olan iki kavram arasnıdaki mantıkî ilişki.
- hadd-i asgardeyimKüçük önerme.
- hadd-i ekberdeyimBüyük önerme.
- hadd-i evsatdeyimOrta terim.
- iki koşulludeyim(Önerme veya olumlama için) iki koşula bağlı olan.
- ikiz anlamdeyimBir önermenin birbirinden farklı iki anlam verebilecek biçimde kurulmuş olması; ipham.
- ilerleyen kanıtdeyimİlkelerden sonuçlara giden kanıt.
- ilk soruşturmadeyimCeza davalarında dava açılıp açılmayacağına karar vermek üzere yapılan ön soruşturmanın son aşaması.
- kābil-i rücūdeyimGeri çevrilebilir; tersinir; kaziye.
- karşı olumdeyimBirbirinin karşısında bulunan, birbirini karşılıklı olarak dışta bırakan kavram veya yargı arasındaki bağlantı; tekabül.
- karşı savdeyimBir çatışkının ikinci terimini oluşturan düşünce veya önerme; antitez.
- kaziye-i anhādeyimSonuç önermesi.
- kaziye-i sālibe-i külliyedeyimYadsılı tümel önerme.
- kısır döngüdeyimAynı olumsuz sonucu veren tutum ve davranışların tekrarlanması; çıkmaz.
- küçük önermedeyimBir tasımda küçük terimi karşılayan öncül; minör.
- küçük terimdeyimBir tasımda vargının konusu olan terim.
- külliyāt-ı hamsdeyimAristo mantığında tür, cins, ayrım, özellik, ilinek.
- lāfz-ı küllîdeyimAnlamı geniş ve genel olan söz.
- lāfz-ı mürekkepdeyimÖgelerden biri anlamın ögelerinden birine delalet eden söz.
- modal işlemcideyimBir gerçek faktörü olmayan, önermesel zorunluluk, olabilirlik vb. kavramları içeren işlemci.
- mutlaka-i āmmedeyimYalın önerme.
- nakîz-i müddeadeyimKarşı tez.
- netîce-i istidlāldeyimVargı.
- nicelenmiş önermedeyimBazı değişkenleri niceleyiciler ile bağlanan önerme.
- olabilir dünyadeyimBirlikte olabilen ve her biri olanaklı olan, aralarında çelişki içermeyen nesneler topluluğu.
- olgusal anlamdeyimHangi durumda doğru, hangi durumda da yanlış olacağını kestirebildiğimiz bir önermenin taşıdığı anlam türü.
- olumsal önermedeyimDoğruluğu ve yanlışlığı aynı derecede olanaklı önerme; kendisi de değillemesi de olanaklı olan önerme.
- ön tasımdeyimVargısı başka bir tasımın büyük veya küçük önermesi olan tasım.
- orta terimdeyimBir tasımda, öteki iki terim arasında ilişki kuran terim.
- örtük tasımdeyimÖncüllerden birinin açıkça dile getirilmeksizin düşüncede tamamlandığı tasım; entimem.
- öz yeterlideyimKendi içinde çelişik olmayan.
- öz yeterlilikdeyimÇelişik olmayan bir kuramın özelliği.
- öz yetersizdeyimÇelişkiye düşmedikçe gerçek kümeler olarak kabul edilebilmeleri olanaksız olan.
- öz yetersizlikdeyimBir tanımın hem tanıtlanabilir hem de çürütülebilir oluş özelliği.
- özdeş önermedeyimÖzne ile özdeş olan önerme. Yalan yalandır.
- özdeşlik ilkesideyimGeleneksel mantıkta, her kavramın yalnız kendi kendisi ile özdeş olduğunu vurgulayan ve bilginin yönetici ilkelerinden biri olan temel ilke; her…
- özünlü kanıtlardeyimKonunun kendinden çıkarılan kanıtlar.
- salt mantıksal kuramdeyimMantıksal olmayan değişmezler ile mantıksal olmayan ilk savlardan yoksun olan biçimsel kuram.
- simgesel mantıkdeyimTümdengelimli çıkarımları, uyguladıkları özel durumları göz önüne almadan inceleyen mantık dalı; biçimsel mantık; sembolik mantık.
- tasım bilimideyimTasımların sistemli biçimde incelenmesi
- tesāvî-i nākızeyndeyimÇatışkı.