Klasik mantığın kullandığı tümdengelim yönteminin yetersizliği ve önermelerdeki çok anlamlılık problemi, modern mantıkta kullanılan sembolik mantık di..

Doğruluk değerleri aynı olan iki önermeye denk önermeler denir.

Porphyrios, sınırsız sayı ve çeşitteki varlıkları sınıflandırabilmek için bir sınıflandırma önermiştir.

Çıkarım (akıl yürütme), önermelerden yeni önerme elde etmektir. Doğrudan ve dolaylı (kıyas) olmak üzere iki çeşittir.

Sembolik mantıktaki önermeler ile kümeler arasında kavramsal ve işlem özellikleri açısından önemli ilişkiler ve benzerlikler vardır. Örneğin kesişim i..

Sokrates öncesi düşünürlerin evren hakkında duyduğu ateşli merak onları "Her şey nereden geliyor?" sorusuna yanıt aramaya, asıl, nihai ilkeyi bulmaya ..

İki kümenin bütün elemanlarından oluşan kümeye birleşim kümesi denir.

Pisagor filozof, matematikçi ve Pisagorculuk olarak bilinen akımın kurucusudur. Sayıların babası olarak bilinen Pisagor'un insanlık tarihine en büyük ..