Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Горский Д.П. — Определение (логико-методологические проблемы)
Горский Д.П. — Определение (логико-методологические проблемы)



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Определение (логико-методологические проблемы)

Автор: Горский Д.П.

Аннотация:

Разработанный математической (символической) логикой аппарат дедуктивных способов рассуждения не применяется, как правило, в явной форме не только на уровне повседневных рассуждений, но даже в такой строгой науке, какой является математика. Это, однако, не означает, что теория дедукции (в том числе и такой ее раздел, как метаматематика) имеет чисто теоретический интерес. Она широко применяется в основаниях математики, при решении некоторых математических задач, в технике. Идеи и методы символической логики стали широко использоваться и при анализе отдельных фрагментов и компонентов научного знания вообще (логика научного познания).


Язык: ru

Рубрика: Математика/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1974

Количество страниц: 311

Добавлена в каталог: 24.02.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстрактно-количественное время      195
Аксиома сводимости      81
Аналитические определения      31—33 153
Базисные пункты индуктивного определения      133
Введения правила      279—288
Вербальные определения      83 84 88
Генетические определения      63 64
Гетерогенные определения      213 214
Гомогенные определения      213
Графического равенства знак      120 153
Демонстративные слова      86
Денотативные определения      184
Дескриптивные определения      48
Дескрипция определенная      47
Дефиниендум      5
Дефиниенс      5
Дефинициальная редукция      154
Дефинициальное равенство      20
Дефинициальное расширение системы      147 149 152 153
Дефиниция определения в собственном смысле      101
Дефиниция определения в широком смысле      100
Диспозициональные свойства      228
Замкнутое множество      144
Идеальные элементы      232
Имплицитные остенсивные определения      86
Индуктивные определения      130—138
Индуктивные пункты определения      133
Индуктивный метод построения аналитических определений      226—228
Интенсиональные определения      82
Интерполяционная теорема      157 158
Интуитивный метод построения аналитических определений      230
Использование термина      14
Истиностные оценки и определения      265—272
Историческое время      195
Йота-оператор      55—58 129
Категоричные аксиоматические теории      39
Классификационные определения      60 61
Конституитивные определения      175—177 185
Конструктивизация действительности      237
Конструктивизация действительности в узком смысле      234
Контекстуальные определения      50—60
Концептуальные определения      90
Косвенные пункты индуктивного определения      133
Лингвистические определения      90
Литературные требования к определениям      104 105
Логические требования к определениям      103 106
Ложные определения в сильном смысле      278
Ложные определения в слабом смысле      278
Наименьшее множество      143
Невыполнимые аксиоматические теории      40
Неистинные реальные определения      272—278
Неопределенные дескрипции      59 60
Неполные аксиоматические теории      40
Неполные определения      86 93
Непредикативные определения      78 80
Нефундаментальные индуктивные определения      132
Неэкстенсиональные контексты      108
Неявные определения      35—46
Нормальное множество      114 115
Нормальное определение      121—127
Обобщение в обществознании      205—210
Однородности требование      125 126
Операционные определения      165—182
Операционные определения в узком смысле      175 183 185
Операционные определения в широком смысле      175 176 183
Определение в функции правила      117 120 121
Определение в функции теоремы      117 120 121
Определение видов семантического значения      52 53
Определение для употребления      51—58
Определение с йота-оператором      129 130
Определение с кругом      82
Определение с порочным кругом      82
Определение через абстракцию      65—78
Определение через закон      188
Определение через род и видовое отличие      61
Определимость неявная      156 157
Определимость семантическая      159
Определимость синтаксическая      158
Определимость терминов      155—160
Определимость явная      156 157
Определяющие аксиомы      146 147 149
Остенсивные определения      83 84 184 187 244
Отношения типа равенства      65
Отождествления принципы у Бриджмена      169—171
Перечислимое множество      143
Повседневные определения      91
Полные определения      87 93
Полуденотативные определения      184
Полуостенсивные определения      89 184
Правила удаления      279—288
Правило взаимозаменимости      106
Правило запрета порочного круга      108
Правило непротиворечивости определения      113
Правило однозначности      111
Правило соответствия      181
Правило частичного тождества структур Dfd и Dfn      111
Предикативные определения      82
Пример и определения      243—249
Примитивно-рекурсивные фикции      141
Принцип разбиения на классы, не имеющие общих элементов      67
Продуктивность определения      240
Протоопределения      85
Прямые пункты индуктивного определения      133
Разрешимое множество      143
Реальное определение      11 17 21
Рекурсивные определения      138—143
Сведение рекурсивных определений к нормальным      146
Семантические определения      24—26
Синтаксические определения      27
Синтаксические определения в специальном смысле      28 29
Синтезирующе-количественные определения      188
Синтетические определения      31—33 153
Словообразовательный метод построения аналитических определений      228 229
Специфика и трудности определения в общественных науках      198—222 238—243
Стандартный контекст      108
Строгость определения      289—301
Существенный отличительный признак      105 254—261
Существования и единственности требование      126 127
Тавтологические определения      154 155
Творческие определения      154 155
Творческие синтетические определения      230—233
Теорема о доказуемой определимости      187
Теоретические определения      92
Теоретические термины      181
Требования к нормальным определениям      124—127
Упоминание термина      12—14
Употребление термина в широком и узком смысле      241
Условные определения      127
Фактические требования к определениям      104 105
Филологический метод построения аналитических определений      229
Фундаментальные индуктивные определения      132 133
Хортативные определения      90
Экземплярные определения      90 93 187 244—248
Экстенсиональное равенство определения      249
Экстенсиональности принцип      249
Экстенсиональные определения      82
Элиминируемость (удаление) символа, вводимого определением      147 148
Эмпирические термины      181
Эпсилон-оператор      49 50
Явные определения      34 35
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте