1) Logika- V knjigi: 1) univerzalna meja danosti stvari v svetu, ki sama ostaja nevidna; 2) tehnika za posredno identifikacijo te meje.

2) Logika- Dejavnost lahko zagotovi samo polovico modrosti; druga polovica je odvisna od zaznavne neaktivnosti. Navsezadnje razprava med tistimi, ki logiko utemeljujejo na "resnici", in tistimi, ki jo utemeljujejo na "raziskavi", izhaja iz razlike v vrednotah in na določeni točki postane nesmiselna. V logiki je izguba časa razmišljati o sklepih o posameznih primerih; vedno imamo opravka s povsem splošnimi in čisto formalnimi implikacijami, drugim vedam pa prepuščamo preučevanje, v katerih primerih so predpostavke potrjene in v katerih ne. Čeprav se ne moremo več zadovoljiti z definiranjem logičnih izjav, ki izhajajo iz zakona protislovja, lahko in moramo še vedno priznati, da tvorijo razred izjav, ki se popolnoma razlikuje od tistih, ki jih spoznamo empirično. Vsi imajo lastnost, za katero smo se strinjali, da jo imenujemo "tavtologija". To bo v kombinaciji z dejstvom, da jih je mogoče izraziti izključno v smislu spremenljivk in logičnih konstant (kjer je logična konstanta nekaj, kar ostane konstantno v izjavi, tudi če se spremenijo vse njene sestavine), dalo definicijo logike ali čiste matematike.

3) Logika - - nauk o povezavah in zaporedjih človeškega mišljenja, oblikah njegovega razvoja, različnih odnosih mentalnih oblik in njihovih transformacijah. L. obravnava vprašanja o sredstvih obstoja mišljenja, jezikih utrjevanja, reprodukcije in prevajanja miselnih procesov. V širšem smislu je filozofija preučevanje povezav ne le mišljenja, ampak tudi bivanja, torej literatura, ki razkriva »logiko stvari«, »logiko dogajanja« in »povezanost časov«. V tem pogledu se L. približa ontologiji. Filozofija je v svojih vsebinskih vidikih povezana z nauki o spoznanju, njegovem razvoju, delovanju in ohranjanju ter je neposredno vključena v epistemologijo. Filozofija je torej ena glavnih podrazdelkov filozofije in ima vseskozi vodilno vlogo v filozofiranju, saj se slednje vedno tako ali drugače ukvarja z vprašanjem mišljenja. V 19. stoletju Filozofija je kot posebna veda ločena od filozofije in se kot taka ukvarja s formalno analizo mišljenja in njegovih jezikov. Vprašanja razvoja mišljenja, evolucije njegovih sredstev, njegove kulturne, zgodovinske in družbene pogojenosti ostajajo v pristojnosti filozofije. Sama filozofija v svojih specifičnih družbenozgodovinskih in kulturnih oblikah postane pomembna veja filozofskega raziskovanja. V okviru tega pristopa je mogoče prepoznati več glavnih stopenj v evoluciji svetlobe in njenem razumevanju. V starodavnem svetu je bil razvoj logičnih problemov povezan s procesi razvrščanja umetnih in naravnih stvari, orodij človeške dejavnosti in dejanj medčloveških interakcij. L. razvija splošne koncepte in tehnike za delovanje z njimi. Kot del filozofije je pomembno orodje za ustvarjanje slike sveta in njeno uporabo v družbeni praksi. V srednjem veku je bila literatura usmerjena v raziskovanje oblik mišljenja in njihovih odnosov; smiselno spoznanje obravnavamo z vidika njegovo ujemanje z logičnimi oblikami. Doktrina stabilnih (ali neomajnih) struktur človeškega mišljenja, ki zagotavljajo njegovo pravilnost, se izkaže za pomemben predpogoj za nastajajoče standarde znanstvene racionalnosti. Ko se po naravoslovju formalna filozofija loči od filozofije, se vprašanje racionalnosti človeškega mišljenja znajde v središču filozofskih polemik. Po eni strani se razkriva nezadostnost formalne racionalnosti za potrebe sodobne znanosti, za razvoj človekove osebnosti in širjenje njegovih duhovnih obzorij. Po drugi strani pa se potrjuje nujnost ohranjanja racionalnosti in filozofije v najširšem pomenu kot pogojev za reprodukcijo kulture (badenski neokantianizem). V 20. stoletju se filozofska kritika racionalnosti (običajno interpretirane kot toge povezanosti logičnih oblik) krepi in poteka z različnih pozicij (eksistencializem, marksizem, dekonstrukcijonizem). Hkrati se v filozofiji vse bolj pojavlja težnja po obravnavanju literature s kulturno-zgodovinskega vidika, preučevanju različnih zakonov, ki so lastni različnim kulturam in vrstam človeške dejavnosti. V luči teh pristopov se poudarek pri razumevanju vsebine L spreminja. Če je bila prej ta kakovost povezana predvsem z razjasnitvijo objektivne naravnanosti mišljenja, je zdaj poudarek na povezavi mentalnih oblik, ki nastanejo v interakciji človeka. subjektov se ta interakcija utrjuje in reproducira. V. E. Kemerov

4) Logika- - znanost o zakonih in delovanju pravilnega mišljenja. V skladu z osnovnim načelom logike je pravilnost sklepanja določena samo z njegovo logično obliko ali zgradbo in ni odvisna od konkretne vsebine izjav, ki so v njej vključene. Posebnost pravilnega sklepanja je, da če so premise resnične, logično razmišljanje vodi do pravega zaključka (odgovora na vprašanje). Nepravilno sklepanje lahko vodi od resničnih in neresničnih premis do resničnih in neresničnih zaključkov (resnica sklepa je stvar naključja). Torej, kaj je logika, je jasno - to so pravila za uporabo določenih miselnih tehnik pri obdelavi informacij. Obstaja formalna logika, humanistična logika, ženska logika, otroška logika, shizofrena logika, dialektična logika, filozofska logika itd. Toda poleg logike obstaja tudi samo mišljenje, ki se lahko pokorava svojim zakonom (pravilno mišljenje) in ne uboga (napačno mišljenje). ). nelogično razmišljanje). Asociativni blok. Z našega vidika je logika del teorije znanja, ki proučuje odnos in obstoj stvari v polnem pomenu zadnje besede.

5) Logika- (iz grščine – logos): v najširšem pomenu – veda o mišljenju, nauk o zakonih, oblikah in sredstvih sklepanja. Najpogosteje se ta izraz identificira z izrazom "formalne logike", katere utemeljitelj je bil Aristotel. Glavni cilj logičnega raziskovanja je analizirati pravilnost sklepanja, oblikovanje zakonov in načel, katerih upoštevanje je nujen pogoj za pridobitev resničnih zaključkov v procesu sklepanja. Logične procese preučujemo tako, da jih predstavimo v formaliziranih jezikih. Vsak od njih vključuje niz ustrezno interpretiranih izrazov (formul), pa tudi metode za pretvorbo nekaterih izrazov v druge v skladu s pravili dedukcije. Sodobna logika je sestavljena iz velikega števila logičnih sistemov, ki opisujejo posamezne fragmente (vrste) sklepanja. Glede na osnovo (merila) klasifikacije trenutno ločimo klasično in neklasično logiko. V sodobnem smislu je logika veda o oblikah diskurza.

6) Logika- - etimološko sega v starogrško besedo "logos", ki pomeni "beseda", "misel", "koncept", "razumevanje", "zakon". To je znanost o zakonih in oblikah človeškega mišljenja. Proučuje mentalne procese. Obstaja razlika med tradicionalno logiko, ki jo je začel Aristotel in preučuje sklepe, koncepte in operacije na njih. Uporaba formalizacijskih metod in matematičnih metod je privedla do nastanka klasične logike (simbolične ali matematične). Neklasična (modalna ali filozofska) logika, ki uporablja formalne metode za analizo smiselnih realnosti. Poenostavljeno razumevanje logike – tok sklepanja, pravila sklepanja.

7) Logika- - veda o splošno veljavnih oblikah in sredstvih mišljenja, potrebnih za racionalno poznavanje katerega koli področja realnosti.

8) Logika - (grško logos - beseda, razmišljanje, koncept, um) - veda o oblikah, zakonih in metodah kognitivne dejavnosti; sposobnost pravilnega (logičnega) razmišljanja. Že od antičnih časov je bila opažena pomembna lastnost človeškega kognitivnega mišljenja: če so najprej podane nekatere izjave, potem lahko prepoznamo druge izjave, vendar ne katere koli, ampak le strogo določene. Kognitivno mišljenje je torej podvrženo določeni sili, njegovi rezultati so v veliki meri določeni in vnaprej določeni s predhodnim znanjem. To lastnost je Sokrat pogosto uporabljal v svojih dialogih. S spretnim postavljanjem vprašanj je sogovornika usmerjal k sprejemanju zelo konkretnih zaključkov. (Ko je Sokrat okarakteriziral svojo metodo, je pojasnil, da je njegov način pogovora podoben tistemu, kar počne babica, ki ne rodi sama, ampak sprejme porod. Torej samo sprašuje druge, prispeva k rojstvu resnice, sam pa nima ničesar recimo.) Zato je Sokrat svojo metodo imenoval majevtika – umetnost babice.) Sokratov učenec Platon, nato Aristotel je determinizem mišljenja naredil za predmet posebnega preučevanja. Aristotelovi rezultati so še posebej impresivni. Njegov uspeh je posledica dejstva, da je iz sklepanja izločil tisto, kar lahko imenujemo njihova vsebina, in ohranil le obliko. To je dosegel tako, da je v sodbah zamenjal črke (spremenljivke) namesto imen z določeno vsebino. Na primer, v implikativnem argumentu: "Če so vsi B-ji C-ji in vsi A-ji so B-ji, potem so vsi A-ji B-ji." Aristotelov pristop je pokazal dejstvo, da je zanesljivost rezultatov razmišljanja z različnimi vsebinami odvisna ne samo od resničnosti izhodiščnih stališč (premis), ampak tudi od odnosov med njimi, načina njihove povezave, tj. o obliki obrazložitve. Aristotel je oblikoval najpomembnejša načela za prehod od resničnih premis k resničnim sklepom. Kasneje so se ta načela začela imenovati zakoni identitete, protislovja in izključene sredine. Predlagal je prvi teoretični sistem oblik sklepanja - ti. asertorična silogistika, ki se ukvarja s propozicijami oblike »Vsi A so B«, »Nekateri A so B«, »Noben A ni B«, »Nekateri A niso B«. Tako je postavil temelj znanosti o splošno veljavnih sredstvih in oblikah mišljenja, zakonih razumnega znanja. Kasneje se je ta znanost začela imenovati L.L. ni se omejil na razjasnitev primerov, ko resničnost premis zagotavlja resničnost zaključka. Ta vrsta sklepanja je postala predmet ene od njegovih vej - deduktivne L. Toda Demokrit že razpravlja o problemu induktivnih sklepov, skozi katere se izvaja prehod od posebnih izjav do splošnih določb verjetnostne narave. Posebno zanimanje za indukcijo se pojavi v 17. in 18. stoletju. ko so se eksperimentalne znanosti začele hitro razvijati. Angleški filozof F. Bacon je naredil prvi poskus teoretičnega razumevanja indukcije, ki bi po njegovem mnenju lahko služila kot edina metoda razumevanja naravnih pojavov, da bi jih uporabili v dobro ljudi. Deduktivizem in induktivizem sta bili glavni smeri razvoja literature do 19. stoletja. Predstavniki racionalistične filozofije (Descartes, Spinoza, Malebranche, Leibniz) so dajali prednost dedukciji, predstavniki empirične (senzualistične) filozofije (po F. Baconu - Hobbes, Locke, Condillac, Berkeley, Hume) pa so bili induktivisti. Wolf, ki je predlagal celovit, po njegovem mnenju, sistem filozofskega znanja kot "znanost o vseh možnih predmetih, kolikor so možni", je poskušal uskladiti te smeri. Ker je bil na splošno racionalist, je kljub temu energično poudarjal odločilni pomen indukcije in eksperimentalnega spoznanja v nekaterih znanstvenih disciplinah (na primer v fiziki). Vendar Wolffove ideje o oblikah in zakonitostih mišljenja ter metodah spoznavanja, ki so se razvile v Leningradu do 19. stoletja, niso mogle zadovoljiti potreb hitro razvijajoče se znanosti in družbene prakse. Kant in predvsem Hegel sta kritizirala omejenost racionalistično-metafizične metode. L. je bil postavljen pred nalogo razviti sredstva, ki bi omogočala zavesten pristop k proučevanju bistvenih odnosov. Resen poskus rešitve tega problema je naredil Hegel. Njegova izjemna zasluga je uvedba ideje o razvoju in povezovanju v literaturo. To mu je omogočilo, da je postavil temelje dialektične literature kot teorije o gibanju človeške misli od pojava k bistvu, od relativne resnice k absolutni resnici, od abstraktnega znanja do konkretnega znanja. Na podlagi kategorij, načel in zakonov dialektične literature se oblikujejo metodološke smernice za preučevanje vsebine predmetov v vsej njihovi raznolikosti in nedoslednosti. Trenutno je literatura precej obsežna znanstvena disciplina. Njen najpomembnejši in najzrelejši del je formalna literatura. Ime je dobila po temi, s katero se ukvarja že od pradavnine - oblikah mišljenja in sklepanja, ki zagotavljajo pridobivanje novih resnic na podlagi že uveljavljenih resnic. merila za pravilnost in veljavnost teh obrazcev. Formalna literatura je bila dolgo časa poznana predvsem v obliki, kakršno so ji dali Aristotel in njegovi komentatorji. Zato je ime, ki ustreza tej stopnji, Aristotelov L. Iz tradicije, ki sega do Aristotela, je nastal še en enakovreden izraz - tradicionalna filozofija. Nespremenljivost problema in načinov njegovega reševanja v okviru aristotelovske filozofije je skozi stoletja dala podlago Kantu, ki je prvi uporabil izraz »formalna filozofija«. ,« verjeti, da v dva tisoč letih, ki so minila od Aristotelovih časov, ta L. ni naredil niti enega koraka naprej in ima v bistvu popoln značaj. Kant si ni niti predstavljal, da se bo le pol stoletja po njegovi smrti začel »drugi veter« v razvoju formalne logike. Ta kvalitativno nova stopnja je bila posledica dejstva, da so lahko težave, ki jih povzroča preučevanje logičnih osnov matematike. ne rešiti s pomočjo aristotelovske logike.. Skoraj sočasno potekajo procesi logikizacije matematike in matematizacije L. Pri reševanju logičnih problemov se aktivno uporabljajo matematične metode, nastaja logični račun. Delajo se konkretni koraki za uresničitev Leibnizovih zamisli o uporabi računalniških metod v kateri koli znanosti. J. Boole razvije prvi sistem algebre L. Zahvaljujoč delu O. de Morgana, W. Jevonsa, E. Schroederja, P.S. Poretsky, Peirce, Frege, J. Peano in Russell so v delih J. Lukasiewicza ustvarili glavne dele matematične matematike, ki je postala najpomembnejša veja formalne matematike v 20. stoletju, zlasti v 20. E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Geyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff in drugi postavljajo temelje neklasičnih delov formalnega jezikoslovja: večvrednostnega jezikoslovja, modalnega, verjetnostnega, intuicionističnega, konstruktivističnega in drugih. Prehod na številne resnične vrednosti ​​več kot dva ("true" ", in "false"), predstavlja eno od značilnih značilnosti neklasične ali, kot se pogosto imenujejo, nekrizipovske logike. V tridesetih letih prejšnjega stoletja je razvoj formalne logike je bil povezan z rešitvijo številnih problemov metalogike (grško meta - po, nad), preučevanjem načel konstrukcije in splošnih lastnosti formalnih sistemov, na primer problemov doslednosti, popolnosti, neodvisnosti sistema aksiomov, rešljivosti, sposobnosti teh sistemov za izražanje smiselnih teorij itd. Temelji t.i. "strojno mišljenje" Preučevanje teh problemov so zaznamovala izjemna odkritja, ki imajo pomemben ideološki in metodološki pomen in so povezana z imeni Tarskega, K. Gödela, A. Churcha. Najbolj znan je izrek K. Gödela o nepopolnosti formaliziranih sistemov, vklj. aritmetika naravnih števil in aksiomatska teorija množic. V skladu s tem izrekom v vsakem od teh sistemov obstajajo trditve, ki jih znotraj njihovega okvira ni mogoče niti dokazati niti ovreči. Tako se je pokazalo, da niti ene veljavne znanstvene teorije ni mogoče stlačiti v okvir formalizma. A. Church je dokazal izrek, po katerem ni algoritmov za reševanje številnih razredov problemov, da ne omenjamo algoritma, ki omogoča reševanje katerega koli problema (mnogi izjemni logiki in matematiki so sanjali o izumu takega algoritma). Danes poteka razvoj formalne logike v dveh glavnih smereh: 1) razvoj novih sistemov neklasične logike (logika imperativov, vrednotenj, vprašanj, časovna, induktivna logika, teorija logičnih implikacij itd.) , preučevanje lastnosti teh sistemov in odnosov med njimi, ustvarjanje njihove splošne teorije; 2) razširitev obsega uporabe formalnega L. Najpomembnejši končni rezultat, dobljen v tej smeri, je, da je formalni L. postal ne le instrument natančne misli, ampak tudi "misel" prvega natančnega instrumenta - računalnika , neposredno v vlogi partnerja, ki ga človek vključuje v sfero reševanja problemov, s katerimi se sooča. L. (v seštevku vseh svojih delov) je postal sestavni del človeške kulture. Njegovi dosežki se uporabljajo na najrazličnejših področjih človekove dejavnosti. Široko se uporablja v psihologiji in jezikoslovju, teoriji upravljanja in pedagogiki, pravu in etiki. Njegovi formalni deli so izvirna osnova kibernetike, računalniške matematike in tehnologije ter teorije informacij. Brez načel in zakonitosti književnosti si sodobne metodologije spoznavanja in komunikacije ni mogoče zamisliti. Študiju L. so vedno pripisovali velik pomen. Že Parmenid je poučeval Sokrata, ki je bil še neizkušen v filozofiji: »Tvoja vnema za sklepanje, bodi prepričan, je čudovita in božanska, toda dokler si še mlad, se poskušaj več vaditi v tem, kar večina smatra za praznogovorjenje (tj. operiranje z abstraktnimi koncepti). - V. B.) drugače se vam bo resnica izmuznila." Kot vidimo, se je že v starih časih razumelo, da ima disciplina, ki je kasneje dobila ime L., predvsem veliko metodološko vlogo - kot sredstvo za iskanje resnice. V.F. Berkov

9) Logika- - v širšem smislu - to je filozofska znanost o zakonih pravilnega mišljenja; v ožjem smislu - zaporedje nuj, zgrajenih v iskanju resnice.

10) Logika - (iz grškega logotipa - logotip) 1) sposobnost pravilnega, tj. logično, razmišljati; 2) nauk o identiteti in njenem zanikanju (G. Jacobi), nauk o doslednosti in metodah spoznavanja (veda o logiki). Kot "elementarna formalna logika" se ukvarja z najbolj splošnimi lastnostmi, ki so lastne vsem (obstoječim) konceptom. Osnovno lastnosti pojmov so izražene v logičnih aksiomih (glej Aksiom). Najprej je obravnavan nauk o pojmu, nato pride nauk o sodbi in končno sklepanje. Doktrine logičnih aksiomov, konceptov, sodb in sklepanja skupaj tvorijo čisto logiko. Uporabna logika pokriva v tradicionalni logiki nauk o definiciji, dokazu in metodi. Pogosto pred njo ne sledijo znanstveno-logični, temveč teoretično-spoznavni, psihološki nauki o izkustvu, opisovanju in oblikovanju (zlasti s pomočjo posebnega jezika, terminologije) ter oblikovanju pojmov. Včasih se mu doda še doktrina sistema. Logika (kot znanost) je samo nauk o mišljenju v pojmih, ne pa tudi o spoznanju skozi pojme; služi povečanju formalne točnosti zavesti in objektivnosti vsebine mišljenja in spoznavanja. Utemeljitelj zahodnoevropske logike (kot znanosti) je Aristotel, »oče logike«. Beseda "logika" se je najprej pojavila med stoiki; oni in neoplatonisti so razjasnili njegove nekatere vidike, v srednjem veku pa ga je sholastika razvila do najmanjših podrobnosti, v tankočutnosti. Humanizem je sholastiko izrinil iz logike, ni pa je mogel obnoviti. Reformacija je prevzela logiko Melanchthona, protireformacija - logiko Suareza. Johannes Sturm iz Strasbourga, ki se je načelno dvignil nad sholastiko, je razvil logiko; Pierre Ramet je postal bolj znan. Iz 17. stoletja Vpliv na logiko miselnih sfer, povezanih z matematiko, je postal opazen in je bil pri Spinozovi geometrijski metodi manjši kot pri Leibnizu, ki je v logiki uporabljal izboljšave naravoslovnih metod. Iz Leibniza in matematike, pa tudi iz neosholastike je izšla logika Wolfove šole. Kantova »transcendentalna logika« je v resnici kritična teorija vednosti, nemška logika. idealizem (zlasti Heglova logika) – spekulativna metafizika. Schopenhauer, Nietzsche, Bergson in zagovorniki življenjske filozofije so zavračali tradicionalno logiko. Trenutno se je logika razdelila na številne smeri: 1) metafizična logika (hegelijanizem); 2) psihološka logika (T. Lipps, deloma W. Wundt); 3) epistemološka ali transcendentalna logika (neokantianizem); 4) pomenska logika (Aristotel, Kulpe, moderni nominalizem); 5) predmetna logika (Remke, Meinong, Drish); 6) neosholastično logiko; 7) fenomenološka logika; 8) logika kot metodologija (neokantianizem) in logistika, ki je v središču razprav o logiki.

11) Logika- - glej Dialektična logika. Matematična logika, Formalna logika.

Logike

V knjigi: 1) univerzalna meja danosti stvari v svetu, ki sama ostaja nevidna; 2) tehnika za posredno identifikacijo te meje.

Dejavnost lahko zagotovi samo polovico modrosti; druga polovica je odvisna od zaznavne neaktivnosti. Navsezadnje razprava med tistimi, ki logiko utemeljujejo na "resnici", in tistimi, ki jo utemeljujejo na "raziskavi", izhaja iz razlike v vrednotah in na določeni točki postane nesmiselna. V logiki je izguba časa razmišljati o sklepih v zvezi s posameznimi primeri; vedno imamo opravka s povsem splošnimi in čisto formalnimi implikacijami, drugim vedam pa prepuščamo preučevanje, v katerih primerih so predpostavke potrjene in v katerih ne. Čeprav se ne moremo več zadovoljiti z definiranjem logičnih izjav, ki izhajajo iz zakona protislovja, lahko in moramo še vedno priznati, da tvorijo razred izjav, ki se popolnoma razlikuje od tistih, ki jih spoznamo empirično. Vsi imajo lastnost, za katero smo se strinjali, da jo imenujemo "tavtologija". To bo v kombinaciji z dejstvom, da jih je mogoče izraziti izključno v smislu spremenljivk in logičnih konstant (kjer je logična konstanta nekaj, kar ostane konstantno v izjavi, tudi če se spremenijo vse njene sestavine), dalo definicijo logike ali čiste matematike.

Nauk o povezavah in zaporedjih človeškega mišljenja, oblikah njegovega razvoja, različnih odnosih mentalnih oblik in njihovih transformacijah. L. obravnava vprašanja o sredstvih obstoja mišljenja, jezikih utrjevanja, reprodukcije in prevajanja miselnih procesov. V širšem smislu je filozofija preučevanje povezav ne le mišljenja, ampak tudi bivanja, torej literatura, ki razkriva »logiko stvari«, »logiko dogajanja« in »povezanost časov«. V tem pogledu se L. približa ontologiji. Filozofija je v svojih vsebinskih vidikih povezana z nauki o spoznanju, njegovem razvoju, delovanju in ohranjanju ter je neposredno vključena v epistemologijo. Filozofija je torej ena glavnih podrazdelkov filozofije in ima vseskozi vodilno vlogo v filozofiranju, saj se slednje vedno tako ali drugače ukvarja z vprašanjem mišljenja. V 19. stoletju Filozofija je kot posebna veda ločena od filozofije in se kot taka ukvarja s formalno analizo mišljenja in njegovih jezikov. Vprašanja razvoja mišljenja, evolucije njegovih sredstev, njegove kulturne, zgodovinske in družbene pogojenosti ostajajo v pristojnosti filozofije. Sama filozofija v svojih specifičnih družbenozgodovinskih in kulturnih oblikah postane pomembna veja filozofskega raziskovanja. V okviru tega pristopa je mogoče prepoznati več glavnih stopenj v evoluciji svetlobe in njenem razumevanju. V starodavnem svetu je bil razvoj logičnih problemov povezan s procesi razvrščanja umetnih in naravnih stvari, orodij človeške dejavnosti in dejanj medčloveških interakcij. L. razvija splošne koncepte in tehnike za delovanje z njimi. Kot del filozofije je pomembno orodje za ustvarjanje slike sveta in njeno uporabo v družbeni praksi. V srednjem veku je bila literatura usmerjena v raziskovanje oblik mišljenja in njihovih odnosov; smiselno spoznanje obravnavamo z vidika njegovo ujemanje z logičnimi oblikami. Doktrina stabilnih (ali neomajnih) struktur človeškega mišljenja, ki zagotavljajo njegovo pravilnost, se izkaže za pomemben predpogoj za nastajajoče standarde znanstvene racionalnosti. Ko se po naravoslovju formalna filozofija loči od filozofije, se vprašanje racionalnosti človeškega mišljenja znajde v središču filozofskih polemik. Po eni strani se razkriva nezadostnost formalne racionalnosti za potrebe sodobne znanosti, za razvoj človekove osebnosti in širjenje njegovih duhovnih obzorij. Po drugi strani pa se potrjuje nujnost ohranjanja racionalnosti in filozofije v najširšem pomenu kot pogojev za reprodukcijo kulture (badenski neokantianizem). V 20. stoletju se filozofska kritika racionalnosti (običajno interpretirane kot toge povezanosti logičnih oblik) krepi in poteka z različnih pozicij (eksistencializem, marksizem, dekonstrukcijonizem). Hkrati se v filozofiji vse bolj pojavlja težnja po obravnavanju literature s kulturno-zgodovinskega vidika, preučevanju različnih zakonov, ki so lastni različnim kulturam in vrstam človeške dejavnosti. V luči teh pristopov se poudarek pri razumevanju vsebine L spreminja. Če je bila prej ta kakovost povezana predvsem z razjasnitvijo objektivne naravnanosti mišljenja, je zdaj poudarek na povezavi mentalnih oblik, ki nastanejo v interakciji človeka. subjektov se ta interakcija utrjuje in reproducira. V. E. Kemerov

Znanost o zakonih in delovanju pravilnega mišljenja. V skladu z osnovnim načelom logike je pravilnost sklepanja določena le z njegovo logično obliko ali zgradbo in ni odvisna od konkretne vsebine izjav, ki so v njej vključene. Posebnost pravilnega sklepanja je, da če so premise resnične, logično razmišljanje vodi do pravega zaključka (odgovora na vprašanje). Nepravilno sklepanje lahko vodi od resničnih in neresničnih premis do resničnih in neresničnih zaključkov (resnica sklepa je stvar naključja). Torej, kaj je logika, je jasno - to so pravila za uporabo določenih miselnih tehnik pri obdelavi informacij. Obstaja formalna logika, humanistična logika, ženska logika, otroška logika, shizofrena logika, dialektična logika, filozofska logika itd. Toda poleg logike obstaja tudi samo mišljenje, ki se lahko pokorava svojim zakonom (pravilno mišljenje) in ne uboga (napačno mišljenje). ). nelogično razmišljanje). Asociativni blok. Z našega vidika je logika del teorije znanja, ki proučuje odnos in obstoj stvari v polnem pomenu zadnje besede.

(iz grščine - logos): v najširšem pomenu - znanost o razmišljanju, nauk o zakonih, oblikah in sredstvih sklepanja. Najpogosteje se ta izraz identificira z izrazom "formalna logika", katere utemeljitelj je bil Aristotel. Glavni cilj logičnega raziskovanja je analizirati pravilnost sklepanja, oblikovanje zakonov in načel, katerih upoštevanje je nujen pogoj za pridobitev resničnih zaključkov v procesu sklepanja. Logične procese preučujemo tako, da jih predstavimo v formaliziranih jezikih. Vsak od njih vključuje niz ustrezno interpretiranih izrazov (formul), pa tudi metode za pretvorbo nekaterih izrazov v druge v skladu s pravili dedukcije. Sodobna logika je sestavljena iz velikega števila logičnih sistemov, ki opisujejo posamezne fragmente (vrste) sklepanja. Glede na osnovo (kriterije) klasifikacije trenutno ločimo klasično in neklasično logiko. V sodobnem smislu je logika veda o oblikah diskurza.

Etimološko sega v starogrško besedo "logos", ki pomeni "beseda", "misel", "koncept", "razumevanje", "zakon". To je znanost o zakonih in oblikah človeškega mišljenja. Proučuje mentalne postopke. Obstaja razlika med tradicionalno logiko, ki jo je začel Aristotel in preučuje sklepe, koncepte in operacije na njih. Uporaba formalizacijskih metod in matematičnih metod je vodila do nastanka klasične logike (simbolične ali matematične). Neklasična (modalna ali filozofska) logika, ki uporablja formalne metode za analizo smiselnih realnosti. Poenostavljeno razumevanje logike – tok sklepanja, pravila sklepanja.

Znanost o splošno veljavnih oblikah in sredstvih mišljenja, potrebnih za racionalno poznavanje katerega koli področja realnosti.

(grško logos - beseda, razmišljanje, koncept, um) - znanost o oblikah, zakonih in metodah kognitivne dejavnosti; sposobnost pravilnega (logičnega) razmišljanja. Že od antičnih časov je bila opažena pomembna lastnost človeškega kognitivnega mišljenja: če so najprej podane nekatere izjave, potem lahko prepoznamo druge izjave, vendar ne katere koli, ampak le strogo določene. Kognitivno mišljenje je torej podvrženo določeni sili, njegovi rezultati so v veliki meri določeni in vnaprej določeni s predhodnim znanjem. To lastnost je Sokrat pogosto uporabljal v svojih dialogih. S spretnim postavljanjem vprašanj je sogovornika usmerjal k sprejemanju zelo konkretnih zaključkov. (Ko je Sokrat okarakteriziral svojo metodo, je pojasnil, da je njegov način pogovora podoben tistemu, kar počne babica, ki ne rodi sama, ampak sprejme porod. Torej samo sprašuje druge, prispeva k rojstvu resnice, sam pa nima ničesar recimo.) Zato je Sokrat svojo metodo imenoval majevtika – umetnost babice.) Sokratov učenec Platon, nato Aristotel je determinizem mišljenja naredil za predmet posebnega preučevanja. Aristotelovi rezultati so še posebej impresivni. Njegov uspeh je posledica dejstva, da je iz sklepanja izločil tisto, kar lahko imenujemo njihova vsebina, in ohranil le obliko. To je dosegel tako, da je v sodbah zamenjal črke (spremenljivke) namesto imen z določeno vsebino. Na primer, v implikativnem argumentu: "Če so vsi B-ji C-ji in vsi A-ji so B-ji, potem so vsi A-ji B-ji." Aristotelov pristop je pokazal dejstvo, da je zanesljivost rezultatov razmišljanja z različnimi vsebinami odvisna ne samo od resničnosti izhodiščnih stališč (premis), ampak tudi od odnosov med njimi, načina njihove povezave, tj. o obliki obrazložitve. Aristotel je oblikoval najpomembnejša načela za prehod od resničnih premis k resničnim sklepom. Kasneje so se ta načela začela imenovati zakoni identitete, protislovja in izključene sredine. Predlagal je prvi teoretični sistem oblik sklepanja - ti. asertorična silogistika, ki se ukvarja s propozicijami oblike “Vsi A so B”, “Nekateri A so B”, “Noben A ni B”, “Nekateri A niso B”. Tako je postavil temelj znanosti o splošno veljavnih sredstvih in oblikah mišljenja, zakonih razumnega znanja. Kasneje se je ta znanost začela imenovati L.L. ni se omejil na razjasnitev primerov, ko resničnost premis zagotavlja resničnost zaključka. Ta vrsta razmišljanja je postala predmet ene od njegovih vej - deduktivnega L. Toda Demokrit že razpravlja o problemu induktivnih sklepov, skozi katere se izvaja prehod od posebnih izjav do splošnih določb verjetnostne narave. Posebno zanimanje za indukcijo se pojavi v 17. in 18. stoletju. ko so se eksperimentalne znanosti začele hitro razvijati. Angleški filozof F. Bacon je naredil prvi poskus teoretičnega razumevanja indukcije, ki bi po njegovem mnenju lahko služila kot edina metoda razumevanja naravnih pojavov, da bi jih uporabili v dobro ljudi. Deduktivizem in induktivizem sta bili glavni smeri razvoja literature do 19. stoletja. Predstavniki racionalistične filozofije (Descartes, Spinoza, Malebranche, Leibniz) so dajali prednost dedukciji, predstavniki empirične (senzualistične) filozofije (po F. Baconu - Hobbes, Locke, Condillac, Berkeley, Hume) pa so bili induktivisti. Wolf, ki je predlagal celovit, po njegovem mnenju, sistem filozofskega znanja kot "znanost o vseh možnih predmetih, kolikor so možni", je poskušal uskladiti te smeri. Ker je bil na splošno racionalist, je kljub temu energično poudarjal odločilni pomen indukcije in eksperimentalnega spoznanja v nekaterih znanstvenih disciplinah (na primer v fiziki). Vendar Wolffove ideje o oblikah in zakonitostih mišljenja ter metodah spoznavanja, ki so se razvile v Leningradu do 19. stoletja, niso mogle zadovoljiti potreb hitro razvijajoče se znanosti in družbene prakse. Kant in še posebej Hegel sta kritizirala omejenost racionalistično-metafizične metode. L. je bil postavljen pred nalogo razviti sredstva, ki bi omogočala zavesten pristop k proučevanju bistvenih odnosov. Resen poskus rešitve tega problema je naredil Hegel. Njegova izjemna zasluga je uvedba ideje o razvoju in povezovanju v literaturo. To mu je omogočilo, da je postavil temelje dialektične literature kot teorije o gibanju človeške misli od pojava k bistvu, od relativne resnice k absolutni resnici, od abstraktnega znanja do konkretnega znanja. Na podlagi kategorij, načel in zakonov dialektične literature se oblikujejo metodološke smernice za preučevanje vsebine predmetov v vsej njihovi raznolikosti in nedoslednosti. Trenutno je literatura precej obsežna znanstvena disciplina. Njen najpomembnejši in najzrelejši del je formalna literatura. Ime je dobila po temi, s katero se ukvarja že od pradavnine - oblikah mišljenja in sklepanja, ki zagotavljajo pridobivanje novih resnic na podlagi že uveljavljenih resnic. merila za pravilnost in veljavnost teh obrazcev. Formalna literatura je bila dolgo časa poznana predvsem v obliki, kakršno so ji dali Aristotel in njegovi komentatorji. Zato je ime, ki ustreza tej stopnji, Aristotelov L. Iz tradicije, ki sega do Aristotela, je nastal še en enakovreden izraz - tradicionalna filozofija. Nespremenljivost problema in načinov njegovega reševanja v okviru aristotelovske filozofije je skozi stoletja dala podlago Kantu, ki je prvi uporabil izraz »formalna filozofija«. ,« verjeti, da v dva tisoč letih, ki so minila od Aristotelovih časov, ta L. ni naredil niti enega koraka naprej in ima v bistvu popoln značaj. Kant si ni niti predstavljal, da se bo le pol stoletja po njegovi smrti začel »drugi veter« v razvoju formalne logike. Ta kvalitativno nova stopnja je bila posledica dejstva, da so lahko težave, ki jih povzroča preučevanje logičnih osnov matematike. ne rešiti s pomočjo aristotelovske logike.. Skoraj sočasno potekajo procesi logikizacije matematike in matematizacije L. Pri reševanju logičnih problemov se aktivno uporabljajo matematične metode, nastaja logični račun. Delajo se konkretni koraki za uresničitev Leibnizovih zamisli o uporabi računalniških metod v kateri koli znanosti. J. Boole razvije prvi sistem algebre L. Zahvaljujoč delu O. de Morgana, W. Jevonsa, E. Schroederja, P.S. Poretsky, Peirce, Frege, J. Peano in Russell so v delih J. Lukasiewicza ustvarili glavne dele matematične matematike, ki je postala najpomembnejša veja formalne matematike v 20. stoletju, zlasti v 20. E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Geyting, A.A. Markova, A.N. Kolmogorov, G. Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff in drugi postavljajo temelje neklasičnih delov formalnega jezikoslovja: večvrednostnega jezikoslovja, modalnega, verjetnostnega, intuicionističnega, konstruktivističnega in drugih. Prehod na številne resnične vrednosti ​​več kot dva ("true" ", in "false"), predstavlja eno od značilnih značilnosti neklasične ali, kot se pogosto imenujejo, nekrizipovske logike. V tridesetih letih prejšnjega stoletja je razvoj formalne logike je bil povezan z rešitvijo številnih problemov metalogike (grško meta - po, nad), preučevanjem načel konstrukcije in splošnih lastnosti formalnih sistemov, na primer problemov doslednosti, popolnosti, neodvisnosti sistema aksiomov, rešljivosti, sposobnosti teh sistemov za izražanje smiselnih teorij itd. Temelji t.i. "strojno mišljenje" Preučevanje teh problemov so zaznamovala izjemna odkritja, ki imajo pomemben ideološki in metodološki pomen in so povezana z imeni Tarskega, K. Gödela, A. Churcha. Najbolj znan je izrek K. Gödela o nepopolnosti formaliziranih sistemov, vklj. aritmetika naravnih števil in aksiomatska teorija množic. V skladu s tem izrekom v vsakem od teh sistemov obstajajo trditve, ki jih znotraj njihovega okvira ni mogoče niti dokazati niti ovreči. Tako se je pokazalo, da niti ene veljavne znanstvene teorije ni mogoče stlačiti v okvir formalizma. A. Church je dokazal izrek, po katerem ni algoritmov za reševanje številnih razredov problemov, da ne omenjamo algoritma, ki omogoča reševanje katerega koli problema (mnogi izjemni logiki in matematiki so sanjali o izumu takega algoritma). Danes poteka razvoj formalne logike v dveh glavnih smereh: 1) razvoj novih sistemov neklasične logike (logika imperativov, vrednotenj, vprašanj, časovna, induktivna logika, teorija logičnih implikacij itd.) , preučevanje lastnosti teh sistemov in odnosov med njimi, ustvarjanje njihove splošne teorije; 2) razširitev obsega uporabe formalnega L. Najpomembnejši končni rezultat, dobljen v tej smeri, je, da je formalni L. postal ne le instrument natančne misli, ampak tudi "misel" prvega natančnega instrumenta - računalnika , neposredno v vlogi partnerja, ki ga človek vključuje v sfero reševanja problemov, s katerimi se sooča. L. (v seštevku vseh svojih delov) je postal sestavni del človeške kulture. Njegovi dosežki se uporabljajo na najrazličnejših področjih človekove dejavnosti. Široko se uporablja v psihologiji in jezikoslovju, teoriji upravljanja in pedagogiki, pravu in etiki. Njegovi formalni deli so izvirna osnova kibernetike, računalniške matematike in tehnologije ter teorije informacij. Brez načel in zakonitosti književnosti si sodobne metodologije spoznavanja in komunikacije ni mogoče zamisliti. Študiju L. so vedno pripisovali velik pomen. Že Parmenid je poučeval Sokrata, ki je bil še neizkušen v filozofiji: »Tvoja vnema za sklepanje, bodi prepričan, je čudovita in božanska, toda dokler si še mlad, se poskušaj več vaditi v tem, kar večina smatra za praznogovorjenje (tj. operiranje z abstraktnimi koncepti). - V. B.) drugače se vam bo resnica izmuznila." Kot vidimo, se je že v starih časih razumelo, da ima disciplina, ki je kasneje dobila ime L., predvsem veliko metodološko vlogo - kot sredstvo za iskanje resnice. V.F. Berkov

V širšem smislu je to filozofska veda o zakonitostih pravilnega mišljenja; v ožjem smislu - zaporedje nuj, zgrajenih v iskanju resnice.

(iz grškega logotipa - logotipa) 1) sposobnost pravilnega, tj. logično, razmišljati; 2) nauk o identiteti in njenem zanikanju (G. Jacobi), nauk o doslednosti in metodah spoznavanja (veda o logiki). Kot "elementarna formalna logika" se ukvarja z najbolj splošnimi lastnostmi, ki so lastne vsem (obstoječim) konceptom. Osnovno lastnosti pojmov so izražene v logičnih aksiomih (glej Aksiom). Najprej je obravnavan nauk o pojmu, nato pride nauk o sodbi in končno sklepanje. Doktrine logičnih aksiomov, konceptov, sodb in sklepanja skupaj tvorijo čisto logiko. Uporabna logika pokriva v tradicionalni logiki nauk o definiciji, dokazu in metodi. Pogosto pred njo ne sledijo znanstveno-logični, temveč teoretično-spoznavni, psihološki nauki o izkustvu, opisovanju in oblikovanju (zlasti s pomočjo posebnega jezika, terminologije) ter oblikovanju pojmov. Včasih se mu doda še doktrina sistema. Logika (kot znanost) je samo nauk o mišljenju v pojmih, ne pa tudi o spoznanju skozi pojme; služi povečanju formalne točnosti zavesti in objektivnosti vsebine mišljenja in spoznavanja. Utemeljitelj zahodnoevropske logike (kot znanosti) je Aristotel, »oče logike«. Beseda "logika" se je najprej pojavila med stoiki; oni in neoplatonisti so razjasnili njegove nekatere vidike, v srednjem veku pa ga je sholastika razvila do najmanjših podrobnosti, v tankočutnosti. Humanizem je sholastiko izrinil iz logike, ni pa je mogel obnoviti. Reformacija je prevzela logiko Melanchthona, protireformacija - logiko Suareza. Johannes Sturm iz Strasbourga, ki se je načelno dvignil nad sholastiko, je razvil logiko; Pierre Ramet je postal bolj znan. Iz 17. stoletja Vpliv na logiko miselnih sfer, povezanih z matematiko, je postal opazen in je bil pri Spinozovi geometrijski metodi manjši kot pri Leibnizu, ki je v logiki uporabljal izboljšave naravoslovnih metod. Iz Leibniza in matematike, pa tudi iz neosholastike je izšla logika Wolfove šole. Kantova »transcendentalna logika« je v resnici kritična teorija vednosti, nemška logika. idealizem (zlasti Heglova logika) – spekulativna metafizika. Schopenhauer, Nietzsche, Bergson in zagovorniki življenjske filozofije so zavračali tradicionalno logiko. Trenutno se je logika razdelila na številne smeri: 1) metafizična logika (hegelijanizem); 2) psihološka logika (T. Lipps, deloma W. Wundt); 3) epistemološka ali transcendentalna logika (neokantianizem); 4) pomenska logika (Aristotel, Kulpe, moderni nominalizem); 5) predmetna logika (Remke, Meinong, Drish); 6) neosholastično logiko; 7) fenomenološka logika; 8) logika kot metodologija (neokantianizem) in logistika, ki je v središču razprav o logiki.

Asimetrično nasprotje absolutnega, za katerega je značilna negativna ekstenzija, antisubstancialnost, samodestruktivnost ...

Formalna logika raziskuje nespremenljive strukture človeškega mišljenja in medtem ko obstaja neskladje med idealizirano vsebino in materialno obliko izražanja misli, je nujno zagotoviti resničnost razmišljanja s pomočjo formalnih zakonov in pravil.

Logika kot veda vključuje tradicionalno logiko in sodobno (klasično in neklasično) logiko. Po svoji vsebini predstavljajo kronologijo stopenj razvoja logične znanosti. Odlikuje jih, katere osnovne koncepte in metode uporabljajo za gradnjo formalnih teorij in katere probleme rešujejo: tradicionalno logiko metoda formalizacije se uporablja v polformalni obliki in moderno- v čistem; V tradicionalno logiko osrednje kategorije so »pojem«, »sodba« in »sklep« ter v moderno- izjave in pogoje; tradicionalno logiko oblikuje kulturo mišljenja, tj. je metoda dokaza in zavrnitve, osnova različnih vrst diskurza itd., in moderno raziskuje delovanje mišljenja v jeziku znanosti, tj. analizira principe gradnje, transformacije in utemeljitve znanstvenih teorij.

V tem primeru se bomo omejili na analizo tradicionalne logike in po potrebi upoštevali nekatere vidike propozicionalne logike (klasična logika) in modalne logike (neklasična logika).

Logike (grško λογιχή - veda o mišljenju, iz λόγος - misel, beseda, nauk) - je filozofska veda o zakonitostih in oblikah teoretičnega mišljenja, o razmerju med temi oblikami ter o napakah v procesu mišljenja in načinih, kako jih premagati.

Status in vlogo katere koli znanosti označuje predvsem njeno predmetno-predmetno področje. Znanstveni objekt predstavlja specifično področje realnosti, v katero so usmerjena raziskovalna prizadevanja. Naravoslovni predmet- to je določena stran predmeta, ki prispeva k njegovi kvalitativni in kvantitativni razjasnitvi.

Logični objekt - to je človeško razmišljanje. Vendar logike proučuje človeško mišljenje ne v smislu upoštevanja vseh njegovih oblik, ob upoštevanju njihovega nastanka in razvoja, kot se to počne v okviru filozofija(natančneje - v epistemologija), ampak zavzema le oblike teoretičnega mišljenja, ki obstajajo v že pripravljeni obliki, nespremenljive, nepremične, enake same sebi v kakršnih koli družbenozgodovinskih in kulturnih okoliščinah; logike ne raziskuje mišljenja s poudarkom na njegovih vsebinskih vidikih in njihovi pogojenosti s fiziološkimi in sociokulturnimi dejavniki, kar je značilno za psihologija, temveč v teoretičnem razmišljanju izpostavlja le njegov formalno-strukturni vidik itd. Bistvo logične analize je redukcija misli na njeno strukturo in obliko skozi abstrakcijo vsebine. Upoštevati je treba, da čeprav analiza misli glede resničnosti ali neresničnosti njihove vsebine, njenega razumevanja itd. in presega predmetne meje logike, a brez nje logično mišljenje in obstoj logike kot vede nista mogoča. Zato je za logiko pomembno ne samo določiti prav, ampak tudi resnica logične oblike mišljenja (sodbe in sklepanja). Logika ni namenjena pridobivanju znanja, ki je očitno neresnično. Predmet logike - to je kompleksen sistem, ki združuje univerzalne pogoje, ki zagotavljajo resničnost razmišljanja, ki ga je treba upoštevati ne glede na vsebino misli.

Predmet logike so:

- oblike teoretičnega mišljenja: pojem, sodba, sklepanje;

- splošne zakonitosti mišljenja: istovetnost, protislovje, izključeni tretji in zadostni razlog;

- univerzalne metode znanosti, teoretičnega mišljenja na splošno: analiza, sinteza, abstrakcija, generalizacija, formalizacija itd.;

- strukturni zakoni in pravila posameznih oblik mišljenja: zakon obratnega razmerja med obsegom in vsebino pojma, pravila premis in izrazov, posebna pravila za figure preprostega kategoričnega silogizma itd.;

- jezik logike kot sistem specializiranih simbolov za označevanje oblik mišljenja in njihovih povezav;

- pogoji in definicije, utemeljeno v logiki;

- logične napake, mogoče v procesu razmišljanja.

Razmišljanje (povzetek)- to je posredno(tiste. na podlagi predhodno pridobljenega znanja)in posplošeno(tiste. zajemanje bistvenih lastnosti)odsev realnosti v človeških možganih, ki ga zapiše in prenese v jezik(praktično razmišljanje)v procesu svojih duhovnih in praktičnih dejavnosti.

Lastnosti pravilnega razmišljanja:

- gotovost- natančnost in strogost;

- podzaporedje- brez notranjih protislovij;

- veljavnost- osredotočiti se na razloge, zaradi katerih je treba misel prepoznati kot resnično.

V razmišljanju se razlikujejo vsebina in oblika misli:

Oblika razmišljanja - to je struktura misli, način povezovanja njenih smiselnih delov(pojmi v sodbe, sodbe med seboj v kompleksne sodbe, sodbe kot del sklepanja).

Človeško mišljenje je povezano s procesom sklepanje. Utemeljitev - to je primerjava misli in njihovo poenotenje, da bi na podlagi obstoječega znanja pridobili novo znanje.

Razlogi se dogajajo prav in narobe.

Pravilno sklepanje - to je sklepanje, v katerem so samo misli(zaključki)nujno izhajajo iz drugih misli(paketi).

primer:»Vse zvezde so velikanske žareče krogle vročega plina. Sonce je zvezda. Zato je Sonce ogromna svetleča krogla vročega plina." V tem argumentu dve začetni misli utemeljujeta tretjo: "Če ima razred predmetov določeno lastnost in določen predmet pripada temu razredu, potem je ta lastnost tudi neločljivo povezana z njim.". ali: "Če ima predmet določeno lastnost in ima vse, kar ima to lastnost, tudi kakšno drugo lastnost, potem ima ta objekt tudi to drugo lastnost":»Sonce je ogromna svetleča krogla vročega plina. Vse velikanske žareče krogle vročega plina ustvarjajo ogromne količine energije. Posledično Sonce proizvaja ogromno energije.«

Nepravilno sklepanje - to je sklepanje, pri katerem pride do logičnih napak zaradi neupoštevanja zakonov in pravil logike.

primer:»Zdravila, ki jih bolnik jemlje, so dobra. Več dobrega kot narediš, bolje je. To pomeni, da je treba zdravila jemati čim več.« Zmotnost sklepa izhaja iz neutemeljene istovetnosti neidentičnih konceptov, uporabljenih v obeh izvirnih mislih: v prvem pojem "dobro" je podan z vidika praktične uporabnosti določene snovi in ​​pravilnosti njene uporabe, v drugem- v splošnem etičnem smislu kot nasprotje pojma »zlo«.

Tako kot misel sklepanje ima vsebino tiste. informacije o svetu in logična oblika, tj. konstrukcija, način povezovanja njenih sestavnih elementov. Opozoriti je treba, da logična oblika ni del vsebine, ki vključuje določeno misel ali določeno sklepanje. Logična oblika je samo sredstvo, s katerim se sestavni deli vsebine povezujejo v mislih ali sklepanju med seboj. Da bi prepoznali te komponente logike abstrahira konkretno vsebino misli ali sklepanja in se ukvarja z analizo, predvsem pa njihovo logično obliko, tj. se osredotoča na tiste komponente, ki predstavljajo formalni vidik misli ali sklepanja.

na primer v definiciji »logika je filozofska veda« je na eni strani njena specifična vsebina (misli), neodvisna od forme misli (»o nečem se nekaj trdi«), na drugi strani podatek o metodi oz. povezovanje strukturnih elementov mišljenja (predmet mišljenja in znak subjekta mišljenja), kar zanima logiko kot znanost.

Zato je treba razlikovati prav in resnica misli ali sklepanja. Koncept formalna pravilnost mišljenja se nanaša le na logična dejanja in operacije mišljenja. Pravilno razmišljanje- to je njegova značilnost s strani oblike. Z vidika oblike je lahko logično pravilna ali nepravilna. Prav misli ali sklepanje so skladnost s pravili in zakoni logike.Če je med premisami zaključka neresnična premisa, potem lahko ob upoštevanju pravil logike v zaključku dobimo tako resnico kot neresnico.

primer:»Vse kovine so trdne snovi. Živo srebro ni trdna snov. Zato živo srebro ni kovina." V tem primeru je eno od pravil logike kršeno, ker ena od premis (1.) ni resnična. Toda tudi če sta dve premisi resnični, lahko dobite tako resničen kot napačen sklep: »Vsi prenosniki imajo zaslon. Ta tehnična naprava ima zaslon. Ta tehnična naprava je torej prenosnik.” Tu je tudi kršeno eno od pravil logike. Zato zaključek ne izhaja nujno iz teh premis. Sklep je sestavljen po sliki II z dvema pritrdilnima premisama, po pravilih te slike pa morata biti ena od premis in zaključek negativna sodba.

Koncept resnica razmišljanja nanaša le na specifično vsebino mišljenja. Resnica obstaja ujemanje misli ali sklepanja s posebno vsebino realnosti. In če isto razmišljanje pravilno odraža to, kar se dogaja v resnici, potem je res, sicer pa je neresnično.

primer:»Vsi tehnologi so specialisti za tehnologijo določene veje proizvodnje« drži; "Vsi kandidati so bodoči študentje" ne drži.

Vsi ti primeri kažejo na pomen znanja in uporabe dve pravili: formalno in smiselno.

Formalno pravilo - to je pravilo, ki zagotavlja samo obliko(brez sklicevanja na vsebino)tisto, kar se preoblikuje po tem pravilu. Pri tem nista pomembni resničnost izjav in njihova pomenska povezanost. Uporaba formalnega pravila se izvaja le na podlagi poznavanja oblike izjave. Proces razmišljanja ali sklepanja, izveden v skladu s formalnim pravilom logike, je formalno in logično pravilen.

na primer Vzemimo predloga »Kijev je glavno mesto Francije« in »Če je Kijev glavno mesto Francije, potem je 22=5«, kjer je prvi preprost predlog, drugi pa zapleten, tvorjen z veznikom »če , potem«. Uporabimo eno od formalnih logičnih pravil za te sodbe: x, x→y╞pri, Kje X in pri- označujejo preproste predloge, → - označuje veznik naravnega jezika “če, potem”, ╞ - označuje razmerje posledice. Ko določimo prvo sodbo X, drugič - x→y, potem temu primerno tukaj y- 22=5. In ni pomembno, ali so te sodbe resnične in ali so smiselne. Seveda je prvi predlog neresničen in tudi drugi je neresničen, in če bi bil resničen (»22 = 4«), potem ne bi imel smisla v običajnem pomenu. Vendar to kaže, da za uporabo formalnega pravila sta resničnost sodb in njihova pomenska povezanost nepomembni. In če je temu tako, potem označite prvi predlog "Kijev je glavno mesto Francije" kot A, in sodba “22=5” - IN, potem dobimo formulo za kompleksno sodbo "Če je Kijev glavno mesto Francije, potem je 22 = 5" v obliki izraza "če A, To IN" Ko smo ugotovili obliko sodb, lahko zanje uporabimo formalno pravilo " x, x→y╞pri", ne poznajo niti pomena niti pomena sodb " A" in če A, To IN" Torej, ko iz sodb " A" in če A, To IN"sklep je podan" IN«, potem je sklepanje formalno-logično pravilno. Posledično se tukaj pojavlja formalno logično sklepanje, ker je podvrženo formalnim pravilom logike. In ko je sodba " A« in predlog »če A, To IN" bo res, potem bo zagotovo res in " IN" Če niso resnične, je resnica" IN» ni zagotovljeno.

Vendar pa v procesu razmišljanja poleg formalnih pravil, vsebinska pravila(pravila nepopolne indukcije, pravila analogije itd.). Vsebinsko pravilo - to je pravilo, ki natančno določa vsebino tistega, kar se v skladu z njim preoblikuje.

Na primer, vzemimo pravilo analogije lastnosti, ki ima obliko formule:

◊[(p, p, p (x))(p, p (l))→(p (l))],

ki se lahko bere takole: »Element X ima lastnosti p,p,p, in element pri- lastnosti p, p. Zato element pri, verjetno ima lastnino p».

Odvisnost tega pravila od vsebine določa dejstvo, da je njegova uporaba na eno (1) vsebino smiselna, na drugo (2) pa vodi do neresničnega sklepa.

(1) "Zemlja ( X) je planet p, kroži okoli Sonca p, sveti z odbito svetlobo p. Venera ( pri) je planet p, kroži okoli Sonca p. Zato Venera ( pri), verjetno sveti z odbito svetlobo p" (2) "Zemlja ( X) je planet p, kroži okoli Sonca p, ima satelit p. Venera ( pri) je planet p, kroži okoli Sonca p. Zato Venera ( pri), verjetno ima satelit p«, ki ga, kot vemo, Venera nima.

2. Logika in jezik.

Orodje, ki omogoča prikaz logične strukture misli v jedrnati in kratki simbolični obliki in s tem omogoča formalizacija(lat. formalis - sestavljeno po obliki) naknadne logične operacije (dejanja z racionalnimi oblikami mišljenja) so jezik logike. Jezik je tisti, ki zagotavlja izpeljavo nekaterih logičnih oblik iz drugih v skladu s pravili in zakonitostmi, določenimi v logiki. In prav ta ugotovitev določa pravilnost teoretičnega razmišljanja. To pomeni, da pravilnost teoretičnega razmišljanja v logiki v veliki meri določa njen jezik. Tako kot ni logičnega jezika zunaj logičnih dejanj, tudi Brez logičnega jezika niso nemogoča nobena logična dejanja in navsezadnje pravilno razmišljanje.

Jezik - je družbena oblika, ki predstavlja materialno naravno(zvočna govorica, plastičnost človeškega telesa: poze, geste, mimika) in umetno(jezik matematike, logike, slikarstva, glasbe, prometnih znakov itd.)znakovno-simbolni sistem, s pomočjo katerega se ljudje sporazumevajo, razumejo svet in samospoznavajo, shranjujejo in prenašajo informacije ter nadzirajo vedenje drug drugega.

Jezik zagotavlja korelacijo med vsebino človekovega mišljenja in objektivnim svetom, ki ga razume. Jezik nadomešča materialne predmete, ki jih obvladuje v dejanjih mišljenja. S tem omogoči razmišljanju, da igra aktivno vlogo, ugotavlja bistvo in vzorce teh predmetov ter na tej podlagi ustvarja modele in načine njihovega smotrnega spreminjanja.

Vsak jezik je sestavljen iz znakov . Podpis - to je element jezika, ki nadomešča in predstavlja predmete in njihove znake v procesu razmišljanja in spoznavanja.

Znak je karakteriziran razpoložljivost smisel in smisel(latinsko sensus - pomen) . Pomen (ekstenzijski , lat. extensio - obseg )znak je predmet materialnega sveta, ki ga predstavlja ta znak. Pomen (intenzija , lat. intensio - napetost )znak - to je informacija, ki jo prenaša znak o prisotnosti ali značilnostih določenega predmeta. Tako se temu reče dobesedno, Za razliko od figurativni pomen(kar kaže na podobnost predmeta z drugimi predmeti: "Premog je kruh industrije") in etimološki(razlaga dobesednega pomena besede: »Geneza je nauk o obstoju«).

Znaki delujejo predstavlja funkcijo (latinsko representatio - predstava, vizualna podoba), tj. označuje predmete in njihove znake(lastnosti in razmerja). Z razlago znakov, razkrivanjem njihovega pomena in pomena, človek spoznava objektivni svet. Navsezadnje sam svet, njegova vsebina ni neposredno vključena v dejavnost razmišljanja.

Odvisno od podaljška (vrednote) znaki so lahko namišljeni ali resnični.

Namišljeni znaki - to so znaki, katerih razširitev ne ustreza nobenemu obstoječemu objektu. Namišljeni znaki odražajo tako fantastične predmete (»donavska morska deklica«, »idealna država«) kot predmete, ki bi lahko obstajali, vendar ne obstajajo ravno na predmetnem področju, ki ga označuje ta znak (»svobodne demokratične volitve predsednika Ukrajine v 2004 "). Pravi znaki - to so znaki, katerih razširitev ustreza določenemu predmetu ali lastnosti(»ustava«, »inflacija«, »ukrajinski oligarhi«).

Odvisno od intenzivnosti (smisel) znaki so lahko opisni ali neopisni. Opisne oznake - to so znaki, katerih namen vsebuje podatke o značilnostih označenega predmeta - njegovih lastnostih in odnosih(»svobodne volitve«, »galopirajoča inflacija«, »objektivna resnica«). Neopisne oznake - to so znaki, katerih namen ne označuje predmeta, ampak le kaže nanj(»država«, »lastnina«, »demokracija«).

Vse znaki razdelijo na jezikovni znaki in nejezikovni znaki. Vrste nejezikovnih znakov dodeliti Avtor: narava povezave med znakom in predmeti ter njihove značilnosti: znaki-podobe - imajo določeno podobnost z ustreznim predmetom(zemljevid, prostorski načrt, risba, fotografija); indeksni znaki (lat. index - indikator) - imajo neposredno povezavo s predmetom, ki ga označujejo(dim je znak ognja, sprememba višine živosrebrnega stebra je znak spremembe atmosferskega tlaka, številčni ali črkovni indikator: X, X...X, kjer so 1, 2, n indeksni znaki); znaki-simboli - kažejo na predmete, vendar z njimi niso fizično povezani(prometni znaki kot simboli obveščanja o ustrezni organizaciji prometa; grb, zastava, himna kot simboli državnosti določene države)... Jezikovni znaki predstavljajo predmete.

Znaki, ki predstavljajo predmete so imena predmetov ( oz terme). Ime (lat. nomen - ime) - je izraz naravnega ali umetnega, formaliziranega jezika, ki označuje ločen predmet ali razred predmetov. Z drugimi besedami, ime izdelka popravki "kar se reče" . Na teoretični ravni je označevanje predmetov z imeni pogoj ne le za sporazumevanje, temveč tudi za mišljenje. Postavka(lat. res - predmet, stvar) se tu razume v širšem smislu: to so stvari, pojavi, procesi, lastnosti, povezave, razmerja itd. tako narava kot družba, kateri koli produkt njihovega obstoja.

Imena razvrstijo na samski in so pogosti. Samski označujejo en predmet in so v jeziku predstavljeni z lastnim imenom("G.S. Skovoroda", "Dnepr"). Kadar lastno ime ni eksplicitno izraženo, se uporabi iota operaterja - "tisti, ki"(»Tisti, ki so razvili metode znanstvene indukcije«). So pogosti označujejo množico(homogeni razred)predmeti in so v jeziku predstavljeni z občnim samostalnikom(»knjiga«, »planet sončnega sistema«). Med običajnimi imeni je mogoče razlikovati preprosto, v katerem ni delov, ki bi imeli samostojen pomen (»knjiga«) in kompleks, oz opisno, sestavljen iz delov, ki imajo samostojen pomen (»planet sončnega sistema«: »planet«, »sistem«, »sončni sistem«).

Ime (kot znak) ima pomen in pomen. Pomen imena obstaja predmet, ki ga označuje. Pomen imena klical denotacija (lat. denotatus - označen; designatum , lat. designatio - oznaka). Pomen imena- to je način, kako ime označuje predmet, tj. določene podatke o označenem objektu. Pomen imena klical koncept. Pomen in pomen pobotati se vsebina imena.

na primer jezikovne izrazne oblike, kot so »najmanjša država je mesto-država«, »mesto-država v glavnem mestu Italije - Rim«, »država, katere površina je 44 hektarjev s približno populacijo. 1 tisoč ljudi", "središče rimskokatoliške cerkve, rezidenca njenega poglavarja, rimskega papeža" imajo isti pomen(Vatikan), Ampak drugačen pomen, Ker predstavljajo določeno državo z uporabo različnih lastnosti, tj. dati različne informacije o tem.

Če je ime predstavljeno izven konteksta, ni enostavno določiti njegovega pomena. V tem primeru je potrebna dodatna analiza.

na primer Oznaka besede "Dnepr" je lahko reka, motocikel, nogometni klub itd.

Če označite(pomen)ime je tudi ime, potem se uporablja izvirno ime protipomenski pomen (»biti« je »kategorija biti«, »sodba« je »koncept sodbe«, kjer vsak drugi primer ponazarja antonimno rabo izrazov).

V naravnem jeziku tako imenovani "antinomije poimenovalnega razmerja" , pri kateri se v primeru zamenjave enega imena z drugim, vsebinsko enakim, a oblikovno različnim, spremeni pomen stavka.

na primer nemogoče pri poučevanju francoščine. filozofa R. Descartesa zamenjati premikanje kot univerzalni atribut materialne snovi in ​​njenih elementov na sprememba kot univerzalni atribut materialne snovi in ​​njenih elementov, saj je v 17. st. sprememba ni veljala za atribut materije. Snov, sestavljena iz številnih elementov, je po R. Descartesu sposobna samo gibanja (mehanskega), vendar so ti elementi sami - tako kot snov kot celota - nespremenljivi.

Zato antinomije poimenovalnega razmerja nesprejemljivo v znanstvenem spoznanju ki zahteva spoštovanje načel nedvoumnost(tj. uporaba izraza (kot imena) samo v določenem kontekstu – kot imena enega predmeta ali razreda predmetov in v istem pomenu), objektivnost(tj. prepoznavanje odnosov, ki jih kompleksno ime izraža kot razmerje ne med imeni, temveč med predmeti, ki so označeni s preprostimi imeni, vključenimi v kompleks), zamenljivost(pri čemer bo zamenjava preprostega imena (z enakim denotatom) v kompleksnem imenu ohranila pomen (denotacijo) kompleksnega).

Znaki, ki predstavljajo atribute – lastnosti in razmerja, se imenujejo predikatorji (»bela«, »več«, »prosim«, »ponosen«, »predhodnik«, »vmes«). Z drugimi besedami, predikator popravki "kar se govori" .

Prediktorji so karakterizirani teren, področje uporabe in območje resnice.

Število imen predikatorjev klical teren. Obstajajo prediktorji eno- in večsedežni(dvo-, tro-, štirisedežne...).Če predikator označuje en predmet(lastnost predmeta), potem je samski (»makroekonomska stabilnost«, »primanjkljaj proračuna«). Če prediktor označuje odnos med dvema ali več predmeti, potem je večsedežna (»Ukrajina se je pridružila STO«, kjer napovednik "vstopil" je dvojno).

Razred(Latin classis - skupina) subjekti, znotraj katerih je smiselno uporabiti določen prediktor, klical obseg napovedovalca.

torej, področje uporabe napovedovalca "prodati" obstajal bo razred ljudi in "posnemati"- razred živali ali razred rastlin.

Na voljo Značilnosti področij uporabe eno- in večmesečnih napovedovalcev: regija samski je ena od možnih lastnosti niza predmetov in večsedežna- razmerja objekta, vzpostavljena z različnimi razredi objektov.

Na primer, prediktor "ljubi" lahko zabeleži odnos osebe do druge osebe, do vrste dejavnosti, do določene stvari itd.

Obseg lastnosti ali razmerja, ki ga predstavlja prediktor klical domena resnice predikatorja.

Na primer, glede na navedene značilnosti, domena resnice predikatorja "lepo" lahko je oseba, ples, roža itd., "potomec"- paleoantrop in arhantrop, črnomorski kozak in kozak itd.

Izrazi, ki označujejo različna dejanja, operacije s predmeti, zaradi katerih nastanejo novi predmeti, se imenujejo funkcionalni znaki (domensko-funkcionalni izrazi ali domenski funktorji , tj. imena funkcij predmetov: pri matematiki: “√”, “+”, “ ctg a" in itd.; v naravnem jeziku: "starost", "višina", "masa", "hitrost", "razdalja", "poklic" itd.).

Funktorji postavk (kot napovedovalci) obstajajo samski (»teža«) in večsedežna (»razdalja«) in tudi imeti področje uporabe , tj. tisti razred objektov, kjer je priporočljivo uporabiti določen funktor (»masa« v fiziki, »log« v matematiki). Toda uporaba funktorja (na primer "starost" za Samarin S.M.) bo vodila do oblikovanja novega predmeta (v tem primeru do imenovanega števila, na primer 20). V zvezi s tem lahko rečemo ne o kraljestvu resnice, in približno domena objektnega funktorja .

Termalne kopeli (imena predmetov), predikatorji in funktorji(funkcionalni znaki) , ki predstavlja določene predmete, obstajajo stalni izrazi: konstantni člen, konstantni predikator, konstantni funktor. Jezik logike uporablja in spremenljivi izrazi , oz izrazi s spremenljivo vrednostjo: predmetne spremenljivke(za predmete), napovedovalne spremenljivke(za lastnosti in relacije), propozicionalne spremenljivke(za sodbe), funkcijske spremenljivke(za predmetne funkcije). Značilnost spremenljivih znakov je, da dobijo pomen šele z navedbo določenega predmetnega področja.

Na splošno imena predmetov (tj. besede in besedne zveze, ki označujejo posamezne predmete in razrede istovrstnih predmetov), napovedovalci (tj. besede in besedne zveze, ki označujejo lastnosti predmetov ali odnose med predmeti) in funkcionalni znaki (tj. izrazi, ki označujejo ciljne funkcije, operacije: “√”, “+”, “ ctg a") so opisno (iz latinščine descriptio - opis, opisno )pogoji (lat . terminus – meja).

Tudi jezik ima logični izrazi (logične konstante ali logične konstante). Logični izrazi izraziti takšne besede in besedne zveze naravnega jezika, Kako "In" , "ali" , "če, potem" , "ne" , "če in samo če, potem" itd., "vse" ,"nekaj" in tako naprej., "to" ,"kateri" ,"tako, da" in itd.

Logični izrazi "in" , "ali" , "če, potem" , "ne" , "Če in samo če, potem" ... zajeti razmerja med opisnimi izrazi sredi stavkov, med stavki .

Besede, ki zajemajo odnose klical logični vezniki . Med skupino logičnih veznikov ne le povedni vezniki ("In" , "ali" , "če, potem" , "ne" , "če in samo če, potem" ), ampak tudi logični vezniki, fiksiranje kot prisotnost med predmeti mišljenja odnos("Platon je učitelj Aristotela) in prisotnost misli pri predmetu lastnosti("Doneck Tukaj je regijsko središče"): "Tukaj je" ("ne jejte" ), "je" ("ni" ), katere množinska oblika je "esenca" ("ni bistvo" ). Če vezi "Tukaj je" ("ne jejte" ), "je" ("ni" ) izraženo v izjavi lastnosti, se imenujejo atributivna , Če odnos - relativno . Ligamenti lahko izrazijo obstoj predmet in/ali njegove značilnosti in zato biti eksistencialni. Poleg tega so ti ligamenti lahko podobni pritrdilno ("Tukaj je" ), in negativno ("ne jejte" ).

Besede "In" , "ali" , "če, potem" in tako naprej. v navadnem ali knjižnem jeziku so slovnične zveze. Enostavne povedi povezujejo v zapletene. Tukaj so pomembni vsebino in pomen.

Besede "In" , "ali" , "če, potem" in tako naprej. so in logične unije. Ne beležijo več povezav med stavki, temveč med trditvami, kje le logične vrednosti(resnice in neresnice) preprostih izjav, ki sestavljajo kompleksno.

V logiki obstajajo posebna imena in simboli logičnih veznikov: « in» - veznik(), « oz» - disjunkcija(), « če, potem» - implikacija(→), « če in samo če, potem» - enakovrednost- (≡) itd. Njihovo naravo proučuje propozicionalna logika. Z njihovo pomočjo se preproste izjave (sodbe) oblikujejo v zapletene, ki nosijo ime ustreznega veznika: vezniki, disjunkcije itd. Enaki so propozicijskih veznikov, oz povedni vezniki(latinsko propositio - predlog, izjava).

Logični izrazi "vse" ,"nekaj"... podajte kvantitativne značilnosti v preprostih izjavah. Ti logični izrazi predstavljajo logične operatorje, ki vključujejo kvantifikatorji (iz latinščine guantum - koliko): splošni kvantifikator (-"vse" ) In kvantifikator obstoja (-"nekaj" ). Imajo druge analoge naravnega jezika in druge zapise.

Logični izrazi "to" ,"kateri" , "tako, da ..." odražajo opisne izraze predmetov mišljenja v preprostih stavkih.

Struktura stavkov vključuje tudi dodatne besede, ki dajejo stavkom nov logični status - modalni operatorji: »potrebno«, »možno«, »naključno«, »veljavno«, »dovoljeno«, »prepovedano«, »obvezno« itd., ki se uporabljajo v določenih vrste modalitet. Imajo tudi (spodaj) simbole, ki jih označujejo.

Formalna lastnost izjav (ne glede na njihovo skladnost z dejanskimi podatki) pridobiti vrednost resnice ima tudi simbolni izraz: 1 (prav), 0 (neresnično). Izjava formalno lahko ima ne samo dve resničnostni vrednosti, tj. biti dvomestno, ampak tudi dvoumen.

Logični izrazi v jeziku logike izraziti naslednje znaki:

1. 1) a, b, c- simboli posameznih imen ali predmetnih spremenljivk;
2. 2) x, l, z- simboli splošnih imen ali predmetnih spremenljivk;
3. 3) p, Q, R, … p, Q, R- simboli prediktorjev, ki označujejo njihovo lokacijo, ali prediktorske spremenljivke;
4. 4) str, q, r- simboli izjav ali propozicijskih spremenljivk;
5. 5) - simbol kvantifikatorja splošnosti ("vsi", "noben", "kateri koli", "kateri koli", "vsak" itd.);
6. 6) - simbol kvantifikatorja obstoja ("ne vsi", "nekateri", "obstajajo taki", "večina", "manjšina", "del", "včasih" itd.);
7. 7) S, p- simboli subjekta in predikata sodbe;
8. 8) M- simbol srednjega člena sklepanja (skupno za dve premisi);
9. 9) A- simbol na splošno pritrdilne sodbe (»VseS Tukaj je R»);
10. 10) E- simbol na splošno negativne sodbe (»VseS ne jejte R»);
11. 11) jaz - simbol zasebne pritrdilne sodbe (»NekajS Tukaj je R»);
12. 12) O- simbol delne negativne sodbe (»NekajS ne jejte R»);
13. 13) () - tehnični znaki levega in desnega oklepaja, ki se uporabljajo za pisanje, na primer, zapletenih pogojev sodb;
14. 14) < >- znaki v oklepaju za označevanje zaprte ali popolne konjunkcije in disjunkcije;
15. 15) ¬а, ~а, ā, - simboli zanikanja ("ne-a", "ni res, da a");
16. 16) , & - simboli veznika ("in");
17. 17) - simbol konjunkcije šibke (nestroge) disjunkcije ("ali");
18. 18), - simboli konjunkcije močne (stroge) disjunkcije (»ali ali«);
19. 19) →, - simboli konjunkcije implikacije (»če, potem«);
20. 20) ↔, ≡ - simboli konjunkcije enakovrednosti (»če in samo če, potem«);
21. 21) - - simbol logičnega veznika sodbe (»je«, »ni«, »bistvo«, »ni bistvo«, »je«, »ni«);
22. 22) - simbol logične operacije dodajanja konceptov (razredov);
23. 23) - simbol logične operacije množenja ali presečišča pojmov;
24. 24) - simbol podrejenosti, vključitev razreda v razred;
25. 25) \ - simbol logične operacije odštevanja pojmov;
26. 26)  - simbol modalnega operaterja "potrebno";
27. 27) ◊ - simbol modalnega operatorja "morda";
28. 28) - simbol modalnega operaterja "naključno";
29. 29) i - simbol modalnega operaterja "res";
30. 30) R- simbol modalnega operaterja "dovoljeno";
31. 31) F- simbol modalnega operaterja "prepovedano";
32. 32) O- simbol modalnega operatorja “zahtevano”;
33. 33) TO- simbol modalnega operatorja "ve";
34. 34) IN- simbol modalnega operatorja "verjame" (šteje);
35. 35) 1, jaz, t- simbol "true";
36. 36) 0, x, f- simbol "neresnično";
37. 37) R- simbol odnosa;
38. 38) A, IN, Z- simboli izjav;
39. 39) Df- simbol definicije (definicija).

Jezik simbolov - to so formalizirana jezikovna sredstva za fiksiranje logične strukture(oblike komunikacije)misli in študije njegovih logičnih lastnosti in odnosov s strogo določenimi pravili.

Značilnosti jezika simbolov(oz formaliziran jezik- jezik logike) je neskladje med logično strukturo mišljenja, ki se odraža z njeno pomočjo, in leksično-slovnično strukturo običajnega ali knjižnega jezika, ki izraža iste misli. Logični jezik, Na eni strani, ustreza naravi in ​​bistvu katerega koli jezikovnega sistema, ki ga določata idealnost človeškega mišljenja in materialna narava jezikovnih znakov, ki v procesu spoznavanja opravljajo reprezentativne in nadomestne funkcije. Po drugi strani pa jezik logike je zasnovan tako, da zagotavlja največjo natančnost in jedrnatost razmišljanja, stabilnost in objektivnost zaključkov, pridobljenih v kognitivni dejavnosti, ki se doseže v procesu formalizacije z abstrahiranjem vsebine, nedoslednosti in dvoumnosti jezikovnih izrazov, ki jih vsebuje, njihovega amorfizma in drugih protislovij. neločljivo povezana z navadnim jezikom. Pomembno je omeniti, da bistveni vidiki vsebine v logičnem jeziku niso prezrti, ampak so izraženi skozi obliko s pomočjo simbolov. To omogoča optimalno in nedvoumno identificirati, učinkovito beležiti in vrednotiti predmete mišljenja, njihove lastnosti in razmerja ter izvajati operacije z njimi.

Na primer:"Avtohtoni so avtohtono prebivalstvo države." V tej sodbi je mogoče prepoznati dva jasno izražena izraza: predmet (S) - "avtohtoni" in predikat (p) - "avtohtono prebivalstvo države". Tretji temeljni izraz sodbe je logični veznik "je"- manjka, lahko pa se izrazi tudi eksplicitno: »Avtohtoni Tukaj je avtohtono prebivalstvo države." Zgrešeno in splošni kvantifikator () - "vse", vendar sodba pomeni Vse prvotno prebivalstvo države. Zato je logična struktura atributivne kategorične sodbe, izražena z danim pripovednim stavkom ali drugim, bolj zapletenim, vendar imajo člani ustrezne elemente v logičnem jeziku, simbolično zapisana takole: S- R. Ta formula se bere v skladu s pravili simbolnega jezika: »Vse S Tukaj je R" Vsebina in slovnične značilnosti v ustreznem stavku so v celoti izpuščene. Še več, takšno branje nadomešča okornost naravnojezične fraze o splošni pritrdilni sodbi: »V splošni pritrdilni sodbi ima vsak predmet določene množice, ki odraža pojem subjekta, lastnost, ki se odraža v pojmu predikata."

Niz simbolnih sredstev, ki zajemajo logično strukturo sklepanja in logične povezave elementov te strukture. je predmetni jezik , oz objektni jezik: "Vse S Tukaj je R" A logična analiza strukture sklepanja, povezava znakovnih sredstev te strukture in postopek njihove korelacije s pomenom nastane na podlagi metajezik: S označuje predmet misli, R- znak predmeta misli, "Tukaj je" opredeljuje odnos med njimi, "vse"- določen nabor predmetov z njihovimi značilnostmi, ki se odražajo v S(predmet) in R(predikat).

Struktura naravnega jezika predstavljeno tri dele semiotike (grško σημειωτικόν - preučevanje znakov, iz grščine σημεϊον - znak) - veda o znakih in jeziku kot znakovnem sistemu: sintaksa (grško σύνταζις - struktura, kombinacija; kjer se analizirajo sami znaki, tj. ugotovijo se principi konstruiranja znakov, pravila povezovanja in umeščanja jezikovnih znakov v določen znakovni sistem), semantika (grško σημαντικός - označuje; kjer se razkriva razmerje med znakom in pomenom, preučuje pomen in pomen jezikovnih izrazov, analizira jezik kot znakovni sistem glede na funkcije definicije in označbe) in pragmatika (iz grščine πραγμα – posel, dejanje; kjer se obravnava odnos med znakovnim sistemom in njegovim nosilcem, načini uporabe znakov in jezika kot znakovnega sistema v specifičnih praktičnih situacijah).

Struktura formaliziranega jezika vključuje samo sintaktični (predmetni jezik) in pomensko (metajezik) deli. Skladenjski jezik uporablja izraze, kot so sledenje, sklepanje, dokazovanje itd. Semantična- razred, izjava, lastnost, razmerje, resničnost in neresničnost, resničnostna vrednost izjave, interpretacija. Objektni jezik kot sistem znakovnih sredstev niz formul v znakovni obliki fiksira logično strukturo sklepanja, logične lastnosti sestavnih elementov sklepanja in razmerja med elementi sklepanja. Metajezik razkriva lastnosti in razmerja znakovnih sredstev predmetnega jezika, funkcije kombinacij in tvorb znakovnih sredstev predmetnega jezika. V samem metajeziku ločimo sintakso in semantiko. Sintaksa metajezika je sestavljena iz pravil, ki opisujejo značilnosti znakovnih sistemov predmetnega jezika. Semantika opisuje vrste pomenov, ki jih lahko prejmejo znaki predmetnega jezika, in pravila, po katerih se ti pomeni pripisujejo ustreznim znakom predmetnega jezika.

Pomen študija logike je, da to omogoča Prvič, se seznanijo z zakoni, pravili in metodami mišljenja, ki so objektivne narave; Drugič, na podlagi poznavanja zakonov in pravil razmišljanja zavestno pristopiti k miselnemu procesu, pomagati izboljšati jasnost dejanj pri izvajanju dokazov in zavrnitev, risanja analogij itd .; tretjič, zavestno gradijo argumente ne le z vidika njihove formalne pravilnosti, ampak tudi resnice; četrtič, natančno določiti bistvo besed, ki se uporabljajo v jeziku, obliko in strukturo sodb in sklepov; petič, izogibajte se dvoumnosti in protislovjem v procesu razmišljanja in sklepanja; Na šestem, poiščite in odpravite napake tako v lastnem sklepanju kot pri nasprotnikih; sedmič, seznaniti se z najnovejšimi rezultati tako na področju samih logičnih dosežkov kot na drugih področjih človekovega delovanja; osmi, povečati stopnjo učinkovitosti ne le znanstvenih spoznanj, temveč tudi implementacijo njihovih rezultatov na različna področja družbene prakse.

Logika je raznolik koncept, ki je tesno vpet v naše življenje in kulturo govora. V tem članku bomo pogledali, kaj je logika z znanstvenega vidika. Pri tem nam bodo pomagali definicija, vrste, zakoni logike in zgodovinsko ozadje.

splošne značilnosti

Kaj je torej logika? Opredelitev logike je zelo večplastna. V prevodu iz grščine pomeni "misel", "um", "beseda" in "zakon". V sodobni razlagi se ta koncept uporablja v treh primerih:

1. Označevanje razmerij in vzorcev, ki združujejo dejanja ljudi ali dogodke v objektivnem svetu. V tem smislu se pogosto uporabljajo koncepti, kot so "logična veriga", "logika dejstev", "logika stvari" itd.
2. Določitev strogega zaporedja in pravilnosti miselnega procesa. V tem primeru se uporabljajo izrazi, kot so: "logika razmišljanja", "logika mišljenja", "logika govora" itd.
3. Oznaka posebne vede, ki preučuje logične oblike in operacije ter z njimi povezane zakone mišljenja.

Logične težave

Kot lahko vidite, lahko v vsaki konkretni situaciji obstaja vsaj eden od več odgovorov na vprašanje: "Kaj je logika?" Definicija logičnih problemov je manj obsežna. Glavna naloga je priti do zaključka na podlagi premis in pridobiti znanje o predmetu razmišljanja, da bi pridobili globlje razumevanje njegovih odnosov z drugimi vidiki obravnavanega pojava. V vsaki znanosti je eno glavnih orodij logika. Ni samo pomemben pododdelek filozofije, ampak vpliva tudi na nekatere matematične nauke. "Algebra logike" je definicija, dobro poznana v matematičnih krogih. Včasih se zamenjuje s tem, kaj je osnova računalništva, vendar to ni povsem res.

Neformalna logika

Logika je v glavnem razvrščena v:

1. Neformalno.
2. Formalno.
3. Simbolično.
4. Dialektično.

Neformalna logika je preučevanje argumentacije v izvirnem jeziku. Ta izraz je najpogostejši v angleški literaturi. Tako je glavna naloga neformalne logike preučevanje logičnih napak v govoru. Sklep, narejen v naravnem jeziku, ima lahko povsem formalno vsebino, če je mogoče dokazati, da ni nič drugega kot posebna uporaba univerzalnega pravila.

Formalna in simbolna logika

Analizo sklepanja, ki razkriva tisto zelo formalno vsebino, imenujemo formalna logika. Kar se tiče tega, raziskuje simbolne abstrakcije, ki določajo formalno sestavo logičnega sklepanja.

Dialektična logika

Dialektična logika je veda o mišljenju, ki zagotavlja znanje o načinu sklepanja, ki širi možnosti formalnega sklepanja. V tem primeru se lahko koncept logike uporablja tako v svojem logičnem pomenu kot v obliki določene metafore.

Dialektično sklepanje delno temelji na formalnih zakonih logike. Hkrati pa z analizo dinamike prehajanja pojmov v njihova nasprotja dopušča sovpadanje nasprotij, zato ga vodijo dialektične zakonitosti.

Logični objekt

Opredelitev logike kot znanosti pomeni, da je njen predmet človek, kompleksen, večstranski proces, ki vključuje človekovo posplošeno refleksijo stvari in odnosov v okoliškem svetu. Ta proces preučujejo različne vede: filozofija, psihologija, genetika, lingvistika in kibernetika. Filozofija preučuje izvor in bistvo mišljenja ter njegovo istovetenje z materialnim svetom in znanjem. Psihologija nadzoruje pogoje za normalno delovanje mišljenja in njegov razvoj ter vpliv okolja nanj. Genetika si prizadeva preučiti mehanizem dedovanja sposobnosti mišljenja. Jezikoslovje išče povezave med mišljenjem in govorom. No, kibernetiki poskušajo zgraditi tehnične modele človeških možganov in mišljenja. Sama logika gleda na proces razmišljanja z vidika strukture misli, pa tudi pravilnosti ali nepravilnosti sklepanja, pri tem pa abstrahira od vsebine in razvoja misli.

Predmet logike

Predmet tega področja znanja je logična oblika, z njo povezane operacije in zakonitosti mišljenja. Najbolje je obravnavati predmet študija logike skozi proces človekovega spoznavanja okoliškega sveta. Kognicija je proces, med katerim posameznik pridobiva znanje o svetu. Do znanja lahko pridete na dva načina:

1. Senzorična kognicija. Izvaja se s senzoričnimi organi ali instrumenti.
2. Racionalno spoznanje. Izvaja se z uporabo abstraktnega mišljenja.

Kognicija temelji na teoriji refleksije. Po tej teoriji lahko presoje, stvari in pojavi objektivnega sveta vplivajo na človekove čute in aktivirajo sistem prenosa informacij v možgane, pa tudi aktivirajo možgane same, zaradi česar se ustvari slika teh stvari in fenomeni nastajajo v človeškem mišljenju.

Čutno spoznanje

Čutna podoba se nanaša na znanje o zunanjih lastnostih določenih stvari in pojavov. Senzorična kognicija se lahko pojavi v treh oblikah:

1. Občutek. Odraža posamezne lastnosti predmeta.
2. Zaznavanje. Odraža predmet kot celoto, predstavlja njegovo celostno podobo.
3. Izvedba. To je slika predmeta, ohranjena v spominu.

Na stopnji čutnega spoznanja človeku ni vedno dostopno bistvo stvari in procesov, njihove notranje lastnosti. Mali princ iz Exuperyjeve istoimenske zgodbe pravi: "Najpomembnejšega ne moreš videti z očmi." Čutom v takih primerih priskoči na pomoč razum oziroma abstraktno mišljenje.

Racionalno spoznanje

Abstraktno mišljenje odraža resničnost v smislu osnovnih lastnosti in odnosov. Spoznavanje sveta z abstraktnim mišljenjem poteka posredno in ne eksplicitno. Ne vključuje zatekanja k opazovanjima in praksi, temveč je zgrajena na podlagi globljega razmišljanja o lastnostih in odnosih predmetov in pojavov. Na primer, s pomočjo stopinj kriminalca lahko ponovno ustvarite sliko dogodka, s pomočjo termometra lahko ugotovite, kakšno je vreme zunaj itd.

Pomembna lastnost abstraktnega mišljenja je njegova tesna povezanost z jezikom. Vsaka misel je formalizirana z besedami in frazami, izgovorjenimi skozi notranji ali zunanji govor. Razmišljanje ne samo pomaga človeku opisati svet okoli sebe, temveč mu omogoča tudi oblikovanje novih idej, abstrakcij, napovedi in napovedi, torej rešuje številne logične probleme. Definiciji "logike" in "razmišljanja" sta v zvezi s tem med seboj tesno povezani. Razmišljanje, ne glede na to, ali je abstraktno ali racionalno, se lahko pojavi v treh glavnih oblikah: koncept, presoja in sklepanje. Upoštevajmo jih ločeno.

Koncept

Je oblika mišljenja, s katero si človek ustvarja mentalne podobe o predmetih, njihovih značilnostih in odnosih. Koncept je nemogoč brez definicije. Toda pravila definicij v logiki si bomo ogledali nekoliko nižje. V procesu oblikovanja konceptov se posameznik ukvarja z analizo predmeta, ki ga zanima, ga primerja z drugimi predmeti, poudarja njegove glavne značilnosti, abstrahira nepomembne lastnosti in posplošuje različne predmete na podlagi teh lastnosti. Posledično se ustvarijo mentalne podobe predmetov, njihovih lastnosti in odnosov.

Koncepti igrajo pomembno vlogo v človekovi kognitivni dejavnosti. Zahvaljujoč njim je mogoče posplošiti, kaj v resnici obstaja ločeno. V objektivnem svetu ni takšnih pojmov, kot so študent, vajenec, uradnik, športnik itd., vse so posplošene podobe, ki lahko obstajajo le v idealnem svetu, torej v človekovi glavi.

Odpira možnost pridobivanja znanja o predmetih in pojavih na podlagi osnovnih lastnosti razreda podobnih predmetov ali pojavov. Jonathan Swift v zgodbi o Gulliverjevih potovanjih govori o tem, kakšen bi bil svet, če ljudje pri medsebojni komunikaciji ne bi uporabljali pojmov. Po zgodbi je nekega dne modrec ljudem v pogovoru svetoval, naj ne uporabljajo pojmov o predmetih, temveč predmete same. Mnogi so upoštevali njegovo priporočilo, a so morali za normalen pogovor s sogovornikom na ramenih nositi torbe z različnimi stvarmi. Seveda je bil takšen pogovor z demonstracijo predmetov tudi med lastnicami največjih torb zelo redek.

Koncept ne more obstajati brez definicije. V različnih vedah si lahko definicijo razlagamo z nekaj razlikami. Opredelitev pojmov v logiki je postopek dodeljevanja določenega pomena določenemu jezikoslovnemu izrazu. V svojem bistvu je koncept neskončen, saj ga je razvil univerzalni um. Definicija je končna, saj predstavlja rezultat razumske (logične) dejavnosti. Po Heglu definicija ne ustreza Absolutu in ustreza predstavi. je prevesti koncepte v reprezentacije in se znebiti končnih definicij.

Koncept vsebuje pomen. In opredelitev pojmov v logiki je dejanje, namenjeno prepoznavanju tega pomena. Tako lahko koncept imenujemo beseda, ki je dobila definicijo z logičnimi sklepi. Posledično beseda brez definicije ni koncept, tudi če ima distribucijo. Opredeliti koncept pomeni opisati njegov pomen in razjasniti vse glavne nianse. Poleg tega, če to počnete zunaj okvira določenega sistema znanja, lahko pride do napak v definicijah. Vsak ima svojo logiko, tako kot svoje razumevanje posamezne besede. Zato je, ko govorimo o filozofskih temah, pomembno definirati pojme.

Vrste definicij v logiki so predstavljene zelo široko. Definicija je: intenzionalna, realna, aksiomatska, nominalna, eksplicitna, implicitna, genetska, kontekstualna, induktivna in ostenzivna.

Obsodba

Na podlagi predstav o predmetih lahko človek o njih sodi in sklepa. Sodba je oblika razmišljanja, v kateri se nekaj potrdi ali zanika o predmetu mišljenja. Iz ene sodbe lahko dobite drugo. Na primer, na podlagi dejstva, da so vsi ljudje smrtni, lahko sklepamo, da je tisti, ki je umrl, oseba. Med gradnjo pojmov, sodb in sklepov lahko vsak dela napake, tako zavedne kot nezavedne. Da bi se jim izognili, morate poznati osnove pravilnega razmišljanja.

Pravilno mišljenje je tisto, pri katerem se novo pravo znanje pridobi iz pravega znanja. Napačno razmišljanje lahko povzroči tudi napačno znanje. Na primer, obstajata dva predloga: "Če je Ivan zagrešil rop, je zločinec" in "Ivan ni zagrešil ropa." Sodba »Ivan ni zločinec«, pridobljena na podlagi teh podatkov, je lahko napačna, saj dejstvo, da ni storil ropa, ne pomeni, da ni storil drugih kaznivih dejanj.

Sklepanja

Ko govorimo o pravilnosti sklepov, znanstveniki mislijo na skladnost s pravili njihove konstrukcije in medsebojne povezave. To je osnova za opredelitev zakonov logike kot vede o mišljenju. Formalna logika abstrahira specifično vsebino in razvoj misli. Hkrati poudarja resničnost in lažnost teh misli. Pogosto se imenuje logično, s poudarkom na imenu vede, ki proučuje določen vidik mišljenja.

Vprašanje resničnosti ali napačnosti sodb in sklepov je vprašanje skladnosti ali neskladnosti tega, kar pravijo, z objektivnim svetom. Resnična sodba objektivno odraža stanje stvari v objektivni resničnosti. Lažna sodba, nasprotno, ne ustreza resničnosti. Z vprašanjem, kaj je resnica in v kakšni povezavi je čutno znanje z abstraktnim mišljenjem, se ne ukvarja več logika, temveč filozofija.

Zaključek

Danes smo se naučili, kaj je logika. Opredelitev tega koncepta je zelo obsežna in večplastna; pokriva široko področje znanja. Takšna raznolikost manifestacij logike ponazarja njeno razmerje z drugimi znanostmi, od katerih so nekatere precej materialistične. Članek je preučil tudi glavne vidike človeškega mišljenja: sklepanje, sodbe, koncepte in definicije (v logiki). Primeri iz resničnega življenja so nam pomagali, da smo to snov lažje razumeli.

Človek v vsakdanjem življenju in v poklicni dejavnosti nenehno spoznava svet okoli sebe, sebe in ljudi okoli sebe, pridobiva različne vrste znanja.

znanje - To so informacije, ki jih subjekt prejme, jih obdela na podlagi osebnih izkušenj ali družbene prakse in mu služijo kot regulatorji njegove kognitivno-transformativne dejavnosti.

Subjekt to počne s čutnim spoznavanjem in abstraktnim mišljenjem. Človek s čutno refleksijo (občutki, zaznave, predstave) na podlagi duševnih procesov spoznava posamezne predmete in njihove lastnosti.

Občutek - najpreprostejši miselni proces odseva posameznih lastnosti predmetov in notranjih stanj telesa, ki izhajajo iz neposrednega vpliva materialnih dražljajev na čute.

O "Temi", "Kategorijah", "O zavrnitvi sofističnih argumentov", "O interpretaciji". Bizantinski logiki so vsa našteta Aristotelova dela združili pod skupnim imenom »Organon« (Orodje spoznanja). - Cm.: Aristotel. Op. T. 2. M., 1978.

Zaznavanje - To je proces odseva predmetov in pojavov objektivnega sveta, ki trenutno vplivajo na človeške analizatorje.

Izvedba - To je proces vizualnega in splošnega odseva predmetov in pojavov (ali njihovih posameznih lastnosti), ki trenutno ne vplivajo na naša čutila.

Čutna refleksija je osnova abstraktnega mišljenja, ki nam omogoča spoznavanje zakonov sveta in bistva predmetov. Abstraktno ali racionalno mišljenje odseva svet in njegove procese globlje in celoviteje kot čutno mišljenje.

Ljudje vedno razmišljajo in skušajo iz znanja, ki ga imajo, potegniti novo. Tako pridobljeno znanje imenujemo inferencialno. Proces generiranja sklepnega znanja seveda sledi določenim logičnim zakonom.

Glavni namen logike je ravno raziskovanje specifičnih miselnih zakonov in razvijanje pravil za pridobivanje sklepnega znanja.

Posledično je predmet logike kot znanosti človeško mišljenje.

Toda mišljenje je zapleten, večplasten proces, najvišja oblika spoznavanja sveta, značilna samo za človeka. In tu logika ne zanima vseh. Bistvo mišljenja, njegov izvor, odnos do sveta in njegove kognitivne zmožnosti preučuje filozofija. Fiziologijo zanima, kako je mišljenje odvisno od stanja možganov, materialnega substrata mišljenja. Psihologija preučuje pogoje za optimalen razvoj in delovanje mišljenja, vpliv socialno-psihološkega okolja in občutkov nanj. Genetika poskuša razkriti skrivnosti otrokovega dedovanja sposobnosti za kakršno koli dejavnost od staršev. Znanstveniki kibernetike proučujejo tehnične možnosti modeliranja človeškega mišljenja na računalniku s prilagodljivo povratno informacijo.

Logika se ne poglablja v vsebino misli, saj je očitno, da se v tem parametru misli matematika razlikujejo od misli biologa, glasbenik razmišlja o nečem povsem drugem kot sodnik, znanstvenik uporablja pojme in izraze pri raziskovanju. ki se v vsakdanjem mišljenju in jeziku sploh ne uporabljajo. In o čem lahko človek govori!

V mnogih vsebinsko povsem različnih mislih pa je mogoče najti nekaj bistveno skupnega. To je njihova struktura oziroma oblika. Logika, ki preučuje strukturo misli v abstrakciji od njihove specifične vsebine, vzpostavlja zakone in pravila sklepanja, ki vodijo od ene resnične izjave do druge. Glavne vrste obrazci v katerih so izražene misli so: koncept, presoja, teorija itd. Glavne vrste oblik, v katerih poteka razvoj znanja, so: inference, hipoteza, rešitev, različica, naloga, problem in itd.

Za mišljenje je značilno, da se spoznavanje stvarnosti in razvoj znanja izvajata posplošeno, posredno.

Posplošeno, ker človek v mislih in konceptih odraža vidike predmetov in pojavov, ki ga zanimajo, pri čemer se abstrahira od ostalih, naši koncepti pa odražajo znake ne le posameznega predmeta in pojava, temveč tudi znake vsebine, ki so del mnogih. predmetov in pojavov danega razreda. Torej, ko uporabljamo pojem "sodnik", mislimo na cel razred predstavnikov sodstva. Na primer, ne le posebnega predsednika ustavnega sodišča Ruske federacije, temveč tudi splošne značilnosti sodnikov preteklosti, sedanjosti in prihodnosti.

Posredno, ker nam razmišljanje omogoča pridobivanje novih spoznanj o svetu, pri čemer se ne obrnemo vsakič neposredno na izkušnje, ampak se zanašamo na predhodno znanje. Če z gotovostjo vemo, da sodstvo vedno ščiti pravice državljanov, potem lahko z uporabo te misli kot začetne sodbe dobimo novo resnično trditev: "Sodišča v Ruski federaciji ščitijo tudi pravice ruskih državljanov."

Glavni namen logike je ravno preučevanje specifičnih zakonov mišljenja, razvijanje ne le pravil za doseganje resničnega sklepnega znanja, temveč tudi določanje načinov, sredstev in oblik izvajanja tega procesa.

Tako lahko logiko opredelimo kot znanost.

Logike(iz grščine Aouo

Predmet logike kot vede je to so oblike in sredstva mišljenja, zakonitosti pravilnega mišljenja in pridobivanja sklepnega znanja, pa tudi metode sklepanja in oblikovanja resničnih zaključkov, posplošitev, priporočil in odločitev.

Logika se včasih imenuje znanost o pravilnem razmišljanju. Čeprav je ta definicija logike nekoliko nejasna, ima osnovo. Dejansko se, ko želijo preveriti pravilnost kakršnega koli razmišljanja, obrnejo na zakone in pravila logike. Logika nam pomaga razmišljati tako, da pridemo do resničnih zaključkov.

Ker zanima logika v ožjem smislu oblika konstruira misli in se odvrne od specifičnih informacij, ki jih vsebujejo, se imenuje formalno logika.

Logika, ki odvrača pozornost od konkretne vsebine misli, ne zanemarja vprašanja, ali so izjave, s katerimi operiramo pri razmišljanju, resnične ali napačne. Odvisno od tega, ali so izvirne izjave resnične ali napačne, je izhod lahko resničen ali napačn. Zato mora logika, da bi bila sredstvo odkrivanja resnice, na podlagi preučevanja formalnih struktur mišljenja vzpostaviti zakone odvisnosti med resničnimi in napačnimi sodbami.

Na primer naslednja dva predloga:

"Cato Starejši je govoril o potrebi po uničenju Kartagine" in "Plevako - zvit odvetnik" - nimata enake vsebine, vendar imata enako logično strukturo. V prvi in ​​drugi sodbi je predmet mišljenja pripisan neke vrste določeno lastnino. Shematično bo videti takole: S je P, kjer: S je predmet misli; (iz lat. predmet- subjekt, v izjavi-sodbi - logični subjekt); P je lastnost, ki je pripisana temu objektu; (iz lat. proedicatum - kar je povedano v izjavi-sodbi je predikat).

Za utemeljitev našega sklepa upoštevajmo še dva argumenta: »Vsi astronavti so pogumni ljudje. G. Titov - kozmonavt. Posledično je G. Titov pogumen človek« in »Vsi študenti prvega letnika Ruske akademije za pravosodje študirajo logiko. Tanya Petrova je študentka prvega letnika Ruske akademije za pravosodje. torej

Tanya Petrova študira logiko." Vsebina teh argumentov je različna, vendar je logična struktura (forma) enaka. V logiki je pogosto zapisano takole:

Stavka »M je P« in »S je M« sta med seboj povezana s skupnim izrazom »M« (črka »M« označuje koncept, ki ima enako vsebino v prvi in ​​drugi izjavi. Imenuje se srednji izraz (iz lat. srednje- povprečje)) in zahvaljujoč temu je možen zaključek: "S je P."

Izkazalo se je, da formalna logika ali logika v ožjem pomenu je veda o povezavah, ki se pojavlja med resničnostjo in lažnostjo katerega koli stavka v smislu njihove oblike, strukture, predvsem o povezavi med sledenjem nekaterih stavkov iz drugih.

Zgodovina logike sega več kot 2,5 tisoč let nazaj in je razdeljena na dve glavni fazi. Prvi se je začel z deli Aristotela in nadaljeval do začetka 20. stoletja. Drugi je od tistega časa do danes. Skoraj nemogoče je našteti vse izjemne mislece, ki so razvili logiko. Temu vprašanju je treba posvetiti poseben tečaj. Hkrati je treba opozoriti, da so že v stari Grčiji predstavniki "stoične" šole (Chrinsii) posvečali veliko pozornost logiki. Ena najvidnejših osebnosti v logični kulturi srednjega veka je I. D. Scot. F. Bacon je pomembno prispeval k razvoju formalne logike kot znanosti. Postavil je temelje logičnemu nauku indukcije, katerega namen je z opazovanjem in poskusi odkrivati ​​vzročne zveze med pojavi v okoliškem svetu. J. S. Mill je razvil metode znanstvene indukcije, ki temeljijo na ugotavljanju vzročnih odnosov. G. Leibniz je utemeljil idejo o možnosti predstavitve dokaza kot matematičnega izračuna. D. Boole je sklepanje interpretiral kot rezultat reševanja logičnih enačb. G. Frege je uporabil logiko za preučevanje osnov matematike. Pomemben prispevek k razvoju logike so kasneje prispevali B. Bolzano, O. De Morgan, W. S. Jevons, C. S. Pierce, E. Schroeder in drugi.

Začetek 20. stoletja pomeni neke vrste revolucijo v logiki. Do temeljnih rezultatov so prišli K. Gödel, D. Gilbert, B. Racel, A. Tarski, A. N. Whitehead, A. Church in drugi.

Tudi naši rojaki so veliko prispevali k razvoju logike. Razvoj logičnih idej v Rusiji je povezan z briljantno plejado imen: to so bratje Likhud, P.S.Poretsky, N.A.Markov-son itd. L. B. Bazhenov, V. A. Bocharov, E. K. Voishvillo, A. D. Getmanova, D. P. Gorsky, A. A. Ivin, Yu. V. Ivlev, V. I. Kirillov, S. A. Lebedev, V. I. Markin, A. L. Nikiforov, S. I. Povarnin, G. I. Ruzavin, P. Sergeich, V. I. Svintsov, A. A. Starchenko, M. K. Treushnikov, A. I. Uemov itd.

• V nasprotju z dialektično logiko, ki v določenem smislu sovpada s teorijo znanja.