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

5. Формальні передумови

Існує єдина теорія, яка починає на голому місці, - ^ математична логіка (насправді вона являє собою деяке безліч теорій). Справді, істинами логіки або тавтологіями, такими, як Л є ті, які можуть

бути доведені, не вдаючись до припущень, відмінним від правил логіки. Всі інші теорії припускають крім логіки багато понад того. Говорячи точніше, будь-яка математична чи наукова теорія в якості логічного мінімуму бере так зване звичайне числення предикатів з рівністю. Цього необхідно і достатньо для того, щоб аналізувати поня-'ку, формули і умовиводи, що зустрічаються в мате-* Матіко та природничих науках, або, скоріше, щоб аналізувати їх форму. Справді, будь-яке висловлювання в математиці або природничих науках ', коли незабаром розглядається його форма, є формулою цього числення, і кожне правильне міркування являє собою приклад правила виведення, фіксованої тієї ж теорією. Було б невірним вважати, що реальний науковий висновок спеціально потребує логічному обчисленні, якому він зобов'язаний строго слідувати. Логіка не передбачає побудови чого-небудь поза себе, а лише контролює правомірність того, що будується за допомогою понять. Не потрібно так само думати, що математичне або наукове дослідження уникають міркувань за аналогією й індуктивних аргументів, які можуть бути плідними, хоча і неспроможними з логічної точки зору. Не можна очікувати від будь-якої теорії підтвердження недедуктивних умовиводів, хоча висновок з них може бути і вірним.

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

Але вона охоплює тільки невелику частину математики і тому не представляє інтересу для фізики.) Цю добре відому річ необхідно мати на увазі, коли доводиться стикатися з твердженням, що квантова теорія використовує свою власну логіку, в якій порушується дистрибутивний закон обчислення висловлювань. Якби це було вірно, то квантова теорія мала б зовсім інший математичної формалізм і її навряд чи було б можливо об'єднати з класичною фізикою, як ми фактично і чинимо всякий раз, коли не вдається проквантовать зовнішнє поле або коли ми стикаємося з яким-небудь експериментальним результатом, наприклад фізичної константою, отриманої шляхом вимірювань, виконаних і інтерпретованих за допомогою класичної фізики. Іншими словами, навіть квантова революція не змінила нашу логіку

У всякому разі, звичайну логіку можна розглядати як найпершу компоненту формальних передумов будь-якої фізичної теорії. Другу і останню компоненту становить сукупність математичних теорій, яка фактично використовується в даній физи-

1 М. Bunge, Foundation of Physics, New York, 1967; K. R. Popper, Nature, 1968, vol. 219, p. 682; A. Fine, Philosophy of Science, 1968, vol. 35, p. 101.

Чеський теорії. У свою чергу математичним базисом, або передумовою, всіх математичних теорій, до цих пір застосовуються у фізиці, буде теорія множин. (Винятками є так звані елементарні теорії, такі, як, наприклад, елементарна теорія груп.) Справді, майже кожне математичне поняття можна визначити, хоча і обхідним шляхом, за допомогою основних понять множини і приналежності до нього. Проте добре це чи погано, але тут так само, як і у випадку логіки, є кілька нееквівалентний теорій множин. Яку з них слід вибрати для побудови фізичних теорій? Звичайно, більшість фізиків не стикалися з подібною проблемою embar-ras de choix (надмірного достатку); ця альтернатива характерна для тих, хто працює в галузі підстав фізики.

Зрозуміло, рішення тут не зводиться до твердження, що треба приймати саме ту версію теорії множин, яка математично найбільш задовільна (передбачається, що така є). Фахівець у галузі підстав фізики, крім усього, зацікавлений в такій теорії множин, яка дала б можливість наболее природно прояснити значення фізичних понять. Наприклад, якщо він має справу з деякими характеристиками системи з декількох компонент, такий, як промінь світла, що поширюється в прозорій середовищі, він, ймовірно, повинен розглядати цю систему як упорядковану пару (якщо, звичайно, порядок має значення), так що розглянута характеристика буде формалізована як деяка функція від топологічного * твори двох множин (тому, на * приклад, показник заломлення буде об'єднаним властивістю світла і оптичного середовища і може розглядатися як дійсна функція на безлічі пар: промінь світла і точка в оптичному середовищі). Але в цьому випадку, оскільки складова система являє собою те ж, що і кожна з її компонент, фахівець в області підстав науки може не задовольнитися стандартним побудовою впорядкованої л-ки як множини множин. Він схилиться на користь інтерпретації впорядкованої / 1-ки як повноправну індивідуальності. Тому з усіх конкуруючих аксіоматикою теорій множин він, ймовірно, віддасть перевагу версію Бурбак, Отже, фізичні аксіоматики припускають як логіку, так і математику або, точніше, ті розділи логіки і математики, які використовуються у фізиці. Цей формальний апарат необхідний, але недостатній для систематизирующей, реконструкції фізичних теорій, так як він нічого не говорить про фізичне значенні. До передумов фізичної теорії слід додати ще й інші компоненти.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 5. Формальні передумови "
  1. Формально - неформально
    формально, в документації воно не представлено. Вимога розробки плану дій для оцінюваного, як правило, є формальною вимогою. Проте ступінь формальності змінюється і залежить більшою мірою від взаємин між оцінюючим і оцінюваним, ніж від конкретної
  2. 2. Поняття "істина" в позитивній теоретичної метафізиці. Фактична інформативність аналітичних суджень метафізики з непорожніми суб'єктами
    формальної, кажучи сучасною мовою, когерентної істиною, згідно з якою деяке судження є істинним, тільки якщо воно не суперечить всім іншим судженням; в іншому випадку воно помилкове. Вважаю, що таке розуміння істинності і хибності щодо суджень позитивної теоретичної метафізики в передумові порожнечі її предметної області як би узаконює тезу про
  3. В. Апріорне як протилежність предпосилочних
    формального "і" матеріального ". Для арифметики, наприклад, формальними передумовами є положення логіки, для фізики - математичні теореми. При цьому протиставлення формального матеріального має відносний сенс, тобто формальне означає функціонування якого-небудь факту або об'єкта в його відношенні до іншого судженню. Принцип несуперечності сам по собі - якась
  4. 1. Заборони на формальності в Бернської конвенції
    формальностей ". Майже всі країни світу приєдналися до Бернської конвенції. Дотримання положення Конвенції про відсутність яких би то не було формальностей включено до Угоди ТРІПС в якості умови вступу країни до Світової організації торгівлі. Таким чином, на відміну від інституту патентної охорони, де світовий рівень охорони вимагає здійснення дорогих адміністративних
  5. Формально-матеріальний склад злочинна
    формальним. Напр.: Згвалтування, вчинения Особливо небезпечний рецідівістом, або таке, что спричинило особливо тяжкі Наслідки, а такоже згвалтування малолітньої (ч.4 ст.117): Якщо в спеціфічну конструкцію особливо кваліфікованого складу згвалтування входять особливо тяжкі Наслідки, ВІН розглядається як матеріальний; ЯКЩО ж ця конструкція особливо тяжких НАСЛІДКІВ НЕ містіть - згвалтування, вчинения
  6. 1. Розумова (абстрактні) форма логічного.
    Формальна, яка прагне уникнути протиріччя за законом "виключення третього", що говорить: з двуж контрадікторних думок про предмет одне неминуче істинно, інше - помилково, третій - не дано. Необхідність формальної логіки полягає в тому, що завдяки її правилами ми мислимо точно і виразно. При всій своїй точності, абстрактні поняття несуть у собі обмеженість
  7. Е. Формальні вимоги до заявки на патентування
    Е. Формальні вимоги до заявки на
  8. Позитивно-розумна форма логічного.
    Формальна логіка), але на відміну від формальної діалектична логіка є спосіб "сходження" думки (знання) "від абстрактного до конкретного", тобто спосіб побудови конкретно-цілісного "діалектичного поняття", що вбирає односторонньо -абстрактні "загальні поняття" формальний
  9. ПРЕДМЕТ ЛОГІКИ
    формальної правильності. Формальна правильність означає відповідність мислення (міркування, докази) відомим фіксованим правилам, дотримання яких забезпечує правильність переходу від одних висловлювань до інших. Предметом логіки є вивідний знання, тобто знання, отримане з раніше перевірених істин у відповідності з певними законами. Логіку не цікавить в кожному
  10. 12. Сутність права, ознаки, функції, передумови.
    Формально-визначених правил загального характеру (норм), забезпечених державним захистом. Ознаки права: нормативність. Приписи держави ділять на 2 групи: Індивідуально-правові. Суть - конкретні вказівки. Нормативні. Правила загального характеру. Являє собою систему норм, тобто не конкретних вказівок кому, що і як робити. Правові норми - еталони правомірної поведінки, в
  11. 8. Догматичний (формально-логічний) метод в юр. теорії та практиці.
    Формально-логічний, системно-функціональний, метод конкретних соц.ісследованій, статистичний метод і т.д. Фор.-логічний. явл-ся одним з традиційних і найбільш використовуваних. Він полягає в тому, що він дозволяє істинні висновки, до яких приходить суб'єкт юридичної пізнання, наділити в логічно правильну, доказову форму. У юр.науке і практиці традиційно застосовуються формально-логічні
  12. Предметний покажчик
    формальне 18 Достовірність 40 Індукція - повна 177 - трансфинитное 207 Інтуіціонізм 186 Істина - гносеологічна 98 - онтологічна 179 - семантична 150 - формальна (логічна) 150 - фактуальная 150 - емпірична 150 Конвенціоналізм 216 Конструктивізм 157 Логіка - математична 78 - предметна 113 - реальна 78, 115, 117-121, 124, 145 Метатеорія 199, 200, 203,
  13. Координатор (організатор).
    Формальним лідером у виконанні завдань, і робить це іноді навіть успішніше, ніж формальний
  14. 7. Юридико-технічна передумова
    Вона полягає у зручність позначення двома-трьома словами великого числа результатів інтелектуальної діяльності, зокрема тих, які перераховані в ст. 2 (VIII) Стокгольмської конвенції про заснування ВОІВ. Не випадково в цьому зв'язку в ст. 1 Патентного закону РФ після першої згадки об'єктів патентного права - винаходів, корисних моделей і промислових зразків - у дужках сказано:
  15. Передумови наукового вивчення релігій. Становлення релігієзнавства як галузі знання
    формальної приналежності до тієї чи іншої релігійної конфесії і навіть не про ставлення, яке описується термінами «релігійність» - «нерелігійних», а про підвищений інтерес до релігії і серйозності спроб її осмислення . Всі більш-менш визнані «володарі дум людських» - пророки і святі, письменники і художники, філософи і вчені, правники і глави держав - приділяли величезну
  16. План
    Передумови і причини феодальної роздробленості. Феодальна роздробленість - форма державності в умовах зрілих феодальних відносин. Князівство Володимиро-Суздальське, Галицько-Волинське, Київське. Їх історія. Літописи як джерело з історії князівств. Новгородська республіка. Статути, договірні грамоти, Псковська судна грамота як джерела з історії Новгородської і Псковської
  17. Радянсько-югославський конфлікт 1948
    формально припинився в 1953 р. після смерті Сталіна. Фактична нормалізація відносин між СРСР і Югославією сталася в 1955-1956
  18. 4. Телеологію ЯК НАУКА Про полаганій СМИСЛУ
    Передумови формування ідей доцільності можна виявити в міфології, де виникає ідея долі, провідною людини по призначеному йому за жеребом шляху. За грецькою міфологією, у богинь долі мойр був одне око на трьох, що забезпечувало їх велику неупередженість. Згідно цієї міфології, доля сліпа, вона вибирає випадковий жереб для людини, яка заздалегідь передбачити неможливо.
  19.  Зміст
      передумови виникнення держави ... 10 2.1. Найдавніші державні утворення ... 12 2.2. Сутність основних теорій походження держави ... 16 березня. Виникнення права ... 25 3.1. Соціальна природа права і відмінності права від соціальних норм первісного суспільства ... 25 3.2. Основні шляхи розвитку ... 30