Probleme logice separate au apărut și au fost discutate în urmă cu aproximativ 2500 ani. - În primul rând, în India antică și China antică. Apoi, ei obține o dezvoltare mai completă în Grecia antică și Roma. Treptat, ele formează un sistem armonios, executat ca o știință independentă.
Fiind născut în lupta cu mitologia și religia, știința se bazează pe gândirea teoretică, care presupune umozaklyu-cheniya și probe. De aici - nevoia de cercetare în natura în sine au considerat ca o formă de cunoaștere.
Dezvoltarea logicii a stimulat dezvoltarea oratoriei, inclusiv instanța, care a înflorit sub democrația greacă și romană veche.
Logic a apărut ca dorința de a înțelege și de a arăta ce proprietăți trebuie să-l aibă, în scopul de a convinge publicul și, în același timp, forțându-le la ceva sau nu sunt de acord să recunoască faptul că ceva este adevărat sau fals.
Fondatorul logicii formale este un vechi om de știință grec și filosof Aristotel (384-322 ien. E.), care a dat prima logica de prezentare sistematică. Logica lui Aristotel și toate logica domatematicheskuyu este de obicei numit logica „tradiționale“ formale. Aceasta este prima etapă de dezvoltare a științei logicii. Logica formală tradițională este inclus și include subiecte cum ar fi conceptul, judecată, raționament, legile logicii, dovada si respingere a ipotezei. Aristotel a văzut în logica unui instrument (sau metoda) a studiului. În logica lui Aristotel conține elementele matematice (somvolicheskoy) logica.
Sofiști, Protagoras, și printre ei, a început să trateze dialecticii ca arta de a conversa, dezbatere. Pitagora a învățat că fiecare subiect care este posibil să se argumenteze și același lucru să fie negat. Aceste idei izla-gayutsya filozof „Antilogii“, cunoscut la noi doar prin pre-Niyama. Potrivit sofiști, în fiecare declarație este adevărul, iar noi doar trebuie să fie capabil să-l justifice. Un adevăr absolut nu este existent-există, și există doar un set de opinii de încredere, tot adevărul este relativ: „Omul este măsura tuturor lucrurilor.“ Prin Protagoras în cunoașterea obiect al „material fluid“ sunt opuse „logos“; realitatea este schimbătoare și inconsecventă; toată lumea știe ce i se potrivește ca subiect cunoscător, așa că servește ca o măsură, criteriul tuturor lucrurilor, Protagoras a fost faimos ca un maestru al dispute salariale, care chiar și dedicat una dintre lucrările sale - „Arta litigiului“ Gnosseologicheskimi condiții preliminare discuții, apariția unor diferite, uneori opuse, opinii Protagoras a crezut că diferența de experiență de viață a subiectului cunoașterii, complexitatea și diversitatea obiectelor cunoașterii, dezvoltarea unor fenomene contradictorii și cunoașterea cursului și caracteristicile subiective ale simțurilor și condiționarea socială a procesului de cunoaștere. Cuvântul „Sofistul“, derivat din greaca veche „Sophos“ - salvie, ulterior, ca urmare a unei critici unilaterale a sofiști de Platon, dobândește un sens negativ. Prin urmare, este necesar să se facă distincția sofiști vechi de astăzi. „O trăsătură caracteristică a sofistică antice Sophistry moderne a fost utilizarea de ea concepte de flexibilitate subiective si obiective.“
Fiind o generalizare gigant a practicii anterioare de gândire, logica lui Aristotel a avut o influență puternică asupra dezvoltării ulterioare și, mai presus de acest lucru pe cunoștințele științifice, precum și cu privire la dezvoltarea oratoriei, în special discursuri judiciare.
Important a fost logica stoică (școala veche de filosofie, III, c. BC). logica stoică este un prim proiect al așa-numitei logica propozițiilor. „Acest lucru înseamnă că, în cazul în care Aristotel echivalent cu termenul“ silogism sunt nume ale elementelor individuale ( „substanțe“), aproximativ în logica stoică este efectua judecata detaliată „propunere“), indicând sensul de situații sau fapte desfășurate.
În Evul Mediu un mare protest public a primit problema conceptelor generale - „universalii“ Controversa despre ele între realiști și Nominaliștii întinse timp de secole. În Evul Mediu dezvoltat logica dispută. logica utilizată metoda scolastică discuție propusă de P. Abelard în „Pro și Contra“. Esența ei este după cum urmează. Orice text transformat într-un obiect de dezbatere. Prima parte a discuției a fost justificarea „începuturi“ ( „da“); al doilea - în negarea lor ( „Nu“); a treia - clash „da“ și „nu“, urmată de celebrarea „da“. Această tehnică a fost distribuit ulterior în domeniul cercetării științifice.
În Renaștere, logica trece printr-o criză reală. Ea a fost privită ca o logică „gândire artificială“, bazată pe credința că se opune modul natural de gândire, bazată pe intuiție și imaginație.
O nouă etapă, mai mare în dezvoltarea logicii începe cu secolul al XVII-lea. Acesta este asociat cu crearea în cadrul acesteia, împreună cu logica deductivă, logica inductivă. Acesta reflectă diversele procese pentru producerea de cunoștințe comune bazate pe acumularea din ce în ce date empirice. Necesitatea de a obține și cunoștințe de studiu metoda inductivă a pledat eminent filosof engleză și om de știință Frensis Bekon (1561-1626). El a devenit fondatorul logicii inductive, scrise în opoziție cu vechea „Organon“ a lui Aristotel „Noul Organon. “.
Logica inductivă a fost ulterior codificată și dezvoltată de filosoful englez și om de știință John Stuart Mill (1806-1873).
Nevoile cunoștințelor științifice nu numai în inducerea, dar, de asemenea, în metoda deductivă în secolul al XVII-lea. intrupat pe deplin filosoful francez și om de știință Rene Dekart (1596-1650). În lucrarea sa „Discurs asupra metodei.“ Majore Pe baza datelor de mai sus toate matematică, el subliniază importanța unei deduceri raționale.
A doua fază - un aspect matematic (sau simbolic) logica în a doua jumătate a secolului al XlX-lea.
Dezvoltarea matematicii și penetrarea metodelor matematice în alte științe, în a doua jumătate a secolului al XVII-lea. logica de aplicare extrem de avansată pentru dezvoltarea a fundamentelor teoretice ale matematicii și matematizarea logicii în sine ca știință. Cea mai profundă și fructuoasă încercarea de a rezolva problemele de îmbarcare angajat cel mai mare filozof și matematician german Leibniz (1646-1716).
ideile lui Leibniz au fost unele evoluții în secolul al XVIII-lea. și prima jumătate a secolului al XIX-lea. filozof german, este considerat a fi fondatorul logicii matematice (simbolic). Începând cu Leibniz, în logica utilizată ca metodă pentru a studia metoda formalizare. În secolul al XIX-lea. Logica matematică a primit de dezvoltare intensivă, în lucrările lui Boole, E. Schroeder, P. S. Poretskogo, Frege și alte logicieni.
Matematică (sau simbolică) logica studiază conexiunile și relațiile logice care stau la baza deductiv ieșire (logic). În logica matematică pentru detectarea structurii de ieșire construite diferite calcule logice calcul în primul rând propozițiilor și calculul predicatelor în diversele lor modificări. Dezvoltarea și aplicarea așa-numita limbaj formal - limbajul simbolurilor, a determinat numele logicii moderne - „simbolic“
Nevoile tot mai mari ale progresului științific și tehnologic sunt responsabile pentru dezvoltarea intensivă în continuare a logicii moderne.
Aristotel și a încercat să rezolve o serie de probleme fundamentale ale logicii dialectice. Elemente ale logicii dialectice se acumulează treptat în scrierile gânditorilor mai târziu Bacon, Hobbes, Descartes, Leibniz. Cu toate acestea, ca o logică independentă de știință logică dialektiches-kai a început să se contureze abia la sfârșitul XVIII - primele secole XIX.
Primul care a încercat să intre în logica dialectică, a fost un german Philo-Sof Immanuel Kant (1724-1804). Kant credea că logica este „știința, bine prezentate și se dovedește strict nimic, dar regulile formale ale tuturor gândirii.“.
Încercarea de a crea un nou sistem, logica dialectică a întreprins un alt filosof german - Hegel (1770-1831), în lucrarea sa „Știința logicii“.
1. Care sunt cauzele științei logicii.
2. Cine este considerat fondatorul logicii formale?
3. Care este metoda logică de studiu Bacon a considerat știința mai universal?
4. Care este omul de știință din secolul al XVII-lea. El a adus o contribuție semnificativă la dezvoltarea metodei deductiv?
5. Ce este studiaza simbolic logica (matematică)?
6. Cine a introdus în știință noțiunea de „logica formală“?
7. Cine a creat în secolul al XIX-lea. sistemul cel mai dezvoltat al logicii dialectice?