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

Несуперечність логістичних систем

Логіцістскій підхід до обгрунтування математики виникає з ідеї сводимости математики до логіки, яка була сформульована ще Лейбніцем і отримала підтримку у розвитку методів математичної логіки в XIX столітті. Логіцизм виходить з припущення, що всі поняття математики можуть бути визначені на основі понять, що відносяться до логіки, і всі теореми математики можуть бути представлені у вигляді загальнозначимих логічних суджень. Задум логіцізма як програми обгрунтування математики полягав у тому, щоб звести питання, що відносяться до обгрунтування надійності принципів і методів математики, до питання про надійність простих логічних числень.

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

Положення, однак, змінюється, якщо ми перейдемо від логічного розгляду проблеми до розгляду гносеологічному.

Хоча гносеологічний аналіз не реабілітує програму логіцізма в її первісних цілях, він відкриває можливості її використання для доказу несуперечності важливих фрагментів математичного знання. Ми повинні тут обговорити ці можливості.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " несуперечливість логістичних систем "
  1. 4. Ідея геометричного обгрунтування
    Можливо також розширення інтуїционістського підходу через включення в його основу аподиктичні очевидних уявлень геометрії. Сьогодні ми повинні визнати помилковим ототожнення геометричній очевидності з емпіричної і загальне ставлення до цієї очевидності як несумісної зі строгістю математичного міркування. Насправді, геометрія як і арифметика базується на очевидних
  2. 21. Романо-германська, англосаксонська, мусульманська правова сім'я
    Правова сім'я - групування правових систем ряду держав, що об'єднується спільністю походження права, схожістю правових джерел, юридичної техніки. Романо-германська правова сім'я - Німеччина, Франція, Італія, Іспанія, Туреччина, Японія, Латинська Америка, РФ. Джерела - давньоримське право. У період середньовіччя (12-13 ст) і в епоху Ренесансу наука Європи адаптувала римське право
  3. 32. Поняття і класифікація принципів права.
    Принципи права - об'єктивно властиві праву відправні начала, незаперечні вимоги (позитивні зобов'язування), які пред'являються до учасників суспільних відносин з метою гармонійного поєднання індивідуальних, групових і громадських інтересів. Принципи є підставою права, укладені в його змісті, виступають як орієнтири у формуванні права, відбивають сутність права і
  4. 18. Основні принципи і функції права.
    Опції права: Регулятивна. За допомогою норм права забезпечується загальний порядок в економічних, торговельних, сімейних та ін відносинах. Закріпна (закріплює суспільний і держ лад в країні) Виховна Евристична та прогностична Охоронна ф-ия права. Гос-во захищає від зазіхань на життя, здоров'я людей, їх майно, встановлюючи міри відповідальності за вбивство, крадіжку,
  5. § 1. Основні цивільно-правові системи сучасності
    Поняття цивільно-правової системи (сім'ї). Цивільне право виникло разом з появою державно організованого суспільства і в момент свого зародження, як, втім, і право взагалі, являло собою щось самобутнє, раніше ніколи не існувало. Однак, чим більше країн вступало на шлях правового розвитку, тим менше національних особливостей мало що виникає право. Найсильніше
  6. § 1. Поняття юридичної особи
    Значення інституту юридичної особи. Поряд з громадянами суб'єктами цивільного права є також юридичні особи - особливі утворення, які мають низку специфічних ознак, які утворюються і припиняються в спеціальному порядку. Життя сучасного суспільства немислиме без об'єднання людей в групи, союзи різних видів, без з'єднання їх особистих зусиль і капіталів для досягнення тих чи інших
  7. § 7. Некомерційні організації
    Загальні положення. Некомерційними називаються організації, що не переслідують мети одержання прибутку як основної мети своєї діяльності і не розподіляють прибуток між своїми учасниками (п.1 ст. 50 ЦК). Встановлення в законі відразу двох критеріїв, що характеризують некомерційну організацію, безумовно, виправдано. У сьогоднішній Росії більшість некомерційних організацій, не виключаючи й
  8. 3. Принципи цивільного права
    Під правовими принципами розуміються основні засади, найбільш загальні керівні положення права, що мають в силу їх законодавчого закріплення загальнообов'язковий характер. Такі основні початку притаманні як праву в цілому (правовій системі), так і окремим правовим галузям, а також підгалузями і навіть інститутам і субинститутами. Значення правових, в тому числі галузевих, принципів двояко. З одного
  9. 1. Система нормативних актів цивільного права
    Цивільно-правові нормативні акти, традиційно охоплюються поняттям цивільного законодавства, становлять певну систему, побудовану за ієрархічним принципом. Зміст цієї системи зумовлене нормами Конституції, яка має найвищу юридичну силу щодо будь-яких законів та інших нормативних актів (і очолює всю систему чинного законодавства). Насамперед
  10. Глава дев'ята. ТЕОРІЯ ПРАВА ЯК ЮРИДИЧНА НАУКА
    Теорія права і теорія держави. Предмет і методологія теорії права. Теорія права в системі суспільних наук. Загальна теорія права. Спеціальні теорії права. Теорія права і галузеві юридичні науки. Функції теорії права. У другій частині, присвяченій теорії права, розглядаються з урахуванням сучасного рівня юридичного знання функціонування та розвиток такого яскравого і складного соціального
  11. Глава чотирнадцята. СИСТЕМА І СТРУКТУРА ПРАВА
    Система права і правові системи. Структура права. Система права і система законодав-ства. Публічне і приватне право. Матеріальне і процесуальне право. Міжнародне право. Розуміння права як системи правових норм, наділених характеристиками, ознаками, розглянутими у попередній темі, дозволяє виділити і такі риси права в цілому, як його системність і структурність. Вивчення системи
  12. 3.2. Технологія інформаційної діяльності
    Інформатизація менеджменту в сучасних умовах базується в основному на використанні обчислювальної техніки. Це - багатоаспектний процес, що включає в себе: формування відповідної техніко-технологічної бази (із застосуванням новітніх інформаційних технологій та сучасних електронно-обчислювальних і комунікаційних засобів); організацію виробництва і сфери розподілу
  13. 3.4. Формування комплексної інформаційної системи
    При виборі та впровадженні інформаційної системи необхідно вирішити технічні, адміністративні та організаційні завдання. Інформаційна система є плід спільних зусиль постачальника і персоналу компанії. Для успішної реалізації проекту необхідно дотримання наступних умов: Проведення обстеження та проектування майбутньої системи. Іншими словами, необхідний точний аналіз поточної ситуації та
  14. Нормовані криві ітеративного навчання.
    Слід зазначити, що на сьогоднішній день відомо значну кількість різних підходів до апроксимації кривих навчання й експонентні КН виду (2.1) є хоч і найбільш поширеними, але не єдиними. Не претендуючи на повноту опису, перерахуємо деякі відомі залежності (див. огляди КН в [46, 56, 59, 69, 75]). Вперше ідея використання в педагогіці і психології
  15. 4. Описові моделі: аксіоматика та інтуїція
    Під описовими ми будемо розуміти моделі ітеративного навчання, в яких явно не проводяться аналогії з принципами пристрою і функціонування тих чи інших систем, а експонентний вигляд КН виходить в результаті введення досить абстрактних і не обгрунтовуємо припущень щодо законів і правил взаємодії елементів навченою системи (у аксіоматичних моделях іноді
  16. 5. Моделі - аналогії фізичних явищ і техніческіхсістем
    Розглянуті в цьому розділі моделі ітеративного навчення, запропоновані різними авторами, спираються на аналогії фізичних явищ та принципів функціонування технічних систем. Багато з використовуваних аналогій досить умовні і адекватність припущень дійсним закономірностям, які мають місце в биосистемах, може викликати виправдані заперечення. Модель 5.1. (С. Дейч [35]) . О. В
  17. 7. Моделі - аналогії кібернетичних систем
    Відмінність моделей ітеративного навчання, що розглядаються в цьому розділі, від описаних вище полягає в тому, що об'єктами дослідження є не живі системи, вивчення яких грунтується на гіпотетичних аналогіях і припущеннях про залежність між параметрами елементів і навченою системи, а кібернетичні системи - автомати, алгоритми, нейронні мережі та ін Іншими словами, при