Навігація
Головна
 
Головна arrow Логіка arrow ОСНОВИ ЛОГІКИ
< Попередня   ЗМІСТ   Наступна >

МОВА ФОРМАЛЬНОЇ ЛОГІКИ

Мова являє собою засіб комунікації, спілкування між людьми, за допомогою якого вони обмінюються один з одним думками, тією чи іншою інформацією. Думка знаходить своє вираження саме в мові. Якби такого не було, то думки однієї людини виявилися б недоступними іншому. Думка безпосередньо виражається засобами мови. Хоча відмінності між мовою і мисленням очевидні, між ними існує тісний глибокий зв'язок. Вона полягає в тому, що форми мислення і форми мовних виразів відповідають один одному.

Мова є безпосередня діяльність думки, стверджували К. Маркс і Ф. Енгельс в «Німецькій ідеології». Це положення розвинув радянський психолог С. Л. Рубінштейн, назвавши мовну дійсність, яке звучить і беззвучно говоріння «формою існування свідомості». Мислення і мова нерозривно пов'язані один з одним і утворюють діалектичну єдність.

Думки можуть зберігатися, накопичуватися тільки за допомогою мовних засобів. Люди обмінюються один з одним думками не інакше як за допомогою мови.

Очевидно, що кожна наука для формування своїх узагальнень, законів, теорій, методу і т.д. використовує як природну мову, так і свій, властивий даній науці мову.

Природна мова, мова звуків, в даному випадку російська, яким ми користуємося в повсякденному житті для формулювання своїх думок і обміну ними з іншими людьми, виник разом з мисленням і продовжує розвиватися. Разом з тим, російській мові, котрий склався в певній мірі спонтанно, притаманні різні недоліки, які не дозволяють наук, в тому числі і логіці, обмежуватися використанням тільки його. Основними недоліками природної мови є:

  • 1) зміна значення слів з розвитком суспільної практики і після закінчення певного часу;
  • 2) багатозначність деяких слів;
  • 3) розпливчастість, невизначеність окремих слів, не завжди дозволяє з їх допомогою досить точно визначити предмет науки;
  • 4) недосконалість правил побудови виразів, яке в логічному сенсі несе в собі неоднозначність розуміння вербалізованою думки.

Проте все науки користуються природною мовою, хоча, наприклад, математика, фізика, хімія та інші використовують його менш широко, ніж історія, філософія, політекономія і т.п. При цьому, як правило, вони намагаються викорінити зазначені вище недоліки. Це робиться за допомогою введення в природну мову спеціальних наукових понять, категорій і термінів. Таким способом можна штучно перешкодити зміни значень слів з плином часу, мінімізувати вплив нового змісту слова на вивчення науки і її подальший розвиток.

Деякі науки використовують в своїх спеціальних мовах символи. До таких наук належать математика, фізика, хімія та ін., Які спільно зі словами природної мови використовують штучно створені знаки: +; 2; -; х; п V і т.д. Можливі й такі позначення, в сукупності виражають нове поняття, як, наприклад, Н 2 0. Перевага символічного мови полягає в тому, що він більш точний і короткий, ніж його переклад на природний мову навіть з допомогою наукових понять і категорій.

Символічна мова формальної логіки був створений спеціально для точного і ясного відтворення загальних структур людського мислення і його вивчення. Так як для кожної розумової структури (ідеального образу) можливо створити досить адекватну їй певну мовну структуру і, очевидно, зробити зворотну операцію, то, безумовно, між загальними структурами мислення і структурами мовного вираження логіки також існує взаємозв'язок. Все це веде до того, що всередині формальної логіки операції з думками можна замінювати дією зі знаками. У цьому випадку мова розглядається як знакова система.

Знак - це матеріальний об'єкт, який використовується в процесі пізнання або спілкування в якості представника будь-якого об'єкта.

Можна виділити знаки наступних трьох типів: знаки- індекси, знаки-образи, знаки-символи. Знаки-індекси розкривають зв'язок з предметом в рамках причинно-наслідкових зв'язків. Так, наприклад, дим в певній мірі пов'язаний з наявністю вогню, а злочин з покаранням. Знаки-образи несуть інформацію про які вони представляють об'єктах, так як вони знаходяться в відношенні подібності з позначаються об'єктами: карта місцевості, картина, креслення. Знаки-символи причинно не пов'язані і не схожі з уявними ними об'єктами. Вони відображають зміст і значення матеріального об'єкта.

Сенс - це виражається знаком характеристика об'єкта, представником якого є знак.

Значення - це виражається знаком реальний об'єкт, який і позначається цим знаком.

Деякі знаки не мають значення, тобто представляють неіснуючі об'єкти. Наприклад, «вічний двигун», «Баба-яга».

Деякі знаки не мають сенсу. Наприклад, «холодно».

Разом з тим формалізована мова логіки не має нічого спільного з метафізичної абсолютизацією форми по відношенню до змісту. Йдеться про тимчасове абстрагуванні від свідомості, що служить полегшенню і уточненню розумової діяльності.

Серед виразів, що входять в пропозиції і грають в них самостійну роль, виділяють дескриптивні і логічні терміни.

Термін (від лат. Terminus - межа, межа, кінець чого-небудь) в логіці - це слово, ім'я предметів універсуму для позначення суб'єкта і предиката судження, а також для позначення елементів посилок силогізму.

До дескриптивних термінів (від лат. Descriptic - опис) відносяться поодинокі імена, загальні імена, знаки властивостей і відносин, знаки предметних функцій, знаки ознак.

Вони виражаються словами природного або наукової мови і на конкретний момент мовного взаємодії адекватно відображають предмет мислення.

Імена предметів - це слова або словосполучення, які позначають окремі предмети або класи однорідних предметів. У висловлюванні вони можуть являти собою підлягає. Якщо цей вислів буде формою думки - судженням, то в ньому логічний підмет буде позначатися літерою «S» (від лат. Subjectum - суб'єкт, в висловлюванні-судженні - логічний підмет).

Оскільки ім'я є знаком, воно має сенс і значення. Розрізняють імена двох типів. Ім'я першого типу позначає предмет. Ім'я другого типу є загальним для предметів деякого класу. Імена першого типу називають одиничними (наприклад: Місяць; столиця Росії), а другого - загальними (наприклад: тварина, що має хвіст; суддя). Клас, який складають предмети, які є значеннями імені, називаються об'ємом імені.

Властивості - це те, чим предмети і явища відрізняються один від одного. Наприклад, «одна людина високий, а інший малорослий». Ставлення - це місце розташування предметів і явищ в їх взаємозв'язку. Наприклад, «більший, ніж»; «Розташований між».

Функціональні знаки, або знаки предметних функцій, - це прийняті позначення деякого відповідності, співвіднесення суті предмета з його проявом або одного предмета з іншими предметами. Наприклад: J, /, <,>, X, sin р і т.д.

Знаки ознак, предикати - це мовні вирази, які позначають якісь властивості або відносини, властиві предмету (суб'єкту). У сучасній логіці предикация розглядається як окремий випадок функціональної залежності. Предикати (від лат. Proedicatum сказане) позначаються літерою «Р».

У логіці предикатів, на додаток до засобів логіки висловлювань, вводяться логічні оператори «(« для всіх ») і 3 (« для деяких »або« існує »), звані кванторами спільності і існування відповідно. Квантор спільності відповідає займенників: «все», «всякий», «кожен», «жоден». Як символ квантора спільності взята перевернута буква «А» перша буква німецького слова alle - все. Позначається він так: «х». Читається цей запис в такий спосіб: логічне вираз «х () істинно, якщо

() Приймає значення «істина» для всіх значень змінної «х», і «х () помилково, якщо існує хоча б одне значення« х », для якого () приймає значення« брехня ». Наприклад, висловлювання: «Всі студенти Російської академії правосуддя на першому курсі отримують студентські квитки» - за допомогою квантора спільності записується так: «х (« х »- студенти Російської академії правосуддя). Це означає, що всі студенти Російської академії правосуддя після наказу про зарахування отримують студентські квитки.

Квантор існування відповідає словами «деякі», «існує». Як символ квантора існування взята перевернута буква «Е», перша буква німецького слова existiren - існувати. Позначається він так: «Зх». Читається цей запис в такий спосіб: «Логічне вираз Зх () істинно, якщо () приймає значення« істина »хоча б для одного значення змінної« х », і Зх () помилково, якщо () для всіх значень змінної« х »приймає значення «брехня». Наприклад, висловлювання «Деякі судді працюють на переконання» за допомогою квантора існування записується так: Зх ( «х» - судді, що працюють на переконання). Це означає, що існують люди, які стають суддями і працюють при цьому на переконання.

У формальній логіці використовуються також наступні логічні терміни, які замінюють в природній мові певні союзи:

1) кон'юнкція - відповідає союзу «і». Позначається вона в такий спосіб:

а д Ь, а & Ь;

2) диз'юнкція - відповідає союзу «або». Нестрогая диз'юнкція позначається:

av Ь, а сувора: av Ь;

  • 3) заперечення позначається наступним чином:
  • 1а, а;
  • 4) імплікація відповідає союзу: «якщо ..., то ...». Вона позначається наступним чином:

а -> Ь; а => Ь;

5) еквіваленція відповідає словами: «якщо і тільки якщо», «еквівалентно». Позначається так:

а <-> Ь; а = Ь.

Що стосується мови права, то, без сумніву, сполучною ланкою як для створення нормативно-правових актів, так і для їх застосування є мова, на якому вони пишуться в країні і при посередництві якого їх використовують офіційні особи і окремі громадяни.

Мова права не тільки вихідний елемент юридичного творчості, а й, можна без перебільшення сказати, першооснова встановлення законності і правопорядку в країні. Від його точності, ясності і загальнодоступності багато в чому залежать і ефективне освоєння права, і його втілення в життя.

Мова права - це сукупність понять і знаків природної мови, а також загальнодоступних для широкого кола громадян категорій, взятих з юридичних наук, службовців засобом вираження правомочностей і обов'язків спільнот людей, зберігання цієї інформації, доведення її до всіх верств суспільства, а також управління людською поведінкою .

Мова нормативно-правових актів характеризується певною своєрідністю. Воно проявляється не тільки в понятійно-категоріальної специфіки, а й в логіці і стилі формулювання законів, указів, постанов, рішень і так далі.

Головне, мова права повинен бути загальнодоступним, чітким і по можливості коротким, зрозумілим пересічним громадянам. Якщо часом нормативні акти не відповідають названим вимогам, в наявності недооцінка мовних критеріїв у правовій роботі.

В основоположних документах, і не тільки в них, але в них особливо, слід суворо дотримуватися прийнятої офіційної і одночасно склалася в країні культури природної мови, щоб уникнути різного роду непорозумінь при недотриманні подібних вимог.

Сукупність нормативно-правових актів носить об'єктивний характер. Звідси функціональне призначення мови: ввести цей об'єктивний феномен в свідомість, в поведінкову психологію кожного учасника правового спілкування. Але оскільки учасники цього спілкування здебільшого є простими громадянами, які не обтяженими правовою освітою, то мова права повинен бути і професійно точним, і доступним і зрозумілим. Тому правовий мову поєднує загальновживаним лексику і необхідний професійний техницизм.

Говорячи про мову права, треба з усією визначеністю підкреслити, що йому повинні бути притаманні ясність, чіткість і доступність для найширших верств населення. Утворюють будь-який вид права, наприклад конституційного, джерела носять общезакрепітельний характер. Вміщені в них норми визначають переважно основні принципи, пристрій суспільства і держави, основи правового статусу особистості, а також статус органів держави. Це, зрозуміло, відноситься в першу чергу до Основного закону Російської Федерації, до республіканським конституціям і до статутів інших суб'єктів федерації. Саме вони зачіпають головні інтереси громадян, тому саме до них громадяни насамперед звертаються. Тому мова, законодавча лексика, стилістика повинні мінімально використовувати «спеціальні» поняття і категорії, для розуміння яких потрібні хоча б елементарні правові знання. Тут головне - забезпечити поєднання, з одного боку, доступності та переконливості нормативних документів, а з іншого - їх точності, визначеності і вищу юридичну культури.

Підводячи короткий підсумок сказаному, слід зазначити, що, по-перше, формальна логіка, користуючись формалізованою мовою, дозволяє отримати висновки-формули, відповідні істинним виразами (дана операція буде продемонстрована при користуванні логічним квадратом); по-друге, що в логічному умовиводі не можуть прослизнути ніякі неявно допускаються додаткові передумови; по-третє, що формалізовані мови, отримані для якоїсь певної області, можна використовувати в абсолютно інших областях, давши їх знакам відповідну інтерпретацію.

Істотним недоліком формалізованих мов у порівнянні з іншими мовами є те, що вони маловиразним.

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук