Logic ca știință

Logica formală este știința legilor și a formelor de construcție corespunzătoare gândit.

Logica formală studiază legile și reglementările, care face obiectul gândirii umane în procesul de învățare adevărul ei. În logica formală, problema include studiul de ce gândirea noastră ia forma concepte, judecăți, deducții cum au evoluat aceste forme logice în procesul de a deveni un om și gândirea sa, care a reprezentat ele sunt în dezvoltarea timpurie a gândire etape ca functia cognitiva este realizată de fiecare formă logică. forme de relație de gândire și așa mai departe .. Acestea și alte probleme legate de natura și esența formelor logice de gândire, descoperă logica dialectică. Logica formală explorează, de asemenea, doar un singur mod de gândire - structura sa. Acest lucru îl diferențiază de orice altă știință care studiază gândirea umană.

Logica formală explorează modalități de gândire ca o formă de joc în ceea ce privește calitatea permanentă a anumitor obiecte și fenomene, legături stabile și relații. Ea studiază structura formelor predominante finite de gândire, cu plecare de la procesul de formare și dezvoltare a acestora.

Logic nu a fost niciodată neutră în lupta filosofică. Logica a fost întotdeauna (și încă este) o mulțime de diferite școli și curenți.

Conform obiectivelor sale, în relația sa cu alte științe, logica formală este știința filozofiei.

Ca o știință independentă a logicii dezvoltate în IV. BC. e. fondatorul ei a fost filosoful grec Aristotel (384- 322 ani. î.Hr. e.), care a fost primul, o hotărâre de clasificare semnificativă cercetate și descrise principalele forme de motivare (în special deducere) și probele au relevat esența legilor de identitate, contradicție și mijloc exclus . În istoria filosofiei antice, Aristotel mai întâi face o persoană a vizualiza obiectul unui studiu special. Logica lui - știința concludenței mijloacelor justifică adevărul.

În antichitate silogistic lui Aristotel a fost dezvoltat în continuare de stoici. În logica stoicilor, o mare atenție a fost acordată teoria raționamentului și a distribuției condiționată.

În Evul Mediu sa format logica scolastică. gînditori medievale a continuat tendința în formalizarea silogismului aristotelic. Logica scolastică a dezvoltat mai departe ideea logicii propozițiilor invocate de logica stoic. Dar logica scolastică, în unele privințe, și a fost un pas înapoi în logica veche. În logica lui Aristotel era o armă a lumii cunoașterii. Medieval scolastică aceeași logică subordonată sarcina teologiei și religiei. Scopul principal al logicii nu a văzut pentru a înțelege lumea, ci pentru a proteja ideologia oficială a bisericii prin trucuri artificiale, formal-logice.

Dezvoltarea în continuare a logicii asociate cu apariția feudalismului în adâncurile relațiilor sociale capitaliste, dezvoltarea științei cercetării, tehnologiei, experiment științific și cunoștințele științifice în general. Un rol deosebit în dezvoltarea acestei perioade logica gânditorii remarcabile, cum ar fi filozoful englez Bacon (1561-1626), omul de știință francez Descartes (1596-1650), matematician german Leibniz (1646-1716) și altele.

Fondatorul engleza materialismului Bacon sa opus ireconciliabil scolastica medievală ca un obstacol major în cunoașterea naturii. El a susținut că scolastică rodnică în cuvinte, dar stearpă de afaceri și nu a dat nimic lumii „cu excepția litigiilor ciulin. În lucrarea sa principală“ Noul Organon „Bacon a pus bazele logicii inductivă. Având în vedere că sarcina imediată a cunoștințelor este, descoperirea legăturilor cauze svya obiecte și fenomenele realității, el a dezvoltat metode pentru determinarea relațiilor cauzale dintre fenomene. dezvoltarea acestor metode de inducere științifice a fost propus ulterior de Herschel, Whewell și John. Art. Mill.

Rene Dekart, recunoscând scolastică medievală și logica scolastică, urmat de Bacon a anunțat crearea unei astfel de filozofie și logică, care ar servi drept practică, întărind dominația omului asupra naturii. La fel ca Bacon, Descartes a văzut principala problemă în crearea metodei științifice. Dar dacă Bacon ca metodă de cunoaștere experimentală a dat prioritate de inducție, Descartes, pe baza datelor de matematică preferate deducere. Urmașii lui Descartes Arno A. și P. Nicole în 1662 a fost scris un manual pe logica - „Logica, sau arta gândirii“, cunoscut sub numele de „Logica Port-Royal,“, în care sarcina a fost de a elibera logica lui Aristotel de distorsiunile scolastice. „Logica Port-Royal“ pentru o lungă perioadă de timp considerată a fi principala orientarea cu logica formala.

Un pas important în dezvoltarea ideilor matematice (simbolic) logica a făcut Leibniz. Aplicând logica metodei matematice, el a încercat să construiască logica ca un calcul matematic ( „caracteristică universală“). Leibniz folosit pentru prima dată simboluri pentru a indica constantele logice (simboluri pentru variabile au fost introduse de Aristotel), a început dezvoltarea principiilor de construcție a teoriilor deductive, el a dat prima declarație clară a legii rațiunii suficiente.

rol important în justificarea punctul de vedere materialist logicii aparține M. V. Lomonosovu, A. N. Radischevu, AI Herzen, I. M. Sechenova, K. A. Timiryazeva și alții. Problemă logică dezvoltată și cunoscută de logicieni ca M. Korinskaya L. Rutkowski.

La mijlocul secolului al XIX-lea. a existat o matematică (simbolic) logica. După cum sa menționat deja, bazele logicii matematice a fost pus de Leibniz, și un număr de idei de logică matematică a apărut în scolastica medievală și chiar în logica vechilor stoici. Dar Leibniz nu a plecat pe cont propriu de școală, iar ideile sale au fost în curând zabuti2. Prin urmare, apariția logicii matematice ca știință asociată cu scrierile lui matematician britanic John. Boole (1815-1854), matematician german și logician E. Schroeder (1841-1902), astronom și logica P. S. Poretskogo (1846- 1907), și altele. Oamenii de știință .

distinge următoarele perioade din istoria logicii matematice. Punct de vedere istoric, prima formă de logică matematică a fost o perioadă de algebra logicii (J. Buhl, E. Schroeder, P. Poretsky). Această perioadă se caracterizează prin adaptarea metodelor la logica matematică. A doua perioadă începe odată cu apariția forței de muncă Frege (1848-1925) „Calculul conceptelor“ (1870) și se caracterizează prin folosirea logicii pentru a justifica matematica in sine. A treia perioadă - o perioadă de dezvoltare a logicii matematice moderne. Acesta este asociat cu apariția în trei volume A. Russell și Whitehead "Principia Mathematica" (1910-1913), matematician german D. Hilbert (1862- 1943) "Principalele caracteristici ale logicii teoretice" (1928), scrierile lui K. Gödel și. Turarea E. Post, Peter R., A. N. Kolmogorova, P. S. Novikova, A. A. Markova, S. M. Yanovskoy și altele.

Logic a apărut ca o logică formală tradițională de ramură, dezvoltat în conformitate cu nevoile de matematică. Comparativ cu tradiționale logica (aristotelică), logica matematică a atins cel mai înalt grad de abstractizare și de formalizare, astfel încât acesta să reflecte zona studiată le mai adecvat și cu acuratețe. Pe baza realizărilor logicii matematice, există un mare potențial de mecanizare a aspectelor individuale ale activității umane avute în vedere.