1. Mantık
En geniş anlamda mantık, akıl yürütme çalışmasıdır. Mantık, doğru akıl yürütmeyi ve çıkarımı yönetmek için attığımız kurallardan oluşur: örneğin, bir cümleyden diğerine, “Elimde bir elma varsa, o zaman yağmur yağıyor” gibi. “Bir elmam var.” Bu nedenle, bu akıl yürütme tipik olarak resmi bir sözdizimine ve anlambilimine sahip olan resmi bir sisteme resmileştirilir. (Bunu sadece biçimsel bir gösterim olarak düşünün, matematiğin tüm bu süslü sembollerde nasıl yapıldığı gibi düşünün. Yani “Bütün elmalar kırmızıdır” tıpkı Ax (Ap (x)> R (x) olur, tıpkı “Üç ve yediyi birlikte toplarsanız 10 elde edersiniz” 3 + 7 = 10).
Yaptığımız ilk akıl yürütme sistemi Aristoteles’in (klasik mantık) oldu. Daha sonra klasik mantığı yakalayacak resmi sistemleri (resmi gösterim) yarattık ve Aristoteles’in “klasik mantık” gerekliliklerini karşılayan teorileri çağırıyoruz. Bununla birlikte, zaman içinde, düşüncenin diğer alanlarının farklı akıl yürütme sistemleri tarafından yönetildiğini düşünmek için nedenler olduğunu öğrendik. Örneğin, filin bir görünümü. “sezgisel” olarak adlandırılan matematik (bir Wiki sayfası bir arka plan vermek için çok yararlıdır) insanların mantıksal olarak mantığa izin verip vermemesi çok mantıklı değildir, bu yüzden sezgiselistler klasik mantığın tüm gereksinimlerini karşılamayan kendi mantıklarını oluşturdular.
Diğer zamanlarda, “Gereksiz” ve “Muhtemelen” gibi belirli yöntemlerle cezaların nasıl akılda tutulduğunu araştırmak istiyoruz. Böylece, (aletik) modal mantık gibi bir şeye resmileştiririz ve bu modalitelerle ilgili neyin uygun bir çıkarım olduğunu düşünürüz. Örneğin, “Dışarısı yağmur yağması muhtemeldir” dersem, “Bu aslında dışarıda yağmur yağıyor” için mantıklı olabilir mi? Böyle bir akıl yürütme sisteminin biçimlendirilmesi, tüm bunları daha net hale getirmeye yardımcı olur. Tabii ki, mantıkçılar hangi kuralların doğru kurallar olduğuna katılmıyorlar. Yani, bazıları, bir şeyin muhtemelen gerekli olduğunu reddederek, bunun gerekli olduğu sonucuna varabiliriz. Bu yüzden farklı mantıksal mantık sistemleri vardır.
Mantık çalışması bu farklı akıl yürütme sistemlerini karşılaştırır ve bunları farklı şekillerde biçimlendirmeye bakar. Farklı kurallara sahip olmanın sonuçlarına bakar ve bu resmi sistemlerin farklı özelliklerini (güçlerini, kanıtlayabileceklerini vb.) Inceler.
2. Epistemoloji
Epistemoloji bir anlamda mantıktan daha geniştir. Evet, aynı zamanda, mantık yürütmenin uygun yollarını da araştırır, ama genellikle farklı epistemik tutumlar veya zihinsel durumlar bağlamında ve daha çok onları mantıkçıların yaptığı gibi resmileştirmeye fazla ilgi duymadan araştırır. Örneğin, epistemologlar, doğru hesap ya da bilgi tanımının ne olduğunu, hatta Matrix’te yaşamadığımızı bile bilebiliriz. Kanıt olarak neyin sayıldığını, ya da kanıtların inançlarımızı nasıl etkilemesi gerektiğini ve gerekçelendirmeyi nasıl içerdiğini inceleyebiliriz. Örneğin, “Geçerli bir mantık çıkarımı, çıkardığımız şeylere inanmamız için bize haklı bir gerekçe verir” diyebiliriz. Fakat başka şeyleri de algılayış / gözlemleme, şeyleri sezme, vb. ve epistemologlar, bu genişleme modlarını daha geniş bir şekilde araştırmak isterler
Epistemoloji ve Mantık Karşılaştırması:
Özneler ve fonksiyonlar birbirleriyle ilişkilidir, ancak bunlar farklı alanlardır. Bilgi biçimini analiz ederek, mantık doğru düşünme ilkelerini ortaya çıkarır ve formüle eder. Önerilerin içeriğiyle ilgilenmeyen bağımsız bir akıl bilgisidür. Resmi bir bilimdir ve kesinlik sahibidir. Bu muhakeme kalıpları hakkında. Doğru – yanlış gibi değerleri kullanır, ancak onları tanımlamaz ve tartışmaz. Örneğin;
Bütün böcekler uçar.
Tüm kuşlar uçar.
Bu durumda; Bütün böcekler kuştur.
Bu kesinti, gerçekle eşleşmezse de mantıksal bir bakış açısından doğrudur. Bilginin “içerik” olarak değerlendirilmesi, bilgi felsefesinin felsefesidir.
Adam ne biliyor?
Bilgilerinizin olanakları ve sınırları nelerdir?
Gerçek nedir, doğru mu?
Sorular ve cevaplar gibi sorular bilgi teorisi konusuna girer. Mantık, bilgi biçimiyle ilgilenir; epistemoloji. Bilgi teorisinde ele alınan bilgi mantık prensiplerine uygun olmalıdır.