legea rațiunii suficiente

Legea mijloc exclus.

Caracteristicile generale ale legilor formale-logice.

Curs 10. Legile de bază ale logicii formale

Natura legilor logice este determinată de forma logice-mi, conexiunile și relațiile dintre ele se găsesc în legile care te-expresiile lor. Există mai multe legi ale logicii. Prin numerele-lu legi logice sunt, de exemplu, condiția necesară, Wii, care trebuie să îndeplinească anumite logică operatorii-talkie. Aceste condiții sunt adesea formulate sub formă de regulamente, de exemplu, măsuri, reguli, definiții, reguli de divizare, normele dovada-TION, regulile de negări și așa. N. sunt de mare importanță în legile log-ke, care exprimă dependența de adevăr (respectiv-guvernamentale, falsitate) unele hotărâri cu privire la adevăr (respectiv, dar falsitatea) alte judecăți. Aceste legi definesc drept-ki de forma logică a raționamentului.

Un loc aparte printre numeroasele legi ale logicii formale ocupă patru din lege: legea identității, legea contradicției, legea mijloc exclus și legea rațiunii suficiente, Koto-secară menționată ca legile de bază ale logicii formale.

Alocarea acestor patru legi ca fundamentale în logica formală TRADI-translațională este în primul rând datorită faptului că acestea reprezintă cele mai comune condițiile necesare nu numai corectitudine lo-cal a fiecărei legături sau relații specifice între propuneri și concepte, dar, de asemenea, posibilitatea de raționament corect-picior în procesul activității cognitive. Ei au stabilit condițiile necesare pentru construcția lingvistică exprimarea TION și, astfel, acestea contribuie la implementarea corespunzătoare în procesul de znavatelnogo, pentru că ei înșiși sunt rezultatul-expresii ale celor mai comune relațiile dintre obiecte ale realității, ne confruntăm cu mai multe ori în practica lor.

Legile de bază ale logicii formale-UCA este chemat la faptul că rezultatele teoretice cognitive figura-Ness ar trebui să primească performanța în limbaj mod specific, coerent, consecvent și concludente. În aceste legi, este reflectată de faptul că principalele caracteristici ale gândirii corecte au fost formate pe baza, activitate prac cal muncii, care, la rândul său, ar trebui să se bazeze ulterior reflectarea adecvată a conexiunilor și a relațiilor dintre lucrurile realitate re-cială. legile formale ale logicii nu ar trebui să fie identificat cu orice legi a realității obiective, fără dis-privit în mod izolat de realitate în sine.

10.2. identitatea legii prevede următoarele: În procesul de determinare a oricărei noțiuni de raționament și de judecată trebuie să fie identic cu el însuși.

înregistrarea formală a acestei legi: a ≡ A sau A → a. care prevede după cum urmează: în cazul în care o. apoi. în cazul în care un - orice concept, declarație sau hotărâre.

Acest lucru înseamnă că, în procesul de raționament nu poate fi un substitut pentru celălalt un gând, o idee - la alții. Respectarea acestui garantiruetopredelennost act și claritatea de gândire.

legea identității reflectă exercitarea de precizie, certitudinea de gândire în procesul de raționament. Aristotel a observat deja, ceea ce este imposibil, dar cred nimic „dacă nu te gânduri de fiecare dată când un ceva“. Valorile și semnificația conceptelor, termeni, cuvinte sau expresii în raționamentul pro-cesiuni ar trebui să rămână neschimbate în ceea ce privește con-text al utilizării acestora. Ele trebuie să rămână identice sa-meme în sine. Dacă vorbim despre „stea“, ca un corp ceresc, nu sa schimbat încă utilizarea contextului cuvânt, acesta ar trebui să însemne că este un corp ceresc, nu orice altceva (stele de Crăciun, stele de pe steaguri, uniforme, etc.).

Satisfacerea cerințele legii identității în raționamentul real deniyah asigură o precizie, certitudine, exclude dvusmys-lene a expresiilor noastre lingvistice.

Folosind legea identității în funcțiile cognitive legate de principiul specificității adevărului, ceea ce înseamnă că-Application-set dreptul de identitate la prelucrat în mod logic, rafinat cape-lam, prezentat sub formă de expresii lingvistice. Ce parte din cunoașterea lucrurilor, fenomene sau procese vor este de fapt-de a utiliza în argumentele noastre - de fiecare dată depinde de situația specifică pe termen cognitiv. Dar este important să avem această bucată rafinat de cunoaștere nu sa schimbat în procesul de stabilire a unei legături logice între expresiile lingvistice în care această bucată de cunoștințe zafiksirova-on. Numai în acest caz, legea identității este garantul corect raționamentul-TION, o condiție necesară pentru cunoaștere adevărată.

cerință certă pentru utilizarea în informații raționamentul pe Shih adesea încălcate în practică manipularea expresii lingvistice. Este dificil și uneori imposibil de a înțelege un om care se schimbă în mod constant valoarea utilizată în același context, cuvintele Pereskia-Nods pentru nici un motiv aparent de la un gând la altul fără a finaliza, un gând, plasând-o în cursul conversației, nu uitam conexiune logică sau semnificativă între declarațiile sale, etc.

Adesea, argumentând unele cu altele, fără a menționa sensul original al principalelor cuvinte sau expresii recalcitrant le-sunt destul de diferite de lucruri. Încălcări ale legii identității în SLE ceai luate pentru a generaliza numit „substituirea conceptelor.“ Încălcarea legii identității în Gara raționamentul uman este naveta percepție inadecvată a realității în sine, poskol-ku, în analiza finală, rezultatele științelor cognitive figura-Ness trebuie să găsească reprezentarea lor în limba-niyah nostru raport. Rezultă că legea actelor de identitate condiție necesară în mod obiectiv raționamentul logic corect.

înregistrarea formală a acestei legi: ¬ (a ^ ¬a), care are următorul conținut: nu este adevărat că nu este bine. în cazul în care o - orice declarație.

Un exemplu de declarații contradictorii va fi, de exemplu, înălțimea-kazyvaniya: „Peter este un student“ și „Petrov nu este un student“; „Petru este vinovat“ și „Petrov nu este vinovat“, etc. Nici una dintre aceste declarații nu pot fi atât de adevărat și fals: adevărat, dacă una dintre ele ca o pereche, celălalt în mod necesar fals, dar dacă este adevărat într-o altă pereche, asigurați-vă că mai întâi fals și vice-versa. Adevărul și minciuna sunt două caracteristici incompatibile enunțurilor.

Această lege se reflectă în ceea ce-ing stabilitatea, certitudinea lucrurilor și a fenomenelor lumii obiective. Prin urmare, legea contradicției este valabilă, cu co-respectarea necesară a anumitor condiții: atunci când co-respectarea legii identității și același înțeles, vkladyvaemo-lea în declarațiile individuale ale termenilor.

Legea contradicției poate detecta inconsistente-Ness în discuția noastră, ca ceea ce (nu deranja-TION!), Acesta susține un fel de garant al ordinii. Acesta joacă un rol important în deducția deductiv în construcția de andocare-zatelstv, în care să justifice necesitatea de a urma logica. Ca urmare a încheierii parcelelor este logic req-dimym numai în cazul în care, prin negarea concluzia că nu intră în conflict cu premisele inferență.

Cerința de coerență, pentru a produce o motivare, este una dintre cele mai importante în procesul de cunoaștere a omului de bame-zhayuschego lumea lui.

10.4. Conform legii mijloc exclus este adevărat sau ea însăși, sau negația ei deliv de legare - nici o cale de mijloc. Legea statelor de mijloc excluse: acolo Dintre cele două propoziții contradictorii una este adevărată, cealaltă falsă și nu este al treilea.

înregistrarea formală a acestei legi: aV ¬ o, care se citește după cum urmează: a sau, o - orice declarație.

Care îndeplinește cerințele pentru Kona exclus a treia este de a elimina din argumentele noastre expresii nedefinite, ambigue, că utilizarea întrebări specifice, precise și corespunzătoare ACT otve-ing în discuțiile și dezbaterile. Această lege exclude valabilitatea oricăror declarații terțe, declarații în plus, în cazul în care am stat, ondulată. De exemplu, „Maine va fi o luptă pe mare“ sau „Maine va fi o luptă mare.“ Dintre aceste două afirmații contradictorii este doar una adevărată. În acest caz, pentru con acesta nu indică care dintre cele două afirmații este adevărată etsya. Ea doar subliniază faptul că adevărul se află în pre-cristalele ale celor două declarații, dar nu într-un al treilea.

drept mijloc exclus are efect numai dacă obligatorie Mr. îndeplinește cerințele prevăzute în legea contradicției, și poate fi formulată după cum urmează: în argumentele necesare pentru a aduce problema la anumite declarații sau negativă-TION, cu rezultatul că adevărul trebuie să fie una dintre cele două negate reciproc declarații.

Legea mijloc exclus este eficientă în ceea ce privește orice pereche de declarații, în care se susține că neagă Dru-Goa. Din declarațiile: (1) „Toate planetele au sateliți,“ și (2) „Nu este adevărat că toate planetele au luni“ (sau, echivalent, „Unele planete nu au sateliți“) adevărată este doar una, și anume: (2 ). Nu există declarații „terțe“, care ar fi, de asemenea, adevărat, este imposibil să se formeze între ele. Hotărâre (1) și (2) sunt în relație kontradiktornoe (pro-contradicții) ale grilei logice.

Legea mijloc exclus este eficientă numai în ceea ce privește declarațiile care sunt în această privință. Dar el nu are nici o cameră pentru declarații care sunt împotriva Contrar-Ness (opusă) pătratului logic.

expulzat legea a treia TION nu este mai puțin importantă pentru corectitudinea raționamentului nostru decât primele două legi. Acesta se afla la Institutul de Cercetare-fundatie de diferite tipuri de raționament, bazat pe diferite tipuri de probe indirecte (indirect), care stabilește o minciună-ness contrară fi dovedite, pozițiile tezei. Nume, dar în conformitate cu legea mijloc exclus, concluzionăm adevărul tezei să fie dovedită în relația sa cu antiteza.

10.5. Debitul de secvență Certitudine și lipsa de coerență a gândurilor noastre este completat într-o serie de cerințe logice pentru ei și chiar să le cer (gânduri sau raționament) dovezi. Această cerință reflectă te-legea rațiunii suficiente. care pot fi rezumate după cum urmează: În procesul de raționament este valabil-TION numai acele declarații trebuie să-și asume un nivel relativ adevărat stimul care argumente suficiente (de bază) pot fi reduse.

înregistrarea formală a acestei legi: a → (s → a), care prevede după cum urmează: a rezultă în mod necesar din s, unde a și s - orice declarații.

Raționamentul în care adevărul unei situații care nu este pro-sută este aprobat sau declarate, dar susține, decrete-vayutsya motivele pe care este imposibil să nu recunoști că-a pus adevărat, un astfel de argument este numit concludente.

Sub rezonabil declarații de credibilitate (adevăr) Neko-torogo înseamnă combinația de legătură în sensul declarațiilor adevărate, dintre care primul ar trebui să fie o necesitate-jurnal de cal. Compoziția acestor afirmații adevărate pot include judecata axiomă definirea percepțiilor împăcării directe, a căror valabilitate este stabilit empiric sau experimental-pu acele hotărâri ale căror adevăr sau identificat este dovedit, teoretic, prin utilizarea altor judecăți adevărate.

legea rațiunii suficiente ca cerința de evidență a creanțelor noastre este una dintre cele mai importante condiții procesul cognitiv-adevăr copt JOCE. hotărârea Demonstrativ Ras nu numai confirmă validitatea unui vyskazy-vanija, dar, de asemenea, demonstrează justifică concluzia sa de adevăr se bazează declarația de adevăr verificate verificate anterior, numărul de care ar trebui să fie suficientă pentru a justifica poziția care urmează să fie dovedită.

legea rațiunii suficiente exprimă numai într-un mod general-mente eschafoda exhaustivă a tuturor motivelor care justifică poziția înainte. Ea nu specifică natura kazh de bază în casă caz ​​separat (fie destul de simplu senzoriale Sun-acceptarea de fapt sau de experiment necesare sau, opțional, implică o cabină de bază așa cum sa demonstrat anterior deliv-legare). De asemenea, nu specifică în cazul în care și modul în care motivul detectăm în viață fiind dovedit sau justificat să-TION. Legea din motive suficiente numai cerințele exprimate-a stabilit necesitatea de a avea o bază suficientă pentru afirmația Denia fiabilitatea (adevăr) poziția extinsă.