§ 2. logica formală ca știință
Pentru a defini formele logice de gândire, și să specifice modul în care să identifice diferitele forme de gândire logică, distingem termeni, numit logică între expresiile limbajului natural. Acestea includ sindicatele "și", "sau", "dacă. atunci. „Negarea“ nu este adevărat că „(“ nu „), cuvintele care descriu numărul de articole pe care este aprobat sau refuzat ceva,“ toate „(“ nu „),“ unele „o grămadă de“ esență «(» este „) etc. Procesul de dezvăluire a formei logice a gândirii constă în abstractizarea de la semnificația termenilor non-logici care intră în expresia care exprimă această idee. Puteți face acest lucru în diferite moduri. De exemplu, omiteți termenii non-logici în frază și puneți în loc puncte, linii punctate și alte linii. Ca urmare a înlocuirii non-logice termeni puncte și linia punctată din propoziția „Toți avocații - avocați“ obține expresia „All. esență - - - ".
O altă modalitate de a abstracționa de la semnificația termenilor non-logici este de a înlocui acești termeni cu simboluri speciale (variabile). În acest caz, în loc de diferite apariții ale aceluiași termen non-logic, se pune aceeași variabilă și variabile diferite în loc de termeni diferiți. În plus, pentru diferite tipuri de termeni se substituie simboluri de diferite tipuri.
Gasim formele logice ale raționamentului următor:
(1) Toți elevii de anul întâi ai Colegiului de Drept al Universității de Stat din Moscova. M.Lomonosova studiază logica.
Unii studenți de anul întâi ai Colegiului de Drept al Universității de Stat din Moscova. M.Lomonosova se va specializa în dreptul civil.
În consecință, unii studenți care se specializează în dreptul civil vor studia logica.
(2) Investigatorul este un avocat. În consecință, un anchetator educat este un avocat educat.
Înlocuind termenii non-logici cu simbolurile, obținem:
(1) Toate M sunt P. Unele M sunt S. Prin urmare, unele S sunt P.
(2) S este P. Prin urmare, sq este pq.
Aceste expresii reprezintă formele logice ale gândurilor originale.
Astfel, forma logică a gândirii este structura ei, descoperită ca rezultat al abstractizării de la semnificațiile și înțelesurile termenilor non-logici.
Forma logică este informativă. Astfel, expresia obținută prin deviere înțelesul și termeni non-logice valori primul argument, poartă următoarele informații: „Dacă toate obiectele din clasa M sunt incluse în clasa P și unele obiecte din clasa M sunt incluse în clasa S, unele elemente S-Class sunt incluse în clasa P “.
Gândurile pot fi împărțite în clase în funcție de tipurile de forme logice ale acestora. Principala dintre aceste clase va fi gândită, numite concepte, judecăți și inferențe.
Conceptul este un gând în care obiectele sunt generalizate și izolate pe baza unui sistem de atribute comune numai acestor obiecte. Un exemplu de concept: acțiune sau inacțiune, calificat prin lege drept infracțiune (conceptul de infracțiune).
Judecățile denotă gânduri în care se afirmă existența sau absența oricărei stări de lucruri. Exemple: "Omul a primit de la Dumnezeu două abilități binecuvântate - să vorbească adevărul și să facă binele"; "Cel mai bun mod de a învăța ceva este să-l descoperi singur."
Inferența este procesul de obținere a cunoștințelor exprimate în judecată, de la alte cunoștințe, exprimate și în judecăți. Exemple de concluzii sunt argumentele de mai sus (1), (2).
Legăturile dintre gânduri în forme în care adevărul uneia dintre aceste gânduri determină adevărul celorlalți se numesc legi logice formale sau legi logice.
Legătura dintre gânduri în raționament (1) este o lege logică. Pentru a determina dacă relația dintre unele dintre observațiile inițiale și declarațiile obținute ca urmare a raționamentului, legea logică, este necesar să se înlocuiască în aceste declarații în locul unor termeni non-logice sunt termeni arbitrare de același tip și, în același timp, de fiecare dată pentru a afla ar fi dacă este adevărat primit declarația de la adevărul original. Dacă o astfel de dependență a adevărului propozițiilor este întotdeauna găsită, atunci legătura dintre ele este o lege logică. Dacă există un exemplar counter, atunci nu există nicio conexiune regulată, iar raționamentul nu este corect. Deci, raționamentul de mai sus "Anchetatorul este un avocat. În consecință, un anchetator educat - un avocat educat "este greșit. Un exemplu pentru el poate fi în mod clar un argument greșit:
O muște este un animal. În consecință, o zbuciumă mare este un animal mare.
În logica modernă s-au dezvoltat metode mai simple și mai productive pentru a descoperi o legătură logică între gânduri. Aceste metode sunt descrise în capitolul "Inferență".
Având concepte de formă logică și lege logică, putem da o definiție a logicii formale.
O logică formală este știința forțelor de gândire, a legilor formale-logice și a altor relații și relații între gânduri în funcție de formele lor logice.
Investigând legăturile necesare între gânduri pe forme logice - legi logice, logica formulează afirmații despre adevărul tuturor afirmațiilor unei anumite forme logice. Aceste afirmații sunt numite și legi, dar spre deosebire de legile logice (conexiuni existente, fie că le cunoaștem sau nu) - legile (științei) logicii. De exemplu, constatarea că ori de câte ori o formulare gând adevărat „Toate M sunt P“ și „Toți M sunt S,“ formă gând adevărat „Unii S sunt P“, putem formula o lege a logicii: „Pentru orice S, P, și M este adevărat, că dacă toate M sunt P și toate M sunt S, atunci unele S sunt Pn. Legile logicii, după ce sunt formulate, acționează ca norme, conform cărora trebuie să se facă raționamentul. Logica dezvoltă, de asemenea, cerințe de altă natură, care se recomandă a fi efectuate în procesul cunoașterii. O logică formală, prin urmare, este o știință normativă a formelor, legilor și metodelor activității intelectuale cognitive.
Gândirea, efectuată în conformitate cu cerințele logicii, este numită corectă. O logică formală, fiind o știință a gândirii corecte, examinează și clasifică și greșelile tipice făcute în procesul de gândire, adică, alogismele tipice.
De mult timp, s-au făcut încercări de a dezvolta o logică dialectică. Mijloacele acestei logici ar trebui să fie aplicate în acele cazuri în care nu ar trebui să fim distrasi de dezvoltarea cunoașterii. În cadrul logicii dialectice, a dezvoltat o serie de principii metodologice (specificitate, obiectivitate și luarea în considerare a altora.) Și metode de cunoaștere (urcare de la abstract la concret, etc.).
Se presupune că în procesul cunoașterii metodele logicii formale ar trebui să fie completate de metode de logică dialectică și invers.
în modul descris mai sus pentru a stabili dacă legile formal-logice de legătură între formele originale ale hotărârilor și care rezultă în următorul raționament (și anume, dacă acest argument este corect):
1. Toți infractorii sunt supuși pedepsei penale. Unii locuitori ai Moscovei sunt supuși pedepsei penale. În consecință, unii locuitori ai Moscovei sunt infractori.
2. Toți elevii din grupul nostru sunt avocați. Toți elevii din grupul nostru sunt membri ai cercului logic. În consecință, toți membrii cercului de logică sunt avocați.
3. Unii dintre participanții la această infracțiune sunt identificați de victimă. Nici unul dintre membrii familiei lui Petrov nu a fost identificat de victimă. Niciuna dintre persoanele care nu au participat la săvârșirea acestei infracțiuni a fost pusă la răspundere penală pentru comiterea ei. În consecință, niciunul dintre membrii familiei lui Petrova nu a fost judecat pentru comiterea acestei infracțiuni.
4. "Dacă a murit Socrate, atunci a murit sau când a trăit sau când a murit. Dacă ar trăi, nu a murit, pentru că unul și același om ar fi trăit și ar fi murit; dar nu și când a murit, pentru că ar fi fost de două ori mort. Prin urmare, Socrate nu este mort "(Empiricus Sextus, Lucrări în 2 volume, M. 1976, vol. 2, p. 289).
5. Toate metalele sunt substanțe conducătoare de căldură. Toate metalele sunt substanțe conductive din punct de vedere electric. În consecință, toate substanțele conductive din punct de vedere electric sunt conductoare termice.