Формалізована мова логіки існує у двох варіантах: мова логіки предикатів і мову логіки висловлювань.
Структура мови логіки предикатів відображає смислові характеристики природної мови. До семантичним категоріям мови відносяться: пропозиції, імена (знаки предметів), пре-індикатори (знаки властивостей і відносин), функціональні знаки.
Імена - це слова або словосполучення, що позначають небудь предмет.
Розрізняють прості імена, що складаються з одного слова, наприклад: «книга», «горобець», «пісня»; складні імена, які складаються з двох слів, наприклад: «місто-герой», і описові імена, що складаються з частин, що мають самостійний сенс, наприклад: «найвища гірська вершина». Одиничне ім'я позначає один предмет і представлено в мові ім'ям власним, наприклад: «А.П. Чехов », або представлене описово. Загальне ім'я позначає клас однорідний-
них предметів і в мові представлено ім'ям прозивним, наприклад «закон», або дається описово, наприклад «діючий вулкан».
Предікатори - це мовні вирази, що позначають властивості, якості, відношення.
Кількість імен, до яких відноситься предікатори, називається його місцевістю.
Предікатори, що виражають властивості, притаманні окремим предметам, називаються одномісними. Наприклад, «лід холодний».
Предікатори, виражають відносини між двома і більше предметами, називаються багатомісними.
Двомісні предікаторамі є, наприклад, «більше», «любити», «мати» і т. д., «Діаметр Венери більше діаметру Меркурія».
Тримісний предікатори: «Місто Волгоград знаходиться між містами Саратов і Астрахань».
Функціональні знаки - це вирази, що позначають предметні функції, тобто функції, значеннями яких є-ються предмети.
У мові зустрічаються логічні терміни - це терміни, що відносяться до логічної формі думки і не мають самостійного змісту. Вони нічого не позначають і нічого не описують. У російській мові є слова і словосполучення, які є такими термінами: «є», «суть». «Не», «невірно, що», «все», «якщо і тільки якщо», «деякі», «жоден», «або» і т. п.
Пропозиція - це вираз мови, в якому щось стверджується або заперечується.
Логіка висловлювань - це логіка оповідних перед-ложений, тобто перш за все суджень, що дозволяє за допомогою штучної мови висловити їх логічну структуру.
Формалізована мова логіки висловлювань складається з алфавіту, тобто сукупності символів і правил побудови формул з цих символів. Алфавіт логіки висловлювань складається з знаків простих висловлювань, тобто букв, якими замінюються
поняття або судження; знаків логічних зв'язок або спілок; технічних знаків, які позначаються дужками.
У логіці висловлювань фрази природної мови перекладаються мовою логіки висловлювань. Виглядає це таким чином: у фразі виділяють частини, з'єднані логічними союзами, ці частини позначають буквами і з'єднують цими союзами.
Приклад.
Якщо речі зовсім нездатні бути об'єктом чиєїсь власності або, будучи таким об'єктом, оголошені за законом невідчужуваними, вони вважаються вилученими з обігу.
Позначимо буквами такі частини:
А - речі, зовсім нездатні бути об'єктом чиєїсь власності;
В - речі є таким об'єктом;
С - речі оголошені за законом невідчужуваними;
D - речі вважаються вилученими з обігу.
Використовуючи логічні спілки та технічні знаки, отримуємо наступну формулу:
[(AV (B & C)) -> D].
Формули, які ми отримуємо в результаті переведення фраз природної мови на логічна мова, можуть бути трьох видів:
тотожне істинні, тобто істинні завжди, які б значення ми ні підставляли в них замість букв;
тотожне помилкові, тобто помилкові при яких завгодно значеннях своїх змінних;
нейтральні, тобто при одних значеннях змінних помилкові, а при інших - істинні.
Одним із завдань обчислення в логіці висловлювань є з'ясування, до якого з трьох даних видів стосується ця формула, записана символічною мовою логіки. Більш докладно операції логіки висловлювань будуть розглянуті в подальшому.
|
- контрольні роботи
засновані. Деякі вироки суду не є обвинувальними. Жодна угода, спрямована на обмеження правоздатності, не є дійсною. Вправа 5. Зробіть висновки шляхом звернення. Всі студенти першого курсу не здали залік з логіки. Багато країн Африки завоювали політичну неза-лежність. Всі матеріалісти (і тільки вони) визнають первинність матерії. Вправа 6. Використовуючи
- 5. Вічний інтерес, вічні суперечки Іван Грозний і Петро Великий
основі творів Івана IV лежить теза про перевагу необмеженої царської влади над усіма іншими формами правліннями, а також ідея про те, що ні бояри, ні навіть православна церква не можуть робити замах на права монарха, даровані самим Богом. Тільки самодержавство, на думку Івана Грозного, може врятувати країну від внутрішніх чвар. «Якщо цареві не коряться підвладні, - пише він, - то ніколи
- 1. Національний характер
основі такої важливої риси російського народу, як соборність, тобто єднання багатьох людей, в основі якого лежить загальна любов до Бога і до правди Божої. Соборність органічно поєднувалася з общинним ладом життя, виховує в російській людині колективізм, почуття товариства, взаємопідтримки і взаємовиручки. Однак перебільшувати цю обставину не слід, так як зворотним боком
- 6.Крестьянскій або пролетарський соціалізм? (Ідеї, організації, діячі)
основну масу населення і відштовхував від революціонерів найбільш передову і морально чисту частину суспільства. Революційний терор, до того ж, давав можливість уряду широко використовувати репресивні заходи і сприяв ідейно-моральному обгрунтуванню реакції. Відразу ж треба підкреслити, що і уряд не виявляло мудрості, використовуючи свій каральний апарат не тільки проти
- 8. Російський консерватизм другої половини X IX в.
Основному піднімалися проблеми соціальних катастроф та історії «пригноблених» класів, тому й консерватизм розглядався як ідеологія правлячих класів, чужа «всього передового людству». Тим часом, в російської зарубіжної історичної та філософської думки в 20-30-х рр.. з'явився ряд дуже глибоких і значних робіт: Н. А. Бердяєва, С. Л. Франка та інших на цю тему. У період 70-80-х рр.. в
- 4. Жовтень 1917 (питання методології)
основному зерно). Експорт здійснювався за рахунок недоспоживання, а не надлишку сільськогосподарської продукції. Таким чином виріс рід капіталізму, вигодуваний за рахунок селян, в результаті прямого втручання держави, його протекціоністської політики, широкого використання іноземних капіталів. Етапи складання великого виробництва виявилися зміщені (спочатку важка, потім легка
- 8. Про характер суспільного ладу в СРСР наприкінці 1930-х рр..
Основі проводяться перші вільні вибори - загальні, рівні, прямі, при таємному голосуванні (незважаючи на формальний характер їх проведення). І хоча було видно неозброєним поглядом, що декларації і реальне життя розходяться, з'явився додатковий імпульс для пропаганди «переваг соціалізму». Наприкінці 50-х рр.. тезу «Короткого курсу історії ВКП (б)« про повну перемогу соціалізму був доповнений
- 2. Проблеми науки і культури
основі лежать непорозуміння. Прикладом такого твору є кінофільм І . Пир'єва «Кубанські козаки», створений у 1948 році. Апофеозом «всенародної любові» до вождя і вчителю Сталіну стало святкування його 70-річчя. За один тільки рік було створено понад 2 тисяч творів про «батька народів». Серед них були талановиті, наприклад, «В окопах Сталінграда» В. Некрасова, «Зірка» Е. Казакевича. Але
- Михайло Сергійович Горбачов (р. 1931 г1.)
основ соціалістичної системи . Він хотів її вдосконалити. Саме тому на квітневому 1985 Пленумі ЦК і на XXVII з'їзді КПРС він висунув гасло - прискорення соціально-економічних процесів. Але після того, як виявилося, що прискорювати по суті нічого, на XIX партійній конференції прийде розуміння необхідності реформ . Отже, Горбачов - реформатор. І в цьому його головна історична
- 3. судопроізводственних ПРИНЦИПИ АРБІТРАЖНОГО ПРОЦЕСУАЛЬНОГО ПРАВА
основу заявлених вимог. Вони можуть змінювати свої вимоги (предмет, підставу, розмір позову) в процесі розгляду справи. Позивач має право відмовитися від позову, а відповідач - визнати позов. Сторони можуть закінчити справу шляхом укладення мирової угоди. Особи, що у справі, має право порушувати апеляційної, касаційної-ве, наглядове виробництво. Сторони здійснюють дії, спрямовані на
|