В классической логике предложения обычно однозначно рассматриваются как истинные или ложные. Например, предложение « один одновременно равен и не равен себе» рассматривается как просто ложное, поскольку противоречит Закону непротиворечивости ; в то время как предложение «один равен одному» рассматривается как просто истинное по Закону тождества . Однако некоторые математики, специалисты по информатике и философы были привлечены идеей, что предложение может быть более или менее истинным, а не полностью истинным или полностью ложным. Рассмотрим « Мой кофе горячий» .
В математике эта идея может быть развита в терминах нечеткой логики . В информатике она нашла применение в искусственном интеллекте . В философии эта идея оказалась особенно привлекательной в случае неопределенности . Степени истины являются важным понятием в праве.
Термин является более старой концепцией, чем условная вероятность . Вместо определения объективной вероятности определяется только субъективная оценка. [1] [ нужна страница ] Особенно для новичков в этой области высока вероятность путаницы. Они с большой вероятностью перепутают концепцию вероятности с концепцией степени истинности. [2] [ неудавшаяся проверка ] Чтобы преодолеть это заблуждение, имеет смысл рассматривать теорию вероятностей как предпочтительную парадигму для работы с неопределенностью.
В судебных процессах «субстантивная истина» отличается от «формальной юридической истины», которая бывает четырех степеней: слухи , баланс вероятностей , доказанное вне разумных сомнений и абсолютная истина ( знание, зарезервированное для Бога ). [3]
{{cite journal}}
: |author=
имеет общее название ( помощь )CS1 maint: несколько имен: список авторов ( ссылка )