وقتی شخصی به یک "حقیقت" ارجاع می دهد یا ادعا می کند که برخی گفته ها "صحیح" است ، دقیقاً به کدام نوع حقیقت اشاره می کنند؟ این ممکن است در ابتدا مانند یک سوال عجیب به نظر برسد زیرا ما به ندرت در مورد این احتمال فکر می کنیم که ممکن است بیش از یک نوع حقیقت در آنجا وجود داشته باشد ، اما در حقیقت مقولات مختلفی از حقیقت وجود دارند که باید در ذهن داشته باشند.
حقایق حساب
در میان ساده ترین و واضح ترین حقایق حساب - جمله هایی که بیانگر روابط ریاضی هستند. وقتی می گوییم 7 + 2 = 9 ، ما در مورد یک حقیقت حسابی ادعا می کنیم. این حقیقت را می توان به زبان عادی نیز بیان کرد: هفت چیز اضافه شده به دو چیز ، نه چیز را به ما می دهد.
حقایق حسابی غالباً مانند چکیده در معادله فوق به صورت خلاصه بیان می شوند ، اما معمولاً پیش زمینه واقعیت وجود دارد ، همانطور که در گفته های عادی آمده است. اگرچه ممکن است اینها به عنوان حقایق ساده تلقی شوند ، اما آنها جزو واقعی ترین حقایقی هستند که ما در مورد هر چیز دیگری می توانیم مطمئن تر از آنچه ممکن است باشد.
حقایق هندسی
بسیار نزدیک با حقایق حساب حقایق هندسی است. اغلب به صورت عددی بیان می شود ، حقایق هندسی عباراتی در مورد روابط مکانی هستند . از این گذشته ، هندسه مطالعه فضای بدنی اطراف ما - مستقیم یا از طریق بازنمایی ایده آل است.
مانند حقایق حساب ، اینها همچنین می توانند به صورت انتزاع (مثلاً قضیه فیثاغوریا) یا به زبان عادی بیان شوند (مجموع زوایای درون یک مربع 360 درجه است). و ، مانند حقایق ریاضی ، حقایق هندسی نیز از جمله حقایق حقیقی هستند که می توانیم داشته باشیم.
حقایق منطقی (حقایق تحلیلی)
همچنین گاهی اوقات به عنوان حقایق تحلیلی خوانده می شود ، حقایق منطقی عباراتی هستند که صرفاً با تعریف اصطلاحاتی که استفاده می شوند صادق هستند. برچسب "حقیقت تحلیلی" برگرفته از این ایده است كه می توانیم بگوییم كه این عبارت درست با تحلیل كلمات مورد استفاده صحیح است - اگر این عبارت را بفهمیم ، باید بدانیم كه این نیز صحیح است. نمونه ای از این امر می تواند "هیچ کارشناسی ازدواج نکرده است" - اگر می دانیم معنی "کارشناسی" و "متاهل" چیست ، پس برای واقعیت می دانیم که این بیانیه دقیق است.
حداقل ، این مورد در مواردی است که حقایق منطقی به زبان عادی بیان می شوند. چنین اظهاراتی همچنین می تواند به صورت انتزاعی تر با منطق سمبولیک بیان شود - در این موارد ، تعیین صحیح بودن یا نبودن بیانیه با ساختن چنین تعیین کننده ای از معادلات حسابی بسیار شبیه خواهد بود. به عنوان مثال: A = B ، B = C ، بنابراین A = C.
حقایق مصنوعی
حقایق مصنوعی بسیار رایج تر و جالب تر: اینها عباراتی هستند که به واسطه انجام برخی محاسبات ریاضی یا تجزیه و تحلیل معانی کلمات ، نمی توانیم صادقانه بدانیم. هنگامی که ما یک جمله مصنوعی را می خوانیم ، محمول به عنوان افزودن اطلاعات جدیدی که قبلاً در موضوع وجود نداشته باشد ارائه می شود.
بنابراین ، به عنوان مثال ، "مردان قد بلند هستند" یک جمله مصنوعی است زیرا مفهوم "قد بلند" در حال حاضر جزئی از "مردان" نیست. ممکن است این گفته درست یا نادرست باشد - اگر صحیح باشد ، یک حقیقت مصنوعی است. چنین حقایق جالب تر هستند زیرا آنها چیزهای جدیدی را در مورد جهان پیرامون ما به ما می آموزند - چیزی که قبلاً نمی دانستیم. اما خطر این است که ممکن است اشتباه کنیم.
حقایق اخلاقی
پرونده حقایق اخلاقی امری غیر عادی است زیرا به هیچ وجه مشخص نیست که چنین چیزی حتی وجود دارد. مطمئناً این مورد است که بسیاری از افراد به وجود حقایق اخلاقی اعتقاد دارند ، اما این موضوع در فلسفه اخلاقی به شدت مورد اختلاف است. حداقل ، حتی اگر حقایق اخلاقی وجود داشته باشد ، به هیچ وجه مشخص نیست که چگونه می توانیم با هر میزان قطعیت از آنها مطلع شویم.
برخلاف سایر اظهارات حقیقت ، بیانات اخلاقی به صورت هنجاری بیان می شود. ما می گوییم که 7 + 2 = 9 ، نه 7 + 2 برابر 9 نباید باشد. ما می گوییم که "کارشناسی ها متأهل نیستند" و نه "این غیر اخلاقی است که کارشناسی ها ازدواج کنند." ویژگی دیگر اظهارات اخلاقی این است که آنها تمایل دارند چیزی راجع به روشی که جهان می توانند بیان کنند ، و نه روشی که در حال حاضر جهان وجود دارد. بنابراین ، حتی اگر گفته های اخلاقی می توانند به عنوان حقایق شناخته شوند ، در حقیقت حقایق بسیار غیرمعمول هستند.
