?

Log in

No account? Create an account

„To be is to be the value of a bound variable.“ - The chronicler of 452 — LiveJournal

Jun. 3rd, 2007

11:33 pm - To be is to be the value of a bound variable.

Previous Entry Share Next Entry

Comments:

From:ex_juan_gan
Date:August 15th, 2010 01:08 am (UTC)
(Link)
Огромное спасибо! Не будучи логиком, я никогда не мог понять этого странного утверждения о верных но недоказуемых утверждениях. Теперь понятно. Спасибо!
(Reply) (Thread)
[User Picture]
From:furia_krucha
Date:August 15th, 2010 03:51 pm (UTC)
(Link)
Я только хотел бы уточнить, что сам Куйан понимал своё высказывание по-другому и, скорее всего, рассердился бы на мою интерпретацию (если бы тоже не заметил, что это шутка).

Для него эта фраза была критерием of ontological commitment, т.е. критерием того, какие вещи некая теория признаёт существующими (споры между реалистами и номиналистами, Drittes Reich Фреге и тому подобное относятся к ontological commitment). Куйан говорит: чтобы понять, существование чего признаётся данной теорией надо записать её на языке исчисления предикатов. Тогда теория должна признавать существование в точности тех объектов, которые могут быть значениями связанных переменных. Пример (из On What There Is): в некоторой теории утверждение "существуют белые собаки" можно записать как (\exists x)(Dog(x) \and White(x)). Такая теория признаёт существование класса объектов пробегаемого x, который включает в себя и собак, но не признаёт существование "собачности" и "белости", т.к. по ним квантификация не происходит.

Вот здесь есть связное изложение.
(Reply) (Parent) (Thread)
[User Picture]
From:furia_krucha
Date:August 15th, 2010 03:55 pm (UTC)
(Link)
Ха, только сейчас заметил, что вы наверное на другое сообщение хотели ответить.
(Reply) (Parent) (Thread)
From:ex_juan_gan
Date:August 15th, 2010 09:12 pm (UTC)
(Link)
Да, конечно; но это ничего.

Существование собачности имеет смысл, наверное, там, где есть для этого существования условия (скажем, карринг).
(Reply) (Parent) (Thread)
[User Picture]
From:furia_krucha
Date:August 16th, 2010 09:47 am (UTC)
(Link)
Вы открыли мне глаза.
(Reply) (Parent) (Thread)