Проверка (от лат.
- концепция, използвана в логиката и методологията на научното познание за обозначаване на процеса на установяване на истинността на научни твърдения чрез тяхната емпирична проверка. Проверката се състои в съпоставяне на твърдение с реалното състояние на нещата чрез наблюдение, измерване или експеримент. Прави се разлика между пряко и косвено тестване.При прякото тестване на емпирична проверка се подлага самото твърдение, което говори за факти от реалността или експериментални данни. Не всяко твърдение обаче може да бъде
пряко свързани с фактите, тъй като повечето научни твърдения се отнасят до идеални или абстрактни обекти. Такива твърдения се проверяват косвено. От това твърдение ние извеждаме следствие, свързано с такива обекти, които могат да бъдат наблюдавани или измерени. Това следствие се проверява директно. В. на следствието се разглежда като косвено В. на изявлението, от което се е получило даденото следствие. Да предположим например, че трябва да проверим твърдението „Температурата в стаята е 20°C“. Не може да се провери директно, тъй като в действителност няма обекти, на които да отговарят термините "температура" и "20°C". От това твърдение можем да изведем следствие, което казва, че ако в стаята се внесе термометър, живачната колона ще спре на знака „20“. Носим термометър и чрез пряко наблюдение проверяваме твърдението „Живачният стълб е на знака „20““. Това служи като косвено V. на оригиналното изявление.
Проверимостта, т.е. възможността за емпирична проверка, на научни твърдения и теории се счита за една от важните характеристики на науката. Твърдения и теории, които по принцип не могатда бъдат проверени обикновено не се считат за научни.
Вероятностна логика
- видмногозначна логика, в която наизявления(преценки), заедно с истината и неистината, се приписват междинни стойности, представляващи различни степени на вероятност за истинност на твърденията, степени на вероятност или потвърждение. На верните твърдения се приписва истинна стойност (вероятност) 1; неверни твърдения - стойност 0; на хипотетични твърдения се присвоява всяко реално число от интервала (0,1) като стойност. Логическите операции се дефинират над стойностите на истината (вероятностите) на хипотези: конюнкция, дизюнкция, отрицание. Получената система допуска различни аксиоматизации.
Вероятност
- количествена мярка за възможността за настъпване на някакво събитие при определени условия. Има няколко тълкувания на Б.
Класическата концепция за V. разглежда V. като съотношение на броя на благоприятните случаи към общия брой на всички възможности. Например, когато хвърляте зар, който има 6 страни, може да се очаква всяка от тях да излезе с V, равно на 1/6, тъй като никоя страна няма предимства пред другата. В реалната практика обаче възможностите не винаги са равни.
Именно това обстоятелство се взема предвид от статистическата концепция на В., която се основава на действителното настъпване на някакво събитие в хода на дългосрочни наблюдения при определени условия. Следователно статистическата концепция на V. се основава на концепцията за относителната честота на събитието, което ни интересува, което се определя емпирично.
И накрая, логическото разсъждение характеризира връзката между предпоставките и заключението на правдоподобно, по-специално, индуктивно разсъждение. СтепенПравдоподобността на заключение по отношение на предпоставките се оценява с помощта на V. В семантичните концепции логическата V. често се определя като степента, в която едно твърдение се потвърждава от друго.