имволи загальних імен предметів; їх називають предметними змінними;
Р1, Q1, R1, ...; Р2, Q2, R2, ..., Рn, Qn, Rn - символи для предікаторов, індекси над якими висловлюють їх місцевість: 1 - одномісний, 2 - двомісний, п - місцевий. Їх називають предикативними змінними;
p, q, r - символи для висловлювань, які називають висказивательную або препозіціонно змінними ;
" , $ - символи для кванторів, " - квантор спільності, він символізує вирази: всі, кожен, всякий, завжди і т. п. $ - квантор існування, він символізує вирази: деякий, іноді, буває, зустрічається, існує і т. п.;
6) логічні зв'язки:
Г™ - кон'юнкція (сполучне В«іВ»);
Г™ - диз'юнкція (розділову В«абоВ»);
В® -імплікація (союз В«якщо ..., то ...В»);
Вє - еквівалентність (союз В«якщо і тільки якщо ..., то ...В»);
Г? - заперечення (В«невірно, що ...В»);
7) технічні знаки: (;)-ліва і права дужки.
Інших знаків, крім перерахованих, алфавіт мови логіки предикатів не включає.
Другий етап побудови мови логіки предикатів - це визначення допустимих в ньому виразів, які називаються правильно побудованими формулами, скорочено ППФ.
За допомогою наведеного штучної мови будується формалізована логічна система, звана обчисленням предикатів. Елементи мови логіки предикатів будуть використовуватися в подальшому викладі для аналізу окремих фрагментів природної мови. br/>
. Логіка як наука
Як самостійна наука логіка склалася більше двох тисяч років тому, в IV ст. до н. е.. Її засновником є ​​найбільший давньогрецький філософ Аристотель, який першим грунтовно досліджував поняття і судження, детально розробив теорію умовиводу і докази, описав ряд логічних операцій, сформулював основні закони мислення: закони тотожності, суперечності, виключеного третього. p align="justify"> Вчення Аристотеля отримало подальший розвиток у середні віки і Новий час. Суттєвим доповненням до цього вчення стала теорія індукції, розроблена англійським філософом-матеріалістом Ф. Беконом (1561 - 1626) і систематизована англійським філософом і логіком Д. С. Міллем (1806-1873). p align="justify"> Дедуктивна логіка Аристотеля і індуктивна логіка Бекона - Мілля склали основу загальноосвітньої дисципліни, яка протягом тривалого часу була обов'язковим елементом європейської системи освіти.
Значний внесок у розвиток логіки внесли французький філософ Р. Декарт (1596 - 1650), родоначальник класичної німецької філософії І. Кант (1724 - 1804), російські матеріалісти М.В. Ломоносов (1711 - 1765) і А. Н. Радищев (1749 - 1802), революційні демократи XIX в. А.І. Герцен, Н.Г. Чернишевський, російські логіки М.І. Каринский (1840-1917), Л.В. Рутковський (1859 - 1920) та ін
Логіку, засновану Аристотелем, прийнято називати формальною. Ця назва закріпилося за нею тому, що вона виникла і розвивалася як наука про форми мислення. Її називають також традиційної, або арістотелівської, логікою.
У другій половині XIX в. в логіці починають широко застосовуватися розроблені в математиці методи обчислення. Особлива заслуга в їх розвитку належить німецькому вченому Г. Фреге (1848 - 1925). Теоретичний аналіз дедуктивних міркувань методами обчислення з використанням формалізованих мов згодом отримав назву математичної або символічної логіки. Дослідження процесів міркування засобами символічної логіки справило значний вплив на подальший розвиток формальної логіки в цілому. Разом з тим символічна логіка не охоплює всіх проблем останньою і являє собою відносно самостійний напрям у її розвитку. p align="justify"> Важлива особливість формальної логіки полягає в тому, що вона розглядає форми мислення, відволікаючись від їх виникнення, зміни, розвитку. Цю сторону мислення вивчає діалектична логіка. Вперше в розгорнутому вигляді діалектичн...
