Logica este că o astfel de definiție logică

Gr. logike) - știința metodei probei pro și contra; un set de teorii științifice, fiecare dintre acestea sunt considerate anumite modalități de probă și contraargumente. Aristotel este considerat fondatorul logicii. Se face deosebirea între inductiv și logica deductivă, iar ultimul - clasic, intuiționiste, structural, modal, etc. Toate aceste teorii împărtășesc un angajament față de catalogarea unor astfel de metode de motivare, care din judecățile adevărate, presupuneri duc la o adevărată judecătoriilor consecințe ;. catalogarea se face, de regulă, în calculul logic. Un rol special în accelerarea logicii științifice și tehnologice de aplicare joacă un progres în știința calculatoarelor, teoria automatelor, lingvistică, informatică și altele. A se vedea. Așa cum logica matematică.

↑ definiție excelentă

↓ definiție incompletă

↑ definiție excelentă

↓ definiție incompletă

Gr. logike, de la logikos -Constructia pe raționament) disciplina care studiază formele și legile corecte, adică, poate servi pentru a extinde cunoașterea constructe mentale. De la L. distingerea ca o știință L. comunicare și dinamica logic gândire corectă (gândire L.). Domeniul de aplicare al științifice. LA include, de asemenea, dezvoltarea și cercetarea structurilor iconice (calcul, sisteme formale), luarea în considerare a unor fragmente de realitate (modele), din care proprietățile generale apar gândirea logică și capturate în structurile iconice.

Pornind de la etajul 2. 5. BC. e. L. (dialectică) predate în sofiști grecești. Natura acestei „Societatea de Arta“ poate fi văzut în dialogurile lui Platon, Ch. -Caracter ryh este profesorul lui Socrate. Introdus în „sokratich dialoguri. Metoda „demonstrează în mod clar că filosofia. gândul că timpul confiscat ferm abilitățile logice. definiții și clasificări, precum și probe prin metoda de reducere a absurditatii (rcductio ad absurdum). Instruirea a fost realizat de L. Ch. arr. exemple mostre. Revendicarea de construcție a litigiului inclus alegerea subiectului și capacitatea de a transforma într-un anumit fel, după cum se poate vedea prin sofistich. 5 în manual. BC. e. „discurs dublu“, demonstrează posibilitatea și justificarea respingerii de aceeași teză. Dialectica un roi în cele din urmă a devenit „știința dovedind“ Aristotel a fost o cerere de zi TION de manipulare dispute și discuții, l-au învățat să practice ca o ambarcațiune.

După Aristotel L. a primit dezvoltarea în continuare în școala discipolilor săi (Theophrastus, Eudemus), precum și în filosofie. școală stoică (3-2 cc. î.Hr. e.), a dezvoltat condiționată separarea silogistic și (de exemplu, folosind parcelele care conțin alternative) raționament. Școala stoicii a recunoscut unul dintre L. Ch. părți ale filosofiei, care combină reală logică. probleme cu întrebări de epistemologie și structura limbajului și de vorbire.

Late greacă. Filosofie tradiție. Educația sa bazat pe interpretarea textelor lui Aristotel. Ca medievale. Zap. Europa a ajuns să domine instalarea pe crearea de manuale la rata de șapte arte liberale. L. (ca dialectic), împreună cu gramatica și retorica au intrat trivium - curs de nivel inferior și până la 19 at. A fost parte dintr-o educație clasică. Influența determinantă asupra formării tradiției studiului de L. a tradus în limba latină. lang. "Organon", realizat de Boethius.

În Anglia, sa răspândit pe bază de Bacon direcție inductivist, la Roe în secolul al 19-lea. Ea este încorporată în munca J. S. Mill „sistem și logic inductiv silogistic“ (1843). Cu toate acestea, în cărțile de text în limba engleză L. a expus în mod egal deducere teoria și de inducție (în t. H. Ipoteză și analogia).

În Ser. 19. A început mathematicization L. au fost create logic. calcul, se bucură de specificitate. semna un mijloc (logic. Simbolism). În 1847 lucrările de matematicieni au venit în Anglia George. Boole „Mat. Analiza logicii „și A. de Morgan“ logicii formale „, în a-ryh a găsit prima punere în aplicare reală a Leibniz a prezentat ideea de logică. formalizare: Deducerea și argumente plauzibile (probabilistică) au fost prezentate sub forma unor anumite algebrice. sisteme. Ped. aspect al noii abordări a LA este reflectată în activitatea wonsam SUA-Jae care a construit mecanice. logic. mașină, care a servit pentru a demonstra cel mai simplu raționament și de formare pentru a lucra cu logică. formalism. În lucrările de acolo. logica Frege (19 -... târziu la începutul secolului 20) a fost creat de nou, diferit de algebric, logica formală. limbă, care va îmbogăți în mod semnificativ L. (predicatele L. crearea, adică. e. L. proprietăți și relații). Înțeles Mat. (Simbolice). L. ca o nouă etapă în dezvoltarea științei antice a fost pe deplin realizat după declanșarea travaliului în Anglia, A. N. Uaytheda și B. Russell «Principia Mathematica» (1910-1913) și activitatea Hilbert, publicat în 1900-1920 lui -x. (Germania).

Ca Mat formării. LA a ajuns în decembrie domenii de cunoștințe: în tehnologie, naturi. și umaniste. Acest proces a fost asociat cu expansiunea vnelogich cerc. interpretări (modele) și aplicații logice. estimări, precum și descoperirea unei legături strânse de idei Math. LA și teoria algoritmilor. Matem.-logic. înseamnă dovedit a fi eficace în analiza naturii. și construirea de limbaj și de vorbire fenomene formale limbaj de schemă; acestea au fost folosite în algoritmică. descrierea proceselor de prelucrare a informațiilor în procesele de gândire și de învățare.

La mijloc. 20. Mat. LG este printre elementele necesare pentru cea mai mare. Mat. educație. Odată cu dezvoltarea de Cibernetică și Informatică L. a devenit o componentă esențială a pregătirii unei game largi de specialiști, a deschis multiple posibilități de aplicare a acesteia în PED. practică (a se vedea. algoritmică, informatizarea învățământului).

În secolele 17-18. L. a învățat Ch. arr. ca parte a retoricii ( „Retorica“ M. V. Lomonosova) sau filozofie. Deci, Filosofie. Georgiya Konisskogo curs, predat la Kiev-Mohyla Acad. în secolul al 18-lea. secțiune a deschis L.

Prin con. 19 - mai devreme. secole 20-lea. L. predate în Wed. laic (gramatica) și cont spiritual. instituții, pe toate ip minute ne-ing umanitar. O serie de Patriotic originale. de cercetare cu privire la modul L. Filosofie. (MI Cariană, L. V. Rutkovsky) și Math. orientare (PS Poretsky, EL Bunitsky, IV Sleshinsky, S. O. Shatunovsky), orice abordare care combină filosofia tradițională. instalare cu dorința de a lua în considerare realizarea Math. L. (SI Povarnin, N. A. Vasilev).

După 1917 L. predarea Wed. și mai mare. școală a fost eliminată; formală L. văzută ca o „clasă străin“ știință. Mat. cercetare în domeniul L. (II Zhegalkin, V. I. Glivenko, A. N. Kolmogorov) au fost închise, ca parte a matematicii. AL ca independent. științifice. disciplina practic a încetat să mai existe.

Dezvoltarea Cibernetică și informatică a dus la o schimbare semnificativă în conținut ca filos.-logic și logic-matem .. de cercetare. În 70-80-e. Patriotic. filosofi logica a început să se aplice tehnica de construire și analiză logică. Calculul și logica-matematica pentru a intra în lucrarea sa filozofie. și kibernetich. probleme. cărți și cont publicate. beneficii L. combina Filosofie. și Math. orientare. În prezent zi. L. (Filosofie. Și Math.) Conceptualizat activ PED. aspecte. Ca cont. A devenit subiectul L. Obligatoriu: o componentă de pregătire a specialiștilor în decembrie profile, în Vol. h. în ped. educație. Con. 80s-90s. în Ross. Federația în legătură cu orientarea anumitor tipuri de Wed. Ouch. instituții în clasice. educație (gimnazii, licee) L. reenters cercul învățământului general. discipline.

↑ definiție excelentă