Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія науки → 
« Попередня Наступна »
Пермінов В. Я. . Філософія і підстави математики - М.: Прогресс-Традиція. - 320с., 2001 - перейти до змісту підручника

Несуперечність змістовної теорії

Від несуперечності змістовної аксіоматики ми повинні перейти тепер до несуперечності змістовної теорії в цілому. Так як змістовно аксіоматизована теорія залишає відкритим питання про прийнятну логіці, то тут виникають проблеми, які стосуються прийнятності деяких типів визначень, що мають суто логічну природу. Такі, наприклад, непредикативні (самопріменімості) визначення.

Системний підхід дозволяє вирішити цю трудність на основі уявлення про системної детермінації визначень. Ми можемо поставити також питання про несуперечності звичайного змістовного математичного міркування, яке умовно можна назвати міркуванням математичних підручників, яке виходить з відомих принципів, але не займається строгим проясненням складу цих принципів.
Оскільки математична теорія в цьому сенсі включає в себе поняття різного ступеня коректності, то постановка питання про її несуперечності може здатися незаконною. Однак це неправильно. Системні поняття дозволяють виробити тут досить значущі визначення та критерії.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " несуперечливість змістовної теорії "
  1. Предметний покажчик
    змістовне 283 - формальне 18 Достовірність 40 Індукція - повна 177 - трансфинитное 207 Інтуіціонізм 186 Істина - гносеологічна 98 - онтологічна 179 - семантична 150 - формальна (логічна) 150 - фактуальная 150 - емпірична 150 Конвенціоналізм 216 Конструктивізм 157 Логіка - математична 78 - предметна 113 - реальна 78, 115, 117-121, 124, 145
  2. Глава чотирнадцята. СИСТЕМА І СТРУКТУРА ПРАВА
    несуперечливої системи права. Однак це майже ніколи не вдавалося: суперечливість законів була швидше правилом, ніж винятком. Причин цьому було і залишається багато. Одна з них полягає у позаправових факторах, коли систему права зламують економічні, соціальні зміни, наприклад, перехід від соціалістичного ладу до соціально-регульованої ринкової економіки. Інший фактор -
  3. 9.1. Народовладдя в контексті духовного досвіду російського зарубіжжя
    несуперечливість радянської системи була наслідком того, що радянська влада була організована за «принципом матрьошки», так як замість принципу спеціалізації функцій в основі радянської системи лежав принцип заміщення. Іншими словами, Рад усіх рівнів володіли ідентичними повноваженнями відповідно до радянської різновидом принципу субсидіарності. Це означало, що «кожен
  4. 1. Позитивна метафізика не має в межах теоретичного розуму предметної області
    несуперечності власного сенсу одиничного описового імені, власного сенсу описового загального імені, а також умова несуперечності змісту поняття, щоб визнати існування відповідних їм сутностей (предметів)? Сучасна теорія поняття, викладена в книзі Войшвилло, як видається, під фактичною порожнечею поняття має на увазі неіснування предметів,
  5. 3. У позитивній теоретичної метафізиці існує ефективна процедура обгрунтування a priori необхідної істинності її суджень, що розширюють пізнання.
    Несуперечливо мислиме, і вибір А-постулатів (постулатів аналітичності або постулатів значень) можна обмежити вимогою несуперечності явних визначень слів природної мови, що виконують функцію А-постулатів. У свою чергу вибір (прийняття) А-постулатів a priori на основі критерію несуперечності їх сенсу означає, що ми автоматично виділили з безлічі мислимих
  6. 4. Проблема способу викладу позитивної теоретичної метафізики як науки
    несуперечливого викладу в певній послідовної, доказової формі. У цьому відношенні еталон для метафизиков і філософів, що будують філософські системи, - геометрія Евкліда, побудована на основі змістовного аксіоматичного методу ще в IV столітті до нашої ери в його знаменитих "Засадах" 78. У ній наочно продемонстрована досяжність необхідно істинного знання. Тому багато
  7. 5. Реальні норми науковості для позитивної теоретичної метафізики. Знання і віра. Місце віри в системі знання
    несуперечності елементарної арифметики, математика не перестала бути наукою. За аналогією зі станом науковості в математиці, ми можемо укласти, що обмеженість застосовності геометричного методу в філософії, неможливість повної її формалізації як деякої єдиної теорії не може служити підставою для позбавлення філософії, і зокрема, позитив-ної теоретичної метафізики статусу
  8. Когнітивне напрямок в дослідженнях аттитюда
    несуперечливі, послідовні і взаємозалежні знання. Найімовірніше, теорію когнітивного дисонансу краще було б назвати общепсихологической теорією (див.: Андреева, Богомолова, Петровська, 1978). 48 А.А. Девяткин Як вже зазначалося, в основі теорії когнітивного дисонансу лежить взаємодія структур. Терміни «дисонанс», «консонанс» і «іррелевантние відносини» використовуються для
  9. «Механізм» вибору можливостей навколишнього світу і екологічний компонент соціальної установки
    несуперечливу інтерпретацію. Інша інформація буде або ігноруватися, або вести до безглуздих результатами »(Найссер, 1981, С.74). Тут якраз і полягає то головне для нас, що визначає цінність поняття «схема», - її особливий пристрій дозволяє здійснювати антиципацію, передбачення. Повертаючись тепер до розуміння інформації у Гібсона, ми приходимо до висновку, що через
  10. Теоретичні методи.
    Несуперечності математичних теорій, незалежності аксіом та ін Питання такого роду вирішуються шляхом використання спеціальної символіки, що дозволяє оперувати нема з твердженнями теорії в їх змістовному вигляді, а з набором символів, формул різного роду і ін Друге - в широкому сенсі - під формалізацією розуміється метод вивчення різноманітних проблем шляхом відображення їх змісту,
  11. Програма формалізму: математика як конструювання формальних систем
    несуперечлива. Крім Гільберта, в розробці програми в різний час при-нітрохи активну участь такі логіки і математики, як В. Аккер-ман, П. Бернайс, Г. Генцен, Дж. фон Нейман і Ж. Ербран. Програма Гільберта включає наступні тези: - Ні класична, ні логіцістская, ні интуиционистская програми обгрунтування математики не запропонували критерію, що обгрунтовує всю математику. Таким
  12. Філософія метаматематики Гільберта
    несуперечності. Гільберт не міг прийняти перших можливість, тому що надзвичайно високо цінував теорію Кантора, назвавши її «заслуговуючим подиву квіткою математичного духу». Проте головною причиною було те, що вона служила підставою провідних розділів математики. Відмова від теорії множин означав би фактично руйнування з таким великим трудом побудованого будинку всієї математики. Гільберт
  13. фінітними обгрунтування математики
    несуперечності; розширення, здійснюване додатком ідеалів, допустимо тільки за умови, що через це в старій, вузькій області ніяких протиріч не виникає, тобто за умови, що співвідношення, які вийдуть для старих образів після виключення ідеальних, завжди в старій області мали місце »153. Сказаного досить, щоб зрозуміти характер фінітного побудови не тільки
© 2014-2020  ibib.ltd.ua