Afirmațiile false și adevărate sunt adesea folosite în practica lingvistică. Prima evaluare este percepută ca o negare a adevărului (neadevărului). În realitate, se folosesc și alte tipuri de evaluare: incertitudine, nedemonstrabilitatea (demonstrabilitatea), insolubilitatea. Argumentând pentru ce număr x este adevărată afirmația, este necesar să luăm în considerare legile logicii.
Apariția „logicii cu valori multiple” a condus la utilizarea unui număr nelimitat de indicatori de adevăr. Situația cu elementele de adevăr este confuză, complicată, așa că este important să o clarificăm.
Principii de teorie
O afirmație adevărată este valoarea unei proprietăți (atribut), care este întotdeauna luată în considerare pentru o anumită acțiune. Ce este adevarul? Schema este următoarea: „Propoziția X are o valoare de adevăr Y în cazul în care propoziția Z este adevărată.”
Să ne uităm la un exemplu. Este necesar să înțelegem pentru care dintre afirmațiile date afirmația este adevărată: „Obiectul a are semnul B”. Această afirmație este falsă prin faptul că obiectul are atributul B și falsă prin faptul că a nu are atributul B. Termenul „fals” în acest caz este folosit ca o negație externă.
Determinarea adevărului
Cum se determină o afirmație adevărată? Indiferent de structura propoziției X, este permisă doar următoarea definiție: „Propoziția X este adevărată când există X, doar X.”
Această definiție face posibilă introducerea termenului „adevărat” în limbaj. Definește actul de a fi de acord sau de a vorbi cu ceea ce spune.
Funcții simple
Conțin o afirmație adevărată fără definiție. Se poate limita la o definiție generală în propoziția „Nu-X” dacă această propoziție nu este adevărată. Conjuncția „X și Y” este adevărată dacă atât X, cât și Y sunt adevărate.
Spune exemplu
Cum să înțelegeți pentru care x este adevărată afirmația? Pentru a răspunde la această întrebare, folosim expresia: „Particula a este situată în regiunea spațiului b”. Luați în considerare următoarele cazuri pentru această afirmație:
- imposibil de observat particula;
- poți observa particula.
A doua opțiune sugerează anumite posibilități:
- particulă se află de fapt într-o anumită regiune a spațiului;
- ea nu se află în partea destinată a spațiului;
- particula se mișcă în așa fel încât este dificil să se determine zona în care se află locația sa.
În acest caz, pot fi utilizați patru termeni de valoare de adevăr care corespund posibilităților date.
Pentru structuri complexe, mai mulți termeni sunt adecvați. Aceasta esteindică valori de adevăr nelimitate. Pentru care număr este adevărată afirmația depinde de oportunitatea practică.
Principiul ambiguității
Conform acesteia, orice afirmație este fie falsă, fie adevărată, adică este caracterizată de una dintre cele două valori posibile de adevăr - „fals” și „adevărat”.
Acest principiu este baza logicii clasice, care se numește teoria cu două valori. Principiul ambiguității a fost folosit de Aristotel. Acest filosof, argumentând pentru ce număr x este adevărată afirmația, a considerat-o nepotrivită pentru acele afirmații care se referă la evenimente aleatoare viitoare.
El a stabilit o relație logică între fatalism și principiul ambiguității, predestinarea oricărei acțiuni umane.
În epocile istorice ulterioare, restricțiile care au fost impuse acestui principiu s-au explicat prin faptul că complică semnificativ analiza afirmațiilor despre evenimente planificate, precum și despre obiecte inexistente (neobservabile).
Gândindu-te la ce afirmații sunt adevărate, nu a fost întotdeauna posibil să găsești un răspuns clar cu această metodă.
Îndoielile emergente cu privire la sistemele logice au fost înlăturate numai după ce s-a dezvoltat logica modernă.
Pentru a înțelege pentru care dintre numerele date afirmația este adevărată, este potrivită logica cu două valori.
Principiul ambiguității
Dacă este reformulatvariantă a unei afirmații cu două valori pentru a dezvălui adevărul, o puteți transforma într-un caz special de polisemie: orice afirmație va avea o valoare de n adevăr dacă n este fie mai mare decât 2, fie mai mic decât infinit.
Ca excepții de la valorile suplimentare de adevăr (de mai sus „fals” și „adevărat”) sunt multe sisteme logice bazate pe principiul ambiguității. Logica clasică cu două valori caracterizează utilizările tipice ale unor semne logice: „sau”, „și”, „nu”.
Logica cu mai multe valori care pretinde a fi concretizată nu ar trebui să contrazică rezultatele unui sistem cu două valori.
Convingerea că principiul ambiguității duce întotdeauna la o afirmație de fatalism și determinism este considerată eronată. De asemenea, este incorectă ideea că logica multiplă este văzută ca un mijloc necesar de a efectua raționamentul indeterminist, că acceptarea acesteia corespunde respingerii utilizării determinismului strict.
Semantica semnelor logice
Pentru a înțelege pentru ce număr X este adevărată afirmația, vă puteți înarma cu tabele de adevăr. Semantica logică este o secțiune de metalogică care studiază relația cu obiectele desemnate, conținutul lor al diferitelor expresii lingvistice.
Această problemă a fost considerată deja în lumea antică, dar sub forma unei discipline independente cu drepturi depline a fost formulată abia la începutul secolelor XIX-XX. Lucrări de G. Frege, C. Pierce, R. Carnap, S. Kripkea făcut posibilă dezvăluirea esenței acestei teorii, realismul și oportunitatea ei.
Pentru o perioadă lungă de timp, logica semantică s-a bazat în principal pe analiza limbajelor formalizate. Abia recent, majoritatea cercetărilor au fost dedicate limbajului natural.
Există două domenii principale în această tehnică:
- teoria notației (referință);
- teoria sensului.
Primul implică studiul relației dintre diferitele expresii lingvistice cu obiectele desemnate. Ca categorii principale, se pot imagina: „denumire”, „nume”, „model”, „interpretare”. Această teorie este baza pentru dovezi în logica modernă.
Teoria sensului se ocupă cu căutarea unui răspuns la întrebarea care este sensul unei expresii lingvistice. Ea explică identitatea lor în sens.
Teoria sensului joacă un rol semnificativ în discutarea paradoxurilor semantice, în soluția cărora orice criteriu de acceptabilitate este considerat important și relevant.
Ecuație logică
Acest termen este folosit în metalimbaj. Sub ecuația logică, putem reprezenta înregistrarea F1=F2, în care F1 și F2 sunt formule ale limbajului extins al propozițiilor logice. A rezolva o astfel de ecuație înseamnă a determina acele seturi de valori adevărate ale variabilelor care vor fi incluse într-una dintre formulele F1 sau F2, sub care se va respecta egalitatea propusă.
Semnul egal la matematică în unele situațiiindică egalitatea obiectelor originale și, în unele cazuri, este setat să demonstreze egalitatea valorilor lor. Intrarea F1=F2 poate indica faptul că vorbim despre aceeași formulă.
În literatură, destul de des, sub logica formală înseamnă un astfel de sinonim ca „limbajul propozițiilor logice”. „Cuvintele corecte” sunt formule care servesc ca unități semantice folosite pentru a construi raționament în logica informală (filosofică).
O afirmație acționează ca o propoziție care exprimă o anumită propoziție. Cu alte cuvinte, exprimă ideea prezenței unei stări de fapt.
Orice afirmație poate fi considerată adevărată în cazul în care starea de fapt descrisă în ea există în realitate. În caz contrar, o astfel de afirmație va fi o afirmație falsă.
Acest fapt a devenit baza logicii propoziționale. Există o împărțire a declarațiilor în grupuri simple și complexe.
La formalizarea variantelor simple de enunțuri, se folosesc formule elementare de limbaj de ordin zero. Descrierea declarațiilor complexe este posibilă numai cu ajutorul formulelor de limbaj.
Conectivele logice sunt necesare pentru a desemna uniuni. Când sunt aplicate, afirmațiile simple se transformă în forme complexe:
- „nu”,
- „nu este adevărat că…”,
- „sau”.
Concluzie
Logica formală ajută la aflarea pentru ce nume este adevărată o afirmație, presupune construirea și analiza unor reguli de transformare a anumitor expresii care le păstreazăvaloare adevărată, indiferent de conținut. Ca o secțiune separată a științei filozofice, a apărut abia la sfârșitul secolului al XIX-lea. A doua direcție este logica informală.
Sarcina principală a acestei științe este de a sistematiza regulile care vă permit să obțineți noi afirmații pe baza afirmațiilor dovedite.
Baza logicii este posibilitatea de a obține unele idei ca o consecință logică a altor afirmații.
Acest fapt face posibilă descrierea adecvată nu numai a unei anumite probleme din știința matematică, ci și transferul logicii creativității artistice.
Investigația logică presupune relația care există între premise și concluziile desprinse din acestea.
Poate fi atribuit numărului de concepte inițiale, fundamentale ale logicii moderne, care este adesea numită știința „a ceea ce decurge din aceasta.”
Este greu de imaginat demonstrarea teoremelor în geometrie, explicarea fenomenelor fizice, explicarea mecanismelor reacțiilor în chimie fără un astfel de raționament.
