إن جوهر الحقيقة قد حيّر الناس منذ قديم الزمان، ربما لأن الناس كثيرًا ما يُطلقون صفة حقيقي على أفكار يتجاوبون معها ويميلون إليها، وكذلك لأنهم كثيرا ما يختلفون في الرأي حول أي من الأفكار تطابق الحقيقة. لقد حاول الفلاسفة أن يحددوا معايير الحكم من أجل التمييز بين الصواب والخطأ، ولكنهم اختلفوا حول معنى الحقيقة، وكيف يمكن التوصل إلى أفكار مطابقة للحقيقة. إن نظرية التطابق تقول: إن الفكرة تعتبر حقيقية إذا كانت مطابقة للوقائع والمجريات. أما النظرية الذرائعية أو البرغماتية، فتؤكد أن الفكرة تطابق الحقيقة، إذا هي أثرت في المشكلة المطروحة، أو قدمت لها حلاًّ. أما نظرية الترابط فتقول: إن الحقيقة مقياسها في الدرجة؛ أي أن الفكرة مطابقة للحقيقة بمقدار ما هي متماسكة أو متوافقة مع أفكار أخرى يؤمن بها الإنسان.
أما النظرية الشكوكية فتدَّعي أنه من المستحيل التوصل إلى المعرفة، وأن وجه الحقيقة لا يمكن أن يُعرف.
المنطق. يتناول بالدراسة مبادئ وطرائق المحاكمة العقلية؛ فهو يستكشف كيفيات التمييز بين المحاكمة القويمة والمحاكمة السقيمة. ويُسمَّى المثال المستخدم في المحاكمة البرهان أو الاستدلال. يتمثل البرهان في جملة من الحجج تسمى مقدمات، وهذه تقترن بحجة أخرى تسمى النتائج التي من المفروض أن تستند إلى المقدمات أو تنبثق عنها. إن البرهان القوي يكون سندًا للنتائج، بعكس البرهان الضعيف.
يوجد نوعان أساسيان من المحاكمة العقلية، يسمى أحدهما الاستنتاج والآخر الاستقراء.