Ja seadused, millele mõtlemine allub.
Loogika ei uuri mitte tegelikkuse konkreetset sisu, vaid mõtteid selle kohta, nende struktuuri, seda, mis on ühist antud tüüpi mõtetele, sõltumata nende konkreetsest sisust. Seetõttu tuleb loogikat õppides, et mõista mõtlemisprotsessi olemust, vormide ja seaduste spetsiifilist sisu, suutma üldistada konkreetseid arutluskäike, oskama opereerida saadud valemite ja diagrammidega. Loogika õppimise põhieesmärk taandub loogikareeglite ja seaduste teadliku rakendamise oskusele reaalses mõtlemisprotsessis.
Loogika on teatud nähtustele omane sisemuster; õige, mõistlik arutluskäik. Erinevatel protsessidel on oma sisemine loogika, sellega seoses räägitakse emotsioonide loogikast, otsuste tegemise loogikast. Samal ajal uurib loogika teadusena, kuidas saab mõnest väitest teisi järeldada. Loogikateadmised võimaldavad meil analüüsida oma arutluskäiku, aitavad määrata nende järjepidevust, järjepidevust, tõendeid ja seeläbi eristada tõeseid väiteid valedest.
Elus ei ole loogika mitte niivõrd mõtlemise reeglid, kuivõrd mõtete vormistamise reeglid teksti kujul.
Kuna sa saad vaadata sama objekti erinevate nurkade alt ja näha erinevaid asju, siis erinevatel viisidel mõistlik põhjendus - palju. Ei ole ühte loogikat, on palju erinevaid loogikaid. On formaalne loogika, on mitteformaalne (elu)loogika, on dialektiline loogika, on naiselik loogika ja on teadusliku tõestuse loogika.
Seega sõnastas John Stuart Mill Milli kaanonid kui "kokkulepitud vaadet tõendamise ja meetodite põhimõtetele teaduslikud uuringud". Nende katsemeetodite "regulatiivsete põhimõtetena" on sõnastatud viis kaanonit (reeglit või seadust): sarnasuse meetod, erinevuse meetod, sarnasuse ja erinevuse kombineeritud meetod, jääkide meetod ja kaasnevate muutuste meetod. Need kaanonid näevad ette meetodid põhjuslike seaduste ja põhjuslike seoste avastamiseks ja tõenduslikuks põhjendamiseks. Vaata →
Kas loogikat tuleks õpetada?
Pärast sõda NSV Liidus õpetati keskkoolides loogikat 10–12 aastat. Huvitav on see, et loogika oli psühholoogiaga samadel aastatel kohustuslik õppeaine: 3. detsembril 1946. aastal võttis üleliidulise bolševike kommunistliku partei keskkomitee oma resolutsioonis „Loogika ja psühholoogia õpetamisest keskkoolis. ” tõdes, et on täiesti ebanormaalne, et keskkoolides loogikat ja psühholoogiat ei õpitud, ning pidas vajalikuks 4 aasta jooksul, alates 1947/48 õppeaastast, nende ainete õpetamine kõigis koolides kasutusele võtta. Nõukogude Liit. 1959. aastal kaotati keskkoolides loogikaõpetus. Aga asjata. Huvilistele on siin link Vinogradovi kuulsale loogikaõpikule aastast 1954.
Samal ajal on oluline mõista, et loogika ei ole ratsionaalsuse sünonüüm: loogilised inimesed ei tee mõnikord kõige mõistlikumaid asju, kui nad ei suuda olukorda piisavalt laialt vaadata või nad ei suuda tuvastada kõike, mis on oluline ja oluline. juhtub. Elukogemust ja haridust omandades valdavad inimesed nii või teisiti loogikat, kuid nad ei kasuta seda alati ja nende loogika ei tõuse alati tarkuse tasemele.
Inimene õpib igapäevaelus ja kutsetegevuses pidevalt tundma teda ümbritsevat maailma, iseennast ja ümbritsevaid inimesi, omandades erinevaid teadmisi.
Teadmised - see on teave, subjekti poolt saadud teave, mille alusel ta töötleb isiklik kogemus või sotsiaalse praktikaga ja teenindavad teda tema kognitiiv-transformatiivse tegevuse regulaatoritena.
Subjekt teeb seda sensoorse tunnetuse ja abstraktse mõtlemise kaudu. Sensoorse peegelduse (aistingud, tajud, ideed) kaudu, mis põhineb vaimsetel protsessidel, tunneb inimene üksikuid objekte ja nende omadusi.
Tunne - lihtsaim vaimne protsess, mis peegeldab objektide individuaalseid omadusi ja keha sisemisi seisundeid, mis tekivad siis otsene mõju materiaalsed stiimulid meeltele.
Teave “Teema”, “Kategooriate”, “Keeruliste argumentide ümberlükkamise kohta”, “Tõlgenduse kohta”. Bütsantsi loogikud ühendasid kõik loetletud Aristotelese teosed üldnimetuse "Organon" (teadmiste instrument) alla. - cm: Aristoteles. Op. T. 2. M., 1978.
Taju - See on protsess, mis peegeldab objektiivse maailma objekte ja nähtusi, mis praegu inimanalüsaatoreid mõjutavad.
Jõudlus - See on objektide ja nähtuste (või nende individuaalsete omaduste) visuaalse ja üldistatud peegelduse protsess, mis praegu meie meeli ei mõjuta.
Sensoorne refleksioon on abstraktse mõtlemise alus, mis võimaldab meil mõista maailma seadusi ja objektide olemust. Abstraktne ehk ratsionaalne mõtlemine peegeldab maailma ja selle protsesse sügavamalt ja täielikumalt kui sensoorne mõtlemine.
Inimesed mõtlevad alati, püüdes oma olemasolevatest teadmistest uusi ammutada. Sel viisil saadud teadmisi nimetatakse järeldusteks. Järelduste teadmiste genereerimise protsess järgib loomulikult teatud loogilisi seadusi.
Loogika põhieesmärk on just konkreetsete vaimsete seaduste uurimine ja järeldusteadmiste saamise reeglite väljatöötamine.
Järelikult on loogika kui teaduse objektiks inimese mõtlemine.
Kuid mõtlemine on keeruline, mitmetahuline protsess, maailma teadmiste kõrgeim vorm, mis on omane ainult inimesele. Ja mitte kõiki ei huvita siin loogika. Filosoofia uurib mõtlemise olemust, selle päritolu, suhet maailmaga ja kognitiivseid võimeid. Füsioloogia huvitab, kuidas mõtlemine sõltub aju seisundist, mõtte materiaalsest substraadist. Psühholoogia uurib mõtlemise optimaalse arengu ja toimimise tingimusi, sotsiaalpsühholoogilise keskkonna ja tunnete mõju sellele. Geneetika püüab paljastada laste saladusi, mis pärivad oma vanematelt igasuguse tegevuse jaoks võimed. Küberneetikateadlased uurivad tehnilisi võimalusi inimese mõtlemise modelleerimiseks arvutis paindliku tagasisidega.
Loogika mõtete sisusse ei süvene, kuna on ilmne, et selles parameetris erinevad matemaatiku mõtted bioloogi omast, muusik mõtleb hoopis teistsugusest kui kohtunikust, teadlane kasutab uurimistöös mõisteid ja termineid. mida igapäevases mõtlemises ja keeles üldse ei kasutata. Ja millest saab inimene rääkida!
Paljudes sisult täiesti erinevas mõttes võib aga leida midagi sisuliselt ühist. See on nende struktuur või kuju. Loogika, uurides mõtete struktuuri nende konkreetsest sisust abstraktselt, kehtestab seadused ja arutlusreeglid, mis viivad ühest tõesest väitest teise. Peamised tüübid vormid milles mõtteid väljendatakse, on: mõiste, otsustus, teooria jne. Teadmiste arendamise peamised vormid on järgmised: järeldus, hüpotees, lahendus, versioon, ülesanne, probleem ja jne.
Mõtlemisele on iseloomulik tõsiasi, et tegelikkuse tundmine ja teadmiste arendamine toimub üldistatult, kaudselt.
Üldistatud, sest mõtetes ja kontseptsioonides peegeldab inimene teda huvitavate objektide ja nähtuste aspekte, abstraheerides muust ning meie mõisted ei peegelda mitte ainult antud üksiku objekti ja nähtuse märke, vaid ka paljudele omaseid sisu märke. antud klassi objektid ja nähtused. Seega, kui kasutame mõistet “kohtunik”, peame silmas tervet klassi kohtusüsteemi esindajaid. Näiteks mitte ainult Vene Föderatsiooni Konstitutsioonikohtu konkreetne esimees, vaid ka mineviku, oleviku ja tuleviku kohtunike üldised omadused.
Kaudselt, sest mõtlemine võimaldab saada uusi teadmisi maailma kohta, mitte iga kord otseselt kogemuse poole pöördudes, vaid varasematele teadmistele toetudes. Kui teame kindlalt, et kohtusüsteem kaitseb alati kodanike õigusi, siis seda mõtet esialgse otsusena kasutades saame uue tõese väite: „Kohtud Venemaa Föderatsioon kaitsta ka Venemaa kodanike õigusi.
Loogika põhieesmärk on just konkreetsete mõtlemise seaduste uurimine, mitte ainult tõeliste järeldusteadmiste saamise reeglite väljatöötamine, vaid ka selle protsessi elluviimise viiside, vahendite ja vormide kindlaksmääramine.
Seega saame loogikat määratleda kui teadust.
Loogika(kreeka keelest Aouo
Loogika kui teaduse teema on need on mõtlemise vormid ja vahendid, õige mõtlemise ja järeldusteadmiste saamise seadused, aga ka arutlusmeetodid ning tõeste järelduste, üldistuste, soovituste ja otsuste formuleerimine.
Loogikat nimetatakse mõnikord ka õige mõtlemise teaduseks. Sellel loogikamääratlusel, kuigi see on ebamäärane, on alust. Tõepoolest, kui nad tahavad kontrollida mis tahes arutluskäigu õigsust, pöörduvad nad loogikaseaduste ja reeglite poole. Loogika aitab meil mõelda nii, et jõuda tõeste järeldusteni.
Kuna loogika kitsamas mõttes huvitab kuju konstrueerides mõtteid ja on hajutatud neis sisalduvast spetsiifilisest informatsioonist, nimetatakse seda ametlik loogika.
Mõtete konkreetselt sisult tähelepanu hajutades ei jäta loogika tähelepanuta küsimust, kas väited, millega me mõtlemisel tegutseme, on tõesed või valed. Sõltuvalt sellest, kas algsed väited on tõesed või valed, võib väljund olla tõene või väär. Seetõttu peab loogika, et olla tõe avastamise vahend, tuginedes mõtlemise formaalsete struktuuride uurimisele, kehtestama tõeste ja valede hinnangute vahelise sõltuvuse seadused.
Näiteks kaks järgmist ettepanekut:
"Cato vanem rääkis vajadusest hävitada Kartaago" ja "Plevako - kaval advokaat" - ei ole sama sisuga, kuid neil on sama loogiline struktuur. Esimeses ja teises kohtuotsuses omistatakse mõtteobjekt mingisugune teatud vara. Skemaatiliselt näeb see välja järgmine: S on P, kus: S on mõtlemise subjekt; (alates lat. subjektum- subjekt, väites-otsuses - loogiline subjekt); P - omadus, mis sellele objektile omistatakse; (alates lat. proedicatum - avalduses-otsuses öeldu on predikaat).
Oma järelduse põhjendamiseks kaaluge veel kahte argumenti: "Kõik astronaudid on julged inimesed. G. Titov – kosmonaut. Järelikult on G. Titov julge mees“ ja „Kõik esmakursuslased Vene akadeemia justiitsõppe loogika. Tanya Petrova õpib Venemaa Justiitsakadeemias esimesel kursusel. Seega
Tanya Petrova õpib loogikat." Nende argumentide sisu on erinev, kuid loogiline struktuur (vorm) on sama. Loogikas kirjutatakse see sageli nii:
Propositsioonid “M on P” ja “S on M” on omavahel seotud ühise terminiga “M” (täht “M” tähistab mõistet, millel on esimeses ja teises väites sama sisu. Seda nimetatakse keskmine tähtaeg (alates lat. keskmine- keskmine)) ja tänu sellele on võimalik järeldus: "S on P."
Selgub, et formaalne loogika ehk loogika kitsamas tähenduses on seoste teadus, mis tekivad mis tahes lause tõesuse ja vääruse vahel nende vormi poolest, struktuurid, eriti seoses mõne teiste lausete järgnevate seostega.
Loogika ajalugu ulatub enam kui 2,5 tuhande aasta taha ja jaguneb kaheks põhietapiks. Esimene sai alguse Aristotelese töödest ja jätkus 20. sajandi alguseni. Teine on sellest ajast tänapäevani. Kõiki silmapaistvaid mõtlejaid, kes loogikat arendasid, on peaaegu võimatu loetleda. Sellele küsimusele tuleks pühendada spetsiaalne kursus. Samas tuleks tähelepanu pöörata sellele, et juba sisse Vana-Kreeka“Stoilise” koolkonna (Chrinsii) esindajad pöörasid suurt tähelepanu loogikale. Keskaja loogilise kultuuri üks silmapaistvamaid isiksusi on I. D. Scot. F. Bacon andis olulise panuse formaalse loogika kui teaduse arengusse. Ta pani aluse loogilisele induktsiooniõpetusele, mille eesmärk on vaatluste ja katsete abil avastada põhjuslikke seoseid ümbritseva maailma nähtuste vahel. J. S. Mill töötas välja teadusliku induktsiooni meetodid, mis põhinesid põhjuslike seoste tuvastamisel. G. Leibniz põhjendas ideed võimalusest esitada tõend matemaatilise arvutusena. D. Boole tõlgendas järeldust loogiliste võrduste lahendamise tulemusena. G. Frege kasutas matemaatika aluste uurimiseks loogikat. Olulise panuse loogika arendamisse andsid hiljem B. Bolzano, O. De Morgan, W. S. Jevons, C. S. Pierce, E. Schroeder jt.
20. sajandi algus tähistab omamoodi revolutsiooni loogikas. Fundamentaalsed tulemused said K. Gödel, D. Gilbert, B. Racel, A. Tarski, A. N. Whitehead, A. Church jt.
Loogika arengusse andsid suure panuse ka meie kaasmaalased. Loogiliste ideede areng Venemaal on seotud hiilgava nimede konstellatsiooniga: need on vennad Lihhud, M. V. Lomonosov, P. S. Poretski, N. A. Vassiljev, A. A. Markovi poeg jne. Viimastel aastakümnetel on palju ära tehtud tänapäeva arendamiseks. koolitus loogikuid valmistasid A. P. Aleksejev, L. B. Bazhenov, V. A. Botšarov, E. K. Voišvillo, A. D. Getmanova, D. P. Gorsky, A. A. Ivin, Yu. V. Ivlev, V. I. Kirillov, S. A. Lebedev, V. I. I. Markin, P. Ruuza, A. S. Sergeitš, V. I. Svintsov, A. A. Startšenko, M. K. Treušnikov, A. I. Uemov jne.
- Vastupidiselt dialektilisele loogikale, mis teatud mõttes langeb kokku teadmisteooriaga.
Loogika on mõtlemise teadus. Teaduse rajaja Aristoteles.
Loogika– teadus inimmõtlemise seaduste ja vormide kohta, mida peetakse ümbritseva reaalsuse mõistmise vahendiks.
Loogika teema selgitamiseks võite kasutada mitut meetodit, millest igaüks annab konkreetse tulemuse. Esimene meetod– etümoloogiline. See seisneb selles, et on vaja selgitada selle teaduse nimetamiseks kasutatava sõna tähendust. Mõiste "loogika" pärineb vanakreeka sõnast "logos", mis tähendab sõna, mõtet, mõistet, arutluskäiku ja seadust. Sõna “loogika” etümoloogia näitab, et tegemist on inimmõtlemisega seotud teadusega, mis põhjendab arutluskäiku põhimõtete abil, mida hiljem hakati nimetama loogilisteks seadusteks. Selle meetodi puuduseks on sõna "loogika" mitmetähenduslikkus. Igapäevaelus, populaarses, üldteaduslikus ja filosoofilises kirjanduses kasutatakse seda sõna väga erinevates tähendustes. Hinnanguid “loogiline” ja “ebaloogiline” saab kasutada inimtegevuse iseloomustamiseks, sündmuste hindamiseks jne. Teine meetod– referents ja akadeemiline. See seisneb selles, et me otsime vastust ühele küsimusele sõnastikest ja entsüklopeediatest. Enamikus sõnaraamatutes ja õpikutes defineeritakse loogikat kui teadust õige mõtlemise seadustest ja vormidest ning selle teaduse teema on inimese mõtlemine. Loogika ei arvesta aga mitte ainult õiget mõtlemist, vaid ka mõtlemisprotsessi käigus tekkivaid vigu: paradokse jne.
Loogika teema- inimese mõtlemine. Mõiste “mõtlemine” ise on üsna lai ja ei võimalda määrata loogika spetsiifikat teiste teaduste suhtes.
Loogiline väärtus on järgmine:
1) loogika on kõige olulisem vahend uskumuste (eeskätt teaduslike) kujundamisel.
2) teaduses ja tehnikas kasutatakse formaalset loogikat.
3) traditsiooniline formaalne loogika jääb kõige olulisemaks tööriistaks kõigi haridusliikide valdkonnas. See on aluseks igat tüüpi teadmiste organiseerimisele nende esitamiseks õppeprotsessis;
4) loogika on kultuuri arengu olulisim ja asendamatum tööriist. Ükski kultuuritegevus üldiselt ei saa läbi ilma loogikata, kuna ratsionaalsed elemendid on olemas ja mängivad selles olulist rolli.
2. Mõtlemise vormid
Mõtlemise vormid on: mõiste, otsustus, järeldus.
Mõtlemine algab maailma sensoorsete teadmiste vormidest – aistingutest, tajumisest, kujutamisest.
Mõtlemine– see on eksistentsi kõrgeim peegeldus sensoorse vormi suhtes.
Kontseptsioon- see on loogiline mõte mis tahes objekti kohta, millel on määratletud oluliste tunnuste kogum.
Kohtuotsus – See on mõtlemisvorm, mille puhul midagi kinnitatakse või eitatakse ümbritseva maailma, objektide, nähtuste, aga ka nendevaheliste suhete ja seoste kohta.
Järeldus on abstraktse mõtlemise vorm, mille kaudu saadakse uut teavet varem olemasolevast teabest. Sel juhul meeli ei kaasata, st. kogu järeldusprotsess toimub mõtlemise tasandil ja on hetkel sõltumatu väljastpoolt saadavast informatsioonist.
LOOGIKA KUI TEADUS
1. Loogika aine
2. Loogika tekkimine ja areng
3. Loogika keel
4. Mõtlemise vormid ja seadused
1. Loogika teema
Märksõnad: loogika, mõtlemine, sensoorne tunnetus, abstraktne mõtlemine.
Loogika (kreeka keeles: logos – sõna, mõiste, põhjus) on teadus õige mõtlemise vormidest ja seadustest. Mõtlemise mehhanismi uurivad mitmed teadused: psühholoogia, epistemoloogia, küberneetika jne. Teadusliku loogilise analüüsi teemaks on mõtlemise vormid, tehnikad ja seadused, mille abil inimene tunneb. maailm ja mina ise. Mõtlemine on reaalsuse kaudse peegeldamise protsess ideaalkujutiste kujul.
Mõtlemise vormid ja tehnikad, mis aitavad kaasa tõe tundmisele. Inimene omandab teadmised maailma nähtuste kohta aktiivse, sihipärase tunnetuse käigus: subjekt - inimese objektiline interaktsioon reaalsuse fragmentidega. Tunnetust esindavad mitmed tasandid, hulk vorme ja võtteid, mis viivad uurija õigete järeldusteni, kui esialgsete teadmiste tõesus eeldab järelduste tõesust.
Teame, et esimene tase on sensoorsed teadmised. See viiakse läbi meelte, nende mõistmise ja sünteesi põhjal. Tuletagem meelde sensoorsete teadmiste peamisi vorme:
1) sensatsioon;
2) taju;
3) esitlus.
Sellel tunnetustasandil on mitmeid olulisi tehnikaid, mille hulgas on aistingute analüüs ja süstematiseerimine, muljete paigutamine terviklikuks pildiks, varem omandatud teadmiste, kujutlusvõime jne meeldejätmine ja meenutamine. Sensoorne tunnetus annab teadmisi väliste, individuaalsete omaduste kohta. ja nähtuste omadused. Inimene püüab mõista asjade ja nähtuste sügavaid omadusi ja olemusi, maailma ja ühiskonna eksisteerimise seadusi. Seetõttu uurib ta teda huvitavaid probleeme abstraktsel teoreetilisel tasandil. Sellel tasemel arenevad sellised abstraktse tunnetuse vormid nagu:
a) mõiste;
b) kohtuotsus;
c) järeldus.
Nende tunnetusvormide poole pöördudes juhindub inimene sellistest võtetest nagu abstraktsioon, üldistamine, üksikasjast abstraheerimine, olulise eraldamine, uute teadmiste tuletamine varem teadaolevatest jne.
Erinevus abstraktse mõtlemise ja sensoor-kujundliku peegelduse ja maailma tundmise vahel. Sensoorse tunnetuse tulemusel areneb inimesel aistingutel, kogemustel, muljetel jm põhinevate ideaalkujundite kujul otse kogemusest saadud teadmine. Abstraktne mõtlemine tähistab üleminekut objektide üksikute aspektide uurimiselt seaduspärasuste mõistmisele, milleks on aistingud. üldised seosed ja suhted. Selles tunnetuse etapis reprodutseeritakse reaalsuse fragmente ilma otsese kokkupuuteta sensoor-objektiivse maailmaga, asendades need abstraktsioonidega. Abstraheerides ühest objektist ja ajutisest seisundist, suudab mõtlemine neis esile tõsta üldist ja korduvat, olemuslikku ja vajalikku.
Abstraktne mõtlemine on keelega lahutamatult seotud. Keel on peamine mõtete fikseerimise vahend. Keelelises vormis ei väljendata ainult sisulisi tähendusi, vaid ka loogilisi. Keele abil inimene sõnastab, väljendab ja edastab mõtteid, salvestab teadmisi.
Oluline on mõista, et meie mõtlemine peegeldab kaudselt tegelikkust: loogiliste jadade kaudu omavahel seotud teadmiste jada kaudu on võimalik jõuda uute teadmisteni, puutumata otseselt kokku objektiivse-sensoorse maailmaga.
Loogika tähtsus tunnetuses tuleneb võimalustest tuletada usaldusväärseid teadmisi mitte ainult formaal-loogilisel, vaid ka dialektilisel teel.
Loogilise tegevuse ülesanne on ennekõike avastada sellised mõttereeglid ja -vormid, mis sõltumata konkreetsetest tähendustest viivad alati tõeste järeldusteni.
Loogika uurib mõtlemise struktuure, mis viivad järjekindla üleminekuni ühelt hinnangult teisele ja moodustavad järjekindla arutlussüsteemi. See täidab olulist metodoloogilist funktsiooni. Selle olemus on objektiivsete teadmiste saamiseks sobivate uurimisprogrammide ja tehnoloogiate väljatöötamine. See aitab varustada inimest teaduslike ja teoreetiliste teadmiste põhivahendite, meetodite ja meetoditega.
Loogika teine põhifunktsioon on analüütilis-kriitiline, mida rakendades toimib ta vahendina arutlusvigade tuvastamisel ja mõttekonstruktsiooni õigsuse jälgimisel.
Loogika on võimeline täitma ka epistemoloogilisi ülesandeid. Peatumata formaalsete seoste ja mõtlemise elementide konstrueerimisel, on loogilised teadmised võimelised adekvaatselt seletama keeleväljendite tähendust ja tähendust, väljendama teadva subjekti ja tunnetusobjekti vahelist suhet ning paljastama ka keeleoskuse loogilis-dialektilist arengut. objektiivne maailm.
Ülesanded ja harjutused
1. Sama kuup, mille külgedel on numbrid (0, 1, 4, 5, 6, 8), on kolmes erinevas asendis.
| 0 |
| 4 |
| 0 |
| 4 |
| 5 |
1) Loogika- Raamatus: 1) asjade antud maailma universaalne piir, mis ise jääb nähtamatuks; 2) võte selle piiri kaudseks tuvastamiseks.
2) Loogika- Tegevus võib anda vaid poole tarkusest; teine pool sõltub tajulisest passiivsusest. Lõppkokkuvõttes tuleneb vaidlus nende vahel, kes rajavad loogika "tõele" ja nende vahel, kes rajavad selle "uuringule", väärtuste erinevustest ja muutub teatud hetkel mõttetuks. Loogika järgi on konkreetseid juhtumeid puudutavate järelduste kaalumine ajaraiskamine; tegeleme alati täiesti üldiste ja puhtformaalsete implikatsioonidega, jättes teistele teadustele uurimise, millistel juhtudel eeldused kinnitust leiavad ja millistel mitte. Kuigi me ei saa enam rahulduda loogiliste väidete määratlemisega vastuolu seadusest tulenevatena, võime ja peame siiski tunnistama, et need moodustavad väidete klassi, mis on täiesti erinev nendest, mida me empiiriliselt tunneme. Kõigil neil on omadus, mida leppisime ülal nimetama "tautiloogiaks". See koos asjaoluga, et neid saab väljendada ainult muutujate ja loogiliste konstantidena (kus loogiline konstant on midagi, mis jääb lauses konstantseks isegi siis, kui kõik selle koostisosad muutuvad), annab loogika või puhta matemaatika määratluse.
3) Loogika- - õpetus inimmõtlemise seostest ja jadadest, selle arenguvormidest, mentaalsete vormide erinevatest suhetest ja nende teisenemistest. L. käsitleb küsimusi mõtlemise olemasolu vahendite, mõtteprotsesside konsolideerimis-, reprodutseerimis- ja tõlkimiskeelte kohta. IN laiemas mõttes L. on mitte ainult mõtlemise, vaid ka olemise seoste eristamine, st L., mis paljastab "asjade loogika", "sündmuste loogika", "aegade seose". Selles aspektis läheneb L. ontoloogiale. Filosoofiat seostatakse oma sisulistes aspektides tunnetuse, selle arendamise, toimimise ja säilimise õpetustega ning on otseselt hõlmatud epistemoloogiaga. Seega on filosoofia üks peamisi filosoofia alajaotusi ja omab filosofeerimises pidevalt juhtivat rolli, kuna viimane tegeleb alati ühel või teisel viisil mõtlemise küsimusega. 19. sajandil Filosoofia kui eriteadus on filosoofiast eraldatud ja sellisena tegeleb mõtlemise ja selle keelte formaalse analüüsiga. Filosoofia pädevusse jäävad küsimused mõtlemise arengust, selle vahendite arengust, kultuurilisest, ajaloolisest ja sotsiaalsest tinglikkusest. Filosoofia ise oma spetsiifilistes sotsiaalajaloolistes ja kultuurilistes vormides muutub oluliseks filosoofilise uurimise haruks. Selle lähenemisviisi raames saab tuvastada valguse evolutsiooni ja selle mõistmise mitu peamist etappi. Iidses maailmas seostati loogikaprobleemide väljatöötamist tehislike ja looduslike asjade, inimtegevuse tööriistade ja inimeste vastastikmõjude klassifitseerimise protsessidega. L. töötab välja üldistavaid mõisteid ja võtteid nendega opereerimiseks. Filosoofia osana on see oluline vahend maailmapildi loomiseks ja selle kasutamiseks ühiskonna praktikas. Keskajal oli kirjandus keskendunud mõtlemisvormide ja nende suhete uurimisele; mõtestatud tunnetust vaadeldakse vaatenurgast selle vastavus loogilistele vormidele. Õpetus inimmõtlemise stabiilsetest (või kõigutamatutest) struktuuridest, mis tagavad selle õigsuse, osutub kujunevate teadusliku ratsionaalsuse standardite oluliseks eelduseks. Kui loodusteadust järgides eraldatakse formaalne filosoofia filosoofiast, satub filosoofilise poleemika keskmesse küsimus inimese mõtlemise ratsionaalsusest. Ühelt poolt formaalse ratsionaalsuse puudulikkus vajaduste jaoks uusim teadus, inimisiksuse arendamiseks ja vaimse silmaringi laiendamiseks. Teisalt leiab kinnitust vajadus säilitada ratsionaalsus ja filosoofia kõige laiemas tähenduses kultuuri taastootmise tingimustena (badeni neokantianism). 20. sajandil intensiivistub ratsionaalsuse filosoofiline kriitika (mida tõlgendatakse tavaliselt loogiliste vormide jäiga seosena) ja seda juhitakse erinevatelt positsioonidelt (eksistentsialism, marksism, dekonstruktsionism). Samal ajal on filosoofias üha enam kalduvus käsitleda kirjandust kultuuri- ja ajaloolisest vaatenurgast, uurida eri kultuuridele ja inimtegevuse tüüpidele omaseid seaduspärasusi. Nende käsitluste valguses muutuvad rõhuasetused L-i sisu mõistmisel.Kui varem seostati seda omadust peamiselt mõtlemise objektiivse orientatsiooni selgitamisega, siis nüüd on fookuses inimese interaktsioonis tekkiv mentaalsete vormide seos. See interaktsioon on konsolideeruv ja taastoodetav. V. E. Kemerov
4) Loogika- - teadus õige mõtlemise seaduste ja toimingute kohta. Loogika põhiprintsiibi järgi määrab arutluse õigsuse ainult selle loogiline vorm või struktuur ega sõltu selles sisalduvate väidete konkreetsest sisust. Iseloomulik omadusõige arutluskäik on see, et kui eeldused on tõesed, viib loogiline mõtlemine tõese järelduseni (vastus küsimusele). Ebaõige arutluskäik võib viia tõeste ja ebatõeste eelduste juurest nii tõeste kui ka ebatõeste järeldusteni (järelduse tõesus on juhuse küsimus). Seega on selge, mis loogika on - need on reeglid teatud vaimsete tehnikate kasutamiseks teabe töötlemisel. On formaalne loogika, humanistlik loogika, naiste loogika, lasteloogika, skisofreeniline loogika, dialektiline loogika, filosoofiline loogika jne. Kuid peale loogika on ka mõtlemine ise, mis suudab alluda oma seadustele (õige mõtlemine) ja mitte alluda (vale mõtlemine). ). ebaloogiline mõtlemine). Assotsiatiivne plokk. Meie vaatenurgast on loogika teadmisteooria osa, mis uurib asjade suhet ja olemasolu viimase sõna täies tähenduses.
5) Loogika- (kreeka keelest – logos): laiemas tähenduses – mõtlemisteadus, õpetus seadustest, arutlusvormidest ja vahenditest. Kõige sagedamini identifitseeritakse see termin terminiga "formaalne loogika", mille asutaja oli Aristoteles. Loogikauuringute põhieesmärk on analüüsida arutluse õigsust, seaduste ja põhimõtete sõnastamist, mille järgimine on järeldusprotsessis tõeste järelduste saamise vajalik tingimus. Loogilisi protsesse uuritakse esitades neid formaliseeritud keeltes. Igaüks neist sisaldab komplekti sobivalt tõlgendatud avaldisi (valemeid), aga ka meetodeid mõne avaldise teisendamiseks teisteks vastavalt deduktsioonireeglitele. Kaasaegne loogika koosneb suur number loogilised süsteemid, mis kirjeldavad üksikuid arutlusfragmente (tüüpe). Sõltuvalt klassifitseerimise alustest (kriteeriumitest) eristatakse praegu klassikalist ja mitteklassikalist loogikat. Tänapäeva mõistes on loogika teadus diskursuse vormidest.
6) Loogika- - ulatub etümoloogiliselt tagasi Vana-Kreeka sõnale "logos", mis tähendab "sõna", "mõte", "kontseptsioon", "arutluskäik", "seadus". See on inimmõtlemise seaduste ja vormide teadus. Ta õpib vaimseid protseduure. Eristatakse traditsioonilist loogikat, mille algatas Aristoteles ja mis uurib nende põhjal tehtud järeldusi, mõisteid ja tehteid. Formaliseerimismeetodite ja matemaatiliste meetodite kasutamine viis klassikalise loogika (sümboolse või matemaatilise) loomiseni. Mitteklassikaline (modaalne või filosoofiline) loogika, mis kasutab tähenduslike reaalsuste analüüsimiseks formaalseid meetodeid. Lihtsustatud arusaam loogikast - arutluskäik, arutlusreeglid.
7) Loogika- - teadus üldiselt kehtivatest mõtlemisvormidest ja -vahenditest, mis on vajalikud mis tahes reaalsuse valdkonna ratsionaalseks tundmiseks.
8) Loogika - (Kreeka logos - sõna, arutluskäik, mõiste, meel) - teadus kognitiivse tegevuse vormidest, seadustest ja meetoditest; oskus mõelda õigesti (loogiliselt). Juba iidsetest aegadest on märgatud inimese kognitiivse mõtlemise olulist omadust: kui algul esitatakse mõned väited, siis võib ära tunda ka teisi väiteid, kuid mitte kõiki, vaid ainult rangelt määratletud. Kognitiivne mõtlemine allub seega teatud sundjõule, selle tulemused on suuresti määratud ja ette määratud varasemate teadmistega. Seda omadust kasutas Sokrates oma dialoogides laialdaselt. Oskuslikult küsimusi esitades suunas ta vestluskaaslase väga konkreetsete järelduste tegemisele. (Oma meetodit iseloomustades selgitas Sokrates, et tema vestlusmaneer sarnaneb sellega, mida teeb ämmaemand, kes ei sünnita ise, vaid sünnitab. Seega küsib ta ainult teistelt, aidates kaasa tõe sünnile, kuid tal endal pole midagi öelda.) Seetõttu nimetas Sokrates tema meetodit maieutikaks – ämmaemanda kunstiks.) Sokratese õpilane Platon, seejärel Aristoteles tegi mõtlemise determinismi erilise uurimise objektiks. Aristotelese tulemused on eriti muljetavaldavad. Tema edu on tingitud sellest, et ta kõrvaldas arutluskäigust selle, mida võib nimetada nende sisuks, säilitades vaid vormi. Ta saavutas selle, asendades otsustes tähti (muutujaid) konkreetse sisuga nimede asemel. Näiteks implikatiivses argumendis: "Kui kõik B-d on C-d ja kõik A-d on B-d, on kõik A-d B-d." Aristotelese käsitlus näitas tõsiasja, et erineva sisuga arutlustulemuste usaldusväärsus ei sõltu ainult lähtepositsioonide (eelduste) tõepärasusest, vaid ka nendevahelistest suhetest, nende ühendamise meetodist, s.t. arutluse vormi kohta. Aristoteles sõnastas kõige olulisemad põhimõtted üleminekuks tõelistest eeldustest tõelistele järeldustele. Hiljem hakati neid põhimõtteid nimetama identiteedi, vastuolu ja välistatud keskpaiga seadusteks. Ta pakkus välja esimese teoreetilise arutlusvormide süsteemi – nn. assertooriline süllogistika, mis käsitleb propositsioone kujul “Kõik A on B”, “Mõned A on B”, “Ükski A ei ole B”, “Mõned A ei ole B”. Nii pani ta aluse üldkehtivate mõtlemisvahendite ja -vormide teadusele, ratsionaalse teadmise seadustele. Hiljem hakati seda teadust nimetama L.L. ei piirdunud juhtumite selgitamisega, mil ruumide tõesus tagab järelduse tõesuse. Seda tüüpi arutluskäik sai ühe selle haru - deduktiivse L - teemaks. Kuid Demokritos käsitleb juba induktiivsete järelduste probleemi, mille kaudu toimub üleminek konkreetsetelt väidetelt tõenäosusliku iseloomuga üldistele sätetele. Eriline huvi induktsiooni vastu ilmneb 17. ja 18. sajandil. kui eksperimentaalteadused hakkasid kiiresti arenema. Inglise filosoof F. Bacon tegi esimese katse induktsiooni teoreetiliseks mõistmiseks, mis tema arvates võiks olla ainus meetod loodusnähtuste mõistmiseks, et neid inimeste hüvanguks kasutada. Deduktivism ja induktivism olid kuni 19. sajandini kirjanduse arengu põhisuunad. Ratsionalistliku filosoofia esindajad (Descartes, Spinoza, Malebranche, Leibniz) eelistasid deduktsiooni, empiirilise (sensualistliku) filosoofia esindajad (järgides F. Baconit – Hobbes, Locke, Condillac, Berkeley, Hume) olid induktivistid. Wolf, kes pakkus välja tervikliku, tema arvates filosoofiliste teadmiste süsteemi kui "teadus kõigist võimalikest objektidest, niipalju kui need on võimalik", püüdis neid suundi ühildada. Olles üldiselt ratsionalist, rõhutas ta siiski energiliselt induktsiooni ja eksperimentaalsete teadmiste otsustavat tähtsust teatud teadusharudes (näiteks füüsikas). 19. sajandiks Leningradis välja kujunenud Wolffilikud ideed mõtlemise vormidest ja seaduspärasustest ning tunnetusmeetoditest ei suutnud aga rahuldada kiiresti areneva teaduse ja sotsiaalse praktika vajadusi. Kant ja eriti Hegel kritiseerisid ratsionalistlik-metafüüsilise meetodi piiranguid. L. seisis ülesandena välja töötada vahendid, mis võimaldaksid teadlikku lähenemist oluliste suhete uurimisele. Tõsise katse selle probleemi lahendamiseks tegi Hegel. Tema silmapaistev teene on arendus- ja seoste idee tutvustamine kirjanduses. See võimaldas tal panna aluse dialektilisele kirjandusele kui teooriale inimmõtte liikumisest nähtuselt olemuseni, suhtelisest tõest absoluutse tõeni, abstraktsest teadmisest konkreetsele teadmisele. Tuginedes dialektilise kirjanduse kategooriatele, põhimõtetele ja seaduspärasustele, töötatakse välja metoodilised juhised objektide sisu uurimiseks kogu nende mitmekesisuses ja ebaühtluses. Praegu on kirjandus üsna ulatuslik teadusdistsipliin. Selle kõige olulisem ja küpsem osa on ametlik kirjandus, mis on oma nime saanud teemalt, millega ta on tegelenud iidsetest aegadest – mõtte- ja arutlusvormidest, mis tagavad uute tõdede kättesaamise juba väljakujunenud tõdede põhjal ning esmalt. eelkõige nende vormide õigsuse ja kehtivuse kriteeriumid. Pikka aega tunti ametlikku kirjandust eelkõige sellisel kujul, nagu Aristoteles ja tema kommentaatorid talle andsid. Sellest ka vastav nimi selles etapis , - Aristotelese filosoofia Aristotelesele ulatuvast traditsioonist sündis ka teine samaväärne termin - traditsiooniline kirjandus. Probleemide ja nende lahendamise meetodite püsivus Aristotelese kirjanduse raames paljude sajandite jooksul andis põhjuse Kantile, kes kasutas esmakordselt mõiste "ametlik kirjandus". Kui uskuda, et kaks tuhat aastat, mis on möödunud Aristotelese ajast, pole see L. astunud sammugi edasi ja on sisuliselt tervikliku iseloomuga. Kant ei kujutanud ettegi, et juba pool sajandit pärast tema surma algab formaalse loogika arengus “teine tuul”, mille kvalitatiivselt uue etapi tingis asjaolu, et matemaatika loogiliste aluste uurimisega kaasnevad probleemid võisid ei lahendata aristotelese loogika abil.Peaaegu samaaegselt Käivad matemaatika ja L matematiseerimise protsessid Loogikaülesannete lahendamisel kasutatakse aktiivselt matemaatilisi meetodeid, luuakse loogilist arvutust. Konkreetseid samme astutakse Leibnizi ideede rakendamiseks arvutusmeetodite kasutamise kohta mis tahes teaduses. J. Boole töötab välja esimese algebra süsteemi L. Tänu O. de Morgani, W. Jevonsi, E. Schroederi, P.S. Poretsky, Peirce, Frege, J. Peano ja Russell lõid matemaatilise matemaatika põhilõigud, millest kujunes formaalse matemaatika olulisim haru 20. sajandil, eriti 20. ja 30. aastatel J. Lukasiewiczi töödes E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff jt panevad aluse formaalse keeleteaduse mitteklassikalistele osadele: mitmeväärtuslik lingvistika, modaalne, tõenäosuslik, intuitsionistlik, konstruktivistlik jt. Üleminek paljudele tõeväärtustele suurem kui kaks ("tõene" " ja "vale"), on üks mitteklassikalise või, nagu neid sageli nimetatakse, mitte-chrysippi loogika tunnusjooni. 1930. aastatel arenes formaalne loogika oli seotud paljude metaloloogiliste probleemide lahendamisega (kreeka meta - pärast, üle), formaalsete süsteemide konstruktsioonipõhimõtete ja üldiste omaduste uurimisega, näiteks järjepidevuse, täielikkuse, aksioomisüsteemi sõltumatuse, lahendatavuse, võimekuse probleemid. nendest süsteemidest väljendada tähendusrikkaid teooriaid jne Alused nn. "masin mõtlemine" Nende probleemide uurimist iseloomustasid silmapaistvad avastused, millel on oluline ideoloogiline ja metodoloogiline tähendus ning mis on seotud Tarski, K. Gödeli, A. Kiriku nimedega. Tuntuim on K. Gödeli teoreem formaliseeritud süsteemide mittetäielikkusest, sh. naturaalarvude aritmeetika ja aksiomaatiline hulgateooria. Selle teoreemi kohaselt on kõigis nendes süsteemides väited, mida nende raamistikus ei saa tõestada ega ümber lükata. Nii näidati, et formalismi raamidesse ei saa suruda ühtki kehtivat teaduslikku teooriat. A. Church tõestas teoreemi, mille kohaselt pole paljude ülesannete klasside lahendamiseks algoritme, rääkimata algoritmist, mis võimaldab lahendada mis tahes ülesandeid (sellise algoritmi leiutamisest unistasid paljud silmapaistvad loogikud ja matemaatikud). Tänapäeval toimub formaalse loogika areng kahes peamises suunas: 1) mitteklassikalise loogika uute süsteemide väljatöötamine (käskude, hinnangute, küsimuste loogika, ajaline, induktiivne loogika, loogilise implikatsiooni teooria jne). , nende süsteemide omaduste ja nendevaheliste suhete uurimine, nende loomine üldine teooria; 2) formaalse L-i rakendusala laiendamine. Kõige olulisem selles suunas saavutatud lõpptulemus on see, et formaalsest L-st on saanud mitte ainult täpse mõtlemise instrument, vaid ka esimese täpse instrumendi - arvuti - "mõte". , otse partneri rollis, keda mees kaasab tema ees seisvate probleemide lahendamise sfääri. L. (kõikide oma osade kokkuvõttes) on saanud inimkultuuri lahutamatuks osaks. Selle saavutusi kasutatakse paljudes inimtegevuse valdkondades. Seda kasutatakse laialdaselt psühholoogias ja lingvistikas, juhtimisteoorias ja pedagoogikas, õigusteaduses ja eetikas. Selle formaalsed osad on küberneetika, arvutusmatemaatika ja -tehnoloogia ning infoteooria algne alus. Ilma kirjanduse põhimõtete ja seadusteta on tänapäevane tunnetus- ja suhtlusmetoodika mõeldamatu. L. uurimine on alati antud suur tähtsus. Parmenides õpetas juba Sokratest, kes oli filosoofias veel kogenematu: „Ole kindel, et teie innukus arutleda on imeline ja jumalik, kuid kui olete veel noor, proovige rohkem harjutada seda, mida enamik loeb tühiseks jutuks (st abstraktsete mõistetega opereerimine). - V. B.) vastasel juhul jääb tõde sinust kõrvale." Nagu näeme, mõisteti juba iidsetel aegadel, et distsipliin, millele hiljem anti nimi L., mängib ennekõike suurt metodoloogilist rolli - tõe leidmise vahendina. V.F. Berkov
9) Loogika- - laias mõttes - see on filosoofiline teadus õige mõtlemise seaduspärasustest; kitsas tähenduses – tõe otsimisel üles ehitatud vajaduste jada.
10) Loogika - (kreeka keelest logos - logos) 1) oskus õigesti, s.o. loogiliselt mõtlema; 2) identiteediõpetus ja selle eitamine (G. Jacobi), järjepidevuse õpetus ja tunnetusmeetodid (loogikateadus). "Elementaarse formaalse loogikana" käsitleb see kõige üldisemaid omadusi, mis on omased kõigile (olemasolevatele) mõistetele. Põhiline mõistete omadusi väljendatakse loogilistes aksioomides (vt Aksioom). Esiteks vaadeldakse mõiste õpetust, seejärel järgneb kohtuõpetuse õpetus ja lõpuks järelduste õpetus. Loogiliste aksioomide, mõistete, hinnangute ja järelduste doktriinid moodustavad koos puhta loogika. Rakendusloogika hõlmab traditsioonilises loogikas määratluse, tõestuse ja meetodi õpetust. Sageli eelneb sellele mitte teaduslik-loogiline, vaid teoreetilis-kognitiivne, psühholoogiline õpetused kogemusest, kirjeldamisest ja sõnastusest (eriti erikeele, terminoloogia abil) ning mõistete kujunemisest. Mõnikord lisatakse sellele süsteemi õpetus. Loogika (teadusena) on ainult mõistes mõtlemise õpetus, mitte aga mõistete kaudu teadmise õpetus; see aitab suurendada teadvuse vormilist täpsust ning mõtlemise ja tunnetuse sisu objektiivsust. Lääne-Euroopa loogika (kui teaduse) rajaja on Aristoteles, "loogika isa". Sõna "loogika" ilmus esmakordselt stoikute seas; nemad ja neoplatonistid selgitasid selle teatud aspekte ja skolastika arendas seda keskajal kõige väiksemate detailideni, peensusteni. Humanism tõrjus skolastika loogikast välja, kuid ei suutnud seda uuendada. Reformatsioon võttis omaks Melanchtoni loogika, vastureformatsioon - Suareze loogika. Tõusnud põhimõtteliselt skolastikast kõrgemale, arendas Strasbourgist pärit Johannes Sturm loogikat; Pierre Ramet sai tuntumaks. Alates 17. sajandist Matemaatikaga seotud mõttevaldkondade mõju loogikale muutus märgatavaks ja Spinoza geomeetrilises meetodis oli see väiksem kui Leibnizil, kes kasutas loogikas loodusteaduslikke täiustavaid meetodeid. Leibnizist ja matemaatikast, aga ka uusskolastikast pärines Hundi koolkonna loogika. Kanti "transtsendentaalne loogika" on tegelikkuses kriitiline teadmiste teooria, saksa keele loogika. idealism (eriti Hegeli loogika) – spekulatiivne metafüüsika. Schopenhauer, Nietzsche, Bergson ja elufilosoofia pooldajad lükkasid traditsioonilise loogika kõrvale. Praegu on loogika lõhenenud paljudesse suundadesse: 1) metafüüsiline loogika (hegelianism); 2) psühholoogiline loogika (T. Lipps, osaliselt W. Wundt); 3) epistemoloogiline ehk transtsendentaalne loogika (neokantianism); 4) semantiline loogika (Aristoteles, Kulpe, kaasaegne nominalism); 5) aineloogika (Remke, Meinong, Drish); 6) uusskolastiline loogika; 7) fenomenoloogiline loogika; 8) loogika kui metodoloogia (neokantianism) ja logistika, mis on loogikateemaliste debattide keskmes.
11) Loogika-- vaata Dialektiline loogika. Matemaatiline loogika, Formaalne loogika.
Loogika
Raamatus: 1) asjade antud maailma universaalne piir, mis ise jääb nähtamatuks; 2) võte selle piiri kaudseks tuvastamiseks.
Tegevus võib anda vaid poole tarkusest; teine pool sõltub tajulisest passiivsusest. Lõppkokkuvõttes tuleneb vaidlus nende vahel, kes rajavad loogika "tõele" ja nende vahel, kes rajavad selle "uuringule", väärtuste erinevustest ja muutub teatud hetkel mõttetuks. Loogika järgi on konkreetseid juhtumeid puudutavate järelduste kaalumine ajaraiskamine; tegeleme alati täiesti üldiste ja puhtformaalsete implikatsioonidega, jättes teistele teadustele uurimise, millistel juhtudel eeldused kinnitust leiavad ja millistel mitte. Kuigi me ei saa enam rahulduda loogiliste väidete määratlemisega vastuolu seadusest tulenevatena, võime ja peame siiski tunnistama, et need moodustavad väidete klassi, mis on täiesti erinev nendest, mida me empiiriliselt tunneme. Kõigil neil on omadus, mida leppisime ülal nimetama "tautiloogiaks". See koos asjaoluga, et neid saab väljendada ainult muutujate ja loogiliste konstantidena (kus loogiline konstant on midagi, mis jääb lauses konstantseks isegi siis, kui kõik selle koostisosad muutuvad), annab loogika või puhta matemaatika määratluse.
Õpetus inimmõtlemise seostest ja jadadest, selle arenguvormidest, mentaalsete vormide erinevatest suhetest ja nende teisenemistest. L. käsitleb küsimusi mõtlemise olemasolu vahendite, mõtteprotsesside konsolideerimis-, reprodutseerimis- ja tõlkimiskeelte kohta. Laiemas mõttes on filosoofia mitte ainult mõtlemise, vaid ka olemise seoste uurimine, st kirjandus, mis paljastab "asjade loogika", "sündmuste loogika" ja "aegade seose". Selles aspektis läheneb L. ontoloogiale. Filosoofiat seostatakse oma sisulistes aspektides tunnetuse, selle arendamise, toimimise ja säilimise õpetustega ning on otseselt hõlmatud epistemoloogiaga. Seega on filosoofia üks peamisi filosoofia alajaotusi ja omab filosofeerimises pidevalt juhtivat rolli, kuna viimane tegeleb alati ühel või teisel viisil mõtlemise küsimusega. 19. sajandil Filosoofia kui eriteadus on filosoofiast eraldatud ja sellisena tegeleb mõtlemise ja selle keelte formaalse analüüsiga. Filosoofia pädevusse jäävad küsimused mõtlemise arengust, selle vahendite arengust, kultuurilisest, ajaloolisest ja sotsiaalsest tinglikkusest. Filosoofia ise oma spetsiifilistes sotsiaalajaloolistes ja kultuurilistes vormides muutub oluliseks filosoofilise uurimise haruks. Selle lähenemisviisi raames saab tuvastada valguse evolutsiooni ja selle mõistmise mitu peamist etappi. Iidses maailmas seostati loogikaprobleemide väljatöötamist tehislike ja looduslike asjade, inimtegevuse tööriistade ja inimeste vastastikmõjude klassifitseerimise protsessidega. L. töötab välja üldistavaid mõisteid ja võtteid nendega opereerimiseks. Filosoofia osana on see oluline vahend maailmapildi loomiseks ja selle kasutamiseks ühiskonna praktikas. Keskajal oli kirjandus keskendunud mõtlemisvormide ja nende suhete uurimisele; mõtestatud tunnetust vaadeldakse vaatenurgast selle vastavus loogilistele vormidele. Õpetus inimmõtlemise stabiilsetest (või kõigutamatutest) struktuuridest, mis tagavad selle õigsuse, osutub kujunevate teadusliku ratsionaalsuse standardite oluliseks eelduseks. Kui loodusteadust järgides eraldatakse formaalne filosoofia filosoofiast, satub filosoofilise poleemika keskmesse küsimus inimese mõtlemise ratsionaalsusest. Ühelt poolt ilmneb formaalse ratsionaalsuse ebapiisav tänapäeva teaduse vajadusteks, inimisiksuse arenguks ja vaimse silmaringi avardumiseks. Teisalt leiab kinnitust vajadus säilitada ratsionaalsus ja filosoofia kõige laiemas tähenduses kultuuri taastootmise tingimustena (badeni neokantianism). 20. sajandil intensiivistub ratsionaalsuse filosoofiline kriitika (mida tõlgendatakse tavaliselt loogiliste vormide jäiga seosena) ja seda juhitakse erinevatelt positsioonidelt (eksistentsialism, marksism, dekonstruktsionism). Samal ajal on filosoofias üha enam kalduvus käsitleda kirjandust kultuuri- ja ajaloolisest vaatenurgast, uurida eri kultuuridele ja inimtegevuse tüüpidele omaseid seaduspärasusi. Nende käsitluste valguses muutuvad rõhuasetused L-i sisu mõistmisel.Kui varem seostati seda omadust peamiselt mõtlemise objektiivse orientatsiooni selgitamisega, siis nüüd on fookuses inimese interaktsioonis tekkiv mentaalsete vormide seos. See interaktsioon on konsolideeruv ja taastoodetav. V. E. Kemerov
Teadus õige mõtlemise seaduste ja toimingute kohta. Loogika põhiprintsiibi järgi määrab arutluse õigsuse ainult selle loogiline vorm või struktuur ega sõltu selles sisalduvate väidete konkreetsest sisust. Õige arutluskäigu eripäraks on see, et kui eeldused on tõesed, viib loogiline mõtlemine tõese järelduseni (vastus küsimusele). Ebaõige arutluskäik võib viia tõeste ja ebatõeste eelduste juurest nii tõeste kui ka ebatõeste järeldusteni (järelduse tõesus on juhuse küsimus). Seega on selge, mis loogika on - need on reeglid teatud vaimsete tehnikate kasutamiseks teabe töötlemisel. On formaalne loogika, humanistlik loogika, naiste loogika, lasteloogika, skisofreeniline loogika, dialektiline loogika, filosoofiline loogika jne. Kuid peale loogika on ka mõtlemine ise, mis suudab alluda oma seadustele (õige mõtlemine) ja mitte alluda (vale mõtlemine). ). ebaloogiline mõtlemine). Assotsiatiivne plokk. Meie vaatenurgast on loogika teadmisteooria osa, mis uurib asjade suhet ja olemasolu viimase sõna täies tähenduses.
(kreeka keelest - logos): laiemas tähenduses - mõtlemisteadus, õpetus seadustest, arutlusvormidest ja vahenditest. Kõige sagedamini identifitseeritakse see termin terminiga "formaalne loogika", mille asutaja oli Aristoteles. Loogikauuringute põhieesmärk on analüüsida arutluse õigsust, seaduste ja põhimõtete sõnastamist, mille järgimine on järeldusprotsessis tõeste järelduste saamise vajalik tingimus. Loogilisi protsesse uuritakse esitades neid formaliseeritud keeltes. Igaüks neist sisaldab komplekti sobivalt tõlgendatud avaldisi (valemeid), aga ka meetodeid mõne avaldise teisendamiseks teisteks vastavalt deduktsioonireeglitele. Kaasaegne loogika koosneb suurest hulgast loogilistest süsteemidest, mis kirjeldavad üksikuid arutlusfragmente (tüüpe). Sõltuvalt klassifitseerimise alustest (kriteeriumitest) eristatakse praegu klassikalist ja mitteklassikalist loogikat. Tänapäeva mõistes on loogika teadus diskursuse vormidest.
Etümoloogiliselt ulatub see tagasi Vana-Kreeka sõnale "logos", mis tähendab "sõna", "mõte", "kontseptsioon", "arutluskäik", "seadus". See on inimmõtlemise seaduste ja vormide teadus. Ta õpib vaimseid protseduure. Eristatakse traditsioonilist loogikat, mille algatas Aristoteles ja mis uurib nende põhjal tehtud järeldusi, mõisteid ja tehteid. Formaliseerimismeetodite ja matemaatiliste meetodite kasutamine viis klassikalise loogika (sümboolse või matemaatilise) loomiseni. Mitteklassikaline (modaalne või filosoofiline) loogika, mis kasutab tähenduslike reaalsuste analüüsimiseks formaalseid meetodeid. Lihtsustatud arusaam loogikast - arutluskäik, arutlusreeglid.
Teadus üldiselt kehtivatest mõtlemisvormidest ja -vahenditest, mis on vajalikud mis tahes reaalsuse valdkonna ratsionaalseks teadmiseks.
(Kreeka logos – sõna, arutluskäik, mõiste, mõistus) – kognitiivse tegevuse vormide, seaduste ja meetodite teadus; oskus mõelda õigesti (loogiliselt). Juba iidsetest aegadest on märgatud inimese kognitiivse mõtlemise olulist omadust: kui algul esitatakse mõned väited, siis võib ära tunda ka teisi väiteid, kuid mitte kõiki, vaid ainult rangelt määratletud. Kognitiivne mõtlemine allub seega teatud sundjõule, selle tulemused on suuresti määratud ja ette määratud varasemate teadmistega. Seda omadust kasutas Sokrates oma dialoogides laialdaselt. Oskuslikult küsimusi esitades suunas ta vestluskaaslase väga konkreetsete järelduste tegemisele. (Oma meetodit iseloomustades selgitas Sokrates, et tema vestlusmaneer sarnaneb sellega, mida teeb ämmaemand, kes ei sünnita ise, vaid sünnitab. Seega küsib ta ainult teistelt, aidates kaasa tõe sünnile, kuid tal endal pole midagi öelda.) Seetõttu nimetas Sokrates tema meetodit maieutikaks – ämmaemanda kunstiks.) Sokratese õpilane Platon, seejärel Aristoteles tegi mõtlemise determinismi erilise uurimise objektiks. Aristotelese tulemused on eriti muljetavaldavad. Tema edu on tingitud sellest, et ta kõrvaldas arutluskäigust selle, mida võib nimetada nende sisuks, säilitades vaid vormi. Ta saavutas selle, asendades otsustes tähti (muutujaid) konkreetse sisuga nimede asemel. Näiteks implikatiivses argumendis: "Kui kõik B-d on C-d ja kõik A-d on B-d, on kõik A-d B-d." Aristotelese käsitlus näitas tõsiasja, et erineva sisuga arutlustulemuste usaldusväärsus ei sõltu ainult lähtepositsioonide (eelduste) tõepärasusest, vaid ka nendevahelistest suhetest, nende ühendamise meetodist, s.t. arutluse vormi kohta. Aristoteles sõnastas kõige olulisemad põhimõtted üleminekuks tõelistest eeldustest tõelistele järeldustele. Hiljem hakati neid põhimõtteid nimetama identiteedi, vastuolu ja välistatud keskpaiga seadusteks. Ta pakkus välja esimese teoreetilise arutlusvormide süsteemi – nn. assertooriline süllogistika, mis käsitleb propositsioone kujul “Kõik A on B”, “Mõned A on B”, “Ükski A ei ole B”, “Mõned A ei ole B”. Nii pani ta aluse üldkehtivate mõtlemisvahendite ja -vormide teadusele, ratsionaalse teadmise seadustele. Hiljem hakati seda teadust nimetama L.L. ei piirdunud juhtumite selgitamisega, mil ruumide tõesus tagab järelduse tõesuse. Seda tüüpi arutluskäik sai ühe selle haru - deduktiivse L - teemaks. Kuid Demokritos käsitleb juba induktiivsete järelduste probleemi, mille kaudu toimub üleminek konkreetsetelt väidetelt tõenäosusliku iseloomuga üldistele sätetele. Eriline huvi induktsiooni vastu ilmneb 17. ja 18. sajandil. kui eksperimentaalteadused hakkasid kiiresti arenema. Inglise filosoof F. Bacon tegi esimese katse induktsiooni teoreetiliseks mõistmiseks, mis tema arvates võiks olla ainus meetod loodusnähtuste mõistmiseks, et neid inimeste hüvanguks kasutada. Deduktivism ja induktivism olid kuni 19. sajandini kirjanduse arengu põhisuunad. Ratsionalistliku filosoofia esindajad (Descartes, Spinoza, Malebranche, Leibniz) eelistasid deduktsiooni, empiirilise (sensualistliku) filosoofia esindajad (järgides F. Baconit – Hobbes, Locke, Condillac, Berkeley, Hume) olid induktivistid. Wolf, kes pakkus välja tervikliku, tema arvates filosoofiliste teadmiste süsteemi kui "teadus kõigist võimalikest objektidest, niipalju kui need on võimalik", püüdis neid suundi ühildada. Olles üldiselt ratsionalist, rõhutas ta siiski energiliselt induktsiooni ja eksperimentaalsete teadmiste otsustavat tähtsust teatud teadusharudes (näiteks füüsikas). 19. sajandiks Leningradis välja kujunenud Wolffilikud ideed mõtlemise vormidest ja seaduspärasustest ning tunnetusmeetoditest ei suutnud aga rahuldada kiiresti areneva teaduse ja sotsiaalse praktika vajadusi. Kant ja eriti Hegel kritiseerisid ratsionalistlik-metafüüsilise meetodi piiranguid. L. seisis ülesandena välja töötada vahendid, mis võimaldaksid teadlikku lähenemist oluliste suhete uurimisele. Tõsise katse selle probleemi lahendamiseks tegi Hegel. Tema silmapaistev teene on arendus- ja seoste idee tutvustamine kirjanduses. See võimaldas tal panna aluse dialektilisele kirjandusele kui teooriale inimmõtte liikumisest nähtuselt olemuseni, suhtelisest tõest absoluutse tõeni, abstraktsest teadmisest konkreetsele teadmisele. Tuginedes dialektilise kirjanduse kategooriatele, põhimõtetele ja seaduspärasustele, töötatakse välja metoodilised juhised objektide sisu uurimiseks kogu nende mitmekesisuses ja ebaühtluses. Praegu on kirjandus üsna ulatuslik teadusdistsipliin. Selle kõige olulisem ja küpsem osa on ametlik kirjandus, mis on oma nime saanud teemalt, millega ta on tegelenud iidsetest aegadest – mõtte- ja arutlusvormidest, mis tagavad uute tõdede kättesaamise juba väljakujunenud tõdede põhjal ning esmalt. eelkõige nende vormide õigsuse ja kehtivuse kriteeriumid. Pikka aega tunti ametlikku kirjandust eelkõige sellisel kujul, nagu Aristoteles ja tema kommentaatorid talle andsid. Seetõttu on sellele etapile vastav nimi Aristoteles L. Aristotelesele ulatuvast traditsioonist sündis ka teine samaväärne termin - traditsiooniline filosoofia, mille probleemi ja selle lahendamise meetodite muutumatus Aristotelese filosoofia raames paljude sajandite jooksul andis aluse Kantile, kes võttis esmakordselt kasutusele mõiste "formaalne filosoofia". ”, uskuda, et kahe tuhande aasta jooksul, mis on möödunud Aristotelese ajast, pole see L. astunud sammugi edasi ja on sisuliselt tervikliku iseloomuga. Kant ei kujutanud ettegi, et juba pool sajandit pärast tema surma algab formaalse loogika arengus “teine tuul”, mille kvalitatiivselt uue etapi tingis asjaolu, et matemaatika loogiliste aluste uurimisega kaasnevad probleemid võisid ei lahendata aristotelese loogika abil.Peaaegu samaaegselt Käivad matemaatika ja L matematiseerimise protsessid Loogikaülesannete lahendamisel kasutatakse aktiivselt matemaatilisi meetodeid, luuakse loogilist arvutust. Konkreetseid samme astutakse Leibnizi ideede rakendamiseks arvutusmeetodite kasutamise kohta mis tahes teaduses. J. Boole töötab välja esimese algebra süsteemi L. Tänu O. de Morgani, W. Jevonsi, E. Schroederi, P.S. Poretsky, Peirce, Frege, J. Peano ja Russell lõid matemaatilise matemaatika põhilõigud, millest kujunes formaalse matemaatika olulisim haru 20. sajandil, eriti 20. ja 30. aastatel J. Lukasiewiczi töödes E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff jt panevad aluse formaalse keeleteaduse mitteklassikalistele osadele: mitmeväärtuslik lingvistika, modaalne, tõenäosuslik, intuitsionistlik, konstruktivistlik jt. Üleminek paljudele tõeväärtustele suurem kui kaks ("tõene" " ja "vale"), on üks mitteklassikalise või, nagu neid sageli nimetatakse, mitte-chrysippi loogika tunnusjooni. 1930. aastatel arenes formaalne loogika oli seotud paljude metaloloogiliste probleemide lahendamisega (kreeka meta - pärast, üle), formaalsete süsteemide konstruktsioonipõhimõtete ja üldiste omaduste uurimisega, näiteks järjepidevuse, täielikkuse, aksioomisüsteemi sõltumatuse, lahendatavuse, võimekuse probleemid. nendest süsteemidest väljendada tähendusrikkaid teooriaid jne Alused nn. "masin mõtlemine" Nende probleemide uurimist iseloomustasid silmapaistvad avastused, millel on oluline ideoloogiline ja metodoloogiline tähendus ning mis on seotud Tarski, K. Gödeli, A. Kiriku nimedega. Tuntuim on K. Gödeli teoreem formaliseeritud süsteemide mittetäielikkusest, sh. naturaalarvude aritmeetika ja aksiomaatiline hulgateooria. Selle teoreemi kohaselt on kõigis nendes süsteemides väited, mida nende raamistikus ei saa tõestada ega ümber lükata. Nii näidati, et formalismi raamidesse ei saa suruda ühtki kehtivat teaduslikku teooriat. A. Church tõestas teoreemi, mille kohaselt pole paljude ülesannete klasside lahendamiseks algoritme, rääkimata algoritmist, mis võimaldab lahendada mis tahes ülesandeid (sellise algoritmi leiutamisest unistasid paljud silmapaistvad loogikud ja matemaatikud). Tänapäeval toimub formaalse loogika areng kahes peamises suunas: 1) mitteklassikalise loogika uute süsteemide väljatöötamine (käskude, hinnangute, küsimuste loogika, ajaline, induktiivne loogika, loogilise implikatsiooni teooria jne). , nende süsteemide omaduste ja nendevaheliste suhete uurimine, nende üldteooria loomine; 2) formaalse L-i rakendusala laiendamine. Kõige olulisem selles suunas saavutatud lõpptulemus on see, et formaalsest L-st on saanud mitte ainult täpse mõtlemise instrument, vaid ka esimese täpse instrumendi - arvuti - "mõte". , otse partneri rollis, keda mees kaasab tema ees seisvate probleemide lahendamise sfääri. L. (kõikide oma osade kokkuvõttes) on saanud inimkultuuri lahutamatuks osaks. Selle saavutusi kasutatakse paljudes inimtegevuse valdkondades. Seda kasutatakse laialdaselt psühholoogias ja lingvistikas, juhtimisteoorias ja pedagoogikas, õigusteaduses ja eetikas. Selle formaalsed osad on küberneetika, arvutusmatemaatika ja -tehnoloogia ning infoteooria algne alus. Ilma kirjanduse põhimõtete ja seadusteta on tänapäevane tunnetus- ja suhtlusmetoodika mõeldamatu. L. uurimisele on alati omistatud suurt tähtsust. Parmenides õpetas juba Sokratest, kes oli filosoofias veel kogenematu: „Ole kindel, et teie innukus arutleda on imeline ja jumalik, kuid kui olete veel noor, proovige rohkem harjutada seda, mida enamik loeb tühiseks jutuks (st abstraktsete mõistetega opereerimine). - V. B.) vastasel juhul jääb tõde sinust kõrvale." Nagu näeme, mõisteti juba iidsetel aegadel, et distsipliin, millele hiljem anti nimi L., mängib ennekõike suurt metodoloogilist rolli - tõe leidmise vahendina. V.F. Berkov
Laiemas mõttes on see filosoofiline teadus õige mõtlemise seaduspärasustest; kitsas tähenduses – tõe otsimisel üles ehitatud vajaduste jada.
(kreeka keelest logos - logos) 1) oskus õigesti, s.o. loogiliselt mõtlema; 2) identiteediõpetus ja selle eitamine (G. Jacobi), järjepidevuse õpetus ja tunnetusmeetodid (loogikateadus). "Elementaarse formaalse loogikana" käsitleb see kõige üldisemaid omadusi, mis on omased kõigile (olemasolevatele) mõistetele. Põhiline mõistete omadusi väljendatakse loogilistes aksioomides (vt Aksioom). Esiteks vaadeldakse mõiste õpetust, seejärel järgneb kohtuõpetuse õpetus ja lõpuks järelduste õpetus. Loogiliste aksioomide, mõistete, hinnangute ja järelduste doktriinid moodustavad koos puhta loogika. Rakendusloogika hõlmab traditsioonilises loogikas määratluse, tõestuse ja meetodi õpetust. Sageli eelneb sellele mitte teaduslik-loogiline, vaid teoreetilis-kognitiivne, psühholoogiline õpetused kogemusest, kirjeldamisest ja sõnastusest (eriti erikeele, terminoloogia abil) ning mõistete kujunemisest. Mõnikord lisatakse sellele süsteemi õpetus. Loogika (teadusena) on ainult mõistes mõtlemise õpetus, mitte aga mõistete kaudu teadmise õpetus; see aitab suurendada teadvuse vormilist täpsust ning mõtlemise ja tunnetuse sisu objektiivsust. Lääne-Euroopa loogika (kui teaduse) rajaja on Aristoteles, "loogika isa". Sõna "loogika" ilmus esmakordselt stoikute seas; nemad ja neoplatonistid selgitasid selle teatud aspekte ja skolastika arendas seda keskajal kõige väiksemate detailideni, peensusteni. Humanism tõrjus skolastika loogikast välja, kuid ei suutnud seda uuendada. Reformatsioon võttis omaks Melanchtoni loogika, vastureformatsioon - Suareze loogika. Tõusnud põhimõtteliselt skolastikast kõrgemale, arendas Strasbourgist pärit Johannes Sturm loogikat; Pierre Ramet sai tuntumaks. Alates 17. sajandist Matemaatikaga seotud mõttevaldkondade mõju loogikale muutus märgatavaks ja Spinoza geomeetrilises meetodis oli see väiksem kui Leibnizil, kes kasutas loogikas loodusteaduslikke täiustavaid meetodeid. Leibnizist ja matemaatikast, aga ka uusskolastikast pärines Hundi koolkonna loogika. Kanti "transtsendentaalne loogika" on tegelikkuses kriitiline teadmiste teooria, saksa keele loogika. idealism (eriti Hegeli loogika) – spekulatiivne metafüüsika. Schopenhauer, Nietzsche, Bergson ja elufilosoofia pooldajad lükkasid traditsioonilise loogika kõrvale. Praegu on loogika lõhenenud paljudesse suundadesse: 1) metafüüsiline loogika (hegelianism); 2) psühholoogiline loogika (T. Lipps, osaliselt W. Wundt); 3) epistemoloogiline ehk transtsendentaalne loogika (neokantianism); 4) semantiline loogika (Aristoteles, Kulpe, kaasaegne nominalism); 5) aineloogika (Remke, Meinong, Drish); 6) uusskolastiline loogika; 7) fenomenoloogiline loogika; 8) loogika kui metodoloogia (neokantianism) ja logistika, mis on loogikateemaliste debattide keskmes.
Absoluudi asümmeetriline vastand, mida iseloomustab negatiivne laienemine, antisubstantiaalsus, ennasthävitav...
