1. Визначення мови
Наведений аналіз предмета логіки як науки свідчить про те, що логіка вивчає форми мислення та відношення між ними.
Ф о р м и м и с л е н н я - це вихідні елементи, з яких будуються міркування і в яких акумулюється та функціонує знання, а в і д н о ш е н н я між формами мислення - це логічні закони, згідно з якими будується знання у вигляді окремих міркувань, системи міркувань, теорій, фрагментів теорій тощо.
Завдання логіки як науки полягає в тому, щоб подати свій предмет, форми і закони мислення у вигляді такої системи, як теорія.
Своєрідністю предмета логіки є те, що він не є безпосередньо даним. Процес дослідження форм мислення та різних відношень між ними безпосередньо даним має матеріальне втілення мислення, а саме мову. Тому мова - емпірична реальність для логіки.
У зв'язку з цим виникає необхідність з'ясувати, в чому полягає здатність мови бути виразником і реалізатором мислення, чим характеризуються механізми функціонування мислення у мові, чим детермінований зв'язок між мисленням і появою різних мовних засобів.
Розглядаючи абстрактне мислення, ми вказували на таку важливу його особливість, як зв'язок із мовою, оскільки у мовленні реалізується єдність мови і мислення, яке є послідовністю слів, речень та послідовністю думок. У процесі мислення ми опеуємо мислительним змістом, який безпосередньо не збігається з тією предметною дійсністю, від якої він абстрагований.
Тільки в мові цей зміст як щось ідеальне реально існує. Тому мова є дійсність, з якою має справу логіка.
Іншими словами, оскільки логіка має своїм предметом форми мислення та відношення між ними, а мислення нерозривно пов'язане із мовою, то логіка в цьому розумінні є наукою про мову. Але лише в цьому розумінні, інакше не можна буде відрізнити логіку від лінгвістики. Мова визначається як система знаків, між якими існують відношення, що регулюються правилами утворення та перетворення.
Враховуючи це, можна визначити мову як систему знаків із заданою інтерпретацією, яка використовується для комунікації (спілкування) та пізнання. Іноді в літературі можна зустріти визначення мови просто як системи знаків. Таке визначення неточне, оскільки в ньому немає вказівки на те, за якими правилами співвідноситься знак і об'єкт, який він позначає, і що саме він позначає (тобто, без інтерпретації), така система не є ще мовою.
Усю множину мов можна поділити на дві підмножини: природні мови і штучні. Серед природних мов розрізнять мови із специфікованою семантикою і мови із не специфікованою семантикою (розмовна мова різних діалектів).
П р и р о д н и м и мовами називаються мови, які виникають стихійно, в умовах практичної взаємодії індивідів певної соціальної групи. Природні мови використовуються насамперед як ефективний засіб спілкування.
Ш т у ч н і мови - це мови, які створені спеціально для фіксації способів, засобів і результатів пізнання. До штучних мов відносять мови математики, логіки, шифри. У цих мовах комунікативна функція відступає на задній план, вони не використовуються як засіб спілкування. їх головна мета полягає у тому, щоб ефективно зафіксувати, утримати отриману інформацію і забезпечити її надійну передачу1 від одного комуніканта до іншого.
Вони можуть бути засобами комунікації (спілкування) лише для спеціалістів певної галузі (математичні викладки, логічні числення, шифри тощо).
Мовами із специфікованою семантикою є мови природничих, гуманітарних і технічних наук. Мови історії, фізики чи філософії включають поряд із загальновживаними фрагментами природної мови спеціально обумовлені терміни (тобто слова із суворо заданим змістом), які складають категоріальний апарат кожної із наук.
Наприклад, слова "сила", "час", "швидкість" застосовуються в різних галузях, але у фізиці, історії чи філософії вони мають відповідно свій спеціальний зміст, завдяки чому їх називають - категорією філософії, історії чи фізики.
2. Поняття знака. Види знаків
3. Рівні семіотичного аналізу мови
Розділ ІІІ. Формалізація як метод логіки
1. Поняття формалізації
2. Порівняльна характеристика природної і формалізованої мов
3. Структура формалізованої мови
Розділ IV. Семантичний аналіз виразів природної мови
1. Поняття семантичної категорії
2. Характеристика дескриптивних термінів