Какво е истинска поговорка

В езиковата практика често се използва фалшиво и истинско изказване. Първата оценка се възприема като отричане на истината (неточността). В действителност се използват други видове оценки: несигурност, неприложимост (доказателства), неразрешимост. Обсъждайки истинското число, за което х е вярно, е необходимо да се вземат под внимание законите на логиката.

Появата на "мултинационална логика" доведе до използването на неограничен брой показатели за истината. Ситуацията с елементи на истината е объркана, сложна, затова е важно да стане ясно.

Принципи на теорията

Истинското изказване е стойността на свойство (атрибут), винаги се счита за конкретно действие. Какво е истината? Схемата е, както следва: "Изявление X има стойност на истината за Y, когато изявлението Z е вярно."

Нека да разгледаме един пример. Необходимо е да се разбере кое от следните неща е вярно: "Subject a има знак B". Това твърдение е неправилно, тъй като обектът има знак "Б" и е неправилно, че няма знак ". Терминът "погрешно" в този случай се използва като външно отрицание.

Определение на истината

Как се определя истинското изявление? Независимо от структурата на изречението Х, се допуска само следното определение: "Изявление X е вярно, когато има X, само X".

Това определение дава възможност да се въведе терминът "true" на езика. Тя определя акт на приемане на съгласие или изказване с това, което се казва в него.

Прости изказвания

В тях, истинско изявление без определение. Можете да се ограничите до изричането на "He-X" с общо определение, ако това твърдение не е вярно. Истинската връзка е "X и Y", ако X и Y са верни.

Примерно изявление

Как да разберем за кое x е истинско изявление? За да отговоря на този въпрос, ние използваме израза: "Частта a е в областта на пространството b". Помислете за следните случаи за това изявление:

• невъзможно е да се наблюдава частица;
• може да се наблюдава частица.

Вторият вариант включва някои възможности:

• частицата в действителност е в определен регион на пространството;
• това не е в предполагаемата част от пространството;
• частицата се движи по такъв начин, че е трудно да се определи нейното местоположение.

В този случай можете да използвате четири термина на стойностите на истината, които отговарят на дадените възможности.

За сложни структури е уместно да се използват повече термини. Това показва неограничените стойности на истината. Колко число е истинско изявление, зависи от практическата целесъобразност.

Двупосочният принцип

В съответствие с него всяко твърдение е било невярно или вярно, т.е. се характеризира с една от двете вероятни стойности на истината - "невярно" и "вярно".

Този принцип е в основата на класическата логика, която се нарича двуизмерна теория. Двупосочният принцип е използван от Аристотел. Този философ, който се застъпва за броя на думите, за които присъдата е вярна, смята за неподходяща за онези изявления, които се отнасят до бъдещи произволни събития.

Той установи логична връзка между фаталността и принципа на две ценности, разпоредбата за предопределянето на всякакви човешки действия.

В следващите историческа епоха ограничения, които бяха наложени на принципа обяснява с факта, че тя значително усложнява анализа на твърдения за планираните събития, както и несъществуващи (ненаблюдаеми) обекти.

Мислейки за това какви твърдения са верни, този метод не винаги е бил в състояние да намери един недвусмислен отговор.

Възникващите съмнения в логическите системи бяха разсеяни едва след развитието на съвременната логика.

За да разберем коя от тези числа е вярна, двузначна логика е подходяща.

Принципът на полисемията

Ако преформулиран версия на двуцифрени изказвания за разкриване на истината, ние можем да го превърне в специален случай на неяснота: всяко изявление ще има един елемент е вярно, ако п е равно или по-голямо от 2, или по-малко от безкрайност.

Като изключение от допълнителните стойности за истината (над "невярно" и "вярно") се появяват много логически системи, основаващи се на принципа на многообразието. Двустойната класическа логика характеризира типичните варианти на използването на някои логически знаци: "или", "и", "не".

Множествената логика, която твърди, че е специфична, не трябва да противоречи на резултатите от две ценни системи.

Погрешно смятат, че вярата, според които на принципа на неяснота винаги води до изявление на фатализъм и детерминизъм. Също така неправилно и идея, според която многократно логика се разглежда като необходимите средства за прилагане на indeterministic аргумент, който съответства на приемането на изоставянето си от използването на строг детерминизъм.

Семантика на логическите знаци

За да разберете за кой номер Х е истинско изявление, можете да се армирате с масите на истината. Семантиката на логиката представлява част от металогията, която изследва връзката с определените обекти, съдържанието им на различни езикови изрази.

Този проблем се разглеждал вече в древния свят, но под формата на пълноценна независима дисциплина, той бил формулиран само в началото на XIX-XX век. Работите на Г. Фреге, С. Пиърс, Р. Карнап, С. Крипки позволиха да се идентифицира същността на тази теория, нейният реализъм и осъществимост.

В продължение на дълъг период семантичната логика разчита основно на анализа на формализираните езици. Едва наскоро повечето изследвания са посветени на естествения език.

При този метод се разграничават две основни области:

• теорията на наименованието (справка);
• теория на смисъла.

Първото включва изследване на връзката на различни езикови изрази към определените обекти. Като основни категории човек може да си представи: "наименование", "име", "модел", "тълкуване". Тази теория е основата за доказателствата в съвременната логика.

Теорията за смисъла се занимава с търсенето на отговор на въпроса какво представлява смисъла на езиковото изражение. Тя обяснява тяхната идентичност по смисъла.

Важна роля играе теорията на смисъла в обсъждането на семантичните парадокси, в чието решение всеки критерий за приемливост се счита за важен и уместен.

Логичното уравнение

Този термин се използва в метален език. Под логическото уравнение можем да напишем запис F1 = F2, в който F1 и F2 са формули на разширения език на логическите предложения. Решаването на такова уравнение означава да се определят онези съвкупности от истински стойности на променливи, които ще влязат в една от формулите F1 или F2, при които ще се наблюдава предложеното равенство.

Знакът за равенство в математиката в някои ситуации показва равенството на оригиналните обекти, а в някои случаи се демонстрира равнопоставеност на техните ценности. Записването F1 = F2 може да означава, че въпросът е за същата формула.

В литературата доста често формалната логика означава такъв синоним като "езикът на логическите изказвания". Тъй като "правилните думи" са формулите, които служат като семантични единици, използвани за конструиране на разсъждения в неформалната (философската) логика.

Изявлението служи като изречение, което изразява конкретно предложение. С други думи, тя изразява идеята за наличието на определена ситуация.

Всяко твърдение може да се счита за вярно в случая, когато описаното в него състояние на нещата съществува в действителност. В други случаи подобно изявление ще бъде невярно изявление.

Този факт се превърна в основата на предложението логика. Има подразделение на изказвания в прости и сложни групи.

При формализирането на прости изречения се използват елементарни формули на нулев език. Описание на сложни изявления е възможно само с използването на езикови формули.

Логическите пакети са необходими за означаване на съюзи. С тяхното приложение простите изказвания се превръщат в сложни видове:

• "Не"
• - Не е вярно, че Хелип ...
• "Или".

заключение

Формалната логика помага да се разбере за кое име изявлението е вярно, включва изграждането и анализа на правила за трансформиране на определени изрази, които запазват истинското си значение независимо от съдържанието. Като отделен раздел на философската наука се появява едва в края на деветнадесети век. Второто направление е неформална логика.

Основната задача на тази наука е да систематизира правилата, които ни позволяват да извличаме нови твърдения въз основа на доказани твърдения.

Основата на логиката е възможността да се получат някои идеи като логично следствие от други твърдения.

Този факт позволява да се опишат адекватно не само определен проблем в математическата наука, но и да се трансферира логиката към художественото творчество.

Логичното изследване предполага връзка, която съществува между предпоставките и изводите, получени от тях.

Тя може да се дължи на броя на първоначалните, фундаментални понятия на съвременната логика, която често се нарича наука за "какво се получава от нея".

Трудно е да си представим без такива аргументи доказателство за теореми в геометрията, обяснение на физически явления, обяснение на механизмите на хода на реакциите в химията.