гментами мов замкнутих, які єдино і заслуговують називатися повною мовою. Незв'язні мови також не є мовами у власному розумінні, але довільними відбитками небагатьох зв'язкових мов. p> Зараз ми почнемо окреслювати нашу дефініцію. Мовою ми називаємо освіта, однозначно певне класом знаків і матрицею (Matrix), утвореної з цих знаків, а також, можливо, чуттєвих даних (матриці відповідає раніше обговорювалася сукупна область правил сенсу). Елементи цього класу знаків, спільно окреслюють мову, ми назвемо виразами мови. Матриця мови - це таблиця, складена з трьох частин, одна з яких відповідає сумі областей всіх аксіоматичних правил сенсу, друга - сумі областей всіх дедуктивних правил сенсу, а третя - сумі областей всіх емпіричних правил сенсу. Перша частина складається з рядків, кожна з яких є послідовністю. Окремі члени цієї послідовності утворені з усіх виразів, що входять в деяку аксіому цієї мови (тобто в пропозицію, що належить до галузі аксіоматичного правила сенсу), у тому числі і з самої аксіоми. Принцип упорядкування, згідно з яким ці вирази слідують один за одним у рядках, залежить від синтаксичної ролі виразів в реченні і є одним і тим же у всіх рядках. Цей принцип можна сформулювати так: спочатку всі вираз, потім його головний функтор, потім перший аргумент цього функтора, потім другий аргумент і т.д. Згідно з цим принципом впорядковані вираження, входять до кон'юнкцію пропозицій, наприклад, "Іван любить Марію і Йосип любить Анну "утворювали б наступну послідовність: 1)" Іван любить Марію і Йосип любить Анну ", 2)" і ", 3)" Іван любить Марію ", 4)" любить ", 5)" Іван ", 6)" Марію "7) "Йосип любить Анну", 8) "любить", 9) "Йосип", 10) "Анну". Або, наприклад, символи пропозиції "pq .. pq" cогласно цим принципом були б впорядковані так:
1) "p q .. p q", 2) "", 3) "P q", 4) "", 5) "p", 6) "q", 7) "P q", 8) "",
9) "p", 10) "", 11) "p", 12) "q". p> Друга частина матриці, відповідна дедуктивним правилами сенсу, складається з рядків, кожна з яких є впорядкованою парою послідовностей. Разом з тим, ці послідовності визначені на області, або ж відповідно кообласті, дедуктивних правил сенсу так само, як рядки, що утворюють першу частину нашої матриці, визначені на області аксіоматичних правил сенсу. p> Третя частина матриці складається з пар, кожна з яких містить в якості першого члена дане досвіду, тоді як в якості другого - послідовність виразів пропозиції (а також сама пропозиція), підпорядкованого цьому даному досвіду допомогою емпіричного правила сенсу. p> Привести приклад матриці фактично існуючого мови було б надзвичайно важко. Однак ми зобразимо мову, в якому існує невелика кількість виразів (припустимо, одинадцять), позначених першими одинадцятьма літерами алфавіту. Обмежимо кількість даних досвіду, істотних для цієї мови, до трьох і позначимо їх, ,?. Тоді матриця цієї мови могла б мати такий вигляд:
З цієї таблиці видно, що в цій мові є тільки п'ять пропозицій, а саме - a, d, e, h, i...
