"Mantık Terimleri Sözlüğü"nü okuyuculara sunarken, herşeyden önce "mantık:' deyince ne anladığımızı, mantık konusunda temel görüşlerimizin neler olduğunu, dolayısıyla sözlükte ne gibi konulara yer ya da ağırlık verdiğimizi belirtmenin uygun olacağını düşündük. Mantık konusunda en başta geniş ile dar olmak üzere iki anlayıştan söz edilebilir. Mantığı dar olarak anlayan görüş için mantık, önermelerin tutarlılığı ile çıkarımların geçerliliğini inceleyen bir bilgi dalıdır. Önermelerin tutarlılığı ile çıkarımların geçerliliği de mantıksal değişmez denen deyimlere dayandığından bu anlayış içinde mantık, mantıksal değişmezlerin bilimi diye görülecektir. Ayrıca tutarlılık ya da geçerlilik açısından incelenecek önerme ya da çıkarımlar da biçimsel dizgeler içinde yer alacaktır. Bu bağlamda mantık biçimsel dizgeleri inceleme konusu yapan bir bilgi dalı diye anlaşılabilir. (Bkz. biçimsel mantık) Mantığı geniş olarak anlayan görüş için, bu sayılanların dışında günlük dilde yapılan çıkarımların denetlenmesi, günlük dil önermelerinin mantıksal yapısının incelenmesi, bilimlerin yöntemleri ile ilgili sorunlar, bilim felsefesi konuları da mantığın alanı içinde yer alır. Bu anlayışa göre mantık biçimsel dizgelerin dışındaki önerme ya da çıkarımları da inceleyecektir. Biz, bu geniş mantık anlayışı içinde dökümü yapılan konuların, daha çok mantığın uygulaması durumunda olduğu, dolayısıyla doğrudan mantığın inceleme alanı içine girmediği kanısındayız. Bundan da kolaylıkla anlaşılacağı gibi, mantığı yukarıda tanıtıldığı biçimde dar olarak anlayan görüşe yatkınız. Dolayısıyla elinizdeki sözlüğün her şeyden önce bir biçimsel mantık sözlüğü olduğu söylenebilir. Mantığın uygulaması durumundaki konular (Bkz. tüme varımlı mantık) sözlükte oldukça sınırlı bir biçimde yer almaktadır. Sözlükte ağırlık, büyük ölçüde, eklemler, niceleyiciler ile eşitliği kapsayan temel mantık konularındadır. Ağırlığın bu konulara verilişini olağan karşılamak gerek; çünkü adından da anlaşılacağı gibi temel mantık her türlü mantık dizgesinin, belki de her türlü bilimsel düşünmenin temelinde bulunur.

---