Яка з мов відносять до природних. До якого різновиду мов (природних чи формальних) може бути віднесена морська прапорцева абетка? Запитання та завдання
Відповідь 2. Розклад авіарейсів;
Відповідь 3. генеалогічне дерево сім'ї;
Відповідь 4. Функціональна схема комп'ютера.
Питання 12. Інформаційною моделлю, яка має мережеву структуру, є:
Відповідь 1. файлова система комп'ютера;
Відповідь 2. генеалогічне дерево сім'ї;
Відповідь 3. модель комп'ютерної мережі Інтернет;
Відповідь 4. Розклад руху поїздів.
Питання 13. Натурне моделювання – це:
Відповідь 1. створення математичних формул, що описують форму або поведінку об'єкта-оригіналу;
Відповідь 2. моделювання, при якому в моделі впізнається окрема ознака об'єкта-оригіналу;
Відповідь 3. сукупність даних, що містять текстову інформацію про об'єкт-оригінал;
Відповідь 4. моделювання, у якому модель має візуальну схожість з об'єктом-оригіналом
Питання 14. Інформаційною моделлю об'єкта не можна вважати:
Відповідь 1. опис об'єкта-оригіналу з допомогою математичних формул;
Відповідь 2. опис об'єкта-оригіналу природною або формальною мовою;
Відповідь 3. інший об'єкт, що не відображає суттєвих ознак та властивостей об'єкта-оригіналу;
Відповідь 4. сукупність записаних мовою математики формул, що описують поведінку об'єкта-оригіналу.
Питання 15. Математична модель об'єкта – це:
Відповідь 1. сукупність записаних мовою математики формул, відбивають властивості об'єкта;
Відповідь 2. опис як схеми внутрішньої структури досліджуваного об'єкта;
Відповідь 3. сукупність даних, що містять інформацію про кількісні характеристики;
Відповідь 4. створена з будь-якого матеріалу модель, що точно відображає зовнішні ознакиоб'єкт.
Запитання 16. У відносинах «об'єкт-модель» знаходяться
Відповідь 1. країна – її столиця;
Відповідь 2. болт - креслення болта;
Відповідь 3. курка – курчата;
Відповідь 4. космічний апарат- Закон всесвітнього тяжіння.
Питання 17. До документів, що являють собою інформаційну модель управління державою, можна віднести:
Відповідь 1. Конституцію РФ;
Відповідь 2. географічну картуРосії;
Відповідь 3. Російський словник політичних термінів;
Відповідь 4. Список депутатів Державної думи.
Запитання 18. До інформаційних моделей, що описують організацію навчального процесуу школі, можна віднести:
Відповідь 1. класний журнал;
Відповідь 2. Список наочних навчальних посібників;
Відповідь 3. перелік учнів школи;
Відповідь 4. Розклад уроків.
Запитання 19. Відзначити справжнє висловлювання:
Відповідь 1. безпосереднє спостереження – це зберігання інформації;
Відповідь 2. запит до інформаційним системам- Це захист інформації;
Відповідь 3. Побудова графічної моделі явища - це передача інформації;
Відповідь 4. Читання довідкової літератури – це пошук інформації.
Питання 20. Малюнки, карти, креслення, діаграми, схеми, графіки є:
Відповідь 1. табличні інформаційні моделі;
Відповідь 2. математичні моделі;
Відповідь 3. графічні інформаційні моделі;
Відповідь 4. Ієрархічні інформаційні моделі
Як визначити інформаційний обсяг повідомлення, поданого символами деякої природної чи формальної мови?
Інформаційне повідомлення обсягом 650 біт складається з 130 символів. Яка інформаційна вага кожного символу цього повідомлення?
ДОПОМОЖІТЕ БУДЬ ЛАСКА Скласти ПЛАН ЦЬОГО ПАРАГРАФУ! § 2.2. Інформаційні моделі Об'єкт-оригінал можна замінити набором його властивостей: назв (величин)
та значень. Набір властивостей, що містить всю необхідну інформаціюпро досліджувані об'єкти і процеси, називають інформаційною моделлю.
У табл. 2.1 наведено приклад інформаційної моделі дачного будинку - картка з каталогу, яким замовник будівельної компанії може вибрати відповідний проект. Кожна картка в каталозі містить назви (величини) властивостей будинку (ліворуч) та значення цих властивостей (праворуч).
Таблиця 2.1
Зовнішній вигляд
Довжина 10 м
Ширина 8 м
Кількість поверхів 1
Матеріал стін Цегла
Товщина стін 0,6 м
Внутрішнє оздоблення стін
Матеріал даху Шифер
Усі назви властивостей в інформаційних моделях - це знакові елементи, тому що назва може бути виражена тільки знаками. І це значення величин можуть нести як знакову, і образну інформацію. Наприклад, у табл. 2.1 значення величини «зовнішній вигляд» виражено образним елементом (малюном), а значення інших величин виражені з допомогою символів (чисел, слів, ком).
Образним елементом інформаційної моделі може бути як малюнок чи фотографія, а й об'ємний макет чи відеозапис. Однак при цьому обов'язково має бути можливість пов'язати цей елемент з характеристикою конкретного об'єкта. Наприклад, у рядку «Зовнішній вигляд» у каталозі будинків може бути вказано шифр макета. А щоб самі макети були елементами інформаційної моделі, а не прикрасою, їх потрібно забезпечити ярликами з шифрами.
Інформаційні моделі представляють об'єкти та процеси у образній чи знаковій формі. За способом подання розрізняють наступні видиінформаційних моделей - рис. 2.1.
Види інформаційних моделей
Змішані Знакові
моделі моделі моделі
Карти Графи Блок-схеми
Образні моделі (малюнки, фотографії та ін) представляють собою зорові образиоб'єктів, зафіксовані на якомусь носії інформації (папері, фото- та кіноплівці та ін.).
Багато інформації дають фахівцям отримані із супутників фотографії поверхні Землі (рис. 2.2)
Мал. 2.2 Отримана з супутника фотографія території у районі Чорного моря<
Широко використовуються образні інформаційні моделі в освіті (ілюстрації в підручниках (рис. 2.3), навчальні плакати з різних предметів) та науках, де потрібна класифікація об'єктів за їх зовнішніми ознаками (в ботаніці, біології, палеонтології та ін.).
Мал. 2.3 Побудова римського легіону у три лінії
Знакові інформаційні моделі будуються з використанням різних мов (знакових систем). Знакова інформаційна модель може бути представлена у формі тексту природною мовою або програми мовою програмування, формули (наприклад, площі прямокутника S = ab) і т.д.
У багатьох моделях поєднуються образні та знакові елементи. На рис. 2.4 наведено приклад моделі одноклітинної водорості хламідомонади. Намальовані частини водорості – образні елементи цієї моделі, а написи знизу та праворуч від малюнка – знакові елементи. Мал. 2.4
Прикладами змішаних інформаційних моделей можуть служити географічні карти, графіки, діаграми та ін У всіх цих моделях використовуються одночасно і графічні елементи, і символьну мову.
і Коротко про головне
Об'єкт-оригінал можна замінити набором його властивостей: їх назв та значень. Набір властивостей, що містить всю необхідну інформацію про досліджувані об'єкти та процеси, називають інформаційною моделлю.
Інформаційні моделі представляють об'єкти та процеси у образній чи знаковій формі. За способом уявлення розрізняють образні, знакові та змішані інформаційні моделі.
Це питання можна поставити різним людям і отримати несподівані відповіді. Але навряд чи хтось одразу скаже про мови природні та формальні. Визначення та приклади подібних систем рідко спадають на думку при такому питанні. І все-таки – що це за класифікація? І що тоді вважати мовою?
Про історію мов та їх вивчення
Головною наукою, що займається дослідженням систем спілкування, є лінгвістика. Є й суміжна спеціальність, яка вивчає знаки – семіотика. Обидві науки зародилися кілька тисячоліть тому, тому історія походження мов, очевидно, зацікавила людей дуже давно.
На жаль, через те, що з зародження перших систем пройшло багато часу, тепер важко сказати, як все сталося. Є маса гіпотез, що говорять як про розвиток мови з більш примітивних систем спілкування, так і про його майже випадкове виникнення як унікальне явище. Зрозуміло, перший варіант має набагато більше прихильників і є загальноприйнятим.
Приблизно такі ж суперечки йдуть про те, чому на сьогоднішній день є багато мов. Хтось вважає, що всі вони походять від однієї системи, а хтось наполягає на розвитку з кількох незалежних вогнищ. Але в цьому випадку йдеться лише про природні мови, приклади яких знайомі кожному. Саме вони використовуються для людського спілкування. Але є й інші, не схожі на них. І тоді постає питання "що вважати мовою".
Сутність
Спілкуючись один з одним, не багато хто замислюється над тим, що таке мова, що можна зараховувати до цієї категорії, а що ні. Справа в тому, що ще існують знакові системи, які частково виконують ті ж функції, і відмінності досить умовні. Тому і виникає питання про те, якою є сутність мови.
Існує кілька концепцій на цю тему. Деякі лінгвісти розглядають мову як біологічне явище, інші – як психічне. Згідно з ще однією популярною думкою, він належить до сфери інтересів соціологів. Нарешті, є і дослідники, котрі сприймають його лише як особливу систему символів. Як би там не було, очевидно, що в цьому випадку маються на увазі лише природні мови. Приклади концепцій, які включали б і формальну категорію, доки існують, лінгвістика фактично їх ігнорує.
Завдання та функції
Навіщо ж потрібні мови? Лінгвісти виділяють низку базових функцій:
- Номінативна, тобто називна. Мова використовується найменування різних об'єктів, подій, явищ тощо.
- Комунікативна, тобто функція спілкування. Під цим розуміють виконання мети передачі.
- Експресивна. Тобто мова служить також для вираження емоційного стану того, хто говорить.
Очевидно, що в цьому випадку знову ж таки не враховуються обидві категорії: природні та формальні мови - йдеться тільки про першу. Однак дві функції зберігає і друга, випадає лише експресивна. І це зрозуміло, якщо знати, що таке формальна мова.
Класифікація
У цілому лінгвістика розрізняє дві категорії: формальні та природні мови. Подальше розподіл відбувається за низкою інших ознак. Іноді виділяють і третю категорію - мови тварин, оскільки під природними розуміють зазвичай лише системи, за допомогою яких спілкуються люди. Є і подальший поділ на дрібніші групи і підвиди, але настільки заглиблюватися в лінгвістику, щоб зрозуміти різницю між цими двома великими категоріями, немає необхідності.
Отже, потрібно з'ясувати, чим відрізняються мови природні та формальні. Визначення та приклади можна буде зрозуміти при їх більш детальному розгляді.
Природні
Системи, які дозволяють людям розуміти один одного під час спілкування, тобто виконують комунікативну функцію, відносяться саме до цієї категорії. Тепер уже важко уявити, як можна було б без них обійтися.
- природні мови, приклади яких включають всі прислівники, що виникли і розвинулися звичайнісіньким шляхом (англійська, німецька, російська, китайська, урду та ін);
- штучні (есперанто, інтерлінгва, ельфійський, клінгонський тощо);
- жестові (мова глухих).
Усі вони мають свої особливості та сфери застосування. Але є й інша велика категорія, на яку більшості людей складно підібрати приклади.
Формальні
Мови, які вимагають чіткості в записі і не можуть бути сприйняті суб'єктивно, з'явилися дуже давно. Вони відрізняються бездоганною логічністю та однозначністю. І вони також бувають різними. Але всім їм притаманні два основні принципи: абстрагування та суворість суджень.
Природні та формальні мови насамперед відрізняються своєю складністю. Більшість систем з першої категорії – це багатокомпонентний та багаторівневий комплекс. Приклади других може бути як складними, і досить простими. Тут є своя граматика, пунктуація та навіть словотворення. Серйозна відмінність лише тому, що існують ці системи, зазвичай, лише письмово.
Які можуть бути включають " королеву наук " математику, а за нею хімію, фізику і частково біологію. Хоч би якою національності були вчені, але формули та записи реакцій вони завжди зрозуміють. І для математики абсолютно не важливо, що означає те чи інше число: кількість яблук на дереві або молекул у грамі речовини. Так само як і при розрахунку сили тертя фізики не беруть до уваги колір об'єкта або якісь несуттєві в даний момент властивості. Так і проявляється абстрагування.
З появою електроніки вкрай актуальним стало питання спілкування між людиною і машиною, яка розуміє лише нулі і одиниці. Оскільки прийняття цієї системи людиною було б надто незручною і зробило б роботу надто складною, було вирішено створити проміжні системи спілкування. Так з'явилися мови програмування. Зрозуміло, їх теж треба вивчати, але вони сильно полегшили розуміння між людьми та електронікою. На жаль, для здійснення цієї функції зовсім не годяться багатозначні, хоч і звичніші природні мови.
Приклади
Знову говорити про природні мови просто немає сенсу, лінгвістика вивчає їх дуже давно і просунулась у цьому достатньо. У той самий час дослідники оминають категорію формальних. Тільки недавно, коли вони стали дуже актуальними, почали з'являтися перші наукові роботи з них, теорії та зрозумілі приклади. Формальні мови створюються штучно і зазвичай мають міжнародний характер. Вони можуть бути як вузькоспеціалізованими, так і зрозумілими всім чи хоча б більшості.
Мабуть, найпростіший приклад – нотний запис. Є алфавіт, правила пунктуації і т.д. Це справді мова, хоч і з деяких точок зору може бути прирівняна лише до знакових систем.
Зрозуміло, сюди відноситься вже згадана математика, правила запису в якій вкрай суворі. Усі теж можна умовно зарахувати до цієї категорії. Зрештою, це мови програмування. І про них, мабуть, варто поговорити докладніше.
Використання
Те, що штовхає вперед розвиток та вивчення формальних мов – це, безумовно, технічний прогрес. Обчислювальні системи, електронні прилади – сьогодні майже кожна річ є комп'ютером у мініатюрі. І якщо вони розуміють лише люди зазвичай сприймають лише природні мови. Приклади різних способів та спроб знайти якийсь компроміс закінчилися ідеєю створення проміжної системи спілкування. Згодом їх з'явилося чимало. Тож сьогодні програмування – це фактично з комп'ютерного на людський та навпаки.
Але люди продовжують використовувати природні та приклади яких дозволяють переконатися в тому, що надто вільні правила граматики та синтаксису серйозно ускладнюють для комп'ютерів інтерпретацію висловлювань. Навряд чи лінгвістична еволюція дійде серйозного посилення. Тож один із найперспективніших напрямків – системи розуміння природної мови. Вони дозволять машинам обробляти запити, написані без спеціальних правил. Першим кроком до цієї технології, мабуть, стали пошукові системи. Вони розвиваються і зараз, тож, можливо, майбутнє вже близько.
За своїм походженням мови бувають природними та штучними. Природні - це мови, якими розмовляють люди. Природні мови розвиваються та еволюціонують. Штучні ж мови створюються синтетичним чином передачі будь-якої специфічної інформації. До штучних мов належать есперанто, мови програмування, нотна грамота, абетка Морзе, шифрувальні системи, жаргон та інші. Здавалося б, все очевидно: якщо мова створена людьми, значить, вона штучна; якщо він зародився і розвивався самостійно, а люди цей розвиток лише зафіксували та оформили у писемність, отже, природний.
Але не так однозначно. Деякі мови перебувають на перетині штучності та природності. Прикладом може бути одна з чотирьох офіційних мов Швейцарії, ретророманський. Сьогодні на ньому говорить близько п'ятдесяти тисяч швейцарців. Тонкість тут полягає в тому, що ще в середині ХХ століття ретророманської мови не існувало. Замість нього в різних регіонах Швейцарії говорили п'ятьма розрізненими діалектами спорідненої, але не єдиної мови романської мовної сім'ї. І лише у 1980-ті роки група вчених об'єдналася для того, щоб на основі найпоширеніших діалектів створити єдину мову. Слова в цю мову підбиралися за принципом подібності, тобто слово брали в мову, якщо воно у всіх діалектах звучало однаково чи принаймні близько.
Ось уже близько двадцяти років новою, єдиною ретророманською мовою публікуються документи, книги, його навчають у швейцарських школах, нею розмовляють жителі країни.
Відомі такі приклади і з далекого минулого. Значною мірою штучною можна назвати і чеську мову. До кінця XVIII століття в Чехії всі говорили німецькою мовою, а чеська мова існувала у вигляді розрізнених говірок, якими володіли лише неосвічені сільські жителі.
У період Чеського Національного Відродження чеські патріоти буквально по шматочках збирали чеську мову із сільських діалектів. Багато понять у простонародній мові не існувало і їх доводилося просто вигадувати.
Так само відродженою мовою є і іврит. Коли наприкінці XIX століття Бен-Єгуда, людина, яку називають батьком сучасного івриту, розпочала рух за його відродження, на івриті видавали книги, журнали, це була мова міжнародного спілкування євреїв різних країн, але у повсякденному житті на івриті ніхто не говорив. Певною мірою це була мертва мова. Перетворення Бен-Єгуда почав зі своєї сім'ї. Він вирішив, що першою мовою його дітей буде неодмінно іврит. Спочатку йому навіть довелося обмежити спілкування немовлят з матір'ю, яка не володіла івритом, і найняти для дітей няню, яка достатньою мірою знала іврит. За п'ятнадцять років у кожному десятому будинку в Єрусалимі звучав іврит. При цьому стародавня мова була настільки архаїчною, що її доводилося активно адаптувати до реалій сучасного життя, буквально винаходячи нові поняття. Тепер іврит – розмовна та офіційна мова Ізраїлю.
1. Логіка та мова. Предметом вивчення логіки є форми та закони правильного мислення. Мислення є функцією людського мозку. Праця сприяла виділенню людини із середовища тварин, з'явився фундаментом у виникненні людей свідомості (зокрема мислення) і мови. Мислення нерозривно пов'язане із мовою. Мова, за словами К. Маркса, є безпосередня дійсність думки. У ході колективної трудової діяльності у людей виникла потреба у спілкуванні та передачі своїх думок один одному, без чого була неможлива сама організація колективних трудових процесів.
Функції природної мови численні та багатогранні. Мова - засіб повсякденного спілкування людей, засіб спілкування в науковій та практичній діяльності. Мовадозволяє передавати та отримувати накопичені знання, практичні вміння та життєвий досвід від одного покоління до іншого, здійснювати процес навчання та виховання підростаючого покоління. Мовавластиві такі функції: зберігати інформацію, бути засобом вираження емоцій, бути засобом пізнання.
Мова є знаковою інформаційною системою, продуктом духовної діяльності. Накопичена інформація передається за допомогою символів мови.
Мова може бути усною або письмовою, звуковою або незвуковою (як, наприклад, у глухонімих), мовою зовнішньою (для інших) або внутрішньою, мовою, вираженою за допомогою природної або штучної мови. За допомогою наукової мови, в основі якої лежить природна мова, сформульовані положення філософії, історії, географії, археології, геології, медицини (що використовує поряд із «живими» національними мовами і нині «мертву» латинську мову) та багатьох інших наук.
Мова - це засіб спілкування, а й найважливіша складова частина культури будь-якого народу.
За підсумками природних мов з'явилися штучні мови науки. До них належать мови математики, символічної логіки, хімії, фізики, а також алгоритмічні мови програмування для ЕОМ, які набули широкого застосування в сучасних обчислювальних машинах і системах. Мовами програмування називаються знакові системи, що застосовуються для опису процесів розв'язання задач на ЕОМ. В даний час посилюється тенденція розробки принципів «спілкування» людини з ЕОМ природною мовою, щоб можна було користуватися комп'ютерами без посередників-програмістів.
Знак - це матеріальний предмет (явище, подія), який виступає як представник деякого іншого предмета, властивості або відносини і використовуваний для придбання, зберігання, переробки та передачі повідомлень (інформації, знань).
Знаки поділяються на мовні та немовні. До немовних знаків відносяться знаки-копії (наприклад, фотографії, відбитки пальців, репродукції та ін.), знаки-ознаки, або знаки-показники (наприклад, дим – ознака вогню, підвищена температура тіла – ознака хвороби), знаки-сигнали (наприклад, дзвінок – знак початку або закінчення заняття), знаки-символи (наприклад, дорожні знаки) та інші види знаків. Існує особлива наука – семіотика, яка є загальною теорією знаків. Різновидами символів є мовні знаки. Одна з найважливіших функцій мовних знаків полягає у позначенні ними предметів. Для позначення предметів є імена.
Ім'я - це слово або словосполучення, що означає певний предмет. (Слова «позначення», «йменування», «назва» розглядаються як синоніми.) Предмет тут розуміється у дуже широкому значенні: це речі, властивості, відносини, процеси, явища тощо як природи, так і суспільного життя, психічного діяльності людей, продуктів їх уяви та результатів абстрактного мислення. Отже, ім'я є ім'я деякого предмета. Хоча предмети мінливі, текучи, у яких зберігається якісна визначеність, що й позначає ім'я цього предмета.
2. Мова логіки та мова права.Необхідна зв'язок мислення та мови, коли він мову виступає матеріальної оболонкою думок, означає, що виявлення логічних структур можливе лише шляхом аналізу мовних выражений. Подібно до того, як до ядра горіха можна дістатися лише розкривши його шкаралупу, так і логічні форми можуть бути виявлені лише шляхом аналізу мови.
З метою оволодіння логіко-мовним аналізом розглянемо коротко структуру та функції мови, співвідношення логічних та граматичних категорій, а також принципи побудови особливої мови логіки.
Мова - це знакова інформаційна система, що виконує функцію формування, зберігання та передачі в процесі пізнання дійсності та спілкування між людьми.
Основним будівельним матеріалом при конструюванні мови виступають знаки, що використовуються в ньому. Знак – це будь-який чуттєво сприймається (зорово, на слух чи іншим способом) предмет, який є представником іншого предмета. Серед різних знаків виділимо два види: знаки-образи та знаки-символи.
Знаки-образи мають певну схожість з предметами, що позначаються. Приклади таких знаків: - копії документів; дактилоскопічні відбитки пальців; фотографії; деякі дорожні знаки із зображенням дітей, пішоходів та інших об'єктів. Знаки-символи не мають схожості з предметами, що позначаються. Наприклад: нотні знаки; знаки абетки Морзе; літери в національних мов алфавіту.
3. Природні та штучні мови.За походженням мови бувають природні та штучні.
Природні мови– це історично сформовані у суспільстві звукові (мова), та був і графічні (лист) інформаційні знакові системи. Вони виникли для закріплення та передачі накопиченої інформації у процесі спілкування між людьми. Природні мови є носіями багатовікової культури народів. Вони відрізняються багатими виразними можливостями та універсальним охопленням різних областей життя.
Штучні мови- Це допоміжні знакові системи, створювані на базі природних мов для точної та економної передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше збудованої штучної мови. Мова, що виступає засобом побудови чи вивчення іншої мови, називають метамовою, основною – мовою-об'єктом. Метамова, як правило, має більш багаті порівняно з мовою-об'єктом виразні можливості.
Штучні мовирізного ступеня суворості широко використовуються в сучасній науці та техніці: хімії, математиці, теоретичній фізиці, обчислювальній техніці, кібернетиці, зв'язку, стенографії.
4. Принципи побудови формалізованих мов логіки
Формалізована мова- Штучна мова логіки, призначений для відтворення логічних форм контекстів природної мови, а також вираження логічних законів і способів правильних міркувань в логічних теоріях, що будуються в даній мові.
Побудова формалізованої мови починається із завдання її алфавіту- Сукупності вихідних, примітивних символів. До алфавіту включаються логічні символи (знаки логічних операцій та відносин, напр., пропозиційні зв'язки та квантори), нелогічні символи (параметри дескриптивних складових природної мови) та технічні символи (напр., дужки). Потім формулюються звані правила освіти складних знаків мови з простих – задаються різні типи правильно побудованих выражений. Найбільш важливим їх виглядом є формули – аналоги висловлювань природної мови.
Відмінною особливістю формалізованої мови є ефективність визначень всіх її синтаксичних категорій: питання належності довільного символу чи послідовності символів алфавіту до того чи іншого класу мовних виразів вирішується алгоритмічно, в кінцеве число кроків.
Іноді до складу формалізованих мов поруч із алфавітом і правилами освіти включають звані правила перетворення – процедури дедукції, точні правила переходів від одних послідовностей символів до іншим. І тут формалізований мову, сутнісно, ототожнюється з логічним обчисленням. Інше трактування формалізованого мови передбачає прийняття правил інтерпретації його висловів, дозволяють кожної синтаксичної категорії знаків зіставити семантичну, що значно виявлення логічних форм.
Формалізовані мови можуть мати різні виразні можливості. Так, пропозиційні мови дозволяють досліджувати логічну форму лише на рівні складних висловлювань, без урахування внутрішньої структури простих висловлювань. Мови силогістики дозволяють фіксувати логічні форми атрибутивних висловлювань. Першопорядкові мови відтворюють структуру як простих (і атрибутивних, і реляційних), і складних висловлювань, але у них дозволяється квантифікація лише з індивідам. У більш багатих мовах – мовах вищих порядків – допускається квантифікація також за властивостями, відносинами та функціями.
Принципи побудови формалізованих мов можуть бути використані при завданні мов нелогічних, прикладних теорій. І тут у алфавіт мови замість абстрактних нелогічних символів (параметрів) вводяться імена конкретних об'єктів предметної області теорії, знаки певних функцій, властивостей, відносин і т.п.
За походженням мови бувають природні та штучні.
Природні мови – це історично сформовані у суспільстві звукові (мова), та був і графічні (лист) інформаційні знакові системи. Вони виникли для закріплення та передачі накопиченої інформації у процесі спілкування між людьми. Природні мови виступають носіями багатовікової культури людства і відрізняються багатими виразними можливостями та універсальним охопленням різних областей життя.
Природні мови який завжди вдається використовувати у процесі наукового пізнання з таких їх особливостей, как:
- 1) багатозначність– багато слів і мовні висловлювання природної мови залежно від контексту приймають різні значення, що з омонімією, наприклад слова " світ " , " коса " , " рукав " та інших.;
- 2) некомпозиційність,тобто. відсутність у природній мові правил, з яких поза контексту можна було б визначити точне значення складного висловлювання, хоча значення всіх слів, що входять до нього, відомі. Наприклад, фраза "Він довго сідав на коня зі зламаною ногою" може бути витлумачена двояко: а) нога була зламана у вершника; б) нога була зламана у коня;
- 3) самозастосовність,тобто. коли висловлювання можуть говорити про себе. Наприклад, "Я брешу".
Штучні (наукові) мови створюються спеціально на вирішення певних завдань пізнання. Вони виникли як формалізовані мови науки – математики, фізики, хімії, програмування. Штучні мови – це допоміжні знакові системи, створювані з урахуванням природних мов для точної та ощадливої передачі наукової та іншої інформації. Вони конструюються за допомогою природної мови або раніше збудованої штучної мови.
Наукові мови підпорядковуються нормативним принципам: однозначності, предметності та взаємозамінності.
Відповідно до принципу однозначностівираз, що використовується як ім'я, має бути ім'ям тільки одного предмета, якщо це одиничне ім'я, а якщо це загальне ім'я, то цей вираз має бути ім'ям, загальним для всіх предметів одного класу. У природній мові цей принцип не завжди дотримується, але його необхідно дотримуватись при побудові штучних мов, наприклад, мови логіки предикатів.
Принцип однозначності унеможливлює омонімію, тобто. позначення одним словом різних об'єктів, що часто зустрічається у природних мовах (наприклад, слово "коса" може означати і вид зачіски, і сільськогосподарське знаряддя праці, і піщану мілину).
Відповідно до принципу предметностіу висловлюваннях має затверджуватись чи заперечуватися щось про значення імен, що входять у речення, а не про самі імена. Слід, звичайно, мати на увазі, що значення деяких імен є самі імена. Такі випадки не суперечать принципу предметності. Наприклад, у реченні "Матерія первинна, а свідомість вдруге" слово "матерія" - це ім'я об'єктивної реальності, а в реченні ""Матерія" - це філософська категорія" слово "матерія", взяте в лапки, - це ім'я імені, ім'я категорії . Такі імена називаються лапковимиіменами. Іноді у природній мові трапляються випадки, коли ім'ям імені є саме вихідне ім'я. Наприклад, у реченні "Слово “стіл” складається з чотирьох букв" слово "стіл" є ім'ям самого цього слова. Таке вживання імен, коли слова позначають самі себе, називається автонімним.Автонімне вживання виразів є неприпустимим у наукових мовах, оскільки воно призводить до непорозумінь.
Для вказівки на автонімне вживання виразів використовуються курсив чи лапки. Змішання звичайного та автонімного вживання виразів веде до логічних помилок у міркуваннях. Прикладом такої помилки може служити таке міркування: "Собака гризе кістку. "Собака" - іменник. Отже, іменник гризе кістку".
Принцип взаємозамінності: якщо у складному імені замінити частину, у свою чергу є іменем, іншим ім'ям з тим самим значенням, то значення, отримане в результаті такої заміни складного імені, має бути тим самим, що і значення вихідного складного імені. Наприклад, у реченні "Аристотель навчав Олександра Македонського філософії", слово "Аристотель" можна замінити словами "творець силлогістики".
Екстенсіональнимназивається контекст щодо тих знаків, рівнозначна заміна яких не призводить до зміни значення контексту. Вживання цих символів називається екстенсіональним.
Щоб зберегти принцип взаємозамінності та уникнути антиномій, слід розрізняти два способи вживання імен. Перший – ім'я легко виділяє предмет (предмети). Другий - предмети, що позначаються ім'ям, розглядаються у певному аспекті.
Наприклад: якщо два вирази мають одне й те саме значення, то одне з них можна замінити іншим, причому пропозиція, в якій проводиться заміна, зберігає своє дійсне значення. Так, два висловлювання – "Михайло Юрійович Лермонтов" та "автор повісті “Тамань”" – позначають одну й ту саму людину, тому в пропозиції "Михайло Юрійович Лермонтов народився в 1814 році" – перше вираження ("Михайло Юрійович Лермонтов") можна замінити другим ("автор повісті "Тамань"") без жодної шкоди для істинності всього висловлювання: "Автор повісті "Тамань" народився 1814 року".
Таким чином, принцип взаємозамінності служить для розрізнення екстенсіональних та інтенсіональних контекстів.
p align="justify"> Контекст (складний знак), в якому порушується принцип взаємозамінності хоча б одного з входять до нього знаків, називається інтенсивним щодо цього знака, тобто. залежить від інтенсіоналу (сенсу) даного знака.
Контекст (складний знак), у якому рівнозначна заміна знаків не призводить до зміни значення контексту, називається екстенсіональним, що залежить лише від екстенсіоналу (значення) знака.
Для екстенсіональних контекстів важливим є лише предметне значення виразів (їх "обсяг"), тому вирази з одним і тим же значенням ототожнюються. В інтенсіональних контекстах враховується також зміст висловлювання, тому заміна виразів з одним значенням може зробити справжнє речення хибним, якщо ці вирази мають різний зміст. Якщо в істинному реченні "Студент не знав, що Михайло Юрійович Лермонтов - автор повісті "Тамань"" вираз "автор повісті "Тамань"" замінити виразом "Михайло Юрійович Лермонтов", який має те саме значення, то в результаті вийде очевидно хибна пропозиція : "Студент не знав, що Михайло Юрійович Лермонтов – Михайло Юрійович Лермонтов"
Наприклад, у виразі "Париж – столиця Франції" імена "Париж" і "столиця Франції" вживаються екстенсійно, тому що стверджується лише тотожність їх значень і жодна заміна будь-якого імені на рівнозначне йому не призведе до зміни значення контексту. У пропозиції " Париж - столиця Франції , через що у ній перебуває уряд Франції " ім'я " Париж " використовується інтенсивно , оскільки саме властивість цього міста бути столицею Франції дає обгрунтування тому , що у ньому перебуває держава . Якщо ж замінити ім'я "столиця Франції" на рівнозначне йому "місто, в якому знаходиться Ейфелева вежа", то станеться перетворення справжнього висловлювання на хибне, оскільки перебування в Парижі Ейфелевої вежі не є причиною того, що в ньому знаходиться уряд Франції, т.е. е. щодо імені "Париж" контекст екстенсійний, оскільки мається на увазі просто певне місто з усіма його характеристиками, і будь-яка заміна цього імені на рівнозначні йому не призведе до зміни значення висловлювання.
Таким чином, щодо одного знака контекст може бути інтенсивним, а щодо іншого – екстенсіональним. Характеристика контексту як інтенсіонального чи екстенсіонального завжди дається щодо певного знака.
