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

10. Формальні та семантичні передумови: забуті інгредієнти

Безсумнівно, що зміст фізичних теорій становлять її фізичні передумови. Отже, мета всякої предпринимаемой аксиоматизации мала б полягати в тому, щоб висловити зги припущення в переконливій і зрозумілій формі. Однак без математичних і семантичних припущень фізичні передумови не мають сенсу. Справді, будь-яка формула являє собою не більш ніж ланцюжок знаків, якщо її математична природа точно не визначається і якщо нічого не говориться, хоча б схематично, про речі і властивості, які, як передбачається, повинні представляти первинні символи. Так, в прикладі, який був приведений на початку попереднього параграфа, третя формула буде незрозумілою без попередніх тверджень, в той час як у світлі цих тверджень вона «говорить», що ймовірності переходів симетричні або оборотні. Зазвичай така інформація виходить з контексту, але вона не завжди однозначна, і контекст в цьому випадку мало що дає. Оскільки мета аксіоматики в тому, щоб позбутися від двозначностей н неоднозначностей, то будь-яка фізична система аксіом повинна включати в явному вигляді твердження, що стосуються всіх формальних і семантичних характеристик первинних понять. Чим складніше теорія, тим у більш явній формі слід її формулювати щоб уникнути двозначності. Це можливо лише в тому випадку, коли увага сконцентрована на аксіоматичних підставах теорії.

Семантичні передумови є найбільш слабкими компонентами системи аксіом, бо вони виконують тільки частину своєї роботи. Вони лише окреслюють семантичний профіль первинних понять н не передають точно їх повного змісту. Фізичні значення є настільки багатими і невловимими, що * два чи їх можна було б охопити Одним-Єдність * перший пропозицією. На щастя, інші компоненти Геора - формальні і фізичні передумови - такі вносять свій внесок у картину значення невизначених символів. Так, в нашому першому прикладі формальне [припущенні робить ясним, що Р є властивістю [ари, а не індивіда, підказуючи тим самим, що Р іаходітся не на тім же рівні, ніж, скажімо, темпера-ура. Справді, аргумент Р є аргумент, представ-іяющій пару станів системи, так що Р є: войства другого порядку на відміну, наприклад, від мас-и тіла, яка, будучи мірою безлічі тіл, є зойством індивідів. Що ж до фізичної перед * юсилкі в даному прикладі, го вона свідчить на юльзу інтерпретації Р як імовірності переходу або енденціі до зміни стану в повній згоді з> б'ектівной, або діскозіціонной, інтерпретацією ве-юятності, яка захищалася Пуанкаре, Смолухов-ким і Поппером . Взагалі ж математичні та физиче-кі передумови виправдовують семантичні, а ті в вою чергу задають смислове ядро ??первинних поня-ий, вичерпуючи, однак, їх повного значення. Опу-титі будь-яку з зазначені трьох компонент, і ви не подуйте нічого повноцінного. (Попередні замітки редгюлагают Конструкцію значення знака у вигляді упо-дуже пари, складеної з подразумеваемого (сол-otation) і означуваного (denotation) ідеєю, до якої той знак відноситься або яку він символізує '.)

Зауважимо, що в нашому першому прикладі символ a ((s, s '))' був інтерпретіроьаьг за допомогою вельми не-еткого поняття тенденція чи схильності, а не допомогою [більш ясного поняття відносної частоти, [ерша причина переваги поняттю тенденції перед гатістічесйім поняттям частоти полягає в наступному, [ісло Р ({$ * s ')) стосується деякого довільного чле-а із сукупності переходів станів, тоді як з-тветствующая відносна часіота відноситься до всієї евокупності. Це колективне «властивість. Друга при-іна, по якій не можна прирівнювати ймовірності ча-готам, полягає в тому, що частоти не задовольняють

- м. в u п к е, Method,. Model and Ma tter, 1972; and M, Bunge; d.), Exact Philosophy: Problems, Methods, Goals, 1972, аксіомам обчислення ймовірностей. Звичайно, якщо дана теорія ймовірностей є вірною, то спостережувані відносні частоти будуть наближатися в довгої серії випробувань до обчислених ймовірностям. Але відносна частота і ймовірність не означають одне і те ж. Спостережувані відносні частоти дають чисельну оцінку ймовірності, але вони не єдині в цьому роді, і вже, в усякому разі, не вони наповнюють змістом формулу ймовірності, точно так само як свідчення годин, не надають значення символу Т. Не слід змішувати значення фізичного символу з числовим значенням відповідної величини, оцінюваної за допомогою спостережень, хоча б тому, що задум та інтерпретація наукових спостережень увазі ряд теорій, які уеке володіють значенням.

Якщо значення змішуються з експериментальними процедурами або з їх результатами * це означає, що ми приймаємо операціоналістскую філософію науки. Якщо, з іншого боку, значення символу будується як конотація (або безліч властивостей) конструкту, який його позначає разом з передбачуваним або гіпотетичним класом референції, то, не впадаючи в протиріччя, може бути прийнята реалістична філософія. У той час як колишня філософія концентрувалася на вченій і виконуваних ним операції, реалістична філософія орієнтована на об'єкт сам по собі і тому близька за духом до цілям фізичної науки, яка покликана відкрити лам картину світу, а не сутність людської діяльності. Останнє є завдання наук про челрвеке. У всякому їжу чаї, щоб не говорилося з приводу семантичних передумов, ту чи іншу теорію знзч-ення ми зобов'язані прийняти. Звідси також видно, ЧТФ серйозний підхід до фізичної аксіоматиці НЕ может $ обійтися / без філософії, яка повинна в свою чергу серьезйо поставитися до науки, якщо вона хоче надати їй какутоклібо допомогу.

Тепер ми готовок розглянути елементарні приклади фізичних аксіоматикою і, крім того, оцінити переваги та недоліки аксіоматичного підходу.

Ці завдання будуть реш / аться в наступному розділі.

І. І. *

/

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна "10. Формальні та семантичні передумови: забуті інгредієнти"
  1. СХЕМА семантичних понятійний апарат
    III 4 II 4 I? IV? V Логістичний Дворівневий Трирівневий Семантичний Феноменолопіче ський трехуров, невий семантичний апарат. ноетіческіх акти трехуров семантичний семантичний апарат невий апарат1 Рассела апарат Гуссерля семантичний Фреге апарат ноетіческіх акти знаки знаки знаки знаки смисли значення (Sinn) (meanings) референти, тобто десігнати,
  2. 6. Визначення
    Аксіома V / / /, згідно якої кожне поняття має бути визначено з самого початку, явно ібеурдна. Будь-яке поняття визначається через інші поняття, тому деякі з них залишаються без визначень. Так, в ньютоновой механіці поняття маси і сили є первинними (primitive) (логічно невизначуваного). Однак їх не можна назвати неясними або невизначеними, тому що вони специфицируются
  3. 4 J. Відносини припущення
    Будь-яка наукова теорія «грунтується» на деяких іругіх теоріях, як формальних (логічних і математичних), так і неформальних. Наприклад, геометричних-ська оПтйка грунтується на евклідової геометрії (так само, як і на інших теоріях) в тому сенсі, що вона використовує її без всяких обмежень. Фактично вона містить евклидову геометрію в цілому. Сказати, що теорія А грунтується на інший
  4. Предметний покажчик
    Аксіома - нескінченності 168-170, 175, 180 - вибору 123, 168, 169, 176-178, 197, 206, 215 - виділення 123, 180 - безперервності 156 - об'єктивності 180 - рівності 203 - сводимости 168 - трансфинитное 203 - фундування 221, 223 - числа 203 Абсолютна істина 98, 101 Аналітичність - логіки 102, 103, 107 - математики 52 Апріорність 42-61 - категорій 42-61 - логіки 102
  5. Формально - неформально
    . У більшості систем оцінки консуль-тирование неявно присутня в процесі атестації, але формально, в документації воно не представлено. Вимога розробки плану дій для оцінюваного, як правило, є формальною вимогою. Проте ступінь формальності змінюється і залежить більшою мірою від взаємин між оцінюючим і оцінюваним, ніж від конкретної
  6. 6. Філософські передумови
    Наукове дослідження включає певні ідеї, які не освітлюються ні у формальній науці (логіці і математиці), ні в будь зі спеціальних емпіричних наук. Зокрема, аксіоматична реконструкція наукової теорії передбачає певне число понять і гіпотез, які, будучи далеко не чисто формальними або синтаксичними, все ж є набагато більш загальними і важливими, щоб бути
  7. 7. Операціональні визначення
    Нарешті, є також хибною і аксіома X щодо так званих операціональних визначень. Якщо застосовувати її до випадку електричного поля, що характеризується напруженістю Е, то ця аксіома стверджує, що Е 'набуває фізичне значення тільки тоді, коли наказується процедура для вимірювання величини Е. Але це невірно: вимірювання дозволяють нам визначити тільки кінцеве число
  8. СВІТ ЯК ПОЕМА І ЯК РЕФЕРЕНТ 67
    Найбільшим каменем спотикання в діалозі між феноменологією та логістичної філософією виступає та обставина, що семантична термінологія обох рухів розвивалася в протилежних напрямках. У логістичному філософії трирівнева семантика знаку, сенсу і референта Фреге скоро поступилася місцем дворівневої семантиці зІака і референта Рассела. У феноменології ж Гуссерля
  9. 2. Поняття "істина" в позитивній теоретичної метафізиці. Фактична інформативність аналітичних суджень метафізики з непорожніми суб'єктами
    У зв'язку з проблемою інформативності аналітичних суджень з непорожніми суб'єктами на перший план висувається питання про характер істини взагалі. Кант у своїй "Логіки" 68 схиляється до думки, що в пізнанні ми завжди маємо справу з формальної, кажучи сучасною мовою, когерентної істиною, згідно з якою деяке судження є істинним, тільки якщо воно не суперечить всім іншим судженням; в
  10. Приклади аксіоматики та її переваги
    Зараз ми розглянемо два порівняно простих ірімера фізичної аксіоматики. Слід підкреслити, гго вони в одному важливому відношенні повинні відрізнятися> т систем аксіом в чистій математиці. Справді, и той час як останні визначають цілі сімейства Ьормальних об'єктів або структур, такі, як, наприклад,> ешеткі або топологічні простори, мета наших метем аксіом полягає в характеристиці
  11. 1. Блукання в тумані
    Подібно будь-який інший фізичної теорії, квантова механіка являє собою математичний формалізм з певною інтерпретацією. Звичайна інтерпретація квантової механіки, відома під назвою 'Копенгагенської доктрини, була розроблена декільком ми титанами, які створили цю теорію: Бором, Гейза-бергом, Борном, Дираком, Паулі і фон Нейманом. Ця доктрина, або, скоріше, сімейство доктрин,
  12. 5. Небажані характеристики
    Отже, нами було відзначено п'ять бажаних харак-терістнк фізичної системи аксіом. Згадаємо тепер про небажані. Одна з таких характеристик, а саме повнота в сильному сенсі, вже згадувалася. Споріднені ^ властивістю є властивість категоричності або, скоріше, жорсткості, негнучкості. Категоричній теорією є така, для якої будь-які дві моделі (істинні інтерпретації) лежить в її
  13. 3.1. Можливі формальні відносини
    Якщо дивитися з чисто формальної (логіко-математичної) точки зору, то дві зіставні теорії можуть перебувати в наступних відносинах: (і) ізоморфізм, або з більш загальної точки зору гомоморфизм; (І ) логічна (але не обов'язково семантична) еквівалентність, (ІІІ) включення і (iv) часткове перекривання. (Якщо перекривання є порожнім, то теорії непорівнянні.) Для того щоб
  14. 2. Другий приклад: класична теорія гравітації
    Перейдемо тепер до аксіоматизації теорії гравітації Ньютона - Пуассона. Це допоможе нам зрозуміти її ставлення до класичної механіки, з якою її часто плутають. Формальні передумови: логіка і математичний аналіз (зокрема, теорія потенціалу), а також теоретико-множинні, алгебраїчні, арифметичні н топологічні передумови аналізу. Філософські передумови: семантичні та