tgoop.com/logic_metamathematics/970
Last Update:
Условно правильные умозаключения - это те, форма которых выражается формулами тождественно истинными на определенном количестве предметов рассматриваемой предметной области (обозначим это количество как k) и которые перестают быть таковым на предметных областях, содержащих k+1 или больше объектов. Гильберт и Бернайс называют такие формулы тождественно истинными в конечном, а Клини - k-тождественно истинными. В общем виде можно сказать, что существуют формулы (которым соответствуют формы правильных рассуждений), истинные при любом, сколь угодно большом конечном количестве предметов рассматриваемой предметной области, но ложные при бесконечном, и существуют формулы, истинные на любых предметных областях (общезначимые).
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/970