home | login | register | DMCA | contacts | help | donate |      

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


my bookshelf | genres | recommend | rating of books | rating of authors | reviews | new | форум | collections | читалки | авторам | add

реклама - advertisement



11.40

В случае необходимости мы можем добиться точности нашего языка, устранив все определения и взяв на себя колоссальные хлопоты по использованию определяющих терминов вместо определяемых. Дело в том, что в современных методах определения кроется некоторый источник неточности. Р. Карнап разработал в 1934 году метод, который можно назвать первым методом устранения противоречий в языке, использующем определения (см. R. Carnap. Logical Syntax of Language, 1937, § 22, p. 67; см. также D. Hilbert, P. Bernays. Grundlagen der Matheraatik, 1939, Bd. II, S. 295, note 1). Карнап показал, что в большинстве случаев язык, допускающий определения, будет противоречивым, даже если определения удовлетворяют общим правилам их построения. Сравнительная практическая несущественность этой противоречивости просто основывается на том факте, что мы всегда можем устранить определяемые термины, заменяя их на определяющие термины.


11.39 | Открытое общество и его враги | 11.41