Sub logica intuitivă, de obicei, se referă la noțiunea intuitivă de corectitudine de raționament, dezvoltat în mod spontan în cursul practicii de zi cu zi de gândire. Logica intuitivă, de regulă, face față cu succes problemele vieții de zi cu zi, dar nu este suficient pentru a critica raționamentul greșit.
Exemplu. Sunt motivele pentru care oamenii atunci când spune: „Dacă bariu de metal a fost, el ar conduce un curent electric; bariu conduce curentul electric; prin urmare, de metal?“. Cel mai adesea pe baza intuiției logice spune: dreapta, din metal de bariu, și conduce curentul. Acest răspuns, cu toate acestea, este incorectă. In timp ce toate cele trei declarații sunt incluse în argumentul sunt adevărate, nu există nici o legătură logică între ele. Raționamentul este construit pe sistemul greșit: „Dacă aveți primul, adică al doilea; a doua este; atunci nu este primul. " Un astfel de sistem de ipoteze reale pot duce nu numai la adevărat, dar, de asemenea, la o concluzie falsă, aceasta nu garantează o nouă adevăruri disponibile.
Exemplu. În argumentul „Dacă o persoană are febră, el a fost bolnav; omul este bolnav; Prin urmare, aceasta febra „, ambele parcele pot fi adevărate și concluzia falsă că apar multe boli, fără a ridica temperatura.
corectitudinea logică depinde revendicările metoda de comunicare. Ea nu depinde de raționamentul adevărat utilizat în parcelă sau nu.
exemple simple arată că logica îmbrățișat de spontan, chiar și în situații normale, se pot dovedi nesigure.
Îndemânare gândire corectă nu implică cunoștințe teoretice și abilități pentru a explica de ce se face ceva în acest fel și nu altfel. În plus, logica intuitivă în sine, ca regulă, este lipsit de apărare în fața criticii.
Logica tradițională și modernă
În istoria logicii, două etape principale se disting clar. Primul - de la logica greacă la apariția în a doua jumătate a secolului al XIX-lea al logicii moderne. Al doilea - din acel moment până în prezent.
Primul pas este de obicei numit logica convențională. Logica formală a evoluat foarte lent. Discutat emite puține diferea de problemele ridicate de Aristotel. Acest lucru a dat naștere la Kant la concluzia că logica formală este o știință completă, nu a trecut de la Aristotel un singur pas.
Kant nu a observat că încă din secolul al XVII-lea a început să se maturizeze condițiile pentru revoluția științifică în logica. Acesta este momentul pentru a obține o expresie clară a ideii de a prezenta dovezi privind modul de calcul, aceste calcule în matematică.
Această idee este asociată în principal cu numele lui Leibniz. Potrivit lui Leibniz, calculul sumei sau a diferenței de numere se bazează pe reguli simple, luându-se în considerare numai sub formă de numere, mai degrabă decât sensul lor. Rezultatul calculului este predeterminat în mod unic de aceste norme nu permit discrepanțe, și nu poate fi contestată. Leibniz visat un moment în care o concluzie va fi transformată în calcul. Atunci când se întâmplă acest lucru, dezbaterea dintre filosofii devin imposibile. În schimb, ei iau disputa în mâinile de pene și să spună: „Să calculăm.“ ideile lui Leibniz nu au un impact semnificativ asupra contemporanilor săi. dezvoltarea viguroasă a logicii a început abia în secolul al XIX-lea.
matematician german și logician Gottlob Frege (1848 - 1925), în lucrarea sa a început să se aplice logicii formale pentru studiul fundamentelor matematicii. Frege a fost convins că „aritmetica face parte din logica și nu ar trebui să împrumute nici experiența, nici contemplarea nici o justificare.“ Încercarea de a reduce matematica la logica, el a reconstruit logica. Teoria lui Frege logică - Vestitorul toate teoriile actuale ale raționamentului corect.
Ideea reducerii întregii matematicii pure logicii a fost preluat de un logician englez și filozof Bertrand Russell (1872-1970). Dar dezvoltarea ulterioară a logicii arătat imposibilitatea acestei tentative. Aceasta a condus, cu toate acestea, la o gamă largă de metode de penetrare matematică roditoare în logică.
Logica modernă este adesea numit matematic, subliniind astfel originalitatea noii metode, în comparație cu utilizate anterior în logica tradițională. Una dintre trăsăturile caracteristice ale acestor metode - utilizarea pe scară largă a unei varietăți de simboluri în loc de cuvinte și expresii ale limbajului obișnuit. Simbolurile sunt utilizate în unele cazuri, Aristotel, și apoi toate logica ulterioare. Cu toate acestea, din a doua jumătate a secolului al XIX-lea în utilizarea simbolurilor calitativ nou pas a fost făcut. În logica au fost utilizate limbi construite special care conțin numai caractere speciale și nu includ un singur cuvânt de limbă vorbită.
Utilizarea pe scară largă a mijloacelor simbolice a stat la baza a ceea ce a devenit cunoscut sub numele de noua logică simbolică. „Logica matematică“ și „logica simbolică“ Numele înseamnă același lucru - o logică formală modernă. Acesta este angajat în aceleași lucruri ca fiind implicate întotdeauna în logica - studiul căilor corecte de raționament.