План:
1. Система мовно-інформаційних символів.
2. Природні та штучні мови, їх взаємодія.
3. Семантичні категорії мови.
1. Мова складається із системи інформаційних символів, яка нерозривно пов’язана з мисленням, що забезпечує безпосереднє існування наших думок і служить для встановлення спілкування між людьми. Вивчення мови є одним із важливих завдань науки логіки. Відомо, що мислення є ідеальним явищем, яке абстрагує і узагальнює світ. Абстрактні речі, загальні речі можна зафіксувати лише за допомогою мови.
У мовленні виражається єдність мови і мислення. Мовлення існує в усній і письмовій формі, в якій наші думки переходять у матеріальну форму, тобто у форму сприйнятну, і, таким чином, вона належить уже не окремій людині, а суспільству.
Мова створювалася і розвивалася на основі суспільної праці людей. Тому воно має глибоке соціальне значення і є важливою частиною нашої культури та історії.
За допомогою мови створюються, накопичуються і передаються знання від одного покоління до іншого. Таким чином вона допомагає проводити просвітницьку та виховну роботу, розвивати нашу культуру.
Знак – це матеріальний об’єкт, який у процесі пізнання виступає представником іншого об’єкта, дає можливість подавати про нього певні повідомлення, зберігати, обробляти та передавати. не кожен символ може бути символом мови. До нелінгвістичних знаків належать знаки-копії (наприклад, фотокартка, відбиток пальця тощо), знаки-індекси або вказівні знаки (наприклад, підвищення температури тіла — ознака хвороби, дим — ознака пожежі, тощо) включено.
Мовні знаки існують у формі символів і не мають подібності за структурою з об'єктами, які вони представляють. Логіка зосереджена на дослідженні таких мовних знаків.
Мовні знаки мають своє значення і зміст. Зміст мовного знака становить предмет, який він репрезентує. Наприклад, слово «аудиторія» представляє реально існуючий об'єкт - зміст думки, що відображає аудиторію. Значення мовного знака — це характеристика (опис) предмета, який він виражає. Наприклад, значення слова «Аудиторія» — «приміщення, призначене для занять», «спеціально обладнане приміщення» тощо.
Велику увагу дослідженню функції символів у пізнанні приділяли такі мислителі, як Аристотель і Лейбніц. Розвиток вчення про символи став актуальним у ХІХ ст. Саме в цей період американський філософ Чарльз Пірс (1839-1914) заснував семіотичну науку про знаки. Ця дисципліна аналізує мовний знак у трьох різних напрямках. Перший — семантика, яка вивчає зв’язок між знаком і об’єктом, який він представляє. Друга — прагматика, яка вивчає відношення людей до знаків і стосунки між людьми за допомогою знаків. Третій — синтаксис, який вивчає зв’язки між знаками (правила побудови мови). Науку логіку більше цікавить семантика мовних символів.
2. Існує два види мови. Це природні та штучні мови. Природні або національні мови складаються з історично сформованих звукових (мова) і графічних (писемність) інформаційних символів. Будь-який ізольований символ природної мови сам по собі нічого не представляє. Ці знаки стають знаками, які набувають певного значення і змісту лише тоді, коли потрапляють у систему мови, яка створилася на основі розвитку практичної діяльності та мислення людини.
Природна мова має чудову можливість охопити й виразити предмети, явища та їхні властивості та зв’язки, що належать до різних галузей об’єктивного світу та знання. Вважається семантично замкнутою системою. Іншими словами, природна мова може будувати та виражати себе незалежно, не звертаючись до інших мов.
Крім того, використання природної мови також викликає певні труднощі в пізнавальному процесі. Вони пов’язані з наступним: 1) значення слів у природній мові змінюється з часом; 2) у природній мові одне слово може виражати кілька понять (омоніми) або одне поняття може бути виражене кількома словами (синоніми); 3) думка, висловлена за допомогою деяких слів природної мови, не має чіткого змісту (наприклад, у думці «Карім погано знає іноземну мову» не вказується, що Карім не знає іноземної мови). мова добре по відношенню до кого або яке завдання виконувати ). Щоб звільнитися від таких явищ у природній мові, у науковому пізнанні використовуються терміни (терміни). Термін — це слово, яке має певне й визначене значення, і на це значення вказує визначення. Крім того, точність природної мови досягається за допомогою штучної мови.
Штучна мова складається із системи допоміжних інформаційних символів, створених на основі природної мови, яка служить для чіткого та економного вираження та передачі наявних повідомлень. У штучній мові використовуються штучно створені спеціальні символи, тобто символи-символи. Такими символами в науковому пізнанні замінюються думки з конкретним змістом у природній мові. Тому штучна мова забезпечує роботу лише з символами, не відступаючи від конкретного змісту наших думок.
Штучні мови широко використовуються в сучасній науці і техніці. Вони мають великий внесок у розвиток математики, фізики, хімії, кібернетики, обчислювальної техніки та подібних галузей. Прикладом використання штучних мов є формула Sos2+Sin2=1, що виражає сторони прямокутного трикутника в математиці, формула N2O, що виражає воду в хімії, формула, що виражає швидкість в механіці , і так далі. Для створення програм для електронних калькуляторів використовуються спеціальні алгоритмічні мови. Серед них «Алгол-60», «Алгол-65», «Фортран», «Кобол», «ПЛ-1», «Ассемблер», «Бейзик» та ін. Штучна мова використовується наукою логікою для аналізу структури наших думок з теоретичної точки зору.
Тому в науковому пізнанні використовується як природна мова, так і штучна мова. Наукова мова складається з природної мови, штучної мови та спеціальних термінів.
Загальна логіка має свою особливу наукову формалізовану мову. Він створений для того, щоб чітко і зрозуміло виразити структуру людського мислення. Щоб зрозуміти суть цього, необхідно з'ясувати, що таке сама формалізація.
Формалізація означає заміну думок конкретного змісту символами, тобто вираження структури мислення (думки) шляхом створення пропозиційної функції, введення формул, створення логічних правил. Між структурою думки і структурою вираження логіки в мові існує відповідність, тобто кожній конкретній структурі думки відповідає певна мовна структура. Ми бачимо це на прикладі генерації пропорційної функції. Якщо замінити поняття «Ташкент» - S, а поняття «столиця Узбекистану» - R в думку «Ташкент-столиця Узбекистану», то вийде пропозиційна функція виду S-R. Пропозиційна функція - це вираз зі змінним значенням, при заміні цього значення аргументом формується конкретна змістовна ідея.
Формалізована мова повинна відповідати наступним вимогам.
1. Головні герої повинні бути чітко виражені. Ці символи представляють основні поняття, терміни.
2. Необхідно вказати всі правила опису. На основі цих правил нові, коротші символи генеруються з використанням існуючих символів.
3. Слід навести всі правила створення формул. Прикладом цього є правила виведення речень із понять.
4. Усі правила логічного висновку мають бути визначені. Мається на увазі графічне зображення використовуваних знаків (слів, речень, символів).
5. мають бути вказані правила тлумачення значення символів, що використовуються.
Логіка з формалізованою мовою може використовувати одну формулу, що виражає справжню думку, для створення іншої формули, яка виражає ту саму істинну думку. Конкретний зміст наданої думки не враховано.
Перевага формалізованої мови полягає в тому, що вона не передбачає участі ненавмисних підстав для створення логічного висновку. Багато задач математики і логіки можна вирішити тільки таким чином.
Нарешті, ще один цінний аспект формалізованої мови полягає в тому, що формалізована мова, створена в одній галузі, може бути використана для вирішення проблем в іншій галузі. Наприклад, в операціях з класами логіки можна використовувати мову математики (такі терміни, як додавання, множення, доповнення та символи, що їх представляють), щоб виразити структуру думки. При цьому, звичайно, особливе значення надається використаним символам.
Недоліком формалізованої мови є те, що вона виражає об'єкт більш поверхнево, ніж природна мова. Формалізовані мови, які існують сьогодні, охоплюють дуже мало сфер існування та знань. Важко передбачити, в яких галузях знань може бути створена формалізована мова.
Крім того, формалізована мова не може замінити емпіричне дослідження. Саме тому наукова мова не може обмежуватися використанням формалізованої мови.
Тим не менш, формалізована мова має важливе значення в науковому пізнанні та практичному житті. Зокрема, це створює ідеальне середовище для вивчення структури думки, визначення її логічної цінності, тобто істинної вона чи хибної. Тому існує великий інтерес до створення формалізованої мови логіки та її поглибленого вивчення.
3. Важливе значення у вивченні логічної форми мислення мають змістові категорії. Семантичні категорії складаються з класів мовних виразів, які відрізняються один від одного тим, які об'єкти вони представляють. До основних семантичних категорій належать речення та його відносно самостійні частини — описові та логічні терміни.
Речення може виражати речення, питання і норму. речення, що виражає судження, підтверджує і заперечує властивість будь-якої ознаки (властивості чи відношення) предмету. Він складається з речення.
Вирази, що відображають у реченні предмети, їх властивості та відношення, називаються описовими термінами. Описові терміни поділяються на імена об’єктів або терміни (вирази, що виражають об’єкти, набори об’єктів) і предикатори (вирази, що виражають властивості та відношення об’єктів).
Назви об'єктів - це деякі слова та словосполучення, які позначають матеріальні (планета, електрика) та ідеальні (відчуття, думки) об'єкти. Назва предмета має свій зміст і значення, оскільки складається із символів. Зміст імені представляє об'єкт і в логіці називається денотацією. Значення назви виражає важливу, загальну характеристику предмета і називається поняттям. Наприклад, такі вирази, як «Аристотель», «Засновник науки логіки», «Автор актуальної праці» мають однакове значення, тобто представляють один предмет, але значення їх різне, тобто фіксують різне. ознаки предмета, про який йде мова.
Також назви можуть бути одиничними («місто Ташкент») або загальними («місто»). У цьому випадку одне ім'я представляє один об'єкт, а загальне ім'я представляє клас об'єктів.
Предикативи можуть бути односкладовими або множинними залежно від кількості іменника, до якого вони відносяться. У цьому випадку присудки, що виражають властивість підмета, є одномісними, а присудки, що виражають відношення між ними, вважаються присудками множини. Наприклад, у твердженні «Узбекистан є незалежною республікою» предикатор є однозначним, у думці «Узбекистан підписав економічну угоду з Туреччиною» предикатор «підписав економічну угоду» є двозначним, «Узбекистан знаходиться між Сирдар'я і Амудар'я У реченні «знаходиться» присудок «знаходиться між» має три позиції.
Логічні терміни (булеві константи) мають постійне логічне значення та використовуються для зв’язку описових термінів у реченні. В узбецькій мові вони виражаються такими словами, як «ва», «хам», «хамда», «або», «або», «усі», «жоден», «деякі», «ні» та різними (простими і складні) судження, обчислюються елементи, що породжують судження. Наприклад, у думці, що «жоден товар не буває без вартості», «жоден» і «не» є логічними термінами, без яких неможливо пов'язати описові терміни - «товар» і «цінність».
При створенні формалізованої мови логіки семантичні категорії повинні бути чітко визначені та описані. Цього можна досягти шляхом відображення семантичних категорій у конкретних символах.
Ці символи утворюють алфавіт формалізованої мови логіки. У логіці є дві мови — мова логіки предикатів і мова логіки висловлювань.
Логіка міркувань – це формалізована логічна система, яка аналізує процес міркувань, враховуючи їх логічний взаємозв’язок, уникаючи вивчення внутрішньої структури суджень. Логіка міркувань включає алфавіт, визначення виразів та їх тлумачення. Зокрема, алфавіт цієї мови складається з:
1. р, q, р — пропозиційні змінні, тобто символи для суджень.
2. є знаком сполучника; відповідає сполучникам типу «ва», «хам», «хамда» в узбецькій мові. Наприклад, речення «Лекція закінчилася (r) і почалося її обговорення (q)» можна виразити у формі pq.
3. є знаком диз’юнкції; В узбецькій мові йому відповідають такі слова, як «йо», «йокі», «або». Наприклад, речення «Електричний струм є або змінним (r), або постійним (q)» пишеться у формі pvq.
4. — ознака імплікації; йому відповідає узбецький вислів «Якщо... буде... буде». Наприклад, речення «Якщо учень працює самостійно (r), він добре засвоїть навчальний матеріал (q)» пишеться у формі p q.
5. Знак еквівалентності; йому відповідає узбецький вислів «Тільки і тільки тому...». Наприклад, твердження «На 2 без остачі (q) діляться тільки парні числа (r)» записується у вигляді rq.
6. є ознакою заперечення. Наприклад, «Ахмедов Анвар — студент». При запереченні речення (r) «Ахмедов Анвар не студент» перетворюється на речення r, тобто змінюється на r, яке є запереченням речення.
Логіка предикатів — формалізована логічна система, що вивчає процес обговорення з урахуванням внутрішньої структури суджень. Алфавіт логіки предикатів формується шляхом додавання нових символів до алфавіту логіки висловлювань. Вони такі:
1. a, v, s,..., символи, що представляють назви предметів, їх називають константами.
2. x, u, z..., — символи, що позначають загальні назви предметів.
3. R1, Q1, R1..., Pn, Qn, Rn – символи предикаторів; де 1 позначає однозначний предикатор, 2 позначає двозначний предикатор, а nn-цифровий предикатор.
4. символи, що вказують на суму судження: — квантор загальності; В узбецькій мові йому відповідають такі слова, як «барча», «хар бір», «хеч бір». Наприклад, речення «жоден батько не бажає зла своїй дитині» записується у формі (x)P(x).
— квантор доступності; в узбецькій мові йому відповідають такі слова, як «бази», «айрим». Наприклад, речення «Деякі люди працюють індивідуально» записується у формі (x)P(x).
Логіка пропозицій і логіка предикатів можуть бути побудовані як природна система виводу (або аксіоматична система).
Книги
1. Карімов І.А. Узбекистан у велике майбутнє. — Т.: «Узбекистан», 1998.
2. Карімов І.А. Без історичної пам’яті немає майбутнього. «Дискусія», 1998, №5.
3. Карімов І.А. Досконале покоління - основа розвитку Узбекистану. /Іслам Карімов. На шляху до безпеки та сталого розвитку: Т.6-Т.: «Узбекистан», 1998р.
4. Карімов І.А. Узбекистан прагне в 1999 століття. — Т.: «Узбекистан», XNUMX.
5. Карімов І.А. Ідеологія національної незалежності – це віра народу і віра у велике майбутнє: відповіді на запитання кореспондента газети «Фідокор». Т., Узбекистан, 2000.
6. М. Хайруллаєв, М. Хагбердієв. Логіка, Розділ 2.
7. Ю.В. Івлєв. Логіка, Розділ 2.
8. І. Рахімов. Практичні вправи та методичні рекомендації з логіки 1 розділ.
9. Кондаков Н.І. Логічний словник. М., 1976. Статті по темі.
10. Є.К. Войшвілло. Понятие как форма мішеленія. М., 1989, ч.1.
11. Є.Д. Смирнова. Основи логічної семантики. М., 1989.
