Бродячий предикат
Бродячие предикаты — это логические конструкции, которые демонстрируют присущий предел концептуальному знанию. [1] Такие предикаты могут использоваться в общих описаниях, но применительно к частностям они внутренне противоречивы. Например, есть числа, которые никогда не упоминались, но пример привести невозможно, поскольку это противоречило бы их определению. Бродячие предикаты были предложены и изучены Николасом Решером .
F — бродячий предикат тогда и только тогда, когда ( u)Fu истинно, хотя, тем не менее, Fu0 ложно для каждого конкретно идентифицированного u0 . [2]
Когда бесконечность рассматривается как число, большее любого данного, возникает аналогичная идея. Однако бродяжничество не должно быть монотонным и происходит в определенных пределах. Решер использовал бродячие предикаты для решения проблемы неопределённости . [1] [2]
Ссылки
[ редактировать ]- ^ Jump up to: а б Решер, Н. (2009). Непознаваемость: исследование пределов познания . Плимут: Лексингтон Букс. ISBN 978-0739136157 .
- ^ Jump up to: а б Решер, Н. (2008). «Неясность: вариант подхода» . Неформальная логика . 28 (4): 282–294. дои : 10.22329/il.v28i4.2853 .