Logic ca definiția științei logicii

Logica este una dintre cele mai vechi științe, primul exercițiu care formele și metodele de motivare a apărut în civilizațiile antice ale Orientului (China, India). În cultura occidentală, principiile și metodele logicii au provenit în principal prin eforturile grecilor antici.

Logica - știința formelor și a mijloacelor de gândire necesare pentru a gestiona cunoștințele în orice domeniu al cunoașterii universal valabile. Prin forme universal valabile de gândire sunt concepte, judecăți, concluzii. ci la mijloacele universal valabile de gânduri - definiții, reguli (principii) de formare a conceptelor, judecăți și concluzii, regulile de tranziție de la una din hotărâre sau motivare la alta, ca urmare a primelor (reguli de raționament), legile gândirii, pentru a justifica astfel de norme, normele de comunicare a legilor de gândire și raționament în sistemele, metodele, formalizare a unor astfel de sisteme, etc.

Logica poate fi definită ca știința metodelor raționale de raționament care acoperă analiza regulilor de deducere (a trage concluzii din premise) și studiul de probabilitate sau de gradul de confirmare concluzii plauzibile (ipoteze, generalizări, ipoteze, etc.).

Logica tradițională a fost format pe baza logicii învățăturilor lui Aristotel. Ea apoi completată prin metode de logica inductivă. Este această logică pentru o lungă perioadă de timp predate în școli și universități sub numele logicii formale.

Apariție logica matematică a schimbat radical raportul dintre nededuktivnoy și logica deductivă, care a existat în logica tradițională. Această schimbare a fost făcută în favoarea deducerii. Datorită simbolizarea și aplicarea metodelor matematice de logica deductivă în sine a dobândit o strict formală.

Studiu logică a limbajului

În „filozofică Dicționarul Enciclopedic“ limbaj este definit ca „un sistem de semne, servește ca mijloc de comunicare umană, gândire și de exprimare.“ Se afirmă că „cu ajutorul limbajului este cunoașterea lumii, limba este obiectivată conștiința de sine.“ Limba este un mijloc de stocare și de transmitere a informațiilor și controlul comportamentului uman.

Probleme filosofice ale limbajului și a logicii - domeniu de cercetare dinamic. De un interes special acum legat nu numai cu dorința constantă de a clarifica mecanismele generale și modele de gândire, dar, de asemenea, pentru a înțelege cât de bine o persoană este capabilă să proceseze, să transforme și să transforme matrice cunoștințe vaste în perioade de timp foarte limitate. Probleme semnalate nu sunt numai de interes teoretic - succesul soluției depinde în mare măsură de progresul în dezvoltarea de noi sisteme informatice, software eficient. Toate acestea, desigur, întărește importanța practică și relevanța cercetării în domeniul logicii și filosofia limbajului - o zonă care până de curând a fost considerată pur speculativă.

Analiza logică a argumentelor în limbaj natural

calculul predicatelor face posibilă efectuarea unei analize logice a mult mai multe argumente exprimate în limbaj natural decât calculul propozițional. Cu noul calcul, este posibil să se introducă caracteristici cantitative ale raționamentului simbolic. Este în acest scop, vom introduce cuantificatorii universali și existențiale, care exprimă opiniile universale (general) și hotărârea privată. Dar cel mai important avantaj al calculului predicat calculului propozițional este că oferă posibilitatea de a prezenta în mod simbolic structura logică internă a propozițiilor. Această structură este exprimată fie prin relațiile subiect-predicat ale subiectului (subiect) și relațiile sale de proprietate sau trăsătură (predicat) sau n-locuri între diferite obiecte.

raționamentul științific casual și mulți se realizează de obicei într-un limbaj natural. Dar o astfel de limbă dezvoltat în interesul facilita comunicarea, schimbul de idei în detrimentul preciziei și clarității. Calculul logic construit pentru a asigura acuratețea necesară a raționamentului nostru, inversa care decurg din această eroare și să le corecteze. În cazurile cele mai simple, o astfel de analiză poate fi efectuată cu ajutorul calculului propozitional în care abstracte din structura logică a hotărârii și a le vedea ca pe ceva întreg, ca atomi în continuare ireductibile de raționament. Dar veniturile din acest calcul nu este suficient atunci când trebuie să analizeze multe dintre cele mai comune argumente nu numai în știință, ci și în gândire de zi cu zi. silogistic lui Aristotel acoperă o discuție cu clasa incomensurabil mai mare, dar lasă din luarea în considerare a argumentelor care implică diferite tipuri de relații. Analiza corectă a tocmai astfel de relații joacă un rol important în cunoașterea științifică, în special în matematică și aplicațiile sale în științele exacte. Prin urmare, apariția relațiilor logice extins în mod semnificativ limitele de aplicabilitate a analizei logice. Pe de altă parte, utilizarea limbajului simbolic și metode matematice precise într-o nouă logică simbolică, logica relațiilor bogate, îmbunătățit considerabil eficiența, rigoarea și acuratețea analizei.

argumente de traducere cu limbaj natural la limba calcul propozițional are dificultăți serioase, din cauza denaturări grave ale procesului efectiv de motivare în care interesat nu numai în diferitele verigi ale judecăți unii cu alții, dar, de asemenea, structura hotărârilor înseși. calculul predicatelor face posibilă afișarea mai multă acuratețe raționamentul care conduce la limbajul natural.

Pentru calculul predicatelor, stabilit în primul rând universul de discurs sau domeniu de obiecte, în cauză. Pre-instalate, din care obiecte este universul de discurs nu este necesară. Suficient să se presupună că există acest univers. Apoi alege predicatele (sau funcțiile propoziționale) cu care sunt formulate relațiile logice între variabile. Fiecare din situația selectată devine predicate, atunci când toate variabilele sale să ia cu privire la orice valoare din universul discursului, adică când variabilele devin ținte (elemente) ale universului de discurs. Declarația rezultată este fie adevărat sau fals, dar nu ambele simultan. Apoi selectați simbolismul adecvat pentru transferul final al raționamentului naturale asupra limbajului predicat de calcul. Astfel, este necesar să se facă anumite simplificări, logica își propune să studieze comunicarea gândurilor în raționament, constatările de la una din judecata altora.

analiza limbajului și dezvoltarea teoriei logice

Logica și lingvistică - două domenii ale cunoașterii, care au rădăcini comune și intercalarea strânsă în istoria dezvoltării sale. Logic a avut întotdeauna ca obiectiv principal de a supraveghea și de a clasifica o varietate de moduri de raționament, concluzii formular care o persoană folosește în știință și în viață. In timp ce logica tradițională a trebuit să se ocupe cu legile regulilor de gândire și de comunicare, au exprimat limbajul sredstavmi ca realitatea imediată a gândirii este limba.

Pentru logica importante legi logice generale de gândire, puse în aplicare în anumite structuri lingvistice. Componentele logice - un factor important în formarea vorbirii și organizarea textului.

Frege primul care a propus reconstrucția inferență pe baza unui limbaj artificial (calcul), care oferă o identificare completă a tuturor etapelor elementare ale raționamentului. au fost introduse Simbolismul unei operații logice limbaj de cuantificare. construcție axiomatică a unui predicat de calcul predicate logice includ reguli axiomă și de ieșire pentru a converti formula Cuantificator și justifica o inferență. Astfel, logica a obiectului de studiu mutat definitiv din legile gândirii și regulile de relația lor cu semne, limbile formalizate artificiale.

În logica argumentelor în mod corect este una care nu conduc la adevărata la concluzii premise false. Această cerință intră în logica de contact ca o teorie a semantica de ieșire. Concluzia este considerată validă dacă și numai în cazul în care condițiile de adevăr ale sale premise sunt un subset al condițiilor de adevărul concluziilor sale.

Cu toate acestea, abordarea semantică standard de ieșire justifică în contexte dincolo de teoriile matematice clasice, se confruntă cu provocări semnificative. Ca exemple convenționale de raționament pentru care resursele insuficiente semantica standard pot conduce contexte care conțin setarea propozitiilor ( „știe că ...“, „Eu cred că ...“) și modalitatea logică ( „trebuie“, „poate“).

De aici concluzia că revizuirea necesară a metodei de studiu semantic al inferență, în scopul de a extinde domeniul său de aplicare.

Ca parte a abordării globale a analiza semantică a expresiilor lingvistice naturale este acum de bază este un model-teoretic semantica. Apariția teoriei matematice a modelelor a fost asociată cu apariția logicii moderne între cele două abordări egale - sintactice (teoretice de probă) și semantice (teoretice model). acesta din urmă caracteristică este că aceasta stabilește o interpretare logică a limbii oficiale în ceea ce privește ca entități formale care au natură algebrice și este modelul limbii. Apariția și dezvoltarea acestei a doua abordare a avut nici un impact incomparabil asupra tuturor dezvoltării în continuare a logicii.

Instrumentul principal în toate versiunile teoretice model-semantica este o definiție recursivă a adevărului.

Este suficient de evident că modalitatea logică „necesară“, „poate“ este folosit în argumentul pentru a se referi la natura diferită a unei declarații este adevărată. De exemplu, în ceea ce privește unele propuneri ar putea argumenta că acestea au fost, în anumite condiții sunt adevărate, în timp ce altele sunt concepute pentru a fi întotdeauna adevărat și în nici un caz nu se poate dovedi a fi incorecte. Mai mult decât atât, dacă luăm punctul de vedere că diferențele în natura adevărului, datorită diferenței în natura obiectelor în cauză într-o declarație adevărată, zona de subiect al modelului logic ar trebui să includă atât obiecte din lumea reală, și obiecte din toate lumile posibile. Dar această distincție nu implică semantica standard. Prin urmare, conceptul de semantica lumilor posibile a fost propusă pentru soluționarea dificultăților de a cuantifica contextele modale, are în mare măsură informale.

Una dintre cele mai importante probleme de analiză logică a limbajului natural - problema unei structuri logice unice de propoziții. relevanța sa se datorează în primul rând faptului că, pe de o parte, aparatul logicii predicatelor clasic este de obicei interpretat în enunțuri obiectivate, cum ar fi „de zăpadă este de culoare albă“, „Pământul se învârte în jurul Soarelui,“ etc. Pe de altă parte, există un număr mare de propuneri relativizat la vorbitor, structura logică, care nu este complet clar și apare la prima vedere, nu este de acord cu reprezentarea standard a structurii logice. Astfel, de exemplu, oferă: „Zapada este alb“, „Nu există ploaie?“ „Din păcate, Pământul se învârte în jurul Soarelui“, „Eu promit să vină,“ etc. Cu alte cuvinte, există o problemă de potrivire propuneri relativizat și objectivized în cadrul unor concepții comune ale structurii logice generale propozițiilor lingvistice naturale.

În ultimele decenii, a fost în mod clar realizat în filosofia analitică străină pe care modelul lingvistic complet deja nu poate fi limitată doar la abordarea semantică. Necesar să se includă în modelul lingvistic general și aspectele pragmatice ale funcționării sale. Prin urmare, sarcina desemnată - de a combina într-o singură teorie a „partea“ semantică și pragmatică a limbii.

În special, este de așteptat ca în oricare expresie limbaj natural trebuie să fie luate în considerare în contextul unui anumit act de vorbire, deoarece relația dintre condițiile de adevăr ale propozițiilor și natura actului de vorbire, comise în declarația sa, este esențial în determinarea valorii. Prin urmare, teoria valorii trebuie să constea din două părți - teoria referințe și teoria utilizării limbii. Prin urmare, problema principală a teoriei sensului este de a identifica legături între aceste „blocuri“, adică între condițiile de adevăr ale propozițiilor și practicile actuale de utilizare a acestora în limba.

Pentru detectarea conexiune între cele două „unități“, se propune să se ia în considerare valorile teoriei cunoștințelor condițiile de adevăr ca și capacitatea unor identificare empirice. Deoarece această metodă de decizie a valorii de adevăr este atât capacitatea de practică, este necesar să se formeze o legătură între cunoașterea și utilizarea limbajului.

Astfel, înțelegerea valorii asocierii implică cunoștințe lingvistice și extra-lingvistice, informații explicite și de fond. Dar, în acest fel este dificil de a fi formalizată prin intermediul logicii matematice moderne. Cu toate acestea, mulți cercetători în prezent, se pare că numai potrivit.

Rezumat și concluzii

Astfel, este clar că atât logica și filosofia limbajului experienței în ultimul deceniu, o puternică influență din partea lingvistică. Nu există nici o îndoială efectele asupra logicii studiilor lingvistice. Cu toate acestea, există o puternică tendință opusă - diferența de la diferite părți ale celor două direcții. De exemplu, problemele de pragmaticii lingvistice, din acest punct de vedere sunt departe de problemele logicii modale.

Pierdere stabili unitate, deși poate fi considerată o consecință inevitabilă a specializării, dar este un fenomen natural, pentru care ar trebui să fie urmată de o nouă fază de convergență a logicii și lingvistică. Acest lucru este cu atât mai real că cadrul pentru o astfel de convergență - rezolvarea problemelor practice - acolo. Este posibil datorită transformării în curs de filosofia limbajului în filosofia minții. Această transformare în ultimele decenii a contribuit în mod semnificativ de upgrade subiectele tradiționale, integrarea mai strânsă a filosofiei, psihologiei, logica și teoria limbajului. Ea are cu siguranță o influență semnificativă asupra deciziei unor probleme practice ale vieții moderne.

Petrov VV Din filosofia limbajului în filosofia minții. In Proc. Filosofie. Logic. Limbă. M. "Progress", 1987, pp 3-17.

Petrov VV Limba și teoria logică. In Proc. Nou în lingvistică străine. Voi. Analiza logică XVIII «a limbajului natural.“ M. "Progress", 1986. S.5-23.