м чином. Про те, що правила сенсу вимагають визнання даної пропозиції ми переконуємося тоді, коли помічаємо, що противне поведінка, тобто відкидання цієї пропозиції замість його визнання повинно бути зрозуміле як порушення притаманного даному мови відповідності смислів. Те, що відбувається згідно з правилами сенсу визнання пропозицій, відрізняється чіткою очевидністю і невідворотної рішучістю. [4]
В§ 4. Дедуктивні, аксіоматичні та емпіричні правила сенсу.
Зараз ми перерахуємо деякі види правил сенсу, надибуємо в існуючих мовах. Я має намір навести три види правил, називаючи їх 1) дедуктивним, 2). Аксіоматичними, 3). Емпіричними, і не претендую на повноту перерахування. p> Правило сенсу, наведене раніше за зразком правила відділення, являє собою приклад дедуктивного правила сенсу. Йому можна було б надати таку формулювання: тільки той пов'язує з виразом російської мови підлеглий йому в цій мові сенс, хто готовий визнати пропозицію "В", якщо він визнає пропозицію "Якщо А, то В" і його антецедент "А". Як уже вище згадувалося, можна розглянути інші приклади дедуктивних правил сенсу, виходячи з дефініції. Наприклад, якщо в мові арифметики "2" визначена як "1 +1", то в цій мові обов'язково правило: лише той пов'язує зі знаками арифметики сенс, який їм притаманний в мовою арифметики, хто готовий визнати пропозицію Z, що містить знак "2", якщо він визнає пропозиція, відмінне від Z тільки тим, що замість "2" в ньому знаходиться знак "1 +1". p> Від всякого, хто хоче користуватися виразами даної мови у згоді з їх смислами, кожне дедуктивное правило сенсу вимагає готовності певним чином виводити слідства з деякого виду посилок. Таким чином, дедуктивний правило сенсу підпорядковує кожній пропозиції деякого типу як посилці пропозицію іншого типу як висновок (або ж, якщо правило сенсу вимагає готовності виведення з декількох посилок, тоді воно ставить у відповідність кожному класу пропозицій певних типів як посилкам певний тип пропозиції як висновком). p> Звідси очевидно, що кожне дедуктивное правило сенсу визначає ставлення, членами якого є пропозиції (або ж класи пропозицій), але і це ставлення взаємно однозначно відповідає цьому правилу сенсу. Область (Vorbereich), кообласть (Nachbereich) і поле (Feld) цього відношення назвемо областю, кообластью і полем цього дедуктивного правила сенсу. Однак обсягом (Umfang) дедуктивного правила сенсу назвемо клас, елементом якого є впорядкована пара пропозицій (або пара: клас пропозицій-пропозиція), тоді і тільки тоді, коли між першим і другим членом цієї пари має місце ставлення, певне цим дедуктивним правилом сенсу. p> У мовах аксіоматизована систем безсумнівно існують приклади того, що ми називаємо аксіоматичними правилами сенсу. А саме, від кожного, хто хоче користуватися виразами такої системи з сенсом, поставленим їм у відповідність мовою цієї системи, потрібно безумовно, щоб він був готовий беззастережно визнати пропозиції, прийняті в якості аксіом. Однак я вважаю,...
