formalna logika istražuje nepromjenjive strukture ljudskog mišljenja, a sve dok postoji nesklad između idealiziranog sadržaja i materijalnog oblika izražavanja misli, potrebno je osigurati istinitost rasuđivanja uz pomoć formalnih zakona i pravila.

Logika kao nauka uključuje tradicionalnu logiku i modernu (klasičnu i neklasičnu) logiku. Oni u svom sadržaju predstavljaju hronologiju faza u razvoju logičke nauke. Oni se razlikuju po tome koje osnovne koncepte i metode koriste za izgradnju formalnih teorija i koje probleme rješavaju: tradicionalna logika metoda formalizacije se koristi na poluformalni način, i savremeno- u čistom; in tradicionalna logika središnje kategorije su "pojam", "sud" i "zaključak", i in savremeno- izjave i termini; tradicionalna logika formira kulturu mišljenja, tj. je metoda dokazivanja i pobijanja, osnova raznih vrsta diskursa itd., i savremeno istražuje funkcioniranje mišljenja na jeziku nauke, tj. analizira principe izgradnje, transformacije i potkrepljenja naučnih teorija.

U ovom slučaju, ograničavamo se na analizu tradicionalne logike i, koliko je potrebno, razmatramo neke aspekte propozicionalne logike (klasična logika) i modalne logike (neklasična logika).

Logika (grčki λογιχή - nauka o mišljenju, od λόγος - misao, riječ, doktrina) - to je filozofska nauka o zakonitostima i oblicima teorijskog mišljenja, o odnosu ovih oblika io greškama u procesu mišljenja i načinima za njihovo prevazilaženje.

Status i ulogu svake nauke karakteriše, pre svega, njeno objektno-predmetno područje. Naučni objekat predstavlja određeno područje stvarnosti na koje su usmjereni istraživački napori. Predmet nauke- ovo je određena strana objekta, koja doprinosi njegovom kvalitativnom i kvantitativnom usavršavanju.

Logički objekat je ljudsko razmišljanje. ali logike proučava ljudsko mišljenje ne u smislu razmatranja svih njegovih oblika, uzimajući u obzir njihovo formiranje i razvoj, kao što se radi u okviru filozofija(konkretno u epistemologija), ali uzima samo forme teorijskog mišljenja kao postojećeg u gotovom obliku, nepromjenjivog, nepomičnog, identičnog sebi u bilo kojim društveno-istorijskim i kulturnim okolnostima; logike istražuje mišljenje ne s naglaskom na njegove sadržajne aspekte i njihovu uslovljenost fiziološkim i socio-kulturnim faktorima, što je tipično za psihologija, ali izdvaja u teorijskom mišljenju samo njegov formalno-strukturalni aspekt itd. Suština logičke analize je svođenje misli na njenu strukturu i formu apstrahovanjem sadržaja. Pri tome treba uzeti u obzir da, iako analiza misli o istinitosti ili neistinitosti njihovog sadržaja, njeno razumijevanje itd. i nadilazi predmetni okvir logike, ali bez njega je nemoguće logičko mišljenje i postojanje logike kao nauke. Stoga je važno da logika ne samo definiše u pravu, ali takođe istina logičke forme mišljenja (sudovi i zaključci). Logika nije dizajnirana da izvuče svjesno neistinito znanje. Predmet logike je složen sistem koji kombinuje univerzalne uslove koji obezbeđuju istinitost mišljenja, uslove koji se moraju poštovati bez obzira na sadržaj misli.

Predmet logike su:

- oblici teorijskog mišljenja: koncept, sud, zaključak;

- opšti zakoni mišljenja: identitet, kontradikcija, isključeni treći i dovoljan razlog;

- opšte metode nauke, teorijsko mišljenje uopšte: analiza, sinteza, apstrakcija, generalizacija, formalizacija itd.;

- strukturni zakoni i pravila individualnih oblika mišljenja: zakon obrnutog odnosa obima i sadržaja pojma, pravila premisa i pojmova, posebna pravila figura jednostavnog kategoričkog silogizma, itd.;

- jezik logike kao sistem specijalizovanih simbola za označavanje misaonih formi i njihovih veza;

- uslovi i definicije opravdano u logici;

- logičke greške moguće u procesu razmišljanja.

Razmišljanje (apstraktno)- je posredovano(one. na osnovu prethodnog znanja)i generalizovano(one. hvatanje bitnih karakteristika)odraz stvarnosti u ljudskom mozgu, koji on fiksira i prenosi jezikom(praktično razmišljanje)u toku svoje duhovne i praktične delatnosti.

Osobine ispravnog mišljenja:

- sigurnost- tačnost i strogost;

- podsekvenca- bez unutrašnjih kontradikcija;

- valjanost- fokusiranje na osnove zbog kojih se misao mora prepoznati kao istinita.

U razmišljanju razlikovati sadržaj i oblik misli:

Oblik razmišljanja - ovo je struktura misli, način povezivanja njenih smislenih delova(pojmovi u sudove, sudovi među sobom u složene sudove, sudovi kao dio zaključaka).

Ljudsko razmišljanje je povezano sa procesom rasuđivanje. rasuđivanje - ovo je poređenje misli i njihovo objedinjavanje radi dobijanja novog znanja na osnovu postojećeg znanja.

Reasoning is ispravno i pogrešno.

Ispravno rezonovanje - ovo je rasuđivanje u kojem samo misli(zaključci)nužno proizilaze iz drugih misli(parcele).

primjer:„Sve zvezde su džinovske svetleće kugle vrelog gasa. Sunce je zvezda. Dakle, Sunce je gigantska blistava kugla vrelog gasa. U ovom rezonovanju, treće je potkrijepljeno dvjema početnim mislima: “Ako klasa objekata ima određeno svojstvo i određeni objekt pripada ovoj klasi, onda je to svojstvo inherentno njoj.”. Ili: “Ako objekat ima određeno svojstvo, a sve što ima ovo svojstvo ima i neko drugo svojstvo, onda ovaj objekat ima i ovo drugo svojstvo”:„Sunce je ogromna svetleća lopta vrelog gasa. Sve džinovske svjetleće kugle vrućeg plina generiraju ogromnu količinu energije. Stoga Sunce proizvodi ogromnu količinu energije.”

Pogrešno rezonovanje - ovo je obrazloženje u kojem se prave logičke greške kao rezultat nepoštivanja zakona i pravila logike.

primjer:“Lijekovi koje pacijent uzima su dobri. Što više činite dobra, to bolje. Dakle, lekove treba uzimati što je više moguće. Pogrešnost zaključka proizilazi iz neosnovane identifikacije neidentičnih koncepata korištenih u dvije početne misli: u prvom koncept "dobrog" je dat u smislu praktičnih koristi određene supstance i ispravnosti njene upotrebe, u drugom- u opštem etičkom smislu, kao suprotnost konceptu "zla".

Baš kao i misao diskusija ima sadržaj one. informacije o svijetu, i logička forma, tj. konstrukcija, način povezivanja njenih sastavnih elemenata. Treba napomenuti da logička forma nije dio sadržaja, koji uključuje određenu misao ili konkretna razmišljanja. logička forma je samo sredstvo pomoću kojeg se sastavni dijelovi sadržaja međusobno kombinuju u umu ili u rasuđivanju. Da bi se identifikovale ove komponente logike apstrahuje od specifičnog sadržaja misli ili rasuđivanja i bavi se analizom, a pre svega njihove logičke forme, tj. fokusira se na one komponente koje predstavljaju formalni aspekt mišljenja ili zaključivanja.

Na primjer, u definiciji „logika je filozofska nauka“, s jedne strane, postoji konkretan (misaoni) sadržaj neovisan o formi misli („nešto se o nečemu potvrđuje“), s druge strane, informacija o metodi. povezivanja strukturnih elemenata mišljenja (subjekta mišljenja i znaka subjekta mišljenja), što zanima logiku kao nauku.

Dakle, treba razlikovati u pravu I istina misli ili rasuđivanje. koncept formalna ispravnost razmišljanja odnosi se samo na logičke radnje i operacije mišljenja. Ispravno razmišljanje- to je njegova karakteristika sa strane forme. Sa strane forme, može biti logički ispravno ili netačno. U redu misao ili rasuđivanje je poštovanje pravila i zakona logike. Ako među premisama zaključka postoji neistinita premisa, onda se, prema pravilima logike, u zaključku može dobiti i istina i neistina.

primjer:„Svi metali su čvrste materije. Merkur nije čvrsta materija. Dakle, živa nije metal." U ovom slučaju se krši jedno od pravila logike, jer jedna od premisa (1.) nije tačna. Ali čak i ako su te dvije premise tačne, možete dobiti i istinit i netačan zaključak: „Svi laptopi imaju ekran. Ovaj tehnički uređaj ima ekran. Dakle, ovaj tehnički uređaj je laptop.” Ovdje je također prekršeno jedno od pravila logike. Stoga zaključak ne proizlazi nužno iz ovih premisa. Zaključak se donosi prema slici II sa dvije afirmativne premise, a prema pravilima ove slike, jedna od premisa i zaključak moraju biti negativni sudovi.

koncept istinitost misli odnosi se samo na konkretan sadržaj misli. Istina postoji korespondencija misli ili rasuđivanja sa konkretnim sadržajem stvarnosti. I ako isto rezonovanje ispravno odražava ono što se dešava u stvarnosti, onda je tačno, inače nije tačno.

primjer:"Svi tehnolozi su specijalisti za tehnologiju određene grane proizvodnje" istina je; "Svi kandidati su budući studenti" nije tačno.

Svi ovi primjeri pokazuju važnost znanja i primjene dva pravila: formalno I smisleno.

formalno pravilo je pravilo koje daje samo formu(nema upućivanja na sadržaj)šta se transformiše prema ovom pravilu. Ovdje su istinitost iskaza, njihova semantička povezanost beznačajne. Primjena formalnog pravila provodi se samo na osnovu poznavanja oblika iskaza. Proces mišljenja ili zaključivanja, koji se odvija u skladu sa formalnim pravilom logike, formalno je logički ispravan.

Na primjer, Uzmimo presude "Kijev je glavni grad Francuske" i "Ako je Kijev glavni grad Francuske, onda je 22=5", gdje je prvi jednostavan prijedlog, a drugi složeni prijedlog formiran veznikom "ako, onda". Primijenimo jedno od formalnih pravila logike na ove presude: x, x→y╞at, gdje X I at- označavaju jednostavne presude, → - označava veznik prirodnog jezika "ako, onda", ╞ označava sljedeću relaciju. Kada označavamo prvu presudu X, sekunda - x→y, zatim ovdje y - 22=5. I nije važno da li su ove presude istinite i da li imaju smisla. Naravno, prvi sud nije tačan, a ni drugi nije istinit, a da je istinit (“22=4”), onda nema smisla u uobičajenom smislu. Međutim, ovo pokazuje da za primenu formalnog pravila, istinitost sudova i njihova veza u značenju nisu bitni. A ako je to tako, onda označavajući prvu presudu "Kijev je glavni grad Francuske" kao ALI, a presuda "22=5" - IN, tada dobijamo formulu složenog prijedloga „Ako je Kijev glavni grad Francuske, onda je 22 = 5” u obliku izraza „ako je ALI, onda IN". Nakon što smo izdvojili formu presuda, na njih se može primijeniti formalno pravilo " x, x→y╞at", ne znajući ni značenje ni značenje presuda" ALI" i ako ALI, onda IN". Stoga, kada iz presuda" ALI" i ako ALI, onda IN» zaključuje « IN“, onda je obrazloženje formalno logički ispravno. Shodno tome, formalno-logičko rasuđivanje se odvija ovdje, jer je podložno formalnim pravilima logike. I kada je presuda ALI' i presuda 'ako ALI, onda IN” će biti istina, onda će nužno biti istina i “ IN". U slučaju njihove neistine, istina" IN» nije zagarantovano.

Međutim, u procesu zaključivanja, pored formalnih pravila, materijalna pravila(pravila nepotpune indukcije, pravila analogije, itd.). Pravilo sadržaja - ovo je pravilo koje predviđa sadržaj onoga što se prema njemu transformiše.

Na primjer, uzimamo pravilo analogije svojstava, koje ima oblik formule:

◊[(P, P, P (x))(P, P (y))→(P (y))],

što se može pročitati ovako: „Element X ima svojstva P,P,P, i element at- svojstva P, P. Dakle, element at, vjerovatno ima imovinu P».

Ovisnost ovog pravila o sadržaju određena je činjenicom da njegova primjena na jedan (1) sadržaj ima smisla, a na drugi (2) - dovodi do neistinitog zaključka.

(1) "Zemlja ( X) je planeta P, okreće se oko sunca P, sija reflektovanom svetlošću P. Venera ( at) je planeta P, okreće se oko sunca P. Stoga, Venera ( at) verovatno sija reflektovanom svetlošću P". (2) "Zemlja ( X) je planeta P, okreće se oko sunca P, ima satelit P. Venera ( at) je planeta P, okreće se oko sunca P. Stoga, Venera ( at) vjerovatno ima satelit P“, koji, kao što znate, Venera nema.

2. Logika i jezik.

Alat koji vam omogućava da prikažete logičku strukturu misli u sažetom i sažetom simboličkom obliku i na taj način omogućite formalizacija(lat. formalis - sastavljen u obliku) naknadnih logičkih operacija (radnje sa racionalnim oblicima mišljenja) je jezik logike. To je jezik koji osigurava izvođenje jednih logičkih formi iz drugih u skladu sa pravilima i zakonima ustanovljenim u logici. I upravo taj zaključak određuje ispravnost teorijskog razmišljanja. To znači da je ispravnost teorijskog mišljenja u logici u velikoj mjeri određena njenim jezikom. Kao što ne postoji logički jezik izvan logičkih radnji, tako bez logičkog jezika, nema logičkih radnji i na kraju, ispravnost mišljenja su nemogući.

Jezik je društveni oblik, koji je materijalno prirodan(zvučni jezik, plastičnost ljudskog tijela: položaji, gestovi, izrazi lica) i veštački(jezik matematike, logike, slikarstva, muzike, putokaza itd.)znakovno-simbolički sistem uz pomoć kojeg ljudi komuniciraju, provode znanje o svijetu i samospoznaju, pohranjuju i prenose informacije, kontroliraju ponašanje jedni drugih.

Jezik obezbeđuje korelaciju sadržaja ljudskog mišljenja sa objektivnim svetom koji njime shvata. Jezik zamjenjuje materijalne objekte kojima je ovladao u radnjama mišljenja. Time on dozvoljava razmišljanju da igra aktivnu ulogu, da uspostavlja suštinu i obrasce ovih objekata, da na osnovu toga stvara modele i metode za njihovu svrsishodnu promjenu.

Svaki jezik se sastoji od znakova. . Potpiši - ovo je element jezika koji zamjenjuje i predstavlja predmete i njihove karakteristike u procesu mišljenja i spoznaje.

Znak je karakteriziran prisustvo značenje i značenje(lat. sensus - značenje) . Značenje (proširenje , lat. extensio - volumen )sign - ovo je subjekt materijalnog svijeta, predstavljen ovim znakom. Značenje (intenzija , lat. intensio - napetost )sign - to je informacija koja se prenosi znakom o prisutnosti ili karakteristikama označenog objekta. To se zove direktno značenje, Za razliku od figurativnom smislu(što ukazuje na sličnost objekta sa drugim objektima: „Ugalj je kruh industrije“) i etimološki(objašnjavajući doslovno značenje riječi: “Bitak je doktrina bića”).

Znakovi nastupaju reprezentativna funkcija (lat. representatio - predstava, vizuelna slika), tj. ukazuju na objekte i njihove znakove(svojstva i odnosi). Tumačeći znakove, otkrivajući njihovo značenje i značaj, osoba spoznaje objektivni svijet. Uostalom, sam svijet, njegov sadržaj nije direktno uključen u aktivnost mišljenja.

Ovisno o produžetku (vrijednosti) znakovi mogu biti izmišljeni ili stvarni.

imaginarne znakove - to su znakovi čija produžetak ne odgovara nijednom postojećem objektu. Imaginarni znakovi odražavaju kako fantastične objekte („Dunavska sirena“, „idealno stanje“), i objekte koji bi mogli postojati, ali ne postoje upravo u predmetnom području označenom ovim znakom („slobodni demokratski izbori predsjednika Ukrajine 2004. ."). Pravi znakovi - to su znakovi čije proširenje odgovara određenom objektu ili osobini(“ustav”, “inflacija”, “ukrajinski oligarsi”).

U zavisnosti od intenziteta (značenje) znakovi mogu biti deskriptivni i neopisni. Opisne oznake - to su znakovi čija namjera sadrži informacije o znakovima označenog objekta - njegovim svojstvima i odnosima(„slobodni izbori“, „galopirajuća inflacija“, „objektivna istina“). Neopisni znakovi - to su znakovi čija intenzija ne karakterizira predmet, već samo ukazuje na njega("država", "imovina", "demokratija").

Sve znakovi se podijele na jezički znakovi I nejezičkih znakova. Vrste nejezičkih znakova dodijeliti on priroda veze znaka sa objektima i njihovim karakteristikama: znakovi-slike - imaju određenu sličnost sa odgovarajućim objektom(karta, plan područja, crtež, fotografija); indeksni znakovi (lat. indeks - indikator) - imaju direktnu vezu sa objektom koji označavaju(dim je znak vatre, promena visine živinog stuba je znak promene atmosferskog pritiska, numerički ili slovni indikator: X, X...X, gdje su 1, 2, n znakovi indeksa); znakovi-simboli - upućuju na objekte, ali nisu fizički povezani s njima(saobraćajni znakovi kao informativni simboli o relevantnoj organizaciji saobraćaja; grb, zastava, himna kao simboli državnosti određene države) ... Jezički znakovi označiti objekte.

Znakovi koji predstavljaju objekte su nazivi stavki ( ili uslovi). Ime (lat. nomen - ime) - ovo je izraz prirodnog ili vještačkog, formaliziranog jezika koji označava poseban objekt ili klasu objekata. Drugim riječima, naziv stavke popravke "šta je rečeno" . Na teorijskoj razini, označavanje predmeta imenima je uvjet ne samo za komunikaciju, već i za razmišljanje. Predmet(lat. res - predmet, stvar) se ovde razume u širem smislu: to su stvari, pojave, procesi, svojstva, veze, odnosi itd. i priroda i društvo, bilo koji proizvod njihovog postojanja.

Imena se klasifikuju na single I general. Single označavaju jedan objekat i predstavljeni su u jeziku vlastitim imenom(“G.S. Skovoroda”, “Dnjepr”). Kada se vlastito ime prenese implicitno, onda se koristi jota operator - "onaj koji"("Oni koji su razvili metode naučne indukcije"). Generale označimo skup(homogena klasa)objekti i predstavljeni su u jeziku zajedničkom imenicom(„knjiga“, „planeta Sunčevog sistema“). Među uobičajenim imenima može se identifikovati jednostavno, u kojem nema dijelova koji imaju samostalno značenje ("knjiga") i kompleks, ili opisno, koji se sastoji od delova koji imaju nezavisno značenje ("planeta Sunčevog sistema": "planeta", "sistem", "sunčev sistem").

Ime (kao i znak) ima značenje I značenje. Značenje imena je objekat na koji se odnosi. Značenje imena pozvao denotacija (lat. denotatus - označen; designatum , lat. designatio - oznaka). Značenje imena- ovo je način na koji naziv označava subjekt, tj. određene informacije o naznačenom objektu. Značenje imena pozvao koncept. Značenje i značenje konstituisati naziv sadržaja.

Na primjer, jezički oblici izražavanja kao što su „najmanja država je grad-država“, „grad-država u glavnom gradu Italije – Rimu“, „zemlja čija površina iznosi 44 hektara sa populacijom od cca. 1.000 ljudi", "centar Rimokatoličke crkve, rezidencija njenog poglavara pape" istu vrijednost(Vatikan), ali različito značenje, jer predstavljaju datu državu koristeći različite osobine, tj. dati različite informacije o tome.

Ako je ime predstavljeno van konteksta, onda nije lako ustanoviti njegovo značenje.. U tom slučaju je potrebna dodatna analiza.

Na primjer, oznaka riječi "Dnjepr" može biti rijeka, motocikl, fudbalski klub itd.

Ako je denotacija(vrijednost)ime je također ime, tada se koristi originalno ime antonimski smisao ("bitak" - "kategorija bića", "sud" - "pojam suda", gdje svaki drugi primjer ilustruje antonimnu upotrebu termina).

Na prirodnom jezikučesto postoje tzv. "antinomije odnosa imenovanja" , u kojoj se u slučaju zamjene jednog imena drugim, identičnim po sadržaju, ali različitim po obliku, mijenja značenje rečenice.

Na primjer, to je nemoguće u učenju Francuza. filozofa R. Descartesa da zamijeni kretanje kao univerzalni atribut materijalne supstance i njenih elemenata na promijeniti kao univerzalni atribut materijalne supstance i njenih elemenata, od 17.st. promjena se nije smatrala atributom materije. Materija, koja se sastoji od mnogih elemenata, sposobna je, prema R. Descartesu, samo za kretanje (mehaničko), ali sami ti elementi - kao i materija u cjelini - su nepromijenjeni.

Zbog toga antinomije imenovanja odnosa neprihvatljivo u naučnim saznanjima zahtijeva poštivanje principa jedinstvenost(tj. upotreba izraza (kao imena) samo u određenom kontekstu - kao naziv jednog objekta ili klase objekata, iu istom smislu), objektivnost(tj. otkrivanje odnosa koje izražava složeno ime, kao odnosa ne između imena, već između objekata koji su označeni jednostavnim imenima uključenim u složeno), zamjenjivost(u kojoj će zamjena jednostavnog imena (s istim denotatom) složenim imenom sačuvati značenje (denotat) složenog).

Znakovi koji predstavljaju znakove - svojstva i odnosi, pozvao prediktori ("bijelo", "više", "zadovoljiti", "ponosno", "prethodnik", "između"). Drugim riječima, prediktor popravke "šta je rečeno" .

Predikatori su okarakterisani lokalitet, područje primjene i područje istine.

Broj predikatorskih imena pozvao teren. Postoje prediktori pojedinačni i višestruki(dva-, tro-, četiri-... lokalni).Ako prediktor karakterizira jednu stavku(svojstvo stavke), onda je single („makroekonomska stabilnost“, „budžetski deficit“). Ako prediktor karakterizira odnos između dva ili više objekata, onda on multi-seat („Ukrajina pristupila STO“, gde je prediktor "ušao" je duplo).

Klasa(lat. classis - grupa) subjekti u okviru kojih ima smisla koristiti određeni prediktor, pozvao opseg prediktora.

Dakle, opseg prediktora "prodati" postojaće klasa ljudi, i "imitirati"- klasa životinja ili klasa biljaka.

Dostupan karakteristika oblasti primene jednomesnih i višemesečnih prediktora: region single je jedno od mogućih svojstava skupa objekata, i multi-seat- objektni odnosi uspostavljeni sa različitim klasama objekata.

Na primjer, prediktor "voli" može popraviti odnos osobe prema drugoj osobi, prema vrsti aktivnosti, prema određenoj stvari itd.

Opseg svojstva ili odnosa predstavljenog prediktorom pozvao oblast istine prediktora.

Na primjer, prema navedenim karakteristikama, područje istinitosti prediktora "lijepa" može biti osoba, ples, cvijet, itd., "potomak"- paleoantrop i arhantrop, crnomorski kozak i kozak, itd.

Izrazi koji označavaju različite radnje, operacije s objektima, kao rezultat kojih nastaju novi objekti, pozvao funkcionalnih znakova (subjekt-funkcionalni izrazi ili subjektni funktori , tj. nazivi predmetnih funkcija: iz matematike: "√", "+", " ctg a" i sl.; na prirodnom jeziku: "starost", "visina", "masa", "brzina", "daljina", "profesija" itd.).

Subjektni funktori (kao i prediktori) postoje single ("težina") i multi-seat („udaljenost“), a takođe imaju područje primjene , tj. ona klasa objekata u kojoj je svrsishodno koristiti određeni funktor ("masa" u fizici, "log" u matematici). Ali primjena funktora (na primjer, "starost" na S. M. Samarin) će dovesti do formiranja novog objekta (u ovom slučaju, do imenovanog broja, na primjer, 20). S tim u vezi, može se reći ne o carstvu istine, ali o domene objektnog funktora .

Thermae (nazivi stavki), prediktori i funktori(funkcionalnih znakova) , koji predstavljaju određene objekte, postoje konstantni izrazi: konstantni član, konstantni prediktor, konstantni funktor. Jezik logike koristi i varijabilni izrazi , ili izrazi sa varijabilnom vrijednošću: predmetne varijable(za artikle) prediktorske varijable(za svojstva i odnose), propozicione varijable(za presude), funkcijske varijable(za predmetne funkcije). Karakteristika varijabilnih znakova je da oni dobijaju značenje samo uz naznaku određene predmetne oblasti.

Generalno nazivi stavki (tj. riječi i fraze koje označavaju pojedinačne objekte i klase homogenih objekata), prediktori (tj. riječi i fraze koje označavaju svojstva objekata ili odnose između objekata), kao i funkcionalnih znakova (tj. izrazi koji označavaju objektne funkcije, operacije: "√", "+", " ctg a”) jesu deskriptivna (od lat. descriptio - opis, deskriptivna )uslovi (lat . terminus - granica).

Jezik takođe ima logičke termine (logičke konstante ili logičke konstante). Logički termini izraziti takve riječi i fraze prirodnim jezikom, kako "i" , "ili" , "ako onda" , "ne" , "ako i samo ako, onda" itd., "sve" ,"neki" itd., "to" ,"koji" ,"takav da" i sl.

Logički izrazi "i" , "ili" , "ako onda" , "ne" , "ako i samo ako, onda"... popraviti odnose između deskriptivnih pojmova u sredini rečenica, između rečenica .

Riječi veza, pozvao logičke veze . U grupu logičkih konekcija, ne samo propozicioni veznici ("i" , "ili" , "ako onda" , "ne" , "ako i samo ako, onda" ), ali takođe logičke veze, fiksiranje kao prisutnost između objekata misli odnosi(„Platon je učitelj Aristotela) i prisustvo predmeta misli svojstva(„Donjeck jesti regionalni centar"): "jesti" ("ne jedu" ), "je" ("nije" ), čiji je oblik množine - "suština" ("nije poenta" ). Ako ligamenti "jesti" ("ne jedu" ), "je" ("nije" ) su izraženi u izjavi svojstva, oni se nazivaju atributivno , ako odnosi - relativno . Ligamenti se mogu izraziti Postojanje predmet i/ili njegove karakteristike i, prema tome, biti egzistencijalni. Osim toga, ove veze mogu biti afirmativno ("jesti" ) i negativan ("ne jedu" ).

Riječi "i" , "ili" , "ako onda" itd. na običnom ili književnom jeziku su gramatičke unije. Povezuju jednostavne rečenice u složene. Ovdje su značajni sadržaj i značenje.

Riječi "i" , "ili" , "ako onda" itd. su i logičke unije. Oni više ne popravljaju veze između rečenica, već između iskaza, gdje samo booleans(istina i neistina) jednostavnih izjava koje čine složenu.

U logici ih ima posebni nazivi i simboli logičkih sindikata: « I» - konjunkcija(), « ili» - disjunkcija(), « ako onda» - implikacija(→), « ako i samo ako onda» - ekvivalentan- (≡), itd. Njihova priroda se istražuje propozicionom logikom. Uz njihovu pomoć, od jednostavnih iskaza (presuda) formiraju se složeni, koji nose naziv odgovarajuće unije: veznici disjunkcije itd. Oni su isti propozicioni veznici, ili propozicioni veznici(lat. propositio - rečenica, izjava).

Logički izrazi "sve" ,"neki"... dati kvantitativne karakteristike u jednostavnim rečenicama. Ovi logički termini predstavljaju logičke operatore, koji uključuju kvantifikatori (od lat. guantum - koliko): opšti kvantifikator (-"sve" ) I egzistencijalni kvantifikator (-"neki" ). Imaju druge analoge prirodnog jezika i druge oznake.

Logični izrazi "to" ,"koji" , "takav da"... odražavaju deskriptivne izraze predmeta misli u jednostavnim rečenicama.

Struktura iskaza također uključuje dodatne riječi koje iskazima daju novi logički status - modalni operatori: “potrebno”, “moguće”, “slučajno”, “zaista”, “dozvoljeno”, “zabranjeno”, “obavezno” itd., koji se koriste u određenim vrste modaliteta. Oni također imaju (ispod) simbole za svoje označavanje.

Formalno svojstvo iskaza (bez obzira na njihovu korespondenciju sa stvarnim podacima) stiče vrednost istine takođe ima simbolički izraz: 1 (tačno), 0 (neistina). Izjava formalno može imati ne samo dvije istinite vrijednosti, tj. biti dvocifrena, ali takođe dvosmisleno.

Logički termini u jeziku logike izraziti sledeće likovi:

1. 1) a, b, c- simboli pojedinačnih naziva, odnosno predmetnih varijabli;
2. 2) x, y, z- simboli uobičajenih naziva, odnosno predmetnih varijabli;
3. 3) P, Q, R, … P, Q, R- simboli prediktora, koji ukazuju na njihovu lokaciju, ili prediktorske varijable;
4. 4) str, q, r- propozicioni simboli, odnosno propozicijske varijable;
5. 5) - simbol opšteg kvantifikatora ("sve", "nijedan", "bilo koji", "bilo koji", "svaki" itd.);
6. 6) - simbol kvantifikatora postojanja (“ne svi”, “neki”, “ima takvih”, “većina”, “manjina”, “dio”, “ponekad” itd.);
7. 7) S, P- simboli subjekta i predikata presude;
8. 8) M- simbol srednjeg pojma zaključka (zajednički za dvije premise);
9. 9) ALI- simbol univerzalno afirmativnog suda („SveS jesti R»);
10. 10) E- simbol univerzalno negativnog suda („SveS ne jedu R»);
11. 11) I - simbol privatne afirmativne presude („NekiS jesti R»);
12. 12) O- simbol privatnog negativnog suda („NekiS ne jedu R»);
13. 13) () - tehnički znaci leve i desne zagrade koji se koriste za beleženje, na primer, složenih termina presuda;
14. 14) < >- znakovi zagrada koji označavaju zatvorenu ili potpunu konjunkciju i disjunkciju;
15. 15) ¬a, ~a, ā, - simboli negacije ("ne-a", "nije tačno da a");
16. 16) , & - simboli veznika ("i");
17. 17) - simbol spoja slabe (nestroge) disjunkcije ("ili");
18. 18) , - simboli spoja jake (stroge) disjunkcije ("ili, ili");
19. 19) →, - simboli konjunkcije implikacije (“ako, onda”);
20. 20) ↔, ≡ - simboli unije ekvivalencije (“ako i samo ako, onda”);
21. 21) - - simbol logičke povezanosti presude („jeste“, „nije“, „suština“, „nije suština“, „jeste“, „nije“);
22. 22) - simbol logičke operacije sabiranja pojmova (klasa);
23. 23) - simbol logičke operacije množenja ili preseka pojmova;
24. 24) - simbol subordinacije, uključivanja klase u klasu;
25. 25) \ - simbol logičke operacije oduzimanja pojma;
26. 26)  - simbol modalnog operatora "neophodno";
27. 27) ◊ - simbol modalnog operatora "možda";
28. 28) - simbol modalnog operatora "slučajno";
29. 29) i - simbol modalnog operatora "stvarno";
30. 30) R- simbol modalnog operatora "dozvoljeno";
31. 31) F- simbol modalnog operatora "zabranjeno";
32. 32) O- simbol modalnog operatora "obavezno";
33. 33) TO- simbol modalnog operatora "zna";
34. 34) IN- simbol modalnog operatora "vjeruje" (vjeruje);
35. 35) 1, i, t- simbol "tačno";
36. 36) 0, x, f- simbol "netačno";
37. 37) R- simbol veze;
38. 38) ALI, IN, OD- simboli izjava;
39. 39) Df- simbol definicije (definicije).

Jezik simbola - to su formalizovana jezička sredstva za fiksiranje logičke strukture(oblici komunikacije)razmišljanja i proučavanja njegovih logičkih svojstava i odnosa sa strogo utvrđenim pravilima.

Karakteristika jezika znakova(ili formalizovani jezik- jezik logike) je nesklad između logičke strukture mišljenja koja se odražava uz pomoć nje i leksičke i gramatičke strukture običnog ili književnog jezika koji prenosi iste misli. logički jezik, S jedne strane, odgovara prirodi i suštini svakog jezičkog sistema, što je određeno idealnošću ljudskog mišljenja i materijalnom prirodom jezičkih znakova koji vrše reprezentativne i supstitutivne funkcije u procesu spoznaje. S druge strane, jezik logike osmišljen je tako da osigura maksimalnu tačnost i konciznost mišljenja, stabilnost i objektivnost zaključaka dobijenih u kognitivnoj aktivnosti, što se postiže u procesu formalizacije apstrahiranjem sadržaja, nedosljednosti i višeznačnosti jezičkih izraza sadržanih u njemu, njihove amorfnosti i dr. kontradikcije svojstvene običnom jeziku. Istovremeno, važno je to napomenuti bitni aspekti sadržaja u logičkom jeziku se ne zanemaruju, već se izražavaju kroz formu uz pomoć simbola. Ovo dozvoljava optimalno i nedvosmisleno identificirati, djelotvorno fiksirati i procijeniti objekte mišljenja, njihova svojstva i odnose, kao i obavljati operacije s njima.

Na primjer:„Autohtono – autohtono stanovništvo zemlje“. U ovoj presudi mogu se identifikovati dva eksplicitna pojma: predmet (S) - "autohtoni" i predikat (P) - "autohtono stanovništvo zemlje". Treći osnovni pojam presude je logička veza "jeste"- izostavljeno, ali se može i eksplicitno izraziti: „Autohton jesti autohtono stanovništvo zemlje. Promašen i opšti kvantifikator () - "sve", ali presuda implicira sve izvorno stanovništvo zemlje. Dakle, logička struktura atributivnog kategoričkog suda, izraženog datom deklarativnom rečenicom, ili nekom drugom, složenijom rečenicom, ali čiji članovi imaju odgovarajuće elemente u logičkom jeziku, simbolički se zapisuje na sljedeći način: S- R. Takva formula se čita prema pravilima jezika simbola: „Sve S jesti R". Sadržaj i gramatička svojstva u odgovarajućoj rečenici su potpuno izostavljeni. Štoviše, takvo čitanje zamjenjuje nespretnost izraza prirodnog jezika o univerzalno afirmativnom sudu: „U općenito afirmativnom sudu, svaki objekt određenog skupa koji odražava koncept subjekta ima svojstvo koje se odražava u konceptu subjekta. predikat.”

Skup znakova znači koji fiksira logičku strukturu mišljenja i logičke veze elemenata ove strukture je predmetni jezik , ili objektni jezik: „Sve S jesti R". ALI logička analiza strukture mišljenja, povezanost simboličkih sredstava ove strukture i postupak njihove korelacije sa značenjem odvija se na osnovu metajezik: S označava predmet misli, R- znak subjekta mišljenja, "jesti" popravlja odnos između njih, "sve"- određeni skup objekata sa svojim inherentnim karakteristikama, koji se odražavaju u S(predmet) i R(predikat).

Struktura prirodnog jezika predstavljeno tri dijela semiotike (grčki σημειωτικόν - učenje o znakovima, od grčkog σημεϊον - znak) - nauka o znakovima i jeziku kao znakovnom sistemu: sintaksa (grč. σύνταζις - struktura, kombinacija; pri čemu se analiziraju sami znakovi, tj. utvrđuju se principi građenja znakova, pravila povezivanja i smještaja jezičkih znakova u određeni znakovni sistem), semantika (grč. σημαντικός - označavanje; gdje se otkriva odnos znaka i značenja, proučava značenje i značenje jezičkih izraza, jezik se analizira kao znakovni sistem u smislu funkcija definicije i označavanja) i pragmatika (od grčkog πραγμα - delo, radnja; gde se razmatra odnos između znakovnog sistema i njegovog nosioca, načini upotrebe znakova i jezika kao znakovnog sistema u konkretnim praktičnim situacijama).

Struktura formalizovanog jezika uključuje samo sintaktički (jezički objekat) I semantički (metajezik) dijelovi. Sintaksički jezik koristi termine kao što su praćenje, zaključivanje, dokaz, itd. Semantički- klasa, iskaz, svojstvo, odnos, istinito i netačno, istinita vrijednost iskaza, interpretacija. jezički objekat kao sistem simboličkih sredstava, skup formula fiksira u simboličkom obliku logičku strukturu rasuđivanja, logička svojstva sastavnih elemenata rasuđivanja i odnos između elemenata zaključivanja. Metajezik otkriva svojstva i odnose znakovnih sredstava predmetnog jezika, funkcije kombinacija i formacija znakovnih sredstava predmetnog jezika. U samom metajeziku razlikuju se sintaksa i semantika. Sintaksa metajezika sastoji se od pravila koja opisuju karakteristike znakovnih sistema predmetnog jezika. Semantika opisuje vrste vrijednosti koje znakovi u objektnom jeziku mogu primiti i pravila po kojima se te vrijednosti dodjeljuju odgovarajućim znakovima u objektnom jeziku.

Važnost učenja logike je da omogućava prvo, upoznaju zakone, pravila i metode mišljenja koji su objektivne prirode; drugo, na osnovu poznavanja zakona i pravila mišljenja, svjesno pristupiti procesu razmišljanja, pomoći da se poveća jasnoća akcija u provedbi dokaza i pobijanja, povlačenju analogija itd.; treće, svjesno graditi rasuđivanje ne samo sa stanovišta njihove formalne ispravnosti, već i istine; četvrto, tačno utvrdi suštinu riječi koje se koriste u jeziku, oblik i strukturu sudova i zaključaka; peti, izbjegavati dvosmislenost i kontradiktornost u procesu razmišljanja i zaključivanja; na šestom, pronalaze i otklanjaju greške kako u sopstvenom rasuđivanju, tako iu svojim protivnicima; sedmi, pridružiti se najnovijim rezultatima kako u aktuelnoj oblasti logičkih dostignuća, tako iu drugim oblastima ljudske delatnosti; osmo, povećati nivo efikasnosti ne samo naučnih saznanja, već i implementacije njegovih rezultata u različitim oblastima društvene prakse.

Logika je raznolik pojam koji je čvrsto ušao u naš život i kulturu govora. U ovom članku ćemo razmotriti sa naučne tačke gledišta šta je logika. Definicije, vrste, zakoni logike i historijska pozadina pomoći će nam u tome.

opšte karakteristike

Dakle, šta je logika? Definicija logike je veoma višestruka. U prijevodu s grčkog znači "misao", "razum", "riječ" i "pravilnost". U modernoj interpretaciji, ovaj koncept se koristi u tri slučaja:

1. Označavanje odnosa i obrazaca koji ujedinjuju radnje ljudi ili događaja u objektivnom svijetu. U tom smislu se često koriste koncepti kao što su "logički lanac", "logika činjenica", "logika stvari" i tako dalje.
2. Označavanje strogog niza i obrazaca procesa razmišljanja. U ovom slučaju se koriste izrazi poput: "logika rasuđivanja", "logika razmišljanja", "logika govora" i tako dalje.
3. Oznaka posebne nauke koja proučava logičke forme i operacije, kao i zakone mišljenja koji su s njima povezani.

Logički zadaci

Kao što vidite, u svakoj konkretnoj situaciji može postojati barem jedan od nekoliko odgovora na pitanje: "Šta je logika?" Definicija logičkih zadataka je manje obimna. Glavni zadatak je doći do zaključka na osnovu premisa i steći znanja o predmetu rasuđivanja kako bi se dublje proželo njegovim odnosima sa drugim aspektima fenomena koji se razmatra. U svakoj nauci, jedan od glavnih alata je logika. To nije samo važan pododjeljak filozofije, već utiče i na neka matematička učenja. "Algebra logike" je definicija dobro poznata u matematičkim krugovima. Ponekad se brka šta je osnova kompjuterske nauke, ali to nije sasvim tačno.

neformalna logika

Logika se uglavnom deli na:

1. neformalno.
2. Formalno.
3. Symbolic.
4. Dijalektički.

Neformalna logika je proučavanje argumentacije na izvornom jeziku. Ovaj termin je najčešći u engleskoj književnosti. Dakle, glavni zadatak neformalne logike je proučavanje logičkih grešaka u govoru. Zaključak koji se donosi na prirodnom jeziku može imati čisto formalni sadržaj ako se može ilustrirati da nije ništa drugo do posebna primjena univerzalnog pravila.

Formalna i simbolička logika

Analiza zaključka, koji otkriva isti formalni sadržaj, naziva se formalna logika. Što se njega tiče, istražuje simboličke apstrakcije koje fiksiraju formalni sastav logičkog zaključka.

dijalektička logika

Dijalektička logika je nauka o mišljenju, koja daje znanje o načinu zaključivanja, čime se proširuju mogućnosti formalnog zaključivanja. U ovom slučaju, pojam logike se može koristiti i u vlastitom logičkom smislu i kao svojevrsna metafora.

Dijalektičko rezonovanje je delimično zasnovano na formalnim zakonima logike. Istovremeno, analizirajući dinamiku tranzicije pojmova u njihove suprotnosti, dopušta podudarnost suprotnosti, što znači da je vođena dijalektičkim zakonima.

Logički objekat

Definicija logike kao nauke podrazumijeva da je njen objekt čovjek, složen, multilateralni proces koji uključuje generaliziranu refleksiju od strane osobe o stvarima i odnosima okolnog svijeta. Ovaj proces proučavaju različite nauke: filozofija, psihologija, genetika, lingvistika i kibernetika. Filozofija razmatra porijeklo i suštinu mišljenja, kao i njegovu identifikaciju sa materijalnim svijetom i znanjem. Psihologija kontroliše uslove za normalno funkcionisanje mišljenja i njegov razvoj, kao i uticaj okoline na njega. Genetika nastoji da proučava mehanizam nasljeđivanja sposobnosti mišljenja. Lingvistika traži veze između mišljenja i govora. Pa, kibernetika pokušava da izgradi tehničke modele ljudskog mozga i razmišljanja. Sama logika gleda na proces mišljenja sa stanovišta strukture misli, kao i ispravnosti ili neispravnosti rasuđivanja, pritom je odvučena od sadržaja i razvoja misli.

Predmet logike

Predmet ove oblasti znanja je logički oblik, operacije povezane s njim i zakoni mišljenja. Predmet proučavanja logike je najbolje razmatrati kroz proces spoznaje svijeta oko nas. Spoznaja je proces kojim pojedinac stiče znanje o svijetu. Postoje dva načina za sticanje znanja:

1. Senzorno znanje. Izvodi se pomoću čulnih organa ili instrumenata.
2. Racionalno znanje. Izvodi se uz pomoć apstraktnog mišljenja.

Znanje se zasniva na teoriji refleksije. Prema ovoj teoriji, sudovi, stvari i pojave objektivnog svijeta mogu utjecati na ljudska osjetila i aktivirati sistem za prenošenje informacija u mozak, kao i aktivirati sam mozak, uslijed čega se stvara slika upravo tih stvari i pojave se stvaraju u čovjekovom razmišljanju.

Čulna spoznaja

Senzualna slika se odnosi na znanje o vanjskim svojstvima određenih stvari i pojava. Senzorna spoznaja može imati tri oblika:

1. Feeling. Odražava pojedinačna svojstva objekta.
2. Percepcija. Odražava objekt u cjelini, predstavlja njegovu holističku sliku.
3. Zastupanje. To je slika predmeta sačuvana u memoriji.

U fazi čulne spoznaje, suština stvari i procesa, njihova unutrašnja svojstva nisu uvijek dostupna osobi. Mali princ iz istoimene Egziperijeve priče rekao je: "Očima ne možete vidjeti najvažnije." U takvim slučajevima čulima u pomoć priskoči razum ili apstraktno mišljenje.

racionalna spoznaja

Apstraktno mišljenje odražava stvarnost u smislu osnovnih svojstava i odnosa. Spoznaja svijeta putem apstraktnog mišljenja događa se indirektno, a ne eksplicitno. Ne podrazumijeva pozivanje na zapažanja i praksu, već se gradi na osnovu dubljeg razmišljanja o svojstvima i odnosima predmeta i pojava. Na primjer, na tragu kriminalca, možete ponovo stvoriti sliku incidenta, možete saznati kakvo je vrijeme napolju pomoću termometra itd.

Važna karakteristika apstraktnog mišljenja je njegova bliska veza sa jezikom. Svaka misao se formira uz pomoć riječi i fraza, izgovaranih unutrašnjim ili vanjskim govorom. Razmišljanje ne samo da pomaže čovjeku da opiše svijet oko sebe, već mu omogućava i da formulira nove ideje, apstrakcije, prognoze i predviđanja, odnosno rješava brojne logičke probleme. Definicije "logike" i "razmišljanja" u ovom pogledu su usko povezane jedna s drugom. Razmišljanje, bez obzira da li je apstraktno ili racionalno, može se odvijati u tri glavna oblika: koncept, sud i zaključak. Razmotrimo ih odvojeno.

koncept

To je oblik razmišljanja kojim osoba stvara mentalne slike o objektima, njihovim karakteristikama i odnosima. Koncept je nemoguć bez definicije. Ali ćemo malo kasnije razmotriti pravila definicija u logici. U procesu formiranja pojmova, pojedinac se bavi analizom predmeta koji ga zanima, uspoređuje ga s drugim objektima, ističe njegove glavne karakteristike, apstrahira od nebitnih osobina i generalizira različite objekte na osnovu ovih karakteristika. Kao rezultat, stvaraju se mentalne slike objekata, njihovih svojstava i odnosa.

Koncepti igraju važnu ulogu u ljudskoj kognitivnoj aktivnosti. Zahvaljujući njima moguće je generalizirati ono što u stvarnosti postoji odvojeno. U objektivnom svijetu ne postoje pojmovi kao student, student, službenik, sportista itd., sve su to generalizirane slike koje mogu postojati samo u idealnom svijetu, odnosno u čovjekovoj glavi.

Otvara mogućnost sticanja znanja o predmetima i pojavama na osnovu osnovnih svojstava klase sličnih predmeta ili pojava. O tome kakav bi svijet bio da ljudi ne operišu konceptima u međusobnoj komunikaciji, Jonathan Swift pripovijeda u svojoj priči o Guliverovim putovanjima. Prema priči, jednog dana je mudrac savjetovao ljude u razgovoru da ne koriste pojmove o objektima, već direktno objekte. Mnogi su poslušali njegovu preporuku, ali su za normalan razgovor sa sagovornikom morali da nose torbe sa raznim stvarima na ramenima. Naravno, takav razgovor sa demonstracijom predmeta, čak i među vlasnicima najvećih torbi, bio je vrlo oskudan.

Koncept ne može postojati bez definicije. U različitim naukama, definicija se može tumačiti sa određenim razlikama. Definicija pojmova u logici je proces pridavanja određenog značenja određenom jezičkom terminu. U svojoj srži, koncept je beskonačan, budući da ga razvija univerzalni um. Definicija je konačna, jer je rezultat racionalne (logičke) aktivnosti. Prema Hegelu, definicija ne odgovara Apsolutu i odgovara reprezentaciji. je prevesti koncepte u reprezentacije, oslobađajući se konačnih definicija.

Koncept ima značenje. A definicija pojmova u logici je radnja koja ima za cilj otkrivanje ovog značenja. Dakle, pojam se može nazvati riječju koja je kroz logičko rasuđivanje dobila definiciju. Stoga, bez definicije, riječ nije pojam, čak i ako ima distribuciju. Definirati koncept znači opisati njegovo značenje, navodeći sve glavne nijanse. Štaviše, ako se to radi izvan okvira određenog sistema znanja, može doći do grešaka u definicijama. Svako ima svoju logiku, baš kao i razumijevanje određene riječi. Stoga, kada se govori o filozofskim temama, važno je definirati pojmove.

Vrste definicija u logici predstavljene su vrlo široko. Definicija može biti: intenzivna, realna, aksiomatska, nominalna, eksplicitna, implicitna, genetska, kontekstualna, induktivna i ostenzivna.

Osuda

Na osnovu pojmova o predmetima, osoba može iznositi sudove o njima i donositi zaključke. Sud je oblik mišljenja u kojem se nešto potvrđuje ili negira protiv subjekta mišljenja. Iz jedne presude možete dobiti drugu. Na primjer, na osnovu činjenice da su svi ljudi smrtni, može se zaključiti da je onaj koji je umro osoba. Prilikom građenja pojmova, sudova i zaključaka svako može pogriješiti, kako svjesno, tako i nesvjesno. Da biste ih izbjegli, morate znati osnove ispravnog razmišljanja.

Mišljenje se naziva ispravnim, u okviru kojeg se iz istinskog znanja dobija novo istinsko znanje. Pogrešno razmišljanje takođe može rezultirati lažnim znanjem. Na primjer, postoje dvije presude: "Ako je Ivan počinio pljačku, on je zločinac" i "Ivan nije počinio pljačku". Presuda "Ivan nije zločinac" na osnovu ovih podataka može biti lažna, jer činjenica da nije počinio razbojništvo ne znači da nije počinio druga krivična djela.

zaključivanje

Govoreći o ispravnosti zaključaka, naučnici misle na poštivanje pravila njihove konstrukcije i međusobnog povezivanja. Na tome se zasniva definicija zakona logike kao nauke o mišljenju. Formalna logika se apstrahuje od konkretnog sadržaja i razvoja misli. Međutim, ona naglašava istinitost i neistinitost ovih misli. Često se naziva logičnim, s naglaskom na naziv nauke koja proučava određenu stranu mišljenja.

Pitanje istinitosti ili neistinitosti sudova i zaključaka je pitanje korespondencije ili nedosljednosti onoga što oni govore objektivnom svijetu. Pravi sud objektivno odražava stanje stvari u objektivnoj stvarnosti. Lažna izjava, s druge strane, nije tačna. Pitanjem šta je istina i kako je čulno znanje povezano sa apstraktnim mišljenjem više se ne bavi logika, već filozofija.

Zaključak

Danas smo naučili šta je logika. Definicija ovog koncepta je vrlo prostrana i višestruka, utiče na široku oblast znanja. Ovakva raznolikost manifestacija logike ilustruje njen odnos sa drugim naukama, od kojih su neke prilično materijalističke. U članku se također razmatraju glavni aspekti ljudskog mišljenja: zaključci, sudovi, koncepti i definicije (u logici). Primjeri iz stvarnog života pomogli su nam da lakše naučimo ovo gradivo.

Svakodnevno se susrećemo s brojnim zadacima za čije rješavanje je potrebna naša sposobnost logičkog razmišljanja. Logika kao sposobnost dosljednog i dosljednog razmišljanja i razmišljanja potrebna je u mnogim životnim situacijama, od rješavanja složenih tehničkih i poslovnih problema do uvjeravanja sagovornika i kupovine u prodavnici.

Ali uprkos velikoj potrebi za ovom veštinom, često pravimo logičke greške, a da to i sami ne znamo. Zaista, među mnogima postoji mišljenje da je moguće ispravno razmišljati na osnovu životnog iskustva i takozvanog zdravog razuma, bez korištenja zakona i posebnih tehnika “formalne logike”. Za izvođenje jednostavnih logičkih operacija, donošenje elementarnih sudova i jednostavnih zaključaka može doći i zdrav razum, a ako treba da znate ili objasnite nešto složenije, onda nas zdrav razum često dovodi u zablude.

Razlozi ovih zabluda leže u principima razvoja i formiranja temelja logičkog mišljenja ljudi koji se postavljaju u djetinjstvu. Nastava logičkog mišljenja se ne provodi svrsishodno, već se poistovjećuje sa časovima matematike (za djecu u školi ili za studente na fakultetu), kao i sa rješavanjem i polaganjem raznih igara, testova, zadataka i zagonetki. Ali takve akcije doprinose razvoju samo malog dijela procesa logičkog mišljenja. Osim toga, prilično primitivno nam objašnjavaju principe pronalaženja rješenja zadataka. Što se tiče razvoja verbalno-logičkog mišljenja (ili verbalno-logičkog mišljenja), sposobnosti da se pravilno izvode mentalne operacije, dosljedno dolazimo do zaključaka, iz nekog razloga nas to ne uče. Zbog toga stepen razvijenosti logičkog mišljenja ljudi nije dovoljno visok.

Smatramo da se logičko mišljenje osobe i njena sposobnost saznanja treba razvijati sistematski i na osnovu posebnog terminološkog aparata i logičkih alata. U učionici ovog onlajn treninga naučićete o metodama samoobrazovanja za razvoj logičkog mišljenja, upoznati se sa glavnim kategorijama, principima, karakteristikama i zakonima logike, a takođe ćete pronaći primere i vežbe za primenu stečenog znanja i vještine.

Šta je logično razmišljanje?

Da bismo objasnili šta je "logičko mišljenje", ovaj koncept dijelimo na dva dijela: mišljenje i logiku. Hajde da sada definišemo svaku od ovih komponenti.

Ljudsko razmišljanje- ovo je mentalni proces obrade informacija i uspostavljanja veza između objekata, njihovih svojstava ili pojava okolnog svijeta. Razmišljanje omogućava osobi da pronađe veze između pojava stvarnosti, ali da bi pronađene veze zaista odražavale pravo stanje stvari, mišljenje mora biti objektivno, ispravno, odnosno, drugim riječima, logično, odnosno podložno zakoni logike.

Logika prevedeno s grčkog, ima nekoliko značenja: „nauka o ispravnom mišljenju“, „umjetnost rasuđivanja“, „govor“, „rasuđivanje“ pa čak i „misao“. U našem slučaju polazit ćemo od najpopularnije definicije logike kao normativne nauke o oblicima, metodama i zakonima ljudske intelektualne mentalne aktivnosti. Logika proučava načine postizanja istine u procesu spoznaje na indirektan način, ne iz čulnog iskustva, već iz znanja stečenog ranije, stoga se može definisati i kao nauka o načinima za sticanje inferencijalnog znanja. Jedan od glavnih zadataka logike je da utvrdi kako doći do zaključka iz postojećih premisa i dobiti istinsko znanje o predmetu mišljenja kako bi se bolje razumjele nijanse predmeta mišljenja koji se proučava i njegove veze s drugim aspektima mišljenja. fenomen koji se razmatra.

Sada možemo definisati samo logičko mišljenje.

Ovo je misaoni proces u kojem osoba koristi logičke koncepte i konstrukcije, koji karakteriziraju dokaz, razboritost, a čija je svrha da se iz postojećih premisa dobije razuman zaključak.

Postoji i nekoliko vrsta logičkog razmišljanja, navodimo ih, počevši od najjednostavnijih:

Figurativno-logičko mišljenje

Figurativno-logičko mišljenje (vizuelno-figurativno mišljenje) - različiti misaoni procesi takozvanog "figurativnog" rješavanja problema, koji uključuje vizualni prikaz situacije i operiranje slikama njenih sastavnih objekata. Vizuelno-figurativno mišljenje je, zapravo, sinonim za riječ "mašta", što nam omogućava da najslikovitije i jasnije rekreiramo čitav niz različitih stvarnih karakteristika predmeta ili pojave. Ova vrsta mentalne aktivnosti osobe formira se u djetinjstvu, počevši od oko 1,5 godine.

Da biste shvatili koliko je ova vrsta razmišljanja razvijena u vama, predlažemo da uradite Raven Progressive Matrices IQ test.

Ravenov test je skala progresivnih matrica za procjenu kvocijenta inteligencije i nivoa mentalnih sposobnosti, kao i logičkog mišljenja, koju je 1936. razvio John Raven u saradnji sa Rogerom Penroseom. Ovaj test može dati najobjektivniju procjenu koeficijenta inteligencije testiranih osoba, bez obzira na njihov stepen obrazovanja, društveni sloj, zanimanje, jezik i kulturološke karakteristike. Odnosno, može se s velikom vjerovatnoćom tvrditi da će podaci dobijeni kao rezultat ovog testa kod dvoje ljudi iz različitih dijelova svijeta jednako procijeniti njihov IQ. Objektivnost procjene osigurava činjenica da su osnovu ovog testa isključivo slike figura, a s obzirom da su Ravenove matrice među testovima neverbalne inteligencije, njegovi zadaci ne sadrže tekst.

Test se sastoji od 60 tabela. Biće vam ponuđeni crteži sa figurama koje su međusobno povezane određenom zavisnošću. Jedna figura nedostaje, data je na dnu slike između 6-8 drugih figura. Vaš zadatak je da uspostavite obrazac koji povezuje figure na slici, i označite broj tačne figure birajući između ponuđenih opcija. Svaka serija tabela sadrži zadatke sve veće težine, a istovremeno se iz serije u seriju uočava i kompliciranje vrste zadataka.

Apstraktno logičko razmišljanje

Apstraktno logičko razmišljanje- ovo je završetak misaonog procesa uz pomoć kategorija koje ne postoje u prirodi (apstrakcije). Apstraktno mišljenje pomaže osobi da modelira odnose ne samo između stvarnih objekata, već i između apstraktnih i figurativnih predstava koje je samo mišljenje stvorilo. Apstraktno-logičko mišljenje ima nekoliko oblika: koncept, sud i zaključak, o čemu više možete naučiti na lekcijama našeg treninga.

Verbalno-logičko mišljenje

Verbalno-logičko mišljenje (verbalno-logičko mišljenje) je jedna od vrsta logičkog mišljenja koju karakteriše upotreba jezičkih sredstava i govornih struktura. Ova vrsta razmišljanja uključuje ne samo vještu upotrebu misaonih procesa, već i kompetentnu upotrebu vlastitog govora. Verbalno-logičko razmišljanje nam je potrebno za javno nastupanje, pisanje tekstova, svađu i u drugim situacijama kada svoje misli moramo izraziti jezikom.

Primjena logike

Razmišljanje pomoću logičkih alata neophodno je u gotovo svim oblastima ljudske aktivnosti, uključujući egzaktne i humane nauke, ekonomiju i biznis, retoriku i javni govor, kreativni proces i izum. U nekim slučajevima, stroga i formalizirana logika se koristi, na primjer, u matematici, filozofiji i tehnologiji. U drugim slučajevima, logika samo pruža osobi korisne tehnike za postizanje razumnog zaključka, na primjer, u ekonomiji, istoriji ili jednostavno u običnim „životnim“ situacijama.

Kao što je već spomenuto, često pokušavamo logično razmišljati na intuitivnom nivou. Neki to rade dobro, neki lošije. Ali pri povezivanju logičkog aparata ipak je bolje znati kakve mentalne tehnike koristimo, jer u ovom slučaju možemo:

• Tačnije, odaberite pravu metodu koja će vam omogućiti da dođete do pravog zaključka;
• Razmišljajte brže i bolje - kao posljedica prethodnog stava;
• Bolje izrazite svoje misli;
• Izbjegavajte samozavaravanje i logičke zablude,
• Identificirati i otkloniti greške u zaključcima drugih ljudi, nositi se sa sofizmom i demagogijom;
• Koristite prave argumente da ubijedite sagovornike.

Često je korištenje logičkog mišljenja povezano s brzim rješavanjem logičkih zadataka i polaganjem testova za određivanje nivoa intelektualnog razvoja (IQ). Ali ovaj pravac je u većoj mjeri povezan s dovođenjem mentalnih operacija do automatizma, što je vrlo mali dio toga kako logika može biti korisna čovjeku.

Sposobnost logičkog razmišljanja kombinuje mnoge vještine u korištenju različitih mentalnih radnji i uključuje:

1. Poznavanje teorijskih osnova logike.
2. Sposobnost pravilnog izvođenja mentalnih operacija kao što su: klasifikacija, konkretizacija, generalizacija, poređenje, analogija i druge.
3. Samouvjereno korištenje ključnih oblika mišljenja: koncepta, prosuđivanja, zaključivanja.
4. Sposobnost da argumentujete svoje misli u skladu sa zakonima logike.
5. Sposobnost brzog i efikasnog rješavanja složenih logičkih problema (kako obrazovnih tako i primijenjenih).

Naravno, takve operacije mišljenja uz upotrebu logike kao što su definicija, klasifikacija i kategorizacija, dokaz, pobijanje, zaključak, zaključak i mnoge druge koristi svaka osoba u svojoj mentalnoj aktivnosti. Ali mi ih koristimo nesvjesno i često s greškama bez jasne ideje o dubini i složenosti tih mentalnih radnji koje čine čak i najelementarniji čin mišljenja. A ako želite da vaše logičko razmišljanje bude zaista ispravno i strogo, to treba posebno i ciljano proučavati.

Kako to naučiti?

Logičko razmišljanje nije nam dato od rođenja, ono se može samo naučiti. Postoje dva glavna aspekta nastave logike: teorijski i praktični.

teorijska logika , koji se predaje na univerzitetima, upoznaje studente sa glavnim kategorijama, zakonima i pravilima logike.

Praktična obuka usmjerena na primjenu stečenog znanja u životu. Međutim, u stvarnosti, moderna obuka iz praktične logike obično je povezana s polaganjem raznih testova i rješavanjem problema za testiranje nivoa razvijenosti inteligencije (IQ) i iz nekog razloga ne utiče na primjenu logike u stvarnim životnim situacijama.

Da bi se zapravo ovladalo logikom, treba kombinovati teorijske i primijenjene aspekte. Lekcije i vježbe trebaju biti usmjerene na formiranje intuitivnog logičkog alata dovedenog do automatizma i konsolidacije stečenog znanja kako bi se moglo primijeniti u stvarnim situacijama.

Po ovom principu je sastavljena onlajn obuka koju sada čitate. Svrha ovog kursa je da vas nauči kako logički razmišljati i primijeniti metode logičkog mišljenja. Nastava ima za cilj upoznavanje sa osnovama logičkog mišljenja (tezaurus, teorije, metode, modeli), mentalnim operacijama i oblicima mišljenja, pravilima argumentacije i zakonima logike. Osim toga, svaka lekcija sadrži zadatke i vježbe za uvježbavanje upotrebe stečenog znanja u praksi.

Lekcije logike

Prikupljenim širokim spektrom teorijskih materijala, kao i proučavanjem i prilagođavanjem iskustva podučavanja primijenjenih oblika logičkog mišljenja, pripremili smo niz lekcija za potpuno savladavanje ove vještine.

Prvu lekciju našeg kursa posvetit ćemo složenoj, ali vrlo važnoj temi - logičkoj analizi jezika. Vrijedi odmah napomenuti da se ova tema mnogima može učiniti apstraktnom, prepunom terminologije, neprimjenjivom u praksi. Ne boj se! Logička analiza jezika je osnova svakog logičkog sistema i ispravnog zaključivanja. Oni pojmovi koje ovdje naučimo postat će naša logična abeceda, bez znanja koje je jednostavno nemoguće ići dalje, ali ćemo postepeno naučiti da je koristimo s lakoćom.

Logički koncept je oblik mišljenja koji odražava predmete i pojave u njihovim bitnim osobinama. Pojmovi su različitih tipova: konkretni i apstraktni, pojedinačni i opšti, kolektivni i nekolektivni, nerelativni i korelativni, pozitivni i negativni i drugi. U okviru logičkog mišljenja važno je biti u stanju razlikovati ove vrste pojmova, kao i proizvoditi nove koncepte i definicije, pronaći odnose između pojmova i vršiti posebne radnje na njima: generalizaciju, ograničenje i podjelu. Sve ćete ovo naučiti u ovoj lekciji.

U prve dvije lekcije govorili smo o tome da je zadatak logike da nam pomogne da pređemo sa intuitivne upotrebe jezika, praćene greškama i neslaganjima, na njegovu uredniju upotrebu, lišenu dvosmislenosti. Sposobnost pravilnog rukovanja konceptima jedna je od potrebnih vještina za to. Još jedna jednako važna vještina je sposobnost ispravnog davanja definicija. U ovom vodiču ćemo vam pokazati kako to naučiti i kako izbjeći najčešće greške.

Logički sud je oblik mišljenja u kojem se nešto potvrđuje ili negira o okolnom svijetu, predmetima, pojavama, kao i odnosima i vezama među njima. Propozicije u logici sastoje se od subjekta (o čemu je sud), predikata (ono što se kaže o subjektu), veziva (ono što povezuje subjekt i predikat) i kvantifikatora (opseg subjekta). Presude mogu biti različitih tipova: jednostavne i složene, kategorične, opšte, pojedinačne, pojedinačne. Razlikuju se i oblici veza između subjekta i predikata: ekvivalencija, ukrštanje, subordinacija i kompatibilnost. Osim toga, u okviru složenih (složenih) presuda mogu postojati svoje veze koje definiraju još šest vrsta složenih presuda. Sposobnost logičkog mišljenja podrazumijeva sposobnost pravilnog građenja različitih vrsta sudova, razumijevanja njihovih strukturnih elemenata, znakova, odnosa među sudovima, kao i provjeravanja da li je sud istinit ili lažan.

Prije nego što pređemo na posljednji treći oblik mišljenja (zaključivanje), važno je razumjeti koji logički zakoni postoje, odnosno, drugim riječima, objektivno postojeća pravila za konstruiranje logičkog mišljenja. Njihova je svrha, s jedne strane, da pomognu u izgradnji zaključaka i argumentacije, as druge strane, da spriječe greške i narušavanje logike povezane s rasuđivanjem. U ovoj lekciji će se razmatrati sledeći zakoni formalne logike: zakon identiteta, zakon isključene sredine, zakon kontradikcije, zakon dovoljnog razloga, kao i de Morganovi zakoni, zakoni deduktivnog rasuđivanja, Claviusov zakon i zakoni podjele. Proučavajući primjere i radeći posebne vježbe, naučit ćete kako da namjerno koristite svaki od ovih zakona.

Zaključak je treći oblik mišljenja u kojem jedan, dva ili više suda, koji se nazivaju premise, slijede novi sud, koji se naziva zaključak ili zaključak. Zaključci se dijele na tri tipa: deduktivni, induktivni i zaključci po analogiji. U deduktivnom zaključivanju (dedukciji), zaključak se izvodi iz opšteg pravila za određeni slučaj. Indukcija je zaključak u kojem se iz nekoliko posebnih slučajeva izvodi opće pravilo. U zaključivanju po analogiji, na osnovu sličnosti objekata u nekim osobinama, dolazi se do zaključka o njihovoj sličnosti u drugim osobinama. U ovoj lekciji ćete se upoznati sa svim vrstama i podtipovima zaključivanja, naučiti kako izgraditi razne uzročno-posljedične veze.

Ova lekcija će se fokusirati na zaključke sa više premisa. Kao iu slučaju jednoparceličnih zaključaka, sve potrebne informacije u skrivenom obliku će već biti prisutne u prostorijama. Međutim, budući da će sada biti mnogo parcela, metode za njihovo vađenje postaju složenije, pa se informacije dobijene u zaključku neće činiti trivijalnim. Osim toga, treba napomenuti da postoji mnogo različitih vrsta zaključaka sa više premisa. Fokusiraćemo se samo na silogizme. Razlikuju se po tome što i u premisama iu zaključku imaju kategoričke atributivne iskaze i, na osnovu prisustva ili odsustva nekih svojstava objekata, omogućavaju da zaključimo da oni imaju ili nemaju druga svojstva.

U prethodnim lekcijama smo govorili o raznim logičkim operacijama koje su važan dio svakog rasuđivanja. Među njima su bile operacije na konceptima, definicijama, sudovima i zaključcima. Dakle, u ovom trenutku bi trebalo biti jasno od kojih se komponenti sastoji obrazloženje. Međutim, nigdje se nismo dotakli pitanja kako se rasuđivanje uopće može organizirati i koje su vrste rasuđivanja u principu. Ovo će biti tema posljednje lekcije. Za početak, rasuđivanje je podijeljeno na deduktivno i uvjerljivo. Sve vrste zaključivanja o kojima se govorilo u prethodnim lekcijama: zaključci o logičkom kvadratu, inverzije, silogizmi, entimemi, soriti - su upravo deduktivno zaključivanje. Njihova odlika je da su premise i zaključci u njima povezani odnosom stroge logičke konsekvencije, dok u slučaju uvjerljivog zaključivanja takve veze nema. Prvo, hajde da pričamo više o deduktivnom zaključivanju.

Kako pohađati časove?

Same lekcije sa svim vježbama mogu se završiti za 1-3 sedmice, nakon što su naučili teorijski materijal i malo vježbali. Ali za razvoj logičkog mišljenja važno je sistematski učiti, puno čitati i stalno trenirati.

Za maksimalan učinak, preporučujemo da prvo jednostavno pročitate cijeli materijal i provedete 1-2 večeri na njemu. Zatim prolazite kroz 1 lekciju dnevno, radeći potrebne vježbe i slijedeći predložene preporuke. Nakon što savladate sve lekcije, uključite se u efikasno ponavljanje kako biste dugo zapamtili gradivo. Nadalje, pokušajte češće primjenjivati ​​metode logičkog razmišljanja u životu, pri pisanju članaka, pisama, u komunikaciji, u sporovima, u poslu, pa čak i u slobodno vrijeme. Učvrstite svoje znanje čitanjem knjiga i udžbenika, kao i uz pomoć dodatnog materijala, o čemu će biti riječi u nastavku.

Dodatni materijal

Pored lekcija u ovom odeljku, pokušali smo da prikupimo mnogo korisnog materijala o temi koja se razmatra:

• Logički zadaci;
• Testovi za logičko razmišljanje;
• Logičke igre;
• Najpametniji ljudi u Rusiji i svetu;
• Video tutorijali i majstorske nastave.

Kao i knjige i udžbenici, članci, citati, pomoćni treninzi.

Knjige i udžbenici iz logike

Na ovoj stranici smo odabrali korisne knjige i udžbenike koji će vam pomoći da produbite svoja znanja iz logike i logičkog razmišljanja:

• "Primijenjena logika". Nikolaj Nikolajevič Nepejvoda;
• "Udžbenik logike". Georgij Ivanovič Čelpanov;
• "Logika: bilješke s predavanja". Dmitry Shadrin;
• „Logika. Tečaj obuke" (obrazovno-metodički kompleks). Dmitrij Aleksejevič Gusev;
• "Logika za pravnike" (zbirka zadataka). HELL. Getmanova;

1) Logika- U knjizi: 1) univerzalna granica datosti stvari u svetu, koja sama ostaje nevidljiva; 2) tehnika za indirektno otkrivanje ove granice.

2) Logika- Aktivnost može pružiti samo polovinu mudrosti; druga polovina zavisi od percepcije neaktivnosti. Konačno, rasprava između onih koji logiku zasnivaju na "istini" i onih koji je zasnivaju na "istraživanju" proizlazi iz razlike u vrijednostima i u određenom trenutku postaje besmislena. Po logici, bilo bi gubljenje vremena razmatrati zaključke o određenim slučajevima; uvek imamo posla sa potpuno opštim i čisto formalnim implikacijama, ostavljajući drugim naukama ispitivanje u kojim slučajevima su pretpostavke potvrđene, a u kojim ne. Iako se više ne možemo zadovoljiti definiranjem logičkih tvrdnji kao proizašlih iz zakona kontradikcije, možemo i još uvijek moramo priznati da oni čine klasu propozicija sasvim drugačiju od onih koje empirijski poznajemo. Svi oni imaju svojstvo za koje smo se dogovorili da ga nazovemo "tautologijom". Ovo, u kombinaciji sa činjenicom da se one mogu izraziti isključivo u terminima varijabli i logičkih konstanti (gdje je logička konstanta ona koja ostaje konstantna u propoziciji čak i kada se svi njeni sastojci promijene), dalo bi definiciju logike ili čiste matematike.

3) Logika - - doktrina o vezama i sledovima ljudskog mišljenja, oblicima njegovog razvoja, različitim korelacijama mentalnih formi i njihovim transformacijama. L. razmatra pitanja o sredstvima postojanja mišljenja, jezicima konsolidacije, reprodukcije i prevođenja misaonih procesa. U širem smislu, L. je percepcija veza ne samo mišljenja, već i bića, odnosno L., otkrivajući "logiku stvari", "logiku događaja", "vezu vremena" . U ovom aspektu, L. pristupa ontologiji. U svojim sadržajnim aspektima, L. je povezan sa učenjem o spoznaji, njenom razvoju, funkcionisanju i očuvanju, i direktno je uključen u epistemologiju. Dakle, filozofija je jedna od glavnih podjela filozofije i stalno igra vodeću ulogu u filozofiranju, budući da je potonja uvijek na ovaj ili onaj način uključena u pitanje mišljenja. U 19. vijeku L. kao posebna nauka odvojena je od filozofije i u tom svojstvu se bavi formalnom analizom mišljenja i njegovih jezika. Pitanja razvoja mišljenja, evolucije njegovih sredstava, njegove kulturne, istorijske i društvene uslovljenosti ostaju u nadležnosti filozofije. Sam L. u svojim specifičnim društveno-istorijskim i kulturnim oblicima postaje važan dio filozofskih istraživanja. U okviru ovog pristupa može se izdvojiti nekoliko glavnih faza u evoluciji L. i njenog razumijevanja. U antičkom svijetu razvoj logičkih problema povezan je s procesima klasifikacije umjetnih i prirodnih stvari, alata ljudske aktivnosti, činova ljudskih interakcija. L. razvija generalizirajuće koncepte i tehnike za rad s njima. Kao dio filozofije, važan je alat za kreiranje slike svijeta, korištenjem u praksi društva. U srednjem vijeku, lingvistika se fokusirala na proučavanje oblika mišljenja i njihovih međusobnih veza; smisleno znanje se smatra iz v. sp. njegovu korespondenciju sa logičkim formama. Doktrina o stabilnim (ili nepromjenjivim) strukturama ljudskog mišljenja, koje osiguravaju njegovu ispravnost, pokazuje se kao važan preduvjet za nastajanje standarda naučne racionalnosti. Kada se, slijedeći prirodnu nauku, formalna filozofija odvoji od filozofije, pitanje racionalnosti ljudskog mišljenja nalazi se u središtu filozofske kontroverze. S jedne strane, otkriva se nedovoljnost formalne racionalnosti za potrebe najnovije nauke, za razvoj ljudske ličnosti i širenje njenih duhovnih horizonata. S druge strane, potvrđuje se potreba očuvanja racionalnosti i L. u najširem smislu kao uslova za reprodukciju kulture (badenski neokantovizam). U 20. stoljeću filozofska kritika racionalnosti (koja se obično tumači kao kruta povezanost logičkih formi) se jača i vodi sa različitih pozicija (egzistencijalizam, marksizam, dekonstruktivizam). Istovremeno, u filozofiji raste tendencija da se putevi ličnosti tumače sa kulturno-istorijskih pozicija, te da se proučavaju različite ličnosti svojstvene različitim kulturama i vrstama ljudske djelatnosti. U svjetlu ovih pristupa mijenja se naglasak u razumijevanju sadržaja L. Ako se ranije ovaj kvalitet uglavnom povezivao s razjašnjavanjem predmetne orijentacije mišljenja, sada je fokus na povezanosti mentalnih oblika koji nastaju u interakciji čovjeka. subjekata, ova interakcija je fiksiranje i reprodukcija. V. E. Kemerov

4) Logika- - o nauci o zakonima i operacijama ispravnog mišljenja. Prema osnovnom principu logike, ispravnost zaključivanja određena je samo njegovom logičkom formom ili strukturom i ne zavisi od specifičnog sadržaja iskaza koji su u njemu uključeni. Posebnost ispravnog zaključivanja je da, uz istinitost premisa, logičko mišljenje vodi do istinitog zaključka (odgovora na pitanje). Pogrešno zaključivanje može dovesti od istinitih i lažnih premisa do istinitih i lažnih zaključaka (istinitost zaključka je stvar slučaja). Dakle, razumljivo je šta je logika – to su pravila za primjenu određenih mentalnih tehnika prilikom obrade informacija. Postoji formalna logika, humanistička logika, ženska logika, dječja logika, šizofrena logika, dijalektička logika, filozofska logika, itd. Ali osim logike, postoji i samo mišljenje koje se može povinovati svojim zakonima (ispravno mišljenje) i ne (pogrešno , nelogičnog razmišljanja). asocijacijski blok. Sa naše tačke gledišta, logika je grana teorije znanja koja proučava odnos i postojanje stvari u punom smislu posljednje riječi.

5) Logika- (od grčkog - logos): u najširem smislu - nauka o mišljenju, doktrina o zakonima, oblicima i sredstvima rasuđivanja. Najčešće se ovaj pojam poistovjećuje s pojmom „formalni logičari, čiji je osnivač Aristotel. Osnovni cilj logičkog istraživanja je analiza ispravnosti zaključivanja, formulisanje zakona i principa čije je poštovanje neophodan uslov za dobijanje istinitih zaključaka u procesu zaključivanja. Logički procesi se proučavaju tako što se prikazuju na formalizovanim jezicima. Svaki od njih uključuje skup prikladno interpretiranih izraza (formula), kao i načine transformacije nekih izraza u druge prema pravilima dedukcije. Modernu logiku čini veliki broj logičkih sistema koji opisuju pojedinačne fragmente (vrste) zaključivanja. U zavisnosti od osnova (kriterijuma) klasifikacije, danas se razlikuje klasična i neklasična logika. U modernom smislu, logika je nauka o oblicima diskursa.

6) Logika- - etimološki seže do starogrčke riječi "logos", što znači "riječ", "misao", "pojam", "rasuđivanje", "zakon". Ovo je nauka o zakonima i oblicima ljudskog mišljenja. Bavi se proučavanjem misaonih procedura. Razlikovati tradicionalnu logiku, čiji je početak postavio Aristotel, proučavajući zaključke, koncepte i operacije na njima. Primjena metoda formalizacije i matematičkih metoda dovela je do stvaranja klasične logike (simboličke ili matematičke). Neklasična (modalna ili filozofska) logika, koja koristi formalne metode za analizu smislenih stvarnosti. Pojednostavljeno razumijevanje logike - tok zaključivanja, pravila zaključivanja.

7) Logika- - nauka o opštevažećim oblicima i sredstvima mišljenja neophodnih za racionalno poznavanje bilo koje oblasti stvarnosti.

8) Logika - (grč. logos - riječ, rasuđivanje, pojam, um) - nauka o oblicima, zakonima i metodama kognitivne aktivnosti; sposobnost pravilnog (logičkog) razmišljanja. Od antike je uočeno važno svojstvo spoznajnog mišljenja čovjeka: ako se prvi iskazi izraze, onda se mogu prepoznati i drugi iskazi, ali ne bilo koji, već samo strogo definirani. Kognitivno mišljenje je, dakle, podložno nekoj prisilnoj sili, njegovi rezultati su u velikoj mjeri određeni i unaprijed određeni prethodnim znanjem. Ovo svojstvo je Sokrat naširoko koristio u svojim dijalozima. Veštim postavljanjem pitanja uputio je sagovornika na donošenje sasvim konkretnih zaključaka. (Opisujući svoj metod, Sokrat je objasnio da je njegov način vođenja razgovora sličan onome što radi babica, koja sama ne rađa, već rađa. Dakle, on samo pita druge, doprinoseći rađanju istine, ali on sam ima nema šta reći.) Stoga je svoju metodu Sokrat nazvao maieutikom – umijećem babice.) Sokratov učenik Platon, zatim Aristotel su determinizam mišljenja učinili predmetom posebne studije. Aristotelovi rezultati su posebno impresivni. Njegov uspjeh je zahvaljujući činjenici da je iz rasuđivanja eliminirao ono što se može nazvati njihovim sadržajem, zadržavši samo formu. To je postigao tako što je u presudama umjesto imena sa određenim sadržajem zamijenila slova (varijable). Na primjer, u implikativnom zaključivanju: "Ako su svi B C i svi A su B, onda su svi A B." Aristotelov pristup pokazao je činjenicu da pouzdanost rezultata argumenata različitog sadržaja zavisi ne samo od istinitosti početnih pozicija (premisa), već i od odnosa između njih, načina na koji su povezani, tj. iz forme rasuđivanja. Aristotel je formulisao najvažnije principe za prelazak sa istinitih premisa na istinite zaključke. Kasnije su ovi principi počeli da se nazivaju zakonima identiteta, kontradikcije i isključene sredine. Predložio je prvi teorijski sistem obrazovanih oblika - tzv. asertorička silogistička, koja se bavi sudovima oblika "Svi A su B", "Neki A su B", "Nema A nije B", "Neki A nisu B". Tako je postavio temelje nauke o opšte značajnim sredstvima i oblicima mišljenja, zakonima racionalnog znanja. Kasnije je ova nauka nazvana L.L. nije se ograničila na razjašnjavanje slučajeva kada istinitost premisa garantuje istinitost zaključka. Ova vrsta rasuđivanja postala je predmetom jedne od njenih grana - deduktivnog L. Ali već Demokrit raspravlja o problemu induktivnog rasuđivanja, kroz koje se vrši prijelaz sa posebnih iskaza na opće tvrdnje probabilističke prirode. Posebno interesovanje za indukciju ispoljava se u 17-18 veku. kada su se eksperimentalne nauke počele naglo razvijati. Engleski filozof F. Bacon posjeduje prvi pokušaj teorijskog razumijevanja indukcije, koja, kako je mislio, može poslužiti kao jedini metod poznavanja prirodnih pojava kako bi se one koristile za dobrobit ljudi. Deduktivizam i induktivizam bili su glavni trendovi u razvoju leksikografije do 19. stoljeća. Predstavnici racionalističke filozofije (Descartes, Spinoza, Malebranche, Leibniz) davali su prednost dedukciji, dok su predstavnici empirijske (senzualističke) filozofije (slijedom F. Bacona - Hobbesa, Lockea, Condillaca, Berkeleya, Humea) bili induktivisti. Volf, koji je predložio sveobuhvatan, po njegovom mišljenju, sistem filozofskog znanja kao "nauku o svim mogućim objektima, koliko su oni mogući", pokušao je da pomiri ove pravce. Iako općenito racionalist, on je ipak snažno naglašavao odlučujući značaj indukcije i eksperimentalnog znanja u određenim naučnim disciplinama (npr. u fizici). Međutim, vulfovske ideje o oblicima i zakonima mišljenja i metodama spoznaje, koje su se razvile u Lenjingradu do 19. vijeka, nisu mogle zadovoljiti potrebe nauke i društvene prakse koja se brzo razvijala. Kant i posebno Hegel kritizirali su ograničenja racionalističko-metafizičke metode. Prije L. se suočio sa zadatkom razvoja alata koji bi omogućili svjestan pristup proučavanju bitnih odnosa. Ozbiljan pokušaj rješavanja ovog problema napravio je Hegel. Njegova izuzetna zasluga je upoznavanje sa L. idejama razvoja i međusobnog povezivanja. To mu je omogućilo da postavi temelje dijalektičke lingvistike kao teorije kretanja ljudske misli od fenomena do suštine, od relativne istine do apsolutne istine, od apstraktnog znanja do konkretnog znanja. Na osnovu kategorija, principa i zakona dijalektičke lingvistike razvijaju se metodološke smjernice za proučavanje sadržaja objekata u svoj njihovoj raznolikosti i nedosljednosti. Trenutno je L. prilično razgranata naučna disciplina. Njegov najvažniji i najzreliji dio je formalno L. Ime je dobio po temi kojom se bavi od antike - oblicima mišljenja i rasuđivanja koji daju nove istine na osnovu već utvrđenih, a prije svega , kriterije ispravnosti i valjanosti ovih obrazaca. Dugo vremena formalni leksikon je bio poznat prvenstveno u obliku koji su mu dali Aristotel i njegovi komentatori. Otuda i naziv koji odgovara ovoj fazi - Aristotelijanac L. Tradicija koja se uzdiže do Aristotela iznjedrila je i drugi ekvivalentni termin - tradicionalna lingvistika.Od Aristotelova vremena ovaj L. nije napravio ni jedan korak naprijed i ima suštinski završen karakter. Kant nije ni slutio da će nekih pola stoljeća nakon njegove smrti započeti „drugi vjetar“ u razvoju formalne logike.Ova kvalitativno nova faza uzrokovana je činjenicom da problemi koje postavlja proučavanje logičkih osnova matematike nije mogao biti riješen aristotelovskom logikom.Gotovo istovremeno u toku su procesi logizacije matematike i matematizacije logike.U rješavanju logičkih problema aktivno se koriste matematičke metode i kreiraju se logički računi. Poduzimaju se konkretni koraci kako bi se implementirale Leibnizove ideje o upotrebi računskih metoda u bilo kojoj nauci. J. Boole razvija prvi sistem algebre L. Zahvaljujući radovima O. de Morgana, W. Jevonsa, E. Schroedera, P.S. Poretsky, Pierce, Frege, J. Peano, Russell, stvoreni su glavni dijelovi matematičke linearnosti, koji su postali najvažnija grana formalne lingvistike.U 20. stoljeću, posebno 20-ih i 30-ih godina, u radovima J. Lukasevicha , E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Geiting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouche-Fevrier, G. Birkhoff i drugi, postavljeni su temelji za neklasične dijelove formalne logike: viševrijednu logiku, modalnu, probabilističku, intuicionističku, konstruktivističku i druge.“, i „lažno“ ), jedna je od karakterističnih osobina neklasične, ili, kako ih često nazivaju, nekrisipske linearnosti.30-ih godina 20. stoljeća razvoj formalne lingvistike bio je povezan s rješavanjem mnogih problema metalogije (grčki principi konstrukcije i opšta svojstva formalnih sistema, na primjer, problemi konzistentnosti, potpunosti, nezavisnosti sistema aksioma, rješivosti, sposobnosti ovih sistema da izražavaju smislene teorije itd. Osnove tzv. "mašinsko razmišljanje". Proučavanje ovih problema obilježila su izvanredna otkrića od velikog ideološkog i metodološkog značaja i vezana uz imena Tarskog, K. Gödela, A. Churcha. Najpoznatija je bila teorema K. Gödela o nepotpunosti formaliziranih sistema, uklj. aritmetika prirodnih brojeva i aksiomatska teorija skupova. U skladu sa ovom teoremom, u svakom od ovih sistema postoje tvrdnje koje se ne mogu dokazati niti opovrgnuti u njihovom okviru. Tako se pokazalo da se nijedna valjana naučna teorija ne može ugurati u okvire formalizma. A. Church je dokazao teoremu prema kojoj ne postoje algoritmi za rješavanje mnogih klasa problema, a da ne spominjemo algoritam koji omogućava rješavanje bilo kojeg problema (mnogi istaknuti logičari i matematičari sanjali su da izmisle takav algoritam). Danas razvoj formalne logike ide u dva glavna pravca: 1) razvoj novih sistema neklasične logike (logika imperativa, evaluacija, pitanja, temporalna, induktivna logika, teorija logičke posledice itd.), proučavanje svojstava ovih sistema i odnosa među njima, stvaranje njihove opšte teorije; 2) proširenje sfere primjene formalnog L. Najvažniji konačni rezultat dobijen u ovom pravcu je da je formalno L. postalo ne samo instrument preciznog mišljenja, već i "misao" prvog preciznog instrumenta - kompjutera. , direktno u ulozi partnera uključenog od strane čovjeka u sferu rješenja izazova koji su pred nama. L. (u zbiru svih svojih sekcija) postao je sastavni dio ljudske kulture. Njegova dostignuća koriste se u raznim oblastima ljudske aktivnosti. Široko se koristi u psihologiji i lingvistici, teoriji i pedagogiji menadžmenta, jurisprudenciji i etici. Njegovi formalni dijelovi su početna osnova kibernetike, računarske matematike i tehnologije, teorije informacija. Savremena metodologija spoznaje i komunikacije nezamisliva je bez principa i zakona lingvistike. Veliki značaj je oduvek pridavan proučavanju L. Parmenid je već poučio Sokrata, koji je još uvijek bio neiskusan u filozofiji: „Vaša revnost za rasuđivanje, budite sigurni, je divna i božanska, ali dok ste još mladi, pokušajte više vježbati u onome što većina smatra praznoslovljem (tj. apstraktni pojmovi - V. B.) inače će vam istina izmicati." Kao što vidite, već u antici se shvatalo da disciplina, koja je kasnije dobila ime L., igra prvenstveno veliku metodološku ulogu – kao sredstvo za pronalaženje istine. V.F. Berkov

9) Logika- - u širem smislu - ovo je filozofska nauka o zakonima ispravnog mišljenja; u užem smislu – niz potreba izgrađenih u potrazi za istinom.

10) Logika - (od grčkog logos - logos) 1) sposobnost da se pravilno, tj. logično, razmišljaj; 2) doktrina identiteta i njegove negacije (G. Jacobi), doktrina o nizu i metodama saznanja (nauka logike). Kao "elementarna formalna logika" bavi se najopštijim svojstvima inherentnim svim (postojećim) konceptima. Main svojstva koncepata su izražena u logičkim aksiomima (vidi Aksiom). Najprije se razmatra doktrina koncepta, zatim slijedi doktrina prosuđivanja, i na kraju, zaključak. Doktrine logičkih aksioma, koncepta, suda i zaključivanja, zajedno, čine čistu logiku. Primijenjena logika u tradicionalnoj logici obuhvata doktrinu definicije, dokaza i metode. Često mu prethode ne naučno-logička, već epistemološka, ​​psihološka učenja o doživljavanju, opisivanju i formulisanju (posebno uz pomoć posebnog jezika, terminologije) i o formiranju pojmova. Ponekad se uz to vezuje doktrina sistema. Logika (kao nauka) je samo doktrina mišljenja u pojmovima, ali ne i znanja kroz pojmove; služi za povećanje formalne tačnosti svesti i objektivnosti sadržaja mišljenja i saznanja. Osnivač zapadnoevropske logike (kao nauke) je Aristotel, "otac logike". Riječ "logika" pojavila se po prvi put među stoicima; oni i neoplatoničari su oplemenjivali njegove pojedinačne momente, au srednjem vijeku ga je skolastika razvijala do najsitnijih detalja, u suptilnostima. Humanizam je izbacio sholastiku iz logike, ali je nije mogao obnoviti. Reformacija je usvojila logiku Melanhtona, Kontrareformacija - logiku Suareza. Izdižući se fundamentalno iznad skolastike, Johannes Sturm iz Strazbura je razvio logiku; Pierre Ramet postao je poznatiji. Od 17. veka utjecaj na logiku sfera mišljenja povezanih s matematikom postao je primjetan, a u geometrijskoj metodi Spinoze bio je manji od Lajbnicovog, koji je koristio poboljšane metode prirodnih nauka u logici. Od Lajbnica i matematike, kao i od neoskolastike, potekla je logika Vukove škole. Kantova "transcendentalna logika" je u stvarnosti kritička teorija znanja, logika na njemačkom. idealizam (posebno Hegelova logika) - spekulativna metafizika. Šopenhauer, Niče, Bergson i filozofija života napustili su tradicionalnu logiku. U ovom trenutku, logika se razbila u više pravaca: 1) metafizička logika (hegelijanstvo); 2) psihološka logika (T. Lipps, djelimično W. Wundt); 3) epistemološka, ​​ili transcendentalna, logika (neokantovizam); 4) semantička logika (Aristotel, Kulpe, moderni nominalizam); 5) predmetna logika (Remke, Meinong, Driesch); 6) neosholastička logika; 7) fenomenološka logika; 8) logika kao metodologija (neokantovizam) i logistika, koja je u središtu debate o logici.

11) Logika- - vidi dijalektička logika. Matematička logika, Formalna logika.

Logika

U knjizi: 1) univerzalna granica datosti stvari u svijetu, koja sama ostaje nevidljiva; 2) tehnika za indirektno otkrivanje ove granice.

Aktivnost može pružiti samo polovinu mudrosti; druga polovina zavisi od percepcije neaktivnosti. Konačno, rasprava između onih koji logiku zasnivaju na "istini" i onih koji je zasnivaju na "istraživanju" proizlazi iz razlike u vrijednostima i u određenom trenutku postaje besmislena. Po logici, bilo bi gubljenje vremena razmatrati zaključke o određenim slučajevima; uvek imamo posla sa potpuno opštim i čisto formalnim implikacijama, ostavljajući drugim naukama ispitivanje u kojim slučajevima su pretpostavke potvrđene, a u kojim ne. Iako se više ne možemo zadovoljiti definiranjem logičkih tvrdnji kao proizašlih iz zakona kontradikcije, možemo i još uvijek moramo priznati da oni čine klasu propozicija sasvim drugačiju od onih koje empirijski poznajemo. Svi oni imaju svojstvo za koje smo se dogovorili da ga nazovemo "tautologijom". Ovo, u kombinaciji sa činjenicom da se one mogu izraziti isključivo u terminima varijabli i logičkih konstanti (gdje je logička konstanta ona koja ostaje konstantna u propoziciji čak i kada se svi njeni sastojci promijene), dalo bi definiciju logike ili čiste matematike.

Doktrina o vezama i sledovima ljudskog mišljenja, oblicima njegovog razvoja, različitim korelacijama mentalnih formi i njihovim transformacijama. L. razmatra pitanja o sredstvima postojanja mišljenja, jezicima konsolidacije, reprodukcije i prevođenja misaonih procesa. U širem smislu, L. je percepcija veza ne samo mišljenja, već i bića, odnosno L., otkrivajući "logiku stvari", "logiku događaja", "vezu vremena" . U ovom aspektu, L. pristupa ontologiji. U svojim sadržajnim aspektima, L. je povezan sa učenjem o spoznaji, njenom razvoju, funkcionisanju i očuvanju, i direktno je uključen u epistemologiju. Dakle, filozofija je jedna od glavnih podjela filozofije i stalno igra vodeću ulogu u filozofiranju, budući da je potonja uvijek na ovaj ili onaj način uključena u pitanje mišljenja. U 19. vijeku L. kao posebna nauka odvojena je od filozofije i u tom svojstvu se bavi formalnom analizom mišljenja i njegovih jezika. Pitanja razvoja mišljenja, evolucije njegovih sredstava, njegove kulturne, istorijske i društvene uslovljenosti ostaju u nadležnosti filozofije. Sam L. u svojim specifičnim društveno-istorijskim i kulturnim oblicima postaje važan dio filozofskih istraživanja. U okviru ovog pristupa može se izdvojiti nekoliko glavnih faza u evoluciji L. i njenog razumijevanja. U antičkom svijetu razvoj logičkih problema povezan je s procesima klasifikacije umjetnih i prirodnih stvari, alata ljudske aktivnosti, činova ljudskih interakcija. L. razvija generalizirajuće koncepte i tehnike za rad s njima. Kao dio filozofije, važan je alat za kreiranje slike svijeta, korištenjem u praksi društva. U srednjem vijeku, lingvistika se fokusirala na proučavanje oblika mišljenja i njihovih međusobnih veza; smisleno znanje se smatra iz v. sp. njegovu korespondenciju sa logičkim formama. Doktrina o stabilnim (ili nepromjenjivim) strukturama ljudskog mišljenja, koje osiguravaju njegovu ispravnost, pokazuje se kao važan preduvjet za nastajanje standarda naučne racionalnosti. Kada se, slijedeći prirodnu nauku, formalna filozofija odvoji od filozofije, pitanje racionalnosti ljudskog mišljenja nalazi se u središtu filozofske kontroverze. S jedne strane, otkriva se nedovoljnost formalne racionalnosti za potrebe najnovije nauke, za razvoj ljudske ličnosti i širenje njenih duhovnih horizonata. S druge strane, potvrđuje se potreba očuvanja racionalnosti i L. u najširem smislu kao uslova za reprodukciju kulture (badenski neokantovizam). U 20. stoljeću filozofska kritika racionalnosti (koja se obično tumači kao kruta povezanost logičkih formi) se jača i vodi sa različitih pozicija (egzistencijalizam, marksizam, dekonstruktivizam). Istovremeno, u filozofiji raste tendencija da se putevi ličnosti tumače sa kulturno-istorijskih pozicija, te da se proučavaju različite ličnosti svojstvene različitim kulturama i vrstama ljudske djelatnosti. U svjetlu ovih pristupa mijenja se naglasak u razumijevanju sadržaja L. Ako se ranije ovaj kvalitet uglavnom povezivao s razjašnjavanjem predmetne orijentacije mišljenja, sada je fokus na povezanosti mentalnih oblika koji nastaju u interakciji čovjeka. subjekata, ova interakcija je fiksiranje i reprodukcija. V. E. Kemerov

Prema nauci o zakonima i operacijama ispravnog mišljenja. Prema osnovnom principu logike, ispravnost zaključivanja određena je samo njegovom logičkom formom ili strukturom i ne zavisi od specifičnog sadržaja iskaza koji su u njemu uključeni. Posebnost ispravnog zaključivanja je da, uz istinitost premisa, logičko mišljenje vodi do istinitog zaključka (odgovora na pitanje). Pogrešno zaključivanje može dovesti od istinitih i lažnih premisa do istinitih i lažnih zaključaka (istinitost zaključka je stvar slučaja). Dakle, razumljivo je šta je logika – to su pravila za primjenu određenih mentalnih tehnika prilikom obrade informacija. Postoji formalna logika, humanistička logika, ženska logika, dječja logika, šizofrena logika, dijalektička logika, filozofska logika, itd. Ali osim logike, postoji i samo mišljenje koje se može povinovati svojim zakonima (ispravno mišljenje) i ne (pogrešno , nelogičnog razmišljanja). asocijacijski blok. Sa naše tačke gledišta, logika je grana teorije znanja koja proučava odnos i postojanje stvari u punom smislu posljednje riječi.

(od grčkog - logos): u najširem smislu - nauka o mišljenju, doktrina o zakonima, oblicima i sredstvima rasuđivanja. Najčešće se ovaj pojam poistovjećuje s pojmom „formalni logičari, čiji je osnivač Aristotel. Osnovni cilj logičkog istraživanja je analiza ispravnosti zaključivanja, formulisanje zakona i principa čije je poštovanje neophodan uslov za dobijanje istinitih zaključaka u procesu zaključivanja. Logički procesi se proučavaju tako što se prikazuju na formalizovanim jezicima. Svaki od njih uključuje skup prikladno interpretiranih izraza (formula), kao i načine transformacije nekih izraza u druge prema pravilima dedukcije. Modernu logiku čini veliki broj logičkih sistema koji opisuju pojedinačne fragmente (vrste) zaključivanja. U zavisnosti od osnova (kriterijuma) klasifikacije, danas se razlikuje klasična i neklasična logika. U modernom smislu, logika je nauka o oblicima diskursa.

Etimološki, ona seže do starogrčke riječi "logos", što znači "riječ", "misao", "pojam", "rasuđivanje", "zakon". Ovo je nauka o zakonima i oblicima ljudskog mišljenja. Bavi se proučavanjem misaonih procedura. Razlikovati tradicionalnu logiku, čiji je početak postavio Aristotel, proučavajući zaključke, koncepte i operacije na njima. Primjena metoda formalizacije i matematičkih metoda dovela je do stvaranja klasične logike (simboličke ili matematičke). Neklasična (modalna ili filozofska) logika, koja koristi formalne metode za analizu smislenih stvarnosti. Pojednostavljeno razumijevanje logike - tok zaključivanja, pravila zaključivanja.

Nauka o općenito značajnim oblicima i sredstvima mišljenja neophodnih za racionalno poznavanje bilo kojeg područja stvarnosti.

(grč. logos - riječ, rasuđivanje, pojam, um) - nauka o oblicima, zakonima i metodama kognitivne aktivnosti; sposobnost pravilnog (logičkog) razmišljanja. Od antike je uočeno važno svojstvo spoznajnog mišljenja čovjeka: ako se prvi iskazi izraze, onda se mogu prepoznati i drugi iskazi, ali ne bilo koji, već samo strogo definirani. Kognitivno mišljenje je, dakle, podložno nekoj prisilnoj sili, njegovi rezultati su u velikoj mjeri određeni i unaprijed određeni prethodnim znanjem. Ovo svojstvo je Sokrat naširoko koristio u svojim dijalozima. Veštim postavljanjem pitanja uputio je sagovornika na donošenje sasvim konkretnih zaključaka. (Opisujući svoj metod, Sokrat je objasnio da je njegov način vođenja razgovora sličan onome što radi babica, koja sama ne rađa, već rađa. Dakle, on samo pita druge, doprinoseći rađanju istine, ali on sam ima nema šta reći.) Stoga je svoju metodu Sokrat nazvao maieutikom – umijećem babice.) Sokratov učenik Platon, zatim Aristotel su determinizam mišljenja učinili predmetom posebne studije. Aristotelovi rezultati su posebno impresivni. Njegov uspjeh je zahvaljujući činjenici da je iz rasuđivanja eliminirao ono što se može nazvati njihovim sadržajem, zadržavši samo formu. To je postigao tako što je u presudama umjesto imena sa određenim sadržajem zamijenila slova (varijable). Na primjer, u implikativnom zaključivanju: "Ako su svi B C i svi A su B, onda su svi A B." Aristotelov pristup pokazao je činjenicu da pouzdanost rezultata argumenata različitog sadržaja zavisi ne samo od istinitosti početnih pozicija (premisa), već i od odnosa između njih, načina na koji su povezani, tj. iz forme rasuđivanja. Aristotel je formulisao najvažnije principe za prelazak sa istinitih premisa na istinite zaključke. Kasnije su ovi principi počeli da se nazivaju zakonima identiteta, kontradikcije i isključene sredine. Predložio je prvi teorijski sistem obrazovanih oblika - tzv. asertorička silogistička, koja se bavi sudovima oblika "Svi A su B", "Neki A su B", "Nema A nije B", "Neki A nisu B". Tako je postavio temelje nauke o opšte značajnim sredstvima i oblicima mišljenja, zakonima racionalnog znanja. Kasnije je ova nauka nazvana L.L. nije se ograničila na razjašnjavanje slučajeva kada istinitost premisa garantuje istinitost zaključka. Ova vrsta rasuđivanja postala je predmetom jedne od njenih grana - deduktivnog L. Ali već Demokrit raspravlja o problemu induktivnog rasuđivanja, kroz koje se vrši prijelaz sa posebnih iskaza na opće tvrdnje probabilističke prirode. Posebno interesovanje za indukciju ispoljava se u 17-18 veku. kada su se eksperimentalne nauke počele naglo razvijati. Engleski filozof F. Bacon posjeduje prvi pokušaj teorijskog razumijevanja indukcije, koja, kako je mislio, može poslužiti kao jedini metod poznavanja prirodnih pojava kako bi se one koristile za dobrobit ljudi. Deduktivizam i induktivizam bili su glavni trendovi u razvoju leksikografije do 19. stoljeća. Predstavnici racionalističke filozofije (Descartes, Spinoza, Malebranche, Leibniz) davali su prednost dedukciji, dok su predstavnici empirijske (senzualističke) filozofije (slijedom F. Bacona - Hobbesa, Lockea, Condillaca, Berkeleya, Humea) bili induktivisti. Volf, koji je predložio sveobuhvatan, po njegovom mišljenju, sistem filozofskog znanja kao "nauku o svim mogućim objektima, koliko su oni mogući", pokušao je da pomiri ove pravce. Iako općenito racionalist, on je ipak snažno naglašavao odlučujući značaj indukcije i eksperimentalnog znanja u određenim naučnim disciplinama (npr. u fizici). Međutim, vulfovske ideje o oblicima i zakonima mišljenja i metodama spoznaje, koje su se razvile u Lenjingradu do 19. vijeka, nisu mogle zadovoljiti potrebe nauke i društvene prakse koja se brzo razvijala. Kant i posebno Hegel kritizirali su ograničenja racionalističko-metafizičke metode. Prije L. se suočio sa zadatkom razvoja alata koji bi omogućili svjestan pristup proučavanju bitnih odnosa. Ozbiljan pokušaj rješavanja ovog problema napravio je Hegel. Njegova izuzetna zasluga je upoznavanje sa L. idejama razvoja i međusobnog povezivanja. To mu je omogućilo da postavi temelje dijalektičke lingvistike kao teorije kretanja ljudske misli od fenomena do suštine, od relativne istine do apsolutne istine, od apstraktnog znanja do konkretnog znanja. Na osnovu kategorija, principa i zakona dijalektičke lingvistike razvijaju se metodološke smjernice za proučavanje sadržaja objekata u svoj njihovoj raznolikosti i nedosljednosti. Trenutno je L. prilično razgranata naučna disciplina. Njegov najvažniji i najzreliji dio je formalno L. Ime je dobio po temi kojom se bavi od antike - oblicima mišljenja i rasuđivanja koji daju nove istine na osnovu već utvrđenih, a prije svega , kriterije ispravnosti i valjanosti ovih obrazaca. Dugo vremena formalni leksikon je bio poznat prvenstveno u obliku koji su mu dali Aristotel i njegovi komentatori. Otuda i naziv koji odgovara ovoj fazi - Aristotelijanac L. Tradicija koja se uzdiže do Aristotela iznjedrila je i drugi ekvivalentni termin - tradicionalna lingvistika.Od Aristotelova vremena ovaj L. nije napravio ni jedan korak naprijed i ima suštinski završen karakter. Kant nije ni slutio da će nekih pola stoljeća nakon njegove smrti započeti „drugi vjetar“ u razvoju formalne logike.Ova kvalitativno nova faza uzrokovana je činjenicom da problemi koje postavlja proučavanje logičkih osnova matematike nije mogao biti riješen aristotelovskom logikom.Gotovo istovremeno u toku su procesi logizacije matematike i matematizacije logike.U rješavanju logičkih problema aktivno se koriste matematičke metode i kreiraju se logički računi. Poduzimaju se konkretni koraci kako bi se implementirale Leibnizove ideje o upotrebi računskih metoda u bilo kojoj nauci. J. Boole razvija prvi sistem algebre L. Zahvaljujući radovima O. de Morgana, W. Jevonsa, E. Schroedera, P.S. Poretsky, Pierce, Frege, J. Peano, Russell, stvoreni su glavni dijelovi matematičke linearnosti, koji su postali najvažnija grana formalne lingvistike.U 20. stoljeću, posebno 20-ih i 30-ih godina, u radovima J. Lukasevicha , E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Geiting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouche-Fevrier, G. Birkhoff i drugi, postavljeni su temelji za neklasične dijelove formalne logike: viševrijednu logiku, modalnu, probabilističku, intuicionističku, konstruktivističku i druge.“, i „lažno“ ), jedna je od karakterističnih osobina neklasične, ili, kako ih često nazivaju, nekrisipske linearnosti.30-ih godina 20. stoljeća razvoj formalne lingvistike bio je povezan s rješavanjem mnogih problema metalogije (grčki principi konstrukcije i opšta svojstva formalnih sistema, na primjer, problemi konzistentnosti, potpunosti, nezavisnosti sistema aksioma, rješivosti, sposobnosti ovih sistema da izražavaju smislene teorije itd. Osnove tzv. "mašinsko razmišljanje". Proučavanje ovih problema obilježila su izvanredna otkrića od velikog ideološkog i metodološkog značaja i vezana uz imena Tarskog, K. Gödela, A. Churcha. Najpoznatija je bila teorema K. Gödela o nepotpunosti formaliziranih sistema, uklj. aritmetika prirodnih brojeva i aksiomatska teorija skupova. U skladu sa ovom teoremom, u svakom od ovih sistema postoje tvrdnje koje se ne mogu dokazati niti opovrgnuti u njihovom okviru. Tako se pokazalo da se nijedna valjana naučna teorija ne može ugurati u okvire formalizma. A. Church je dokazao teoremu prema kojoj ne postoje algoritmi za rješavanje mnogih klasa problema, a da ne spominjemo algoritam koji omogućava rješavanje bilo kojeg problema (mnogi istaknuti logičari i matematičari sanjali su da izmisle takav algoritam). Danas razvoj formalne logike ide u dva glavna pravca: 1) razvoj novih sistema neklasične logike (logika imperativa, evaluacija, pitanja, temporalna, induktivna logika, teorija logičke posledice itd.), proučavanje svojstava ovih sistema i odnosa među njima, stvaranje njihove opšte teorije; 2) proširenje sfere primjene formalnog L. Najvažniji konačni rezultat dobijen u ovom pravcu je da je formalno L. postalo ne samo instrument preciznog mišljenja, već i "misao" prvog preciznog instrumenta - kompjutera. , direktno u ulozi partnera uključenog od strane čovjeka u sferu rješenja izazova koji su pred nama. L. (u zbiru svih svojih sekcija) postao je sastavni dio ljudske kulture. Njegova dostignuća koriste se u raznim oblastima ljudske aktivnosti. Široko se koristi u psihologiji i lingvistici, teoriji i pedagogiji menadžmenta, jurisprudenciji i etici. Njegovi formalni dijelovi su početna osnova kibernetike, računarske matematike i tehnologije, teorije informacija. Savremena metodologija spoznaje i komunikacije nezamisliva je bez principa i zakona lingvistike. Veliki značaj je oduvek pridavan proučavanju L. Parmenid je već poučio Sokrata, koji je još uvijek bio neiskusan u filozofiji: „Vaša revnost za rasuđivanje, budite sigurni, je divna i božanska, ali dok ste još mladi, pokušajte više vježbati u onome što većina smatra praznoslovljem (tj. apstraktni pojmovi - V. B.) inače će vam istina izmicati." Kao što vidite, već u antici se shvatalo da disciplina, koja je kasnije dobila ime L., igra prvenstveno veliku metodološku ulogu – kao sredstvo za pronalaženje istine. V.F. Berkov

U širem smislu, to je filozofska nauka o zakonima ispravnog mišljenja; u užem smislu – niz potreba izgrađenih u potrazi za istinom.

(od grčkog logos - logos) 1) sposobnost da se pravilno, tj. logično, razmišljaj; 2) doktrina identiteta i njegove negacije (G. Jacobi), doktrina o nizu i metodama saznanja (nauka logike). Kao "elementarna formalna logika" bavi se najopštijim svojstvima inherentnim svim (postojećim) konceptima. Main svojstva koncepata su izražena u logičkim aksiomima (vidi Aksiom). Najprije se razmatra doktrina koncepta, zatim slijedi doktrina prosuđivanja, i na kraju, zaključak. Doktrine logičkih aksioma, koncepta, suda i zaključivanja, zajedno, čine čistu logiku. Primijenjena logika u tradicionalnoj logici obuhvata doktrinu definicije, dokaza i metode. Često mu prethode ne naučno-logička, već epistemološka, ​​psihološka učenja o doživljavanju, opisivanju i formulisanju (posebno uz pomoć posebnog jezika, terminologije) i o formiranju pojmova. Ponekad se uz to vezuje doktrina sistema. Logika (kao nauka) je samo doktrina mišljenja u pojmovima, ali ne i znanja kroz pojmove; služi za povećanje formalne tačnosti svesti i objektivnosti sadržaja mišljenja i saznanja. Osnivač zapadnoevropske logike (kao nauke) je Aristotel, "otac logike". Riječ "logika" pojavila se po prvi put među stoicima; oni i neoplatoničari su oplemenjivali njegove pojedinačne momente, au srednjem vijeku ga je skolastika razvijala do najsitnijih detalja, u suptilnostima. Humanizam je izbacio sholastiku iz logike, ali je nije mogao obnoviti. Reformacija je usvojila logiku Melanhtona, Kontrareformacija - logiku Suareza. Izdižući se fundamentalno iznad skolastike, Johannes Sturm iz Strazbura je razvio logiku; Pierre Ramet postao je poznatiji. Od 17. veka utjecaj na logiku sfera mišljenja povezanih s matematikom postao je primjetan, a u geometrijskoj metodi Spinoze bio je manji od Lajbnicovog, koji je koristio poboljšane metode prirodnih nauka u logici. Od Lajbnica i matematike, kao i od neoskolastike, potekla je logika Vukove škole. Kantova "transcendentalna logika" je u stvarnosti kritička teorija znanja, logika na njemačkom. idealizam (posebno Hegelova logika) - spekulativna metafizika. Šopenhauer, Niče, Bergson i filozofija života napustili su tradicionalnu logiku. U ovom trenutku, logika se razbila u više pravaca: 1) metafizička logika (hegelijanstvo); 2) psihološka logika (T. Lipps, djelimično W. Wundt); 3) epistemološka, ​​ili transcendentalna, logika (neokantovizam); 4) semantička logika (Aristotel, Kulpe, moderni nominalizam); 5) predmetna logika (Remke, Meinong, Driesch); 6) neosholastička logika; 7) fenomenološka logika; 8) logika kao metodologija (neokantovizam) i logistika, koja je u središtu debate o logici.

Asimetrična suprotnost apsolutu, koju karakteriše negativna ekstenzija, antisupstancijalnost, samouništenje...

Značenje pojma "logika" previše je zamagljeno u svakodnevnoj govornoj praksi, ali zapravo je logika jedna od najstarijih nauka. Dugo se doživljavao kao oruđe za ispravna naučna saznanja. Zbor djela posvećenih logici od strane Aristotela - tvorca prve logičke teorije - nazvan je terminom "organon" ("instrument" na starogrčkom).

Uglavnom, logika se izučava na matematičkim i filozofskim fakultetima, kao i na fakultetima na kojima se bave informatikom i svime što je vezano za stvaranje vještačke inteligencije (ovdje se to najosnovnije izučava).

Ali ne morate biti matematički genije da biste se bavili logikom. Ona potječe iz filozofije i još uvijek ostaje jedna od filozofskih nauka koja se najaktivnije razvija - uprkos činjenici da je u određenoj fazi svoje duge istorije bila obogaćena značajnim brojem matematičkih metoda.

Dakle, logika je jedna od najvažnijih humanitarnih disciplina, koja je uključena u obrazovne standarde u mnogim drugim specijalnostima u visokoškolskim ustanovama: pravo, psihologija, političke nauke, novinarstvo, sociologija, historija, lingvistika itd.

Šta radi logika kao nauka

Logika je proučavanje toga koje je razmišljanje ispravno, a koje nije. Osim toga, razvija kriterije za ispravno rasuđivanje, odnosno može reći kako neophodno razlog. Gotovo svi argumenti koje koristimo odavno su klasificirani i proučavani od strane profesionalnih logičara. Poznate su granice primjenjivosti mnogih metoda, proučavan je stepen uvjerljivosti različitih tipova zaključivanja. Sve je to sistematizovano, ali većina ljudi uopšte nema ta znanja.

Kako logika gleda na generalizacije

Kući se vraćate uveče, usput se sjetite da ste ostali bez mlijeka i odete do najbližeg supermarketa. Ispred vas je veliki frižider, čije su sve police obložene flašama mleka. Odeš do polica i počneš birati.

Pretpostavimo da postoje dvije takve police i da ima ukupno četrdeset boca. Obično tražimo mlijeko koje je što svježije, odnosno mlijeko koje ima rok proizvodnje što bliže danu otkupa.

Ako je danas 20., pa izvadite jednu bocu i vidite da je proizvedena 18., onda izvadite drugu flašu - i opet 18.. „Vjerovatno može biti svježije na drugoj polici“, i uzmete flašu sa druge police - 17., još jednu - 17., drugu - 18.. Zatim posegnete u stražnji dio police i izvučete još jednu bocu, a i ona je proizvedena 18. Nakon toga ćete najvjerovatnije zaključiti da je mlijeko proizvedeno 18. najsvježije predstavljeno mlijeko i sa njim otići na blagajnu.

Ovaj primjer ilustruje primjenu ne najpouzdanijeg rezonovanja: tzv nepotpuna indukcija. Vaš zaključak da je mlijeko proizvedeno 18. najsvježije od predstavljenih je samo vjerovatno, jer niste pregledali sve flaše, već ste zaključili samo na osnovu nekog minimalnog uzorka koji smatrate dovoljnim, nakon čega ste uradili ovo tzv. induktivna generalizacija. Pa čak i da ste bili u pravu, a svježijeg mlijeka zaista nije bilo, nema veze. Samo rezonovanje, sam način na koji ste došli do takvog zaključka, po logici se smatra nepouzdanim.

Zabavno je i smiješno kada je u pitanju odabir mlijeka u trgovini, ali da li je zaista zabavno i smiješno kada ljudi sličnim razmišljanjima analiziraju rezultate nekih ekonomskih reformi i na osnovu toga planiraju nove ili identifikuju javno mnijenje o nekima važno pitanje?

Svaki put kada na TV-u ili na internetu naletite na rezultate nekog drugog sociološkog istraživanja, recimo, sa zaključkom „Rusi vjeruju da im Sjedinjene Države predstavljaju prijetnju“, imate posla s rezultatom iste indukcije, tj. definitivno ne na osnovu mišljenja svih Rusa, a štaviše, ne na osnovu mišljenja većine Rusa. U takvim studijama broj učesnika ne igra gotovo nikakvu ulogu. Ovo rezonovanje je zasnovano na prirodi uzorka ljudi koji učestvuju u ovoj anketi; njihova starost, pol, zanimanje, seksualna orijentacija i šta god drugo se uzima kao osnova. Sam broj učesnika je često stotinama hiljada puta manji od stvarnog broja Rusa. Da biste se u to uvjerili, dovoljno je otvoriti bilo koji izvještaj o statistici.

A sada možete uporediti stepen plauzibilnosti ove metode rezonovanja i kako rezultati dobijeni na ovaj način utiču na javno mnjenje, koje kruži u vrhunskim novinskim agencijama, news feedovima itd. Zato je logika vrijedna proučavanja.

Glavna pravila logike

Najvažnije je shvatiti da postoje dvije glavne vrste rezonovanja: neki od njih su najpouzdaniji, a drugi nisu baš pouzdani. Prvo se naziva deduktivno zaključivanje, drugo - uvjerljivo. Paradoksalno, obični ljudi nekako više vole da koriste uvjerljivo, a ne deduktivno razmišljanje.

Postoji niz deduktivnih zaključaka koje jednostavno treba naučiti.

1. Uslovno kategorički zaključci

modus ponens. Ovo obrazloženje ima sljedeću strukturu:

"ako ALI, onda B»;

« ALI"znači" B».

Logičare zanima sama struktura ovih rasuđivanja, ali u stvarnosti se ona ne pojavljuju uvijek pred nama u ovom obliku i mogu poprimiti različite lingvističke i retoričke forme. Na ljudskom jeziku to bi moglo izgledati ovako:

„Ako ruski tim pobedi Španiju, onda ću se tetovirati“;

"Ruski tim je pobedio Španiju" znači "tetoviraću se."

Modus tollens. Ova diskusija izgleda ovako:

"ako ALI, onda B»;

"ne- B" znači "ne- ALI».

Prevedimo ponovo:

"Ako ruski tim pobedi Španiju, onda ću se tetovirati"

„Nisam se tetovirao“ znači „ruski tim nije pobedio Španiju“.

Može izgledati malo drugačije: "ako ALI, onda B" znači "ako ne- B, onda ne- ALI". U ovom obliku se naziva "kontrapozicija".

Na primjer, na nedavnom Međunarodnom ekonomskom forumu u Sankt Peterburgu, tokom panel diskusije, Aleksej Kudrin je iskoristio pomenuti modus tollens da pokaže da su antiruske sankcije jedan od značajnih faktora koji utiču na stopu ekonomskog rasta ruske privrede, uprkos činjenica da vlada svojim povećanjem postavlja prilično ambiciozne ciljeve. Kudrin napominje: „Sada, nakon posljednjeg talasa sankcija, njihov uticaj je porastao na oko 0,5% BDP-a. Ovdje također moramo vidjeti da su naši zadaci i planovi smanjeni ovakvim vanjskopolitičkim rizicima.” U okviru ove napomene moguće je rekonstruisati ozloglašenu „kontrapoziciju“, zahvaljujući kojoj je Kudrin došao do ovog mišljenja: ako se protiv Rusije primenjuju ekonomske sankcije, onda se smanjuje rast njene privrede; dakle, ako je ekonomska politika usmjerena na povećanje ekonomskog rasta, onda ekonomske sankcije ne bi trebalo primjenjivati ​​na Rusiju. I uradio je pravu stvar!

Vrlo često, mnogi od nas griješe i koriste sljedeće netačno uslovno-kategorično rezonovanje:

"ako A, onda B"; "B" je dakle "A". I "ako A, onda B"; 'ne-A', dakle 'ne-B'.

Primjer je pogrešno razmišljanje Alekseja Venediktova tokom objavljivanja njegovog programa "Posebno mišljenje", u kojem je razgovarao sa Ksenijom Sobčak. U ovom fragmentu Sobčak govori o tome kakve će reforme pravosuđa provesti ako pobijedi na predsjedničkim izborima. Reagirajući na to, Venediktov tvrdi da nakon ovog govora biračko tijelo u liku "sudija i članova njihovih porodica" neće glasati za Sobčaka.

Venediktovo rezonovanje se može rekonstruisati na sljedeći način: "ako Ksenia Sobchak izađe s prijedlozima koji su privlačni biračima, onda će ovi birači glasati za Sobchak"; “Sobčak ne izlazi s prijedlozima koji su privlačni biračima”, dakle, “ovi birači neće glasati za nju.”

Na prvi pogled može izgledati da ovo rezonovanje nije u suprotnosti sa nikakvom logikom, ali nije.

Činjenica je da deduktivno zaključivanje ima bitnu karakteristiku koja ga čini vrlo pouzdanim: tačno parcele sa potrebom da tačno zaključak. Drugim riječima, za ispravno deduktivno rasuđivanje ne postoji takva situacija u kojoj se ispostavi da se nalaze njegove premise tačno, a zaključak je false. Za vrstu rezonovanja koje Venediktov koristi u ovom slučaju, takva situacija sa istinitim premisama i lažnim zaključkom postoji.

Da bismo ovo potvrdili, moramo dati protuprimjer. Na primjer, evo dvije premise: „ako Ruski tim će pobijediti Hrvatsku, onda ja ću se tetovirati», « Ruski tim nije pobijedio Hrvatsku"- iz ove dvije premise uopće ne proizlazi da " Nisam se tetovirao“, jer sam ovu tetovažu mogao napraviti iz sasvim drugih razloga: iz ponosa na nogu Akinfejeva, iz žaljenja za njegovom desnom rukom koja je zamalo odbila jedan od jedanaesteraca, itd. Zaista, obje premise su istinite izjave, ali zaključak se u ovom slučaju ispostavlja lažnim.

Mnogi mogu sumnjati da li će već spomenuti ispravni tipovi rasuđivanja, modus ponens i modus tollens, izdržati takav test za vaške. Pa, pokušajte im pronaći protuprimjere (postoje preciznije i prikladnije metode u logici za provjeru ispravnosti zaključivanja, ali, nažalost, ne mogu se razmatrati u okviru ovog članka).

2. Svođenje na apsurd i rezonovanje "od suprotnog"

U logici postoje i drugi načini zaključivanja: to su takozvano indirektno rasuđivanje. Postoje dvije cool tehnike među njima, zovu se "svođenje na apsurd" i "dokaz kontradikcijom" (to je zapravo ista stvar).

svođenje do apsurda.Želimo da opovrgnemo neku tvrdnju "A". Naoružani tehnikom "apsurdne redukcije", moramo pretpostaviti da je izjava "A" tačna - a zatim pokušati upotrijebiti neku vrstu rezonovanja da pokažemo da ova pretpostavka vodi u kontradikciju. Ako uspijemo doći do kontradikcije, onda je naša početna pretpostavka bila pogrešna. Time pobijamo tvrdnju "A".

Dokaz kontradikcijom. Izgrađen je malo drugačije: prvobitni cilj nije opovrgnuti "A", već potkrijepiti "A". Da bi se postigao ovaj cilj, prvo se pretpostavlja da je "A" lažno, a onda je sve isto: izvodi se kontradikcija, koja omogućava opravdanje netačnosti prvobitne pretpostavke.

Ljudi često koriste ove dvije tehnike zaključivanja. Razmotrimo, na primjer, metodu "kontradikcijom".

Pretpostavićemo da ispitujete osumnjičenog za ubistvo muškarca. Zločin je počinjen pištoljem, koji je pronađen u stanu osumnjičenog.

Ovaj drugi, naravno, negira svoju umiješanost i nema pojma ko je bio pravi ubica. Osim toga, tvrdi da je cijeli nesrećni dan proveo kod kuće. Da biste ojačali svoj slučaj u korist krivice osumnjičenog, vi pretpostavimo da pištolj zaista nije njegov. Iz ove pretpostavke možemo zaključiti da mu je pištolj podmetnut. Ali u ovom slučaju, osumnjičeni mora poznavati ubicu ili biti odsutan iz kuće u nekom trenutku na dan ubistva. Obje ove alternative su u suprotnosti sa iskazom osumnjičenog, tako da je vaša pretpostavka da pištolj ne pripada njemu netačna. Dakle, pištolj i dalje pripada osumnjičenom.

Kako učiti logiku

Nažalost broj dobro postoji vrlo malo udžbenika iz logike koji su namijenjeni širokoj publici i napisani su jednostavnim jezikom za svakoga. Često ovaj „jednostavan jezik za sve” odmah utiče na kvalitet teorijske komponente.

Udžbenici su ili pristupačni i nekvalitetni - ili vrlo specijalizovani, ali visokog kvaliteta. U takvoj situaciji, bolje je napraviti izbor u korist potonjeg, jer je glavna stvar kvalitet obrazovanja:

1. Bocharov V.A., Markin V.I. Uvod u logiku. M., 2011.
2. Bocharov V.A., Markin V.I. Osnove logike. M., 2008.
3. Voishvillo E.K. Koncept kao oblik mišljenja. M., 1989.

Što se tiče internetskih resursa, i ovdje treba biti selektivan, ali ima i vrlo vrijednih eksponata. Serija video zapisa kreiranih od strane IKBFU I. Kant zajedno sa stručnjacima iz drugih ruskih naučnih i obrazovnih centara:

1. Serije razgovore dva profesora logike - D. V. Zajcev (Moskovski državni univerzitet) i I. B. Mikirtumov (Sankt Peterburški državni univerzitet).
2. Serije razgovore dva specijalista za teoriju argumentacije - D. V. Zaitsev (MSU) i D. V. Khizanishvili (BFU).

U javnom vlasništvu su video snimci u punoj dužini kursa predavanja o deduktivnoj logici, koji se povremeno čita na Filozofskom fakultetu Moskovskog državnog univerziteta. Postoji posebna praksa koja se zove "međufakultetski kurs": nastavnici sa različitih fakulteta nude sopstvene kurseve, na koje se, po svom izboru, upisuju studenti sa drugih fakulteta. Ovo je veoma zanimljiva praksa, koja stimuliše pojavu kurseva obuke na jeziku dostupnom studentima različitih smerova.

Osim toga, postoje različiti otvoreni naučno-popularni događaji, na primjer, godišnji Festival nauke, koji se održava, između ostalog, na Filozofskom fakultetu Moskovskog državnog univerziteta, gdje se uvijek izlažu logički problemi. Dodjite, zainteresujte se i pitajte.

Logika će vas naučiti kako da tačnije izrazite svoje misli, a to će općenito utjecati na vaš stil komuniciranja s ljudima i vašu sposobnost razumijevanja ljudi.

Kada počnete da tražite istu tačnost od ljudi, otkrićete da nisu svi u stanju da komuniciraju na ovaj način. Ali ako vidite osobu koja može ispravno izraziti svoje misli i voditi ispravnu polemiku, onda će vam to reći mnogo o nivou njegove logičke kulture - i zapravo o ličnosti u cjelini.