Формализиран език на логиката и основните му обозначения
Формализираният език на логиката и основните й обозначения - раздел Философия, Формалната логика като наука, нейното значение Език на логиката. Успешно изкуствен език.
Езикът на логиката.
Именно изкуственият език се използва успешно от логиката за точен теоретичен и практически анализ на умствените структури.
Получен език, специално създаден за логически цели име формализиран. Думите на обикновения език се заменят в него с отделни букви и различни специални знаци. Пълен синтаксис на логическия езикформализиран, тоест има набор от ясно формулирани правила, които могат да се използват за изграждане на всеки езиков елемент. Освен това, без значение какъв правилно конструиран елемент от езика (обект или израз) приемаме, винаги можем да възстановим начина, по който е изграден този елемент, неговата структура. Този процес се наричаразбор елемент.
Официалният език се използва в древна Гърция. Езикът имаше за цел да идентифицира логическите връзки на мислите, за да отвлече вниманието от съдържанието на мисленето.
Но има по-малко възможности за формализиране на езика в логиката, отколкото в математиката. Това се дължи на факта, че математиката оперира с ограничен брой понятия и логиката се опитва да обхване целия набор от понятия, използвани от човека.
Лесно е да се види, че на езика на логиката разборът е изключително прост и недвусмислен.
Формализираният логически език се предлага в два вида:
- езикпредикатна логика
- език логика на предложенията.
Езикова структура предикатна логика отразява семантичните характеристики на един естествен език.
Примери: Вземете твърденията: Сократ е мъж, Платон е мъж. И двете твърдения изразяват свойството да бъдеш човек. По този начин можем да разгледаме предиката „да бъде човек“ и да кажем, че той важи за Сократ и Платон.
един) оферти: разказ, мотивиращ, въпросителен;
2) изрази, които играят определена роля в състава на изреченията: описателен и главоблъсканица условия.
един. Имена - това са думи или фрази, обозначаващи обект.
Разграничете прости имена, състоящ се от една дума, например: „книга“, „врабче“, „песен“; сложни имена, които се състоят от две думи, например: „град-герой“, и описателни имена, състоящи се от части, които имат независимо значение, например: „най-високият планински връх“. Едно име обозначава един обект и е представен в езика със собствено име, например: „А.П. Чехов ", или представени описателно. Често срещано имеобозначава клас подобни обекти и на езика е представен от общо съществително, например "закон" или е даден описателно, например "активен вулкан".
2. Предиктори - думи и фрази, обозначаващи свойствата на обектите или връзките между обектите (например „достоен“, „син“, „електропроводим“, „има град“, „по-малко“, „има число“, „има планета ”и др.).
И) Имотни знаци - характеристики на отделни елементи (синьо, горчиво, пияно, шумно).
Б) Връзки знаци - връзка между два или повече обекта (повече от, брат, по-красив от)
IN) Подписва знаци - посочват наличието или отсъствието на характеристики на обекта (болен, не умен).
Броят на имената, към които принадлежи предикторът, се нарича терен.
Има единични и множество предиктори. Унарните предиктори означават свойства, присъщи на отделни предмети (например „талантлив“, „горчив“, „голям“, „ледено студен“). Множество предиктори означават (експресни) взаимоотношения между два или повече обекта се извикват многоместен.