În timp ce logica (de la logo-urile grecești -. Cuvântul, conceptul, raționamentul, mintea) ca știință, există aproximativ două și jumătate de mii de ani - este considerat a fi fondatorul marelui filosof grec Aristotel (384-322 î.Hr.) - în prezent nu există universal acceptată Determinarea acestei discipline științifice. Uneori logica pentru a înțelege știința care examinează structura gândirii și dezvăluie legile de bază ale mișcării la adevăr. Noi, termenul „logica“ va fi consumat într-un sens mai restrâns și ia în considerare logica ca stiinta a modelelor (forma logică) raționamentul corect. În acest caz, în conformitate cu raționamentul înțelegem trecerea de la un gând la altul în ceea ce privește același subiect.
După cum tocmai am adoptat-o anumită logică există, aparent, necunoscute cititorului de exprimare, care, desigur, ridică întrebarea, „Care este schema, sau forma logică, argumentul (sau, într-un sens mai larg - gânduri)“ „Care este raționamentul este numit regulat ? "
Pentru a răspunde la prima întrebare, să analizăm câteva exemple.
Al doilea grup de expresii: „Daca un triunghi este echilateral, isoscel-l“; „În cazul în care un conductor care transportă un curent electric, conductorul se formează în jurul câmpului electromagnetic„; „Dacă există clase în societate, este statul.“ Din primele propuneri, acestea diferă prin faptul că acestea sunt complexe. Toate acestea sunt formate cu ajutorul „în cazul în care, apoi“ Uniunea. Se poate spune că utilizarea constantă a conjuncției „în cazul în care, atunci“ este folosit pentru a conecta trei concepte diferite. Typing in locul lor, respectiv variabilele p și q, obținem diagrama:
Ne întoarcem acum la un exemplu mai complicat: „Daca un triunghi este echilateral, atunci este isoscel, prin urmare, în cazul în care triunghiul nu este echilateral, atunci nu este echilateral“; „În cazul în care un conductor care transportă un curent electric, conductorul este format în jurul câmpului electromagnetic, prin urmare, în cazul în care conductorul se formează în jurul câmpului electromagnetic, conductorul pentru curentul electric nu curge“; „Dacă o societate există clase, atunci este statul; Prin urmare, în cazul în care o societate nu este statul, că nu există clase. " Totalul se caracterizează prin faptul că, prin transformarea unor gânduri obține câteva idei noi, cunoștințe noi. Acest lucru se realizează prin circuit:
Dacă p, atunci q; Prin urmare, dacă nu - q, nu - p
Poate provoca alte exemple. Ne asigurăm că circuitul sau formele logice de raționament sunt foarte diverse, ele sunt multe, chiar infinit. Generalizat esența lor poate fi exprimată prin următoarea definiție: a (forma logică) argument diagrama - aceasta este partea acestuia care nu depinde de conținutul specific, dar este utilizat pentru comunicarea și ordonarea elementelor sale.
In forma logica engleză fixe cu variabile (în aceste cazuri - este S. P, p, q), precum și constante logice. Logic konstanta- expresie își păstrează valoarea în nici un argument. Ca constante logice în limba română sunt cuvântul „toate“, „unii“, „sunt“, „și“, „sau“ „fie sau“, „în cazul în care, atunci“, „dacă și numai dacă“ „necesar“, „posibil“, și altele.
Deoarece logica (în sens restrâns) este preocupat de forme logice, până în prezent este numit logica formală.
Utilizarea variabilelor p și q. Determina care dintre următoarele afirmații au aceeași formă logică:
1. Ivanov a câștigat un turneu de șah și a devenit campion.
2. Nu este adevărat că capitala Belarusului nu se află pe Svisloch.
3. În cazul în care patrulaterul - un paralelogram, atunci diagonalele sale se intersectează, bisect.
4. Nu este adevărat că produsul nu are nici o valoare.
5. În cazul în care un 2 nu este egal cu b 2. apoi nu egal cu b.
6. Prietenul meu a absolvit cu onoruri de la colegiu și a primit o diplomă în economie.
7. În cazul în care este egal cu b. apoi 2 egal cu b 2.
8. În cazul în care diagonalele Intersect patrulater, nu împărțită în jumătate, atunci acest patrulater nu este un paralelogram.
Utilizarea variabilelor S și P. Setul, care dintre următoarele afirmații au aceeași formă logică:
1. Toate elementele primului grup din tabelul periodic - un metal alcalin.
2. Unii oameni de știință - alpiniști.
3. Nici un student al grupului nostru nu are datorii academice.
4. Toți proprietarii de sclavi - exploatatori.
5. Nici unul dintre cei prezenți nu-l cunosc.
6. Unele lichide - material conductor.
Vom începe să ia în considerare a doua întrebare.
Dacă p, atunci q; Prin urmare, dacă nu - q, nu - p
De fapt, este adevărat că din declarația unui triunghi echilateral isoscel ar trebui să fie scalen non-isoscel; din cauza presupuselor claselor de stat-societate, dacă nu trebuie să existe clase în absența statului, etc.
Este demn de remarcat faptul că substituirea în schema în locul variabilelor p și q declarații false nu face fals în argumentul de text rămâne valabil. Noi înlocui, de exemplu, în loc de p lozhnoevyrazhenie „Mars - stea“ în loc de q - „Marte strălucește cu propria lumină.“ Obținem argumentul „Daca Marte - steaua, ea strălucește cu propria sa lumină; Prin urmare, dacă Marte nu strălucește prin propria ei lumină, este - nu o stea ". Este, după cum putem vedea, fără îndoială.
Schemele care tocmai au fost menționate proprietăți sunt numite legi în mod logic mi. Și dacă argumentul este, atunci schema corectă construcția sa - legea logică. Pe de altă parte, în cazul în care schema de motivare - o lege logic că un astfel de raționament este corect.
Alte scheme de afaceri:
Dacă p, atunci q; Prin urmare, dacă nu - p, atunci nu - q
De exemplu, înlocuind o expresie algebrică = b în loc de p și a 2 = b 2 în loc de q, obținem propoziția falsă:
Dacă a = b, atunci a 2 = b 2; prin urmare, în cazul în care a ≠ b, apoi a ≠ b 2 2
În alte cazuri, pe baza acestui sistem, puteți obține o propoziție adevărată. De exemplu, în loc de a înlocui p - «Luna este aliniat între soare și pământ„. În loc de q -. «Proiskhoditsolnechnoe eclipsă“ Obținem propoziție adevărată „Dacă luna este aliniat între Soare și Pământ, ea proiskhoditsolnechnoe eclipsa,“ și este adevărat. Schema, care, la unele substituții sunt transformate în adevărate, iar la celălalt într-o ofertă falsă, denumit în mod obișnuit ca este posibil. Dar ele pot, de asemenea, califica ca nesigure.
În cele din urmă, există sisteme care sub orice permutare transformate în expresii false. Aceasta este, de exemplu, schema:
Nu este adevărat că p sau p -
(Cu condiția ca p este fie adevărat sau fals). Astfel de scheme sunt numite mixte.
Dacă p, atunci q; Prin urmare, dacă nu - q, nu - p
Acesta este un exemplu al legii logice; De asemenea, schema
Dacă p, atunci q; Prin urmare, dacă nu - p, atunci nu - q
Nu este adevărat că p sau p -
Exemple de legi logice nu sunt.
Raționamentul corectă se bazează pe legile logicii, și este determinată de acestea. Dacă unele dintre afirmațiile sunt adevărate, iar noi le transformăm în conformitate cu legile logicii, rezultatul se dovedește a fi adevărat. Utilizarea de circuite care nu sunt legi logice, fac un raționament nesigure sau inconsistente, și, eventual, de la parcele adevărat, și, uneori, este necesar, pentru a obține un rezultat fals.
Astfel, valoarea logicii ca știință este că acesta o serie de posibile scheme de gândire corectă, indiferent dacă, de fapt, folosește un singur om în procesul de gândire al acestor scheme.
Cea mai importantă sarcină logica (formală) - metode de invenție care permit selectarea circuitelor care sunt legi logice le separe de circuite care nu sunt, și în cele din urmă decide cu privire la corectitudinea sau incorectitudinea raționament. În viitor, ne uităm la unele dintre aceste metode.
1. O metodă de înlocuire a variabilelor p și q sunt propoziții declarative simple (nu neapărat adevărat), arată că formele logice nu sunt legi logice:
d) nu este adevărat că p și nu - q.
2. În cazul în care argumentul este, „Dacă toți oamenii sunt muritori și toți grecii sunt oameni, toți grecii sunt muritori“ este corectă, apoi corectați în cazul în care următoarele considerente:
a) «În cazul în care toate piețele sunt similare, și toate trapez - patrate, toate trapez ca";
b) «Dacă toți dragonii sunt răi, și toate șopârlele - dragoni, șopârle tot răul";
c) «Dacă glokaya kuzdra feroce, și toate bokra -. Glock Kuzdra, toate feroce bokra“
3. Identificarea Considerente de circuit următor. substituție mod expliciteze lor greșesc.
a) Toți politicienii - Mummers. Unii Mummers.Un - ipocriți. Prin urmare, unii politicieni - ipocriții;
b) o parte (sau poate toate) de capră ca fân. Nici câine fân displace. În consecință, unele (sau poate toate) câinii nu sunt capre;
c) Toate Mafia crude. Unele corupte crud. Prin urmare, unii oficiali corupți - mafia.