LOGIKA KAIP MOKSLAS

1. Logikos dalykas

2. Logikos atsiradimas ir raida

3. Logikos kalba

4. Mąstymo formos ir dėsniai

1. Logikos dalykas

Raktažodžiai: logika, mąstymas, juslinis pažinimas, abstraktus mąstymas.

Logika (iš graikų kalbos: logos – žodis, sąvoka, protas) – tai mokslas apie teisingo mąstymo formas ir dėsnius. Mąstymo mechanizmą tiria daugybė mokslų: psichologija, epistemologija, kibernetika ir kt. Mokslinės loginės analizės dalykas – mąstymo formos, būdai ir dėsniai, kurių pagalba žmogus pažįsta jį supantį pasaulį ir save patį. Mąstymas yra netiesioginio tikrovės atspindėjimo idealių vaizdų pavidalu procesas.

Mąstymo formos ir būdai, prisidedantys prie tiesos pažinimo. Žinių apie pasaulio reiškinius žmogus įgyja aktyvaus, kryptingo pažinimo procese: subjektas – objektinė žmogaus sąveika su tikrovės fragmentais. Pažinimą reprezentuoja keli lygiai, daugybė formų ir technikų, kurios veda tyrėją prie teisingų išvadų, kai pradinių žinių tiesa suponuoja išvadų teisingumą.

Žinome, kad pirmasis lygis yra juslinės žinios. Tai atliekama remiantis pojūčiais, jų suvokimu ir sinteze. Prisiminkime pagrindines juslinių žinių formas:

1) pojūtis;

2) suvokimas;

3) pristatymas.

Šis pažinimo lygis turi nemažai svarbių technikų, tarp kurių yra pojūčių analizė ir sisteminimas, įspūdžių išdėstymas į holistinį vaizdą, anksčiau įgytų žinių įsiminimas ir prisiminimas, vaizduotė ir kt. Juslinis pažinimas suteikia žinių apie išorines, individualias savybes. ir reiškinių savybes. Žmogus stengiasi suprasti giliąsias daiktų ir reiškinių savybes ir esmes, pasaulio ir visuomenės egzistavimo dėsnius. Todėl jis griebiasi jį dominančių problemų studijavimo abstrakčiai teoriniu lygmeniu. Šiame lygmenyje išsivysto tokios abstraktaus pažinimo formos:

a) sąvoka;

b) nuosprendis;

c) išvada.

Griebdamasis šių pažinimo formų, žmogus vadovaujasi tokiomis technikomis kaip abstrakcija, apibendrinimas, abstrakcija nuo konkretaus, esminio išskyrimas, naujų žinių gavimas iš anksčiau žinomų ir kt.

Skirtumas tarp abstraktaus mąstymo ir juslinio-vaizdinio refleksijos ir pasaulio pažinimo. Dėl juslinio pažinimo žmogus ugdo žinias, gautas tiesiogiai iš patirties, idealių vaizdinių, pagrįstų pojūčiais, išgyvenimais, įspūdžiais ir kt., pavidalu. Abstraktus mąstymas žymi perėjimą nuo atskirų objektų aspektų tyrimo prie dėsnių suvokimo, t. bendrieji ryšiai ir santykiai. Šiame pažinimo etape tikrovės fragmentai atkuriami be tiesioginio kontakto su jusliniu-objektyviu pasauliu, pakeičiant juos abstrakcijomis. Abstrahuojantis nuo vieno objekto ir laikinos būsenos, mąstymas geba išryškinti juose bendrą ir pasikartojantį, esminį ir būtiną.

Abstraktus mąstymas yra neatsiejamai susijęs su kalba. Kalba yra pagrindinė priemonė fiksuoti mintis. Kalbine forma išreiškiamos ne tik esminės reikšmės, bet ir loginės. Kalbos pagalba žmogus formuluoja, išsako ir perteikia mintis, fiksuoja žinias.

Svarbu suprasti, kad mūsų mąstymas netiesiogiai atspindi tikrovę: per eilę tarpusavyje susijusių žinių per logines sekas tampa įmanoma gauti naujų žinių be tiesioginio kontakto su objektyviu-jusliniu pasauliu.

Logikos svarba pažinime išplaukia iš galimybių išvesti patikimas žinias ne tik formaliu-loginiu, bet ir dialektiniu būdu.

Loginio veiksmo uždavinys – visų pirma atrasti tokias mąstymo taisykles ir formas, kurios, nepaisant konkrečių reikšmių, visada vestų prie teisingų išvadų.

Logika tiria mąstymo struktūras, kurios lemia nuoseklų perėjimą nuo vieno sprendimo prie kito ir sudaro nuoseklią samprotavimo sistemą. Ji atlieka svarbią metodinę funkciją. Jo esmė – kurti tyrimų programas ir technologijas, tinkamas objektyvioms žinioms gauti. Tai padeda aprūpinti asmenį pagrindinėmis mokslo ir teorinių žinių priemonėmis, metodais ir metodais.

Antroji pagrindinė logikos funkcija yra analitinė-kritinė, kurią įgyvendindama ji veikia kaip priemonė aptikti samprotavimo klaidas ir stebėti minties konstravimo teisingumą.

Logika taip pat gali atlikti epistemologines užduotis. Nesustodamas ties formalių ryšių ir mąstymo elementų konstravimu, loginės žinios geba adekvačiai paaiškinti kalbos posakių prasmę ir prasmę, išreikšti pažįstančio subjekto ir pažinimo objekto santykį, taip pat atskleisti loginę-dialektinę kalbos raidą. objektyvus pasaulis.

Užduotys ir pratimai

1. Tas pats kubas, kurio šonuose yra skaičiai (0, 1, 4, 5, 6, 8), yra trijose skirtingose ​​padėtyse.

									5	0	4
0	4	5

Naudodamiesi jutiminėmis pažinimo formomis (jutimu, suvokimu ir idėja), nustatykite, kuris skaičius yra kubo apačioje visais trimis atvejais.

2. Svetlana, Larisa ir Irina universitete studijuoja skirtingas užsienio kalbas: vokiečių, anglų ir ispanų. Paklausta, kokią kalbą mokosi kiekvienas iš jų, draugė Marina nedrąsiai atsakė: „Svetlana mokosi anglų kalbos, Larisa nesimoko anglų kalbos, o Irina nesimoko vokiečių kalbos“. Paaiškėjo, kad šiame atsakyme tik vienas teiginys yra teisingas, o du – klaidingi. Kokią kalbą moka kiekviena mergina?

3. Ivanovas, Petrovas, Stepanovas ir Sidorovas – Gardino gyventojai. Jų profesijos yra kasininkas, gydytojas, inžinierius ir policininkas. Ivanovas ir Pertovas yra kaimynai, jie visada kartu važiuoja automobiliu. Petrovas yra vyresnis už Sidorovą. Ivanovas visada įveikia Stepanovą šachmatuose. Kasininkė į darbą visada eina pėsčiomis. Policininkas šalia gydytojo negyvena. Vienintelis kartas, kai inžinierius ir policininkas susitiko, kai pirmasis skyrė baudą antrajam už kelių eismo taisyklių pažeidimą. Policininkas vyresnis už gydytoją ir inžinierių. Kas yra kas?

4. Draugai muškietininkai Athos, Porthos, Aramis ir d'Artanjan nusprendė smagiai praleisti laiką su virvės traukimu. Portosas ir d'Artanjanas lengvai aplenkė Athosą ir Aramisą. Tačiau kai Portosas sujungė jėgas su Athosu, jie iškovojo sunkesnę pergalę prieš d'Artanjaną ir Aramisą. Ir kai Portosas ir Aramis kovojo prieš Athosą ir d'Artanjaną, niekas negalėjo patraukti virvės. Kaip muškietininkai pasiskirsto pagal jėgą?

Padarykite loginę žinių lygių ir formų santykio diagramą.

2. Logikos atsiradimas ir raida

Reikšminiai žodžiai: dedukcija, formalioji logika, indukcinė logika, matematinė logika, dialektinė logika.

Logikos atsiradimo priežastys ir sąlygos. Svarbiausia logikos atsiradimo priežastis – aukštas intelektualinės kultūros išsivystymas jau antikos pasaulyje. Visuomenė toje raidos stadijoje nėra patenkinta esama mitologine tikrovės interpretacija, ji stengiasi racionaliai interpretuoti gamtos reiškinių esmę. Pamažu formuojasi spekuliatyvaus, bet kartu demonstratyvaus ir nuoseklaus žinojimo sistema.

Ypatingas vaidmuo loginio mąstymo ugdymo ir jo teorinio pateikimo procese tenka mokslo žinioms, kurios iki to laiko pasiekia reikšmingas aukštumas. Visų pirma, matematikos ir astronomijos sėkmė priveda mokslininkus į idėją, kad reikia ištirti paties mąstymo prigimtį ir nustatyti jo srauto dėsnius.

Svarbiausi logikos formavimosi veiksniai buvo poreikis visuomeninėje praktikoje skleisti aktyvias ir įtikinamąsias pažiūrų reiškimo priemones politinėje sferoje, bylinėjimosi, prekybinių santykių, švietimo, švietėjiškos veiklos ir kt.

Logikos, kaip mokslo, pradininku, formaliosios logikos kūrėju laikomas senovės graikų filosofas, senovės enciklopedinio proto mokslininkas Aristotelis (384 – 322 m. pr. Kr.). „Organono“ knygose: Topika, Analitikai, Hermeneutika ir kt., mąstytojas kuria svarbiausias mąstymo kategorijas ir dėsnius, kuria įrodymų teoriją, formuluoja dedukcinių išvadų sistemą. Dedukcija (lot. išvada) leidžia išvesti tikras žinias apie atskirus reiškinius remiantis bendrais modeliais. Aristotelis pirmasis nagrinėjo patį mąstymą kaip veikliąją medžiagą, pažinimo formą ir apibūdino sąlygas, kuriomis jis adekvačiai atspindi tikrovę. Aristotelio loginė sistema dažnai vadinama tradicine, nes joje yra pagrindinių teorinių nuostatų apie psichinės veiklos formas ir būdus. Aristotelio mokymas apima visas pagrindines logikos dalis: sampratą, sprendimą, išvadas, logikos dėsnius, įrodymą ir paneigimą. Dėl pristatymo gilumo ir bendros problemos reikšmingumo jo logika vadinama klasikine: išlaikiusi tiesos testą, ji išlieka aktuali ir šiandien bei turi galingos įtakos mokslinei tradicijai.

Loginių žinių ugdymas. Tolesnė senovės logikos plėtra buvo stoikų filosofų mokymas, kurie kartu su filosofiniais ir etiniais klausimais logiką laiko „pasaulio logoso išauga“, jos žemiška, žmogiška forma. Stoikai Zenonas (333 - 262 m. pr. Kr.), Chrysipas (apie 281 - 205 m. pr. Kr.) ir kiti papildė logiką teiginių (teiginių) ir iš jų išvadų sistema, siūlė sudėtingais sprendimais pagrįstų išvadų schemas, praturtino kategorinį aparatą. ir mokslo kalba. Termino „logika“ atsiradimas datuojamas šiais laikais (III a. pr. Kr.). Logines žinias stoikai pateikė kiek plačiau nei klasikinis įsikūnijimas. Ji apjungė mąstymo formų ir operacijų doktriną, diskusijų meną (dialektiką), viešojo kalbėjimo įgūdžius (retoriką) ir kalbos doktriną.

Naujaisiais laikais, plačiai paplitusios gamtos mokslų žinių (mechanikos, geografijos ir kt.) sklaidos Europoje laikotarpiu, atsiranda poreikis dedukcinių išvadų sistemą papildyti indukcinio mąstymo principais. Paaiškėjo, kad sukauptą empirinę, faktinę medžiagą, specialius atvejus iš praktikos ir gyvenimo per palyginimus ir apibendrinimus galima sukurti taip, kad jie vestų prie tikrų bendro pobūdžio sprendimų. Žinios apie atskirus dalykus gali „pasiūlyti“ (lot. inductio) idėją apie bendrų jų egzistavimo modelių egzistavimą. Šią mąstymo, kaip mokslinio modelio, savybę, priešingą scholastiniam samprotavimui, savo veikale „Naujasis organas arba tikrosios gamtos aiškinimo gairės“ pažymėjo anglų filosofas ir gamtininkas Francis Bacon (1561–1626). Taip jis tapo indukcinės logikos įkūrėju.

Mokslo žinių specifiką racionalistinėje metodikoje atspindėjo prancūzų Naujųjų laikų mąstytojas Renė Dekartas (1596 – 1650). „Diskuse apie metodą, kaip teisingai nukreipti protą ir rasti tiesą moksluose“ ir „Proto vadovavimo taisyklės“ jis suformuluoja svarbiausius pažinimo metodus: aksiomatinį, analitinį ir sintetinį, taip pat pažinimo pabaigoje. , sisteminis metodas. Aukščiausia racionalistinės metodologijos įgyvendinimo forma, pasak Dekarto, yra matematika. Logika atlieka pažinimo metodikos vaidmenį, galinčią atrasti būdus įgyti naujų tiesų ir pagilinti žinias.

Pamatines matematinės (arba simbolinės) logikos idėjas pasiūlė vokiečių mąstytojas G. V. Leibnicas (1646 - 1716) savo darbuose „Apie kombinatorikos meną“, „Universalaus skaičiavimo patirtis“, „Apie matematinį siloginių formų nustatymą. “ ir tt Plėtoja tradicinės logikos klausimus (formuluoja pakankamo proto dėsnį, dirba prie logikos kategorijų sisteminimo ir kt.), tačiau daugiau dėmesio skiria kalbos formalizavimui, loginio mąstymo stiliaus matematizavimui. Nuo to laiko logika pradėjo naudoti specialius ženklus-simbolius, kurie nėra naudojami natūralioje kalboje. Leibnicas pirmasis ištyrė aritmetizuotų loginių išvadų, pagrįstų logikos dėsnių ir matematikos dėsnių atitikimu, galimybes. Taip siekiama teorinį mokslinį samprotavimą įtraukti į matematinius skaičiavimus, kurių dėka galima išspręsti bet kokį ginčą ir pasiekti tiesą.

Tradicinę logiką keičia matematinė logika, kuri mentalines formas įtraukia į griežtas taisyklių ir teoremų formuluotes, įgyvendinamas psichikos veiklos analitinėmis technikomis.

XIX amžiuje simbolinė logika tampa patraukliausia loginių žinių sritimi. Iš žymiausių matematinės logikos atstovų išsiskiria anglų matematikas D. Būlis (1815 – 1864). Savo darbuose „Matematinė logikos analizė“ ir „Mąstymo dėsnių studija“ jis deda pagrindus konkrečių elementų (klasių) kaip santykių (operacijų) algebriniam skaičiavimui. Boole'as siekė į gestų kalbą išversti ryšius tarp idėjų, objektų ir abstrakčių sistemų. Būlio algebra yra loginių uždavinių sprendimas naudojant tris operacijas: a) klasių sudėjimą (A U B), klasių dauginimą (A ∩ B) ir klasių sudėjimą (A′). Būlio algebra buvo taikoma ir taikomaisiais atvejais, pavyzdžiui, aiškinant konkrečias relių grandines, skaičiuojant programuojant kompiuteriu ir kt.

Formali ir simbolinė logika. Formalioji (tradicinė) logika, jos tyrimo objektas, yra pagrindinių mąstymo formų (sąvokos, sprendimo, išvados), dėsnių, esančių jų sferoje, tyrimas, tiesiogiai nesiremiant konkrečiu minties turiniu. Formalioji logika abstrahuojasi nuo istorinio proceso, nuo praktinių ir pažintinių veikimo metodų kūrimo.

Simbolinė (matematinė) logika gali būti pateikiama kaip formalioji, kaip formalizuota jos dalis. Savo pagrindine užduotimi ji laiko loginio skaičiavimo konstravimą naudojant matematines formules, aksiomas ir pasekmes. Jame išdėstomos mąstymo formos ženklų ir specialių simbolių sistemoje.

Šiuolaikinė formalioji logika apima psichinių operacijų tyrimą ir loginių formų perkėlimą į bendruosius teorinių žinių modelius. Šiuolaikinė simbolinė logika yra savarankiška loginių žinių kryptis, ji turi ne tik teorinę, bet ir praktinę reikšmę. Taigi, be sudėtingų skaičiavimo operacijų, jis plačiai naudojamas kalbotyroje (verčiant iš vienos kalbos į kitą), technikos srityje (valdant įrenginius), kompiuterių programavime ir kt.

Formalioji ir dialektinė logika. Formalios-loginės schemos, galima sakyti, yra abejingos (nesvarbios) atpažįstamų objektų esmei. Esmė – objekto vidinių savybių ir atributų visuma, išreiškianti jo turinį. Svarbiausi būdai įsiskverbti į daiktų esmę – atrasti prieštaringą jų bruožų vienovę, atsižvelgti į jų raidą ir santykį su kitais objektais. Tokio pažinimo procese svarbu abstrahuotis nuo nesvarbių, atsitiktinių, koncentruojančių žinių į atributinius požymius.

Priešingai nei formalioji logika, dialektinės logikos objektas yra tikrovės fragmentų, įskaitant logines formas ir dėsnius, atsiradimo ir vystymosi tyrimas. Tai mąstymo ugdymo žinios. Dialektinės logikos pagrindas yra keletas principų: a) raidos principas, b) istorizmo principas, c) visapusiškumo principas, d) konkretumo principas ir kt. Pagrindinė dialektinės logikos samprata yra dialektinis prieštaravimas. .

Dialektinė logika, kaupianti ir apibendrinanti savo žinias per visą logikos raidos laikotarpį, susisteminta forma buvo pateikta vokiečių klasikinėje filosofijoje. I. Kanto (1724 - 1804) darbuose „Gryno proto kritika“ ir „Sprendimo galios kritika“ buvo perkeltas transcendentinės logikos, lemiančios apriorinių žinių kilmę, turinį ir objektyvią reikšmę, pagrindimas. išeiti. Hegelio (1770–1831) filosofijoje objektyvi-idealistinė dialektinės logikos sistema, kaip universali savęs pažinimo ir sampratos saviugdos forma, buvo užbaigta. Savo veikale „Logikos mokslas“ jis ne tik kritikuoja formalius loginius mąstymo dėsnius kaip „neontologinius“, bet ir pagrindžia iš esmės skirtingą loginių žinių turinį – dėsnius, sąvokas ir išvadas, kurios remiasi mąstymo dialektika. objektyvios dvasios.

Naujas dialektinės logikos supratimo etapas siejamas su K. Markso (1818 - 1883) ir F. Engelso (1820 - 1895) vardais. F. Engelso darbuose „Antidiuringas“, „Gamtos dialektika“, K. Markso „Sostinė“ ir kt., besivystančių formų interpretacija remiasi ne „savaime besivystančios koncepcijos“ originalumu, o dialektinių pokyčių aptikimas pačiame objektyviame (materialiame) pasaulyje. Gamta ir visuomenė savo požiūriu yra pagrindas suprasti dialektinio mąstymo dėsnius. Marksistinėje dialektikoje iš materialistinės pozicijos suformuluoti trys svarbiausi dialektikos dėsniai (priešybių vienybės ir kovos dėsnis, kiekybinių ir kokybinių pokyčių tarpusavio transformacijos dėsnis, neigimo neigimo dėsnis), pagrindiniai principai. ir materialistinės dialektikos kategorijos.

Jei formalioji logika mąstymo formas pažįsta analizuodama svarbiausius bruožus be tiesioginio ryšio su konkrečiu subjektu, apibendrinta ir abstrakčia forma, tai dialektinė logika suvokiamų objektų esmės tyrimo akcentus perkelia į objektų analizę ir judėjimo, vystymosi ir tarpusavio ryšio procesai. Šiuo atveju nesvarbios, atsitiktinės savybės pašalinamos ir anuliuojamos, o reikšmingos išryškinamos ir atnaujinamos.

Tačiau negalima supriešinti dialektinės ir formalios logikos. Jie tyrinėja tą patį objektą – žmogaus mąstymą, abiejų tema yra psichinės veiklos modeliai. Mąstymui galioja ir formalūs loginiai dėsniai kaip pagrindiniai, ir dialektiniai kaip besivystantys dėsniai. Neįmanoma mąstyti dialektiškai nesuvokus ir neatsižvelgus į formaliosios logikos dėsnius. Tai yra, galima daryti išvadą, kad šiuolaikinės loginės žinios savo struktūroje apima du tarpusavyje susijusius ir santykinai nepriklausomus mokslus: formaliąją logiką (kurios dalis yra simbolinė logika) ir dialektinę logiką. Be to, pripažįstant esminę logikos svarbą kuriant bet kokį teisingą mąstymą, mokslines ir teorines žinias, reikia nuolat tirti reiškinių ir mąstymo struktūrų esmę, aptinkant gamtos, visuomenės ir žmogaus mąstymo prieštaravimus.

Užduotys ir pratimai

1. Naudodami matematinę veiksmų seką atskleiskite skaičių atspėjimo paslaptį. Pagalvokite apie bet kurį skaičių, atimkite iš jo 1, rezultatą padauginkite iš 2, atimkite skaičių, apie kurį pagalvojote, iš gautos sandaugos ir praneškite apie rezultatą. Kaip atspėti draugo sumanytą skaičių?

2. Kaip išmatuoti 6 litrus vandens, jei yra 9 litrų ir 4 litrų talpos:

3. Antikinėje retorikoje buvo sukurta kalbos konstravimo schema, susidedanti iš penkių svarbiausių etapų. Sudėkite juos logiška seka:

tarimas, formulavimas, išradimas, planas, įsiminimas.

4. Padarykite išsamią loginę diagramą ar lentelę, atskleidžiančią loginių žinių raidos istoriją.

3. Logikos kalba

Reikšminiai žodžiai: kalba, semiotika, semantinės kategorijos, dirbtinė kalba, terminas.

Kalba kaip ženklų sistema. Logikos dalykas – mąstymo dėsniai ir formos. Mąstymas yra ideali realybė. Viskas, kas vyksta žmogaus sąmonėje, negali būti tiesiogiai objektyvizuota ar materializuota. Jo negalima adekvačiai studijuoti nenaudojant specialių minčių raiškos priemonių. Dažnai užduodame klausimą: kokių procesų pagalba galima suprasti žmogaus psichinę veiklą? Tai visų pirma per kalbą ir per kalbą. Žmogaus mąstymas realizuojamas neatsiejamai susijęs su kalba, kalba, o kitiems perduodamas kalbinių raiškų pagalba. Štai kodėl logika tiria mąstymą, remdamasi jo specifine fiksacija kalboje.

Kalba (bendriausia forma) yra bet kokia ženklų informacinė sistema, kurią žmonės naudoja bendravimui ir pažinimui. Kalba funkciškai gali saugoti, apdoroti ir perduoti informaciją. Be to, kalba yra būtina priemonė žmogui parodyti objektyvų pasaulį, jo fragmentus, taip pat subjektyvią tikrovę, emocijas, įspūdžius ir pan., leidžianti žmogui adekvačiai konstruoti jų tyrimo procesą.

Logika savo pagrindinius ir artimiausius uždavinius mato kalbinių minties raiškų tyrime. Semiotika tiria kalbą kaip ženklų sistemą, atskleisdama jos konstravimo ir vartojimo specifiką. Viename iš jos skyrių – sintaksėje – analizuojama kalbos specifika, struktūra, formavimosi ir transformacijos metodai, sistemos ženklų santykiai. Pavyzdžiui, lygybės ryšiai (3 + 2 = 5), implikacijos santykiai (“Cogitoergosum”), įrodymo santykiai (Pitagoro teoremos įrodymas) ir kt.

Pragmatika, kaip semiotikos šaka, tiria sistemos ženklų ir jų vartotojų santykius, praktiškai reikšmingus santykius. Jas gali sukelti ekonominiai, estetiniai, dvasiniai ir psichiniai poreikiai ir kt. ir mažiausiai dalyvauja logikoje. Pavyzdžiui, kalbinių posakių konstravimas su didžiausiomis leistinomis santrumpos ar supaprastinimais, siekiant efektyvaus vartojimo konkrečioje kalbos situacijoje (valdymas, tvarka, pokalbis telefonu ir pan.).

Yra ir kitas santykių tipas, be kurio neįsivaizduojamas nei kalbos konstravimas, nei praktinis jos įgyvendinimas. Tai semantinis ryšys: santykis tarp sistemos ženklų ir jais žymimų objektų, subjekto ir jo pavadinimo (referencijos teorija), ryšys tarp ženklų ir kalbos, kurią jie pakeičia, semantinės išraiškos turinio (teorija). prasmės). Šis skyrius vadinamas semantika. Semantinės kategorijos žymi kalbinių reikšmių ir nuorodų klasę, kuri išlaiko savo reikšmę, kai vienas ženklas pakeičiamas kitu. Pavyzdžiui, teiginys 3 + 2 = 5 išlieka reikšmingas, jei ženklas „2“ pakeičiamas ženklu „3“, arba, tarkime, ženklas „+“ pakeičiamas ženklu „-“. Prarasdama savo tiesą, ji išliks semantiškai apibrėžta. Tradicinės logikos kalboje yra trys bendrosios semantinių kategorijų klasės: vardas, funkcionorius, teiginys.

Natūralios ir dirbtinės kalbos. Logika ne tik tiria, bet ir naudoja kalbinę ženklų sistemą. Visuomenėje kalba egzistuoja dviem pavidalais. Tai, pirma, natūrali kalba kaip istoriškai ir tautiškai nusistovėję garsiniai (kalbos) ir grafiniai (rašymo) ženklai-signalai, leidžiantys patenkinti informacijos gavimo, kaupimo, perdavimo ir saugojimo poreikius. Labiausiai paplitusi natūralios kalbos rūšis yra nacionalinė (liaudies) kalba. Antroji kalbos forma yra dirbtinė kalba. Ji suprantama kaip tam tikra ženklų sistema, specialiai sukurta prižiūrėti ir patogiai naudoti bei perduoti mokslinę ir kitokią informaciją. Tarp dirbtinių kalbų yra formalizuotos matematikos, fizikos, chemijos, kompiuterių programavimo kalbos ir kt., kurios turi savo terminiją ir simboliką.

Reikia atsiminti, kad natūrali kalba turi nemažai ypatybių, trukdančių jai adekvačiai, aiškiai ir nedviprasmiškai perteikti minties formą (polisemija, amorfizmas, metakalba ir kt.). Todėl, siekiant tiksliai atspindėti minties struktūrą, įprastos kalbos žodžiai pakeičiami specifiniais simboliniais terminais. Todėl logika naudoja ir natūralią kalbą (loginių posakių apibūdinimo ir loginių žinių teorinės konstrukcijos būdą), ir dirbtinę kalbą (ženklų, formulių ir jų kombinacijų rinkinį protinėms operacijoms žymėti).

Loginiai terminai ir simboliai. Norint apibūdinti tiriamų objektų savybes, ryšius tarp jų ir nustatyti loginę formą, neužtenka vartoti tik natūralią kalbą. Būtina sukurti specialią terminiją (terminas yra žodis, turintis griežtai nedviprasmišką reikšmę), nustatyti metalingvistinę sąveiką, taip pat suteikti jiems vieningą simboliką ir ženklų atitiktį. Pavyzdžiui, matematikos kalboje yra 5 pagrindinės kategorijos: skaičius, veiksmas, ryšys, kairysis skliaustas ir dešinysis skliaustas (kaip operatyvinės sekos ir veiksmų užbaigtumas). Tarp loginių terminų išskiriami keli terminai:

Vardas yra žodis ar frazė, nusakanti konkretų mąstymo temą. Dalykas nurodo įvairius dalykus, procesus, santykius ir kt. Pavyzdžiui, žmogus, humanizmas, veikla ir kt. Vardai skirstomi į:

a) paprastas ir sudėtingas (aprašomasis): pavyzdžiui, atitinkamai - Baltarusijos Respublikos žemė ir sostinė;

b) individualus (savas) ir bendras (pavyzdžiui, atitinkamai Vasilis Bykovas ir įstatymas).

Objektų rinkinys, į kurį nurodo duotasis vardas, vadinamas denotacija, o jiems būdingų savybių ir savybių rinkinys (objektai), sudarantis jų semantinę reikšmę, vadinamas prasme (sąvoka).

Teiginys yra kalbinė išraiška, kurioje yra teisinga arba klaidinga mintis. Pavyzdžiui, „Napoleonas buvo Prancūzijos imperatorius“. Tai gramatiškai teisingas, semantiškai apibrėžtas, aiškiai suformuluotas, užbaigtas deklaratyvus sakinys. Pavyzdžiui, „Pirminiai skaičiai skirstomi į du tipus“. Teiginys gali būti teisingas arba klaidingas. Tai yra jos loginės vertybės. Pavyzdžiui, teiginys „Saulė didesnė už Marsą“ yra teisingas, tačiau pertvarkydami pavadinimus šiame teiginyje, bus gauta klaidinga prasmė.

Išraiška, kuri teiginyje tarnauja kaip naujų prasmingų teiginių formavimo priemonė, vadinama funktoriumi. Funktorius nėra nei vardas, nei teiginys. Tai tarnybinės kalbos darinys, per kurį vadinamieji argumentai suformuoja naują teiginį. Pavyzdžiui, jei a = b, tai 2a = 2b, 2 + 3 = 5. Šiuose pavyzdžiuose funkcininkai yra matematinių jungčių ženklai: „=“ ir „+“. Funktoriai gali būti vieno argumento (Miškas sužaliavo), dviejų argumentų ("Piktybė pavojingesnė už melą", 3 + 4 ir kt.). Tradicinėje logikoje dviejų argumentų funkcionoriai dažnai vadinami loginėmis sąjungomis (loginėmis jungtimis).

Moksle funkcijos sąvoka plačiai naudojama kaip kintamųjų dydžių x ir y atitikmuo. Matematikoje jis rašomas kaip išraiška y = f(x). Logikoje ši sąvoka egzistuoja ir nominalios bei teiginio funkcijos sąvokos.

Pavadinta funkcija yra išraiška, kurioje yra kintamųjų, kurie tampa pavadinimu, kai juos pakeičia atitinkami argumentai. Vardinės funkcijos pavyzdžiai gali būti posakiai „kosmonautas x“, „brolis y“. Tai yra, pakeitus kintamuosius x ir y, šios išraiškos virsta objekto, pavadinimo, daikto įvardijimu ir pan.

Teiginio funkcija išreiškia teiginio formą, kurioje kintamuosius pakeitus atitinkamomis reikšmėmis, susidaro semantiškai apibrėžtas teiginys. Pavyzdžiui, x yra didesnis už y, x atrado perteklinės vertės dėsnį. Teiginio funkcija, kurios argumentai yra vardai, vadinama predikatu. Pavyzdžiui, R yra įmonės prezidentas. Predikatas, žymintis objekto savybę ir turintis vieną kintamąjį – pavadinimą, vadinamas vienos vietos predikatu (A žymi kokybę). Du (n - vietiniai) predikatai, turintys du ar daugiau kintamųjų, reiškia ryšį tarp vardų - kintamųjų: „a myli“, „a yra tarp in ir c“ ir kt.

Logikoje reikia išreikšti skirtingus kintamųjų susiejimo laipsnius per vadinamuosius operatorius. Labiausiai paplitę operatoriai yra a) bendrasis kvantorius, nurodantis visai reiškinių klasei būdingos savybės, kokybės, ryšio buvimą pagal principą „kiekvienam x yra tiesa, kad...“. Pavyzdžiui, tokiame skaitiklyje yra teiginys „Filosofinės knygos jums paaiškins kiekvieną temą“ (Horacijus). b) egzistencinis kvantorius, nurodantis tam tikrų savybių ar ryšių paplitimą su kuria nors visos reiškinių klasės dalimi. Pavyzdžiui, frazėje „Yra vidinė drąsa – sąžinės drąsa“ (S. Šypsosi) yra egzistencijos skaitiklis. Egzistencijos kvantoriaus formulė yra posakis: „egzistuoja x, kuriam...“.

Apibendrinant visuotinai priimtą ir dažniausiai naudojamą loginę terminiją, ji turėtų būti užfiksuota formalizuota forma:

1) vardas - A, B, C ir kt.;

2) Funktoriai (loginės konstantos) –

Ú - „arba“;

® - „jei, tada“;

" - "Jeigu, ir tik jeigu";

ù, ¯¯¯ - „tai netiesa“;

- "būtina" ;

à - "galbūt"

3) dalykiniai kintamieji – a, b, c;

4) teiginių kintamieji – p, q, r, s;

5) vardinė funkcija - a (x);

6) teiginio funkcija - x P(x);

7) prognozuotojas - P, Q, R; unarinis predikatas - P (x): (x turi savybę P); dvivietis predikatas P (x; y): (x ir y yra susiję su P);

8) skliausteliuose - (;);

9) bendrasis kvantorius - „x (kiekvienam x tiesa, kad...);

10) egzistencijos kvantorius - $ x (yra x, kuriam tiesa, kad...).

Taigi, suvokiant pažintinę kalbos vertę, jos ryšį su psichiniais procesais, būtina įvaldyti loginę terminiją ir pagrindinių loginėse formulėse vartojamų ženklų esmę.

Užduotys ir pratimai

1. Į tuščius langelius įrašykite trūkstamus skaičius ir raides naudodami paslėptas skaičių ir raidžių sekas.

3. Sukurkite kalbines išraiškas, kurios atspindėtų:

a) įrodymų ryšys; b) pasekmės santykis, c) prasmingas, bet klaidingas teiginys; d) vardinė funkcija; e) egzistavimo kiekybinis įvertinimas.

4. Atlikti formalizuotos ir natūraliosios logikos kalbų lyginamąjį aprašymą.

5. Teiginių ir nominaliąsias funkcijas paverskite tikrais teiginiais: a) x yra priežastis y; b) x yra pirminis skaičius; c) A – miestas Baltarusijoje; d) X yra romano „U“ autorius; e) tarp a ir b yra c; f) jei p, tai q.

4. Mąstymo formos ir dėsniai

Raktažodžiai: minties forma, loginis dėsnis, loginė pasekmė.

Pagrindinės loginio mąstymo formos. Loginė minties forma yra šios minties struktūra jos sudedamųjų dalių sujungimo metodo, bendrųjų struktūrinių ryšių (minčių pateikimo schemų) formavimo požiūriu. Identifikuoti loginę formą reiškia sudaryti jos diagramą, formalizuoti jos turinį, nes loginė forma yra ta samprotavimo pusė, kuri nepriklauso nuo pateiktos minties turinio. Įvairios sąvokos, sprendimai ir išvados gali būti pateikiamos kaip specifinės psichinės veiklos formos. Remiantis vienu iš pagrindinių formaliosios logikos principų, minties (samprotavimo, išvados) teisingumas priklauso tik nuo jos dizaino teisingumo, t.y. nuo teisingo sujungimo, sudedamųjų minties dalių surišimo.

Išryškinant būdingus daikto požymius, taip pat remiantis daugeliui objektų būdingais bendraisiais bruožais, mąstant, formuojama daikto samprata, apie jo klasifikaciją, esminius požymius, kurie tuo pačiu skiria jį nuo objekto. kitos klasės objektų charakteristikos. Taigi įvairūs ryšiai tarp aiškiai apibrėžtų, išvardytų objekto (daiktų klasės) savybių išreiškiami sąvokos forma. Pavyzdžiui, kvadrato sąvoka apima tokius požymius: geometrinė figūra, keturkampis, visos kraštinės lygios, visi kampai 90 laipsnių.

Mąstymo forma, kuri nustato kokybinius ir kiekybinius santykius tarp mąstymo objektų ir fiksuoja juos teiginių ar neigimų pavidalu, vadinama sprendimu. Taigi, pavyzdžiui, žmogaus požiūris į naudą per gamybinę veiklą gali būti išreikštas nuosprendžiu „Žmogus darbinės veiklos procese sukuria materialinę ir dvasinę naudą“. Turiniu, emociniais-vertinamaisiais ir kitais aspektais besiskiriantys sprendimai visada gali būti redukuojami į vieną vieningą mąstymo formą (struktūrą). Visų jo dalių sujungimo būdas formaliosios logikos požiūriu bus toks pat. Jei sąvokas, įtrauktas į sprendimo struktūrą, žymėsime ženklais S (mąstymo subjektas), t. y. kas (apie ką) vyksta samprotavimai) ir P (predikatas - teiginys, žymenų ar paskirtojo savybių išraiška). subjektas (S)). Jei pateiksime jų sujungimo metodą loginio jungiamojo „yra“ forma (yra, vadinasi, ir pan.), tada gauname bet kokiam sprendimui bendrą loginę formą: S - P (visi S yra P). Pavyzdžiui, teiginių: „Kiekvienas žmogus nusipelno laimės“, „Upė yra žemės vandens kelias“ ir „Trikampio kampų suma lygi 180 laipsnių“ struktūra iš esmės yra vienoda, nepaisant jų prasmės. semantinė polifonija. Juose galime išskirti S (žmogus, upė, trikampio kampų suma), P (verta laimės, žemės vandens arterija, 180 laipsnių) ir teigiamąjį loginį jungtuvą, kuris šiuose pavyzdžiuose numanomas, bet lingvistiškai. neišreikštas.

Sudėtingesnė mąstymo forma, leidžianti įgyti naujas žinias dėl vienokių ar kitokių ankstesnių sprendimų-pagrįstų derinimo metodų, yra išvados. Šiuo atveju tarp sprendimų-pagrindų (prielaidų) nustatomas aiškus, nedviprasmiškas loginis ryšys, kurio laikymasis visada veda prie naujos tikros išvados-pasekmės. Pavyzdžiui, kokias žinias galima gauti turint du sprendimus (sakinius): „Visos mokslo žinios turi savo tyrimo dalyką“ ir „Kultūros mokslas yra mokslo žinios“? Išvada (išvada) čia yra akivaizdi - „Kultūros studijos turi savo studijų dalyką“. Kad ir kokie teiginiai būtų pakeisti tokio teisingo samprotavimo struktūroje, jei prielaidos teisingos, laikomasi išvados taisyklių, tada išvada (naujos žinios) taip pat bus teisinga.

Taigi loginė forma, pirma, yra unikali kalbinė struktūra, kuri gryna forma atspindi būdingas mąstymo subjekto savybes, savybes ir ryšius.

Antra, jai pataisyti naudojama specifinė formalizuota kalba, kurios pagrindiniai terminai ir simboliai buvo pateikti aukščiau.

Trečia, šių ir kitų mąstymo struktūrų (loginių formų) tyrimas, nepaisant prasmingos jų raiškos, yra vienas svarbiausių logikos kaip mokslo uždavinių ir leidžia nustatyti mąstymo procesų formavimosi ir eigos dėsnius.

Loginis dėsnis ir loginė pasekmė. Loginio dėsnio ir loginės pasekmės sąvokos siejamos su loginės formos samprata. Teisingą minčių elementų ryšį samprotavimo eigoje lemia mąstymo dėsniai – loginiai dėsniai. Loginis dėsnis yra išraiška, kuri išlaiko savo tiesą, nepaisant konkretaus turinio. Taigi teiginys „Jeigu visiems x yra tiesa, kad x yra P, tai nėra nei vieno x, kuris nebūtų P“ bus teisingas (būtų dėsnis) bet kuriuo atveju, nesvarbu, koks konkretus jo turinys. Pavyzdžiui, pakeitę vardus į šią kalbinę formulę, gauname: „Jeigu visiems žmonėms yra tiesa, kad jie turi sąmonę, tai nėra nė vieno žmogaus, kuris jos neturėtų“.

Įstatymas išreiškia vidinį, stabilų, esminį ir būtiną mąstymo elementų ryšį. Dėl logikos dėsnių buvimo naujų žinių gavimas iš jau esamų ir patikrintų teisingų sprendimų patikimai atves prie tiesos.

Logikos dėsnius reikėtų skirstyti į 1) formalius-loginius ir 2) dialektinius. Pirmieji atspindi formalų samprotavimo teisingumą, antrieji – objektyviai besikeičiančios tikrovės šablonus. Formalūs loginiai dėsniai teigia, kad teisingai sukonstruotas minčių modelis yra būtina išvadų teisingumo sąlyga. Priešingu atveju, jei šios taisyklės nesilaikoma, net iš teisingų sprendimų galima padaryti klaidingą išvadą (netiesos pasekmės).

Svarstomi pagrindiniai formalūs loginiai dėsniai:

1. tapatumo dėsnis: kiekviena mintis samprotavimo procese turi būti tapati sau pačiai. ((p → p): jei p, tai p). „Kiekvienas vyras yra vyras“, „Duralex, sedlex“ (griežtas įstatymas, bet įstatymas).

2. neprieštaravimo dėsnis: iš dviejų tarpusavyje nesuderinamų sprendimų vienas yra klaidingas ù(р Ùùр): (netiesa, kad p ir ne-p). Tai yra, dvi mintys negali būti klaidingos vienu metu, jei viena iš jų neigia kitą. Be to, mes kalbame apie tą patį objektą, įsivaizduojamą tuo pačiu metu ir konkrečiu santykiu. „Kai kurie mokslininkai nori būti pripažinti“ ir „Kai kurie mokslininkai nenori būti pripažinti“.

3. išskiriamo vidurio dėsnis: teisingas arba pats teiginys, arba jo neigimas: (p Úùr): (p arba ne-p). „Kai kurie pirmakursiai užsiima ūkine veikla. Nė vienas pirmakursis neužsiima ūkine veikla.“ Tai yra, du vienas kitam prieštaraujantys teiginiai negali būti teisingi vienu metu; Trečio varianto nėra. Sniegas baltas arba nebaltas.

4. pakankamo proto dėsnis: mintis yra teisinga, jeigu ji turi jai pakankamai pagrindo. (p → q); (p egzistuoja, nes q egzistuoja). Minties įrodymas įvyksta tik tada, kai ji pagrįsta pagrįstais, esminiais, esminiais argumentais. Štai vienas pavyzdys: „Kad trikampis būtų lygiakraštis, būtina ir pakanka, kad visi jo kampai būtų lygūs“.

Mąstymo dėsniai yra vadinamosios loginės pasekmės apraiška. Loginė pasekmė yra psichinis ryšys, egzistuojantis tarp prielaidų (sprendimų) ir iš jų padarytų išvadų (išvadų). Loginė implikacija veikia kaip tam tikras modelis konstruojant mintį pagal principą: kai mūsų teiginys p logiškai seka teiginį q ir šis teiginys yra teisingas kaip p → q, tada naujasis teiginys ùq → ùp taip pat bus teisingas. . Tai reiškia, kad teiginio p → q teisingumas garantuoja teiginio ùq → ùр teisingumą. Pagrindinis loginės implikacijos principas yra tas, kad bendresnės schemos teisingumas garantuoja mažiau bendros schemos teisingumą, bet ne atvirkščiai.

Užduotys ir pratimai

1. Pateikite pagrindinių loginių mąstymo formų pavyzdžių iš pasirinktos profesinės veiklos:

a) sąvoka; b) nuosprendis; c) išvada.

2. Ar šie teiginiai yra logikos dėsnių apraiška:

a) pakankama priežastis: „Žmogaus kūno temperatūra pakilusi, todėl jis serga“, „Ši mintis sukonstruota teisingai, vadinasi, teisinga“;

b) neįtrauktas trečias: „Visi studentai studijuoja logiką arba nė vienas iš studentų nesimoko logikos“, „Teismo nutartis teisėta ar ne“?

Logika yra mokslas, tiriantis teisingo mąstymo ir realaus pasaulio supratimo metodus ir priemones. Ji reprezentuoja natūralius, nuoseklius mąstymo procesus, kurių pagalba galima pamatyti ir nustatyti priežasties ir pasekmės ryšį, atsirandantį tarp objektų ir reiškinių.

Mums reikalingas loginis mąstymas, kad galėtume laiku analizuoti ir pritaikyti anksčiau gautą informaciją. Tai padeda mums išspręsti įvairias problemas (nuo trumpiausio kelio iki namų sudarymo iki didelio masto verslo plano parengimo). Loginis mąstymas leidžia atskirti pagrindinį nuo antrinio, rasti sąsajų ir visapusiškai išanalizuoti situaciją.

Logikos dėka galime nurodyti įvairių reiškinių priežastis, sąmoningai kreiptis į svarbių problemų sprendimą ir kompetentingai dalytis mintimis.

Mąstymas yra gautos informacijos, gaunamos iš išorinio pasaulio, apdorojimo procesas. Gavęs bet kokią informaciją žmogus sugeba ją pateikti tam tikro vaizdo pavidalu, įsivaizduoti objektą, kai jo nėra šalia.

Išskiriami šie pagrindiniai loginio mąstymo tipai:

1. Vizualiai efektyvus– problemos sprendimo rezultatu žmogus geba ją transformuoti savo mintimis, remdamasis anksčiau įgyta patirtimi ir žiniomis. Iš pradžių žmogus stebi situaciją, vėliau per bandymus ir klaidas bando išspręsti problemą, po to formuojasi teorinė veikla. Šio tipo mąstymas apima vienodą teorijos ir praktikos taikymą.
2. Vizualinis-vaizdinis– mąstymas atsiranda per reprezentaciją. Tai labiausiai būdinga ikimokyklinio amžiaus vaikams. Norėdami išspręsti problemą, vaikai dažnai naudoja vaizdus, ​​​​kurie gali būti atmintyje arba sukurti vaizduotės. Taip pat tokio tipo mąstymą turi žmonės, susiję su tokia veikla, kai reikia priimti sprendimus remiantis objektų ar jų vaizdų stebėjimu (brėžiniu, diagrama).
3. Abstraktus-loginis– šio tipo mąstymas nesidomi atskiromis detalėmis, jį domina mąstymo procesas kaip visuma; Norint išvengti problemų sprendžiant svarbias problemas ateityje, svarbu nuo ankstyvos vaikystės ugdyti abstraktų-loginį mąstymą. Šio tipo mąstymas pasireiškia trimis pagrindinėmis formomis: samprata, sprendimu ir išvadomis.

Sąvoka sujungia vieną ar daugiau vienarūšių objektų, skirstant juos pagal esmines charakteristikas. Šią mąstymo formą vaikams reikia ugdyti ankstyvame amžiuje, suteikiant apibrėžimus visiems objektams ir interpretuojant jų reikšmę.

Sprendimas gali būti paprastas arba sudėtingas. Tai gali būti objekto patvirtinimas arba jo santykio su kitais objektais neigimas. Paprasto sprendimo pavyzdys yra paprastos frazės: „Maša mėgsta košę“, „Mama myli Anę“, „Katė miaukia“ ir kt. Būtent taip galvoja vaikai, kai pradeda tyrinėti juos supantį pasaulį.

Išvada yra loginė to, kas vyksta, analizė, pagrįsta keliais sprendimais.

Kiekvienas žmogus gali savarankiškai ugdyti loginį mąstymą spręsdamas specialias užduotis, galvosūkius, kryžiažodžius, galvosūkius.

Loginės psichikos operacijos

Loginės psichinės operacijos susideda iš:

• palyginimai,
• abstrakcijos,
• apibendrinimai
• specifikacija,
• analizė,
• sintezė.

Autorius palyginimai galime suprasti savo nesėkmės priežastį ir vėliau skirti deramą dėmesį problemai bei sąlygoms, kuriomis ji buvo sukurta.

Abstrakcijos procesas leidžia nukreipti vieno objekto dėmesį nuo kitų glaudžiai tarpusavyje susijusių objektų. Abstrakcija leidžia pamatyti objektą, nustatyti jo esmę ir pateikti savo šio objekto apibrėžimą. Abstrakcija reiškia žmogaus protinę veiklą. Tai leidžia suvokti reiškinį, paliečiant reikšmingiausius jam būdingus bruožus. Abstrahuodamasis nuo problemų žmogus sužino tiesą.

Apibendrinimas leidžia derinti panašius objektus ir reiškinius remiantis bendromis savybėmis. Paprastai apibendrinimas naudojamas taisyklėms apibendrinti arba sudaryti.

Toks mąstymo procesas kaip specifikacija visiškai priešinga apibendrinimui. Ji pasitarnauja teisingam tikrovės suvokimui, neleidžia mąstymui atitrūkti nuo realaus reiškinių suvokimo. Sukonkretinimas neleidžia mūsų žinioms įgyti abstrakčių vaizdų, kurie iš tikrųjų tampa nenaudingi.

Mūsų smegenys naudojasi kiekvieną dieną analizė detaliam suskirstymui į mums reikalingo daikto ar reiškinio dalis. Analizuodami reiškinį ar objektą, galime nustatyti būtiniausius jo elementus, kurie dar labiau padės tobulinti įgūdžius ir žinias.

Sintezė priešingai – iš smulkių detalių leidžia susidaryti bendrą vaizdą apie tai, kas vyksta. Su jo pagalba galite palyginti dabartinius įvykius, peržvelgdami kelis atskirus faktus. Sintezės pavyzdys yra galvosūkiai. Montuodami mozaiką įsivaizduojame vieną ar kitą jos dalį, atidedame į šalį tai, kas nereikalinga, ir pridedame tai, kas reikalinga.

Taikant logiką

Loginis mąstymas naudojamas beveik visose žmogaus veiklos srityse (humanitariniai mokslai, ekonomika, retorika, kūrybinė veikla ir kt.). Pavyzdžiui, matematikos moksluose ar filosofijoje jie naudoja griežtą ir formalizuotą logiką. Kitose srityse logika yra naudingų žinių šaltinis, būtinas norint padaryti pagrįstą išvadą apie visą situaciją.

Žmogus bando pritaikyti loginius įgūdžius pasąmonės lygmenyje. Kai kurie žmonės su tuo susitvarko geriau, kiti blogiau. Bet bet kuriuo atveju, vadovaudamiesi savo logika, turime žinoti, ką galime su ja padaryti:

1. Pasirinkite reikalingą problemos sprendimo būdą;
2. Galvok greičiau;
3. Kokybiškai reikšti savo mintis;
4. Venkite savęs apgaudinėjimo;
5. Rasti ir ištaisyti kitų žmonių klaidas jų išvadose;
6. Pasirinkite reikiamus argumentus, kad įtikintumėte pašnekovą, kad esate teisus.

Norint ugdyti teisingą loginį mąstymą, reikia ne tik noro, bet ir sistemingo mokymo pagrindinių šio klausimo komponentų.

Ar įmanoma išmokti loginio mąstymo?

Mokslininkai nustato keletą aspektų, padedančių įsisavinti pagrindines logikos sąvokas:

• Teorinis mokymas – tai žinios, kurios suteikiamos ugdymo įstaigose. Tai apima pagrindines sąvokas, dėsnius ir logikos taisykles.
• Praktinis mokymasis – tai anksčiau įgytos žinios, kurias reikia pritaikyti realiame gyvenime. Tuo pačiu metu šiuolaikinis ugdymas apima specialių testų išlaikymą ir problemų, kurios gali atskleisti žmogaus intelektualinio išsivystymo lygį, sprendimą, tačiau netaikant logikos iškylančiose gyvenimo situacijose.

Loginis mąstymas turi būti statomi nuosekliai, pagrįsta argumentais ir įvykiais, padedančiais padaryti teisingas išvadas ir priimti svarbius sprendimus. Asmuo, turintis gerai išvystytą loginį mąstymą, neturi problemų sprendžiant rimtus klausimus, reikalaujančius greitos reakcijos ir analitinės veiklos.

Šį gebėjimą būtina ugdyti vaikystėje, tačiau ilgalaikės treniruotės metu loginio mąstymo įgūdžius gali įvaldyti ir suaugusieji.

Šiuolaikinėje psichologijoje yra daugybė pratimų, kurie gali lavinti žmogaus stebėjimą, mąstymą ir intelektinius gebėjimus. Vienas iš veiksmingų pratimų yra „logiškumas“.

Pagrindinė pratimo idėja yra teisingai nustatyti ryšį tarp sprendimų ir ar padaryta išvada yra logiška. Pavyzdžiui: „Visos katės gali miaukti. Vaska yra katė, vadinasi, gali miaukti“ – toks teiginys logiškas. „Vyšnia raudona. Pomidoras taip pat raudonas, vadinasi, vaisius. Šioje išvadoje yra aiški klaida. Kiekvienas pratimas leidžia susikurti sau loginę grandinę, kuri leis priimti vienintelį teisingą sprendimą.

Logikos. Vadovėlis Gusevas Dmitrijus Aleksejevičius

Įvadas, Arba kas yra logika ir kodėl ji reikalinga?

Pradėdami susipažinti su bet kuriuo mokslu, pirmiausia atsakome į klausimą, ką jis tiria, kam jis skirtas, kuo užsiima. Logika yra mąstymo mokslas. Tačiau psichologija, pedagogika ir daugelis kitų mokslų yra susiję su mąstymu. Tai reiškia, kad logika nenagrinėja visų klausimų ir problemų, susijusių su mąstymu, ne su visomis jo sritimis ar aspektais, o tik su kai kuriais iš jų. Kas mąstant domina logiką?

Kiekvienas iš mūsų puikiai žinome, kad žmogaus mąstymo turinys yra be galo įvairus, nes galvoti (galvoti) galima apie bet ką, pavyzdžiui, apie pasaulio sandarą ir gyvybės Žemėje kilmę, apie žmonijos praeitį ir jos ateitį. , apie perskaitytas knygas ir žiūrėtus filmus, apie šiandienos veiklą ir rytojaus poilsį ir t.t., ir t.t.

Tačiau svarbiausia, kad mūsų mintys kiltų ir būtų kuriamos pagal tuos pačius dėsnius, paklūsta tiems patiems principams, tilptų į tuos pačius šablonus ar formas. Be to, jeigu mūsų mąstymo turinys, kaip jau buvo sakyta, yra be galo įvairus, tai formų, kuriomis ši įvairovė išreiškiama, yra labai mažai.

Norėdami iliustruoti šią idėją, pateiksime paprastą pavyzdį. Pažvelkime į tris teiginius, kurių turinys visiškai skiriasi:

1. Visi karosai yra žuvys;

2. Visi trikampiai yra geometrinės figūros;

3. Visos kėdės yra baldai.

Nepaisant skirtingo turinio, šie trys teiginiai turi kažką bendro, kažkas juos vienija. Ką? Juos vienija ne turinys, o forma. Nors skiriasi turiniu, jie yra panašūs savo forma: juk kiekvienas iš šių trijų teiginių yra pastatytas pagal šabloną ar formą - "Visi A yra B", kur A ir B yra bet kokie objektai. Akivaizdu, kad pats pareiškimas "Visi A yra B" neturi jokio turinio (kas tiksliai parašyta? Nieko!). Šis teiginys yra gryna forma, kuri, kaip galite spėti, gali būti užpildyta bet kokiu turiniu, pavyzdžiui: Visos pušys yra medžiai; Visi miestai yra apgyvendintos vietovės; Visos mokyklos yra švietimo įstaigos; Visi tigrai yra plėšrūnai ir tt

Pateikime kitą pavyzdį. Paimkime tris skirtingo turinio teiginius:

1. Jei ateina ruduo, tada krenta lapai;

2. Jei rytoj lyja, gatvėje bus balos;

3. Jei medžiaga yra metalas, tai ji yra elektrai laidus.

Nors šie trys teiginiai skiriasi savo turiniu, jie yra panašūs vienas į kitą tuo, kad yra sudaryti pagal tą pačią formą: "Jei A, tai B". Akivaizdu, kad šiai formai galima pasirinkti daugybę skirtingų prasmingų teiginių, pavyzdžiui: Jei nepasiruošite testui, galite gauti blogą pažymį; Jei kilimo ir tūpimo takas yra padengtas ledu, lėktuvai negali pakilti; Jei žodis yra sakinio pradžioje, jis turi būti rašomas didžiosiomis raidėmis ir tt

Taigi, pastebėjome, kad mūsų mąstymas yra be galo įvairus turiniu, tačiau visa ši įvairovė telpa vos į kelias formas. Taigi logika nesidomi mąstymo turiniu (su tuo užsiima kiti mokslai), ji tiria tik mąstymo formas, jai neįdomu, kas Ką manome, kitaip Kaip manome, dėl to taip pat dažnai vadinama formalioji logika. Taigi, pavyzdžiui, jei teiginio turinys Visi uodai yra vabzdžiai yra normalus, suprantamas, prasmingas ir teiginys Visos čeburaškos yra ateiviai yra beprasmis, absurdiškas, absurdiškas, tada logikai šie du teiginiai yra lygiaverčiai: juk kalbama apie mąstymo formas, o šių dviejų teiginių forma buvo ta pati - "Visi A yra B".

Taigi, mąstymo forma– tai būdas, kuriuo išreiškiame savo mintis, arba schema, pagal kurią jos kuriamos. Yra trys mąstymo formos.

1. Koncepcija yra mąstymo forma, žyminti objektą arba objekto ypatybę (sąvokų pavyzdžiai: pieštukas, augalas, dangaus kūnas, cheminis elementas, drąsa, kvailumas, nerūpestingumas ir taip toliau.).

2. Nuosprendis- tai mąstymo forma, susidedanti iš sąvokų, susijusių viena su kita ir ką nors patvirtinančių arba paneigiančių (sprendimų pavyzdžiai: Visos planetos yra dangaus kūnai; Kai kurie moksleiviai yra neturtingi studentai; Visi trikampiai nėra kvadratai ir taip toliau.).

3. Išvada yra mąstymo forma, kai iš dviejų ar daugiau pradinių sprendimų priimamas naujas sprendimas arba išvada. Išvadų pavyzdžiai:

Visos planetos juda.

Jupiteris yra planeta.

Jupiteris juda.

Geležis yra laidi elektrai.

Varis yra laidus elektrai.

Gyvsidabris yra laidus elektrai.

Geležis, varis, gyvsidabris yra metalai.

Visi metalai yra laidūs elektrai.

Visas begalinis mūsų minčių pasaulis išreiškiamas sąvokomis, sprendimais ir išvadomis. Apie šias tris mąstymo formas išsamiai kalbėsime kituose knygos puslapiuose.

Be mąstymo formų, logika taip pat susiduria su mąstymo dėsniai, tai yra tokios taisyklės, kurių laikymasis samprotavimuose, nepaisant jų turinio, visada daro teisingas išvadas ir apsaugo nuo klaidingų (jei pirminiai sprendimai yra teisingi). Yra keturi pagrindiniai mąstymo dėsniai (arba logikos dėsniai). Čia mes juos tik išvardinsime (pavadinsime) ir išsamiai apsvarstysime kiekvieną iš jų, įvertinę visas mąstymo formas.

1. Tapatybės dėsnis.

2. Prieštaravimo dėsnis.

3. Išskirtojo vidurio dėsnis.

4. Pakankamos priežasties įstatymas.

Šių įstatymų pažeidimas sukelia įvairių loginių klaidų, kaip taisyklė, klaidingų išvadų. Kartais šie įstatymai pažeidžiami netyčia, ne tyčia, iš nežinojimo. Šiuo atveju pasitaikančios klaidos vadinamos paralogizmai. Tačiau kartais tai daroma sąmoningai, siekiant suklaidinti pašnekovą, suklaidinti ir įrodyti jam kokią nors klaidingą mintį. Tokie tyčiniai loginių dėsnių pažeidimai išoriškai teisingam klaidingų minčių įrodymui vadinami sofistika, kuris bus aptartas toliau.

Taigi, Logika yra teisingo mąstymo formų ir dėsnių mokslas.

Logika atsirado apie V a. pr. Kr e. Senovės Graikijoje. Jo kūrėju laikomas žymus senovės graikų filosofas ir mokslininkas Aristotelis (384–322 m. pr. Kr.). Kaip matote, logikai yra 2,5 tūkstančio metų, tačiau ji vis dar išlaiko savo praktinę reikšmę. Daugelis senovės pasaulio mokslų ir menų amžiams liko praeityje ir mums atstovauja tik „muziejinę“, mums įdomų išskirtinai kaip antikos paminklai. Tačiau kai kurie senolių kūriniai išgyveno šimtmečius, ir šiandien mes juos naudojame. Tai apima Euklido geometriją (tai, ką mes mokomės mokykloje) ir Aristotelio logiką, kuri taip pat dažnai vadinama tradicinė logika.

XIX amžiuje ji atsirado ir pradėjo sparčiai vystytis simbolinis arba matematinis, arba modernus logikos, kuris remiasi idėjomis, iškeltomis gerokai iki XIX a. Vokiečių matematikas ir filosofas Gottfriedas Leibnicas (1646–1716), apie visiško perėjimo į idealią (t. y. visiškai išlaisvintą nuo turinio) loginę formą, naudojant universalią simbolinę kalbą, panašią į algebros kalbą. Leibnicas kalbėjo apie galimybę pateikti įrodymą kaip matematinį skaičiavimą. Airių logikas ir matematikas George'as Boole'as (1815–1864) išvadas aiškino kaip loginių lygčių sprendimo rezultatą, dėl to išvadų teorija įgavo savotiškos algebros formą, kuri skiriasi nuo įprastos algebros tik tuo, kad nėra skaitinės reikšmės. koeficientai ir galios. Taigi vienas iš pagrindinių skirtumų tarp simbolinės logikos ir tradicinės logikos yra tas, kad pastaroji teisingam mąstymui apibūdinti naudoja įprastą arba natūralią kalbą; o simbolinė logika tyrinėja tą patį dalyką (teisingą mąstymą), sukurdama dirbtines, specialias, formalizuotas kalbas arba, kaip jos dar vadinamos, skaičiavimas.

Tradicinė ir simbolinė logika, kaip gali atrodyti, nėra skirtingi mokslai, o atstovauja du vienas po kito einančius to paties mokslo raidos laikotarpius: pagrindinis tradicinės logikos turinys pateko į simbolinę logiką, joje buvo išgrynintas ir išplėstas, nors didžioji jos dalis pasikeitė. reikia permąstyti.

Dabar atsakykime į klausimą, kodėl mums reikalinga logika, kokį vaidmenį ji atlieka mūsų gyvenime. Logika padeda teisingai konstruoti savo mintis ir teisingai jas reikšti, įtikinti kitus žmones ir juos geriau suprasti, paaiškinti ir apginti savo požiūrį, išvengti samprotavimo klaidų. Žinoma, visiškai galima apsieiti ir be logikos: norint išspręsti bet kokias problemas, dažnai užtenka vien sveiko proto ir gyvenimiškos patirties. Pavyzdžiui, bet kas, nesusipažinęs su logika, gali suprasti šiuos samprotavimus:

Judėjimas yra amžinas.

Eiti į mokyklą yra judėjimas.

Todėl ėjimas į mokyklą yra amžinas.

Kiekvienas pastebės, kad klaidinga išvada daroma dėl žodžio „judėjimas“ vartojimo įvairiomis prasmėmis (pirmuoju pirminiu sprendimu jis vartojamas plačiąja, filosofine, o antrajame - siaurąja, mechanine) prasme. . Tačiau samprotavimo klaidų rasti ne visada lengva. Apsvarstykite šį pavyzdį:

Visi mano draugai kalba angliškai.

Dabartinis Amerikos prezidentas taip pat kalba angliškai.

Todėl dabartinis Amerikos prezidentas yra mano draugas.

Bet kuris žmogus pamatys, kad šiame samprotavime yra tam tikra priega, kad kažkas jame negerai arba ne taip. Bet kas? Kas nėra susipažinęs su logika, greičiausiai negalės tiksliai nustatyti, kokia klaida čia buvo padaryta. Kiekvienas, kuris yra susipažinęs su logika, iš karto pasakys, kad šiuo atveju buvo padaryta klaida - „vidurinio termino nepaskirstymas paprastu silogizmu“. Arba šis pavyzdys:

Visuose poliarinio rato miestuose yra baltosios naktys.

Sankt Peterburgas yra ne už poliarinio rato.

Vadinasi, baltųjų naktų Sankt Peterburge nebūna.

Kaip matome, iš dviejų teisingų sprendimų išplaukia klaidinga išvada. Aišku, kad šiame samprotavime irgi kažkas ne taip, yra kažkokia klaida. Bet kuri? Mažai tikėtina, kad žmogus, nepažįstantis logikos, sugebės ją iš karto rasti. Ir kiekvienas, turintis loginę kultūrą, nedelsdamas atpažins šią klaidą - „didesnio termino išplėtimas paprastame silogizme“.

Perskaitę šią knygą sužinosite ne tik kaip tokiu samprotavimu pažeidžiami loginiai dėsniai, bet ir daug kitos įdomios bei naudingos informacijos.

Taigi, norint orientuotis įvairiose sudėtingose ​​situacijose, dažniausiai pakanka sveiko proto ir gyvenimiškos patirties. Bet jei prie sveiko proto ir gyvenimiškos patirties pridėsime loginę kultūrą, nuo to visai nepralaimėsime, o, priešingai, laimės. Žinoma, logika niekada neišspręs visų problemų, bet gyvenime ji tikrai gali padėti.

Sveikas protas dažnai vadinamas praktiniu arba intuityvi logika. Jis susiformuoja spontaniškai gyvenimo patirties procese, maždaug iki 6–7 metų, t.y iki mokyklinio amžiaus ar dar anksčiau, ir mes visi tai įvaldome. Pavyzdžiui, pats žodis "logika", greičiausiai, buvo jums pažįstamas dar prieš pradedant skaityti šią knygą. Gyvenime dažnai susiduriame su tokiais posakiais kaip „loginis samprotavimas“, „nelogiškas veiksmas“, „geležinė logika“ tt Net jei mes niekada nestudijavome logikos, mes vis tiek puikiai suprantame, apie ką kalbame, kai kalbame apie logiką, logišką ar nelogišką.

Apsvarstykite šį pavyzdį: visi, kurie nėra susipažinę su logika, pastebės teiginio loginį neteisingumą ir net absurdiškumą: Aš einu su naujomis kelnėmis, o tu į gimnaziją. Ir visi sakys, kad toks teiginys būtų teisingas ir prasmingas: Aš vaikštau su kelnėmis, o tu su šortais arba: Aš eisiu į gimnaziją, o tu į licėjų. Studijuodami logiką sužinome, kad aukščiau pateiktame pavyzdyje pažeidžiamas loginis tapatybės dėsnis, nes sumaišomos dvi skirtingos (viena kitai nelygios arba netapačios) situacijos: vaikščiojimas su kokiais nors drabužiais ir kažkur ėjimas. Pasirodo, dar prieš susipažindami su tapatybės dėsniu, mes juo jau praktiškai naudojame, žinome apie jį tik netiesiogiai, intuityviai. Lygiai taip pat tapatybės įstatymas pažeidžiamas pareiškime: Šiandien nuo šio stulpo kassime tranšėją iki pietų. Net jei žmogus nieko nežino apie tapatybės dėsnį ir apie įvairius bei daugybę jo pažeidimų, jis vis dėlto tikrai atkreips dėmesį į tai, kad šiame teiginyje yra kažkokia loginė klaida (net jei negalėtų nustatyti, kuri). ).

Lygiai taip pat bet kuris asmuo, greičiausiai, negalės nepastebėti kažkokio loginio pažeidimo šiuose teiginiuose: Žodinio raštiško leidimo jis negavo; Išvyksime rytoj vakare auštant; Ji buvo jauna senyvo amžiaus mergina tt Ne kiekvienas galės priskirti šią klaidą prie loginio prieštaravimo dėsnio pažeidimo. Tačiau net jei nieko nežinome apie šį įstatymą, jaučiame arba jaučiame jo pažeidimą.

Galiausiai, kasdieniame gyvenime kiekvienas iš mūsų dažnai girdime ir vartojame tokius posakius kaip: Kodėl turėčiau tavimi pasitikėti? Kaip tai įrodysi? Kokiu pagrindu? Pateisinkite! Motyvuoti! ir tt. Kai tai sakome, naudojame loginį pakankamo proto dėsnį. Kas nesimokė logikos, greičiausiai nėra susipažinęs su šiuo įstatymu ir nieko apie jį nėra girdėjęs. Tačiau, kaip matome, šio loginio dėsnio nežinojimas netrukdo juo naudotis praktiškai ar intuityviai.

Šie pavyzdžiai liudija, kad visi žmonės įvaldo logiką, nepaisant to, ar jie ją studijavo, ar ne. Taigi, mes praktiškai naudojame logiką gerokai anksčiau, nei pradedame ją tirti teoriškai. Kyla klausimas: kodėl mums reikia studijuoti logiką, jei ją jau žinome?

Atsakant į šį klausimą, galima pastebėti, kad tas pats vyksta ir su mūsų gimtąja kalba: praktiškai ją pradedame vartoti 2,5–3 gyvenimo metais, o mokytis pradedame tik nuo mokyklinio amžiaus. Kodėl mokykloje mokomės savo gimtosios kalbos, jei gerokai prieš mokyklą ja jau gerai mokame? Būdami 2,5–3 metų mes kalbą vartojame intuityviai arba nesąmoningai: praktiškai įvaldę, nieko nežinome ne tik apie linksnius ir konjugacijas, bet ir apie žodžius bei raides ir net apie patį faktą, kad gyvenime mes nuolat vartojame kalbą. Apie visa tai sužinome tik pradėję mokytis mokykliniame (arba vyresniame ikimokykliniame) amžiuje, dėl to mūsų intuityvus kalbos vartojimas pamažu virsta sąmoningu vartojimu – pradedame kalbėti daug geriau.

Lygiai taip pat ir su logika: intuityviai ją įvaldę ir praktiškai kasdien ją naudodamiesi, studijuojame kaip mokslą, siekdami spontanišką logikos panaudojimą paversti sąmoningu, dar geriau įvaldyti ir efektyviau panaudoti.

Iš knygos „Angelai bijo“. autorius Batesonas Gregoris

XVII. TAIGI, KAM JUMS REIKIA METAFOROS? (ICB) Ši knyga privertė mane vengti kokteilių vakarėlių, tų socialinių renginių, kuriuose draugiški nepažįstami žmonės klausdavo manęs apie jos turinį, jei žinotų, kad pavasarį leidžiu laiką prie knygos. Pirmiausia jiems papasakočiau apie

Iš knygos Mokslo ir technologijų filosofija autorius Stepinas Viačeslavas Semenovičius

Atradimo logika ir hipotezės pagrindimo logika Standartiniame teorijos raidos modelyje, kuris buvo sukurtas pozityvistinės tradicijos rėmuose, atradimo logika ir pagrindimo logika buvo ryškiai atskirtos ir supriešintos viena kitai. Šios opozicijos atgarsiai

Iš knygos Filosofija: vadovėlis universitetams autorius Mironovas Vladimiras Vasiljevičius

Įvadas: kas yra filosofija?

Iš knygos „Mokslininko ir mokytojo pokalbiai“. autorius Aleksandras Zeličenka

5 pokalbis. Apie Pasaulio paveikslą – kam jis reikalingas, kas tai yra ir kaip į jį žiūrėti. Mokytoja! Pačioje pradžioje žadėjai man parodyti idilišką Pasaulio paveikslą, kuriame taikiai sugyvena bet kokios, net iš pažiūros nepanašios idėjos. Manau, kad pradėjau suprasti, koks tai vaizdas. IR

Iš knygos Filosofijos pagrindai autorius Kankė Viktoras Andrejevičius

Įvadas Kas yra filosofija? Žodžio „filosofija“ reikšmė Civilizacijos žygyje buvo daug epochų ir amžių, kurie išsiskyrė savo bruožais, kartais gana keistais. Tačiau net ir atsižvelgiant į tai, išradimas yra stulbinantis savo naujumu, pagamintas ne per daug, bet

Iš knygos „Filosofijos įvadas“. Autorius Frolovas Ivanas

ĮVADAS: KAS YRA FILOSOFIJA Filosofija yra viena iš seniausių žinių ir dvasinės kultūros sričių. Kilęs VII–VI amžiuje prieš Kristų. e. Indijoje, Kinijoje, Senovės Graikijoje ji tapo stabilia sąmonės forma, kuri domino žmones visus vėlesnius šimtmečius. Filosofų pašaukimas

Iš knygos „Simpsonai“ kaip filosofija pateikė Halwani Raja

3. Kodėl Maggie reikalinga: Tylos garsas, Rytai ir Vakarai Ericas Bronsonas Niekas neatsižvelgė į Maggie Simpson. Ir kodėl staiga? Įtarimų šešėlis krito ant Smiterso, paslaugaus gerbėjo, kuris pernelyg dažnai buvo apleistas. Homeras galėtų būti dar įtaresnis

Iš knygos Mėgstamiausi. Mito logika autorius Golosovkeris Jakovas Emmanuilovičius

Iš knygos Pagal logikos dėsnius autorius Ivinas Aleksandras Arkhipovičius

2 skyrius KAS YRA LOGIKA? „MŪSŲ KALBŲ PRIVERTINĖ GALIA...“ L. Tolstojaus apsakyme „Ivano Iljičiaus mirtis“ yra epizodas, kuris tiesiogiai susijęs su logika Ivanas Iljičius matė, kad jis miršta ir buvo nuolat apimtas nevilties. Skausmingai ieškodamas kažkokios šviesos, jis

Iš knygos „Kažkodėl turiu apie tai kalbėti...“: Mėgstamiausi autorius Geršelmanas Karlas Karlovičius

Iš knygos The King's New Mind [Apie kompiuterius, mąstymą ir fizikos dėsnius] pateikė Penrose Roger

Kodėl reikalinga kvantinė gravitacijos teorija? Ko liko išmokti apie smegenis ir mąstymą, ko nesužinojome ankstesniame skyriuje? Nors mes jau trumpai apžvelgėme kai kuriuos visa apimančius fizinius principus, kuriais grindžiamas mūsų suvokimo kryptingumas.

Iš knygos Filosofijos advokatas autorius Varava Vladimiras

238. Kam vis dar reikalinga filosofija? Neįmanoma racionaliai atsakyti į šį klausimą, nes čia kalbama apie nežinomas žmogaus, kuris visada siekia filosofijos, gelmes. Tai subtilus ir neišreiškiamas lygis; čia yra begalinė interpretacijų įvairovė

Iš knygos Pramoginė filosofija [Pamoka] autorius Balašovas Levas Evdokimovičius

Kas yra dialektika, logika ir filosofija? Petka klausia Čapajevo: - Vasilij Ivanovičiau, kas yra dialektika, logika ir filosofija - Na, kaip aš tau paaiškinsiu? Matai du vyrus. Vienas nešvarus, kitas švarus. Kuris iš jų eina į pirtį - Nešvarus. Tai nešvaru, nes

Iš knygos Populiarioji filosofija. Pamoka autorius Gusevas Dmitrijus Aleksejevičius

Į skyrių „Įvadas. Kas yra filosofija? 1. Ką aš žinau apie filosofiją, filosofus ir ką apie juos manau Ši užduotis siūloma studentų rašto darbui pirmoje filosofijos pamokoje? Darbui rašyti skiriama ne daugiau kaip 20 minučių. Galimas variantas

Iš autorės knygos

1 tema. Kas yra filosofija ir kam ji reikalinga? 1. „Mokslas apie viską“2. „Aš nesu išminčius, o tik filosofas“3. Filosofija ir filosofijos studijos4. "ABC"

Iš autorės knygos

1. Ar reikalinga filosofija? (pozityvizmas) Vokiečių klasikinė filosofija buvo Naujųjų amžių filosofinės minties klestėjimas, kuris jau XIX a. buvo pakeistas periodu, kuris visada seka bet kurį aukščiausią ko nors vystymosi tašką. Šis naujas etapas gali būti vadinamas nuosmukiu

Kiekvienas suaugęs žmogus dažnai girdi ir vartoja žodžius logika, logiška, nelogiška ir pan. Galite ir dažnai girdite: sveiko proto logika. Kasdieniame gyvenime tai lemia sąmoningumą, prigimtinės logikos originalumą, vengiant pernelyg grubių samprotavimo klaidų, o čia logika visada praverčia. Logika – mąstymo mokslas .

O logika kaip mokslas susiformavo seniai Senovės Indijoje, o paskui persikėlė į Senovės Graikiją, Senovės Egiptą, Senovės Romą. Be to, logika Vidurio Rytų ir Europos šalyse formavosi kiekvienoje atskirai, nepriklausomai viena nuo kitos. Indijos logikos žinių ugdymo tradicijas suvokė Kinijos, Tibeto, Mongolijos, Korėjos, Japonijos, Indonezijos mąstytojai. Logika ir mąstymo doktrina turėjo įtakos logikos raidai Bizantijoje, Armėnijoje, Gruzijoje, Ukrainoje ir Rusijoje. Vadinasi, logikos žinios atsiranda ir vystosi tada, kai mąstymas tampa savo paties tyrimo objektu. Daugiau nei prieš du tūkstančius metų individualias logines problemas nagrinėjo mąstytojai, pirmiausia Senovės Indijoje ir Senovės Kinijoje, o vėliau ir Europoje. Besivystanti filosofinių žinių glėbyje, logika visada veikė kaip neatsiejama filosofijos dalis ir tik tada palaipsniui atsiskyrė ir susiformavo į savarankišką šaką. Logikos žinių plėtrą skatino daugybė priežasčių, daugiausia įvairių teoriniu mąstymu grįstų mokslų, reikalaujančių išvadų ir įrodymų, raida bei oratorijos raida.

Per tūkstantmečius istorijos logika perėjo tris didelius laikotarpius: senovės logiką (V – III a. pr. Kr.); scholastinė logika (XIII a. vidurys – XIV a. vidurys), modernioji logika (nuo XIX a. vidurio iki šių dienų). Pirmą kartą logikos sampratą tiesos kriterijų ir pažinimo taisyklių formavimui pristatė Demokritas, pavadindamas darbą apie žinių kriterijus ir taisykles „Apie logiką, arba apie kanonus“. Demokrito traktatas, kaip ir daugelis kitų veikalų, nepasiekė naujųjų laikų. Senovės Graikijos filosofai idealistai taip pat tyrinėjo logikos klausimą. Filosofas Sokratas išsakė sprendimus apie loginių metodų – indukcijos ir dedukcijos – esmę ir reikšmę. Žymus filosofas Platonas, Sokrato pasekėjas, aiškinosi sąvokų apibrėžimus ir skirstymą, analizavo loginę sprendimo formą, laikydamas jas pagrindiniais mąstymo elementais, bandė suformuluoti pagrindinius logikos dėsnius. Tam tikrą įtaką logikos žinių formavimuisi turėjo senovės graikų sofistai, kurie buvo laikomi pirmaisiais profesionaliais išminties ir iškalbos mokytojais (Protagoras, Hippias ir kt.). Sofistai ėmėsi įrodyti bet kokios pozicijos tiesą ir klaidingumą, pasitelkę unikalius metodus, vadinamus sofistiniais, t.y. sąmoningai iškraipo ir pažeidžia minčių konstravimo taisykles. Garsusis filosofas Aristotelis tuomet sofistus vadino „įsivaizduojamos išminties“ mokytojais.

Tikrasis logikos kūrėjas yra Aristotelis. Sukurtas mokslas buvo vadinamas ne logika, o analitika. Čia išsamiai išanalizuoti silogizmai kaip ypatinga išvedžiojimo forma, atskleidžiama įrodymų esmė, sąvokų apibrėžimo ir skirstymo metodai bei jų reikšmė moksle. Vėliau kūriniuose „Temos“, „Kategorijos“, „Sofistiniai paneigimai“, o vėliau (I a. pr. Kr.) Aristotelio pasekėjai visus Aristotelio loginius traktatus sujungė bendru pavadinimu „Organonas“ (gr. – įrankis, instrumentas, reiškia žinios). Daug svarbių loginių problemų Aristotelis nagrinėjo savo pagrindiniame filosofiniame veikale „Metafizika“. Čia pateikiami trys pagrindiniai formaliosios logikos dėsniai: tapatumo dėsnis, prieštaravimo dėsnis ir pašalinto vidurio dėsnis. Buvo tikima, kad minčių ryšys, išreikštas logikos dėsniais ir taisyklėmis, nėra savavališkas, o sąlygotas pačių daiktų ryšio.

Aristotelis, skirtingai nei idealistai Sokratas ir Platonas, filosofiniais logikos klausimais gynė materialistinę Demokrito poziciją, nors ši pozicija nebuvo visiškai nuosekli. Analizuodamas bendras filosofines kategorijas, jis parodė materializmo ir idealizmo svyravimus. Pats Aristotelis logikos termino nevartojo. Pirmą kartą logikos sąvoka į mokslinę apyvartą buvo įvesta III – II a. pr. Kr e. Filosofai Zenonas, Chrysippus ir Seneka laikė logiką filosofijos dalimi. Plėtodami Aristotelio loginį mokymą, stoikai neapsiribojo kategorinio silogizmo studijomis, bet pirmiausia rūpinosi tomis išvadomis, kurios apėmė sąlyginius ir disjunkcinius sprendimus, ir ištyrė daugybę kategorijų, įtrauktų į šiuolaikinę matematinę logiką: implikaciją, disjunkciją, junginys ir kiti.

Viduramžiais (nuo XII a. vidurio) antrasis Aristotelio atradimas įvyko per arabų šaltinius. Vienas pirmųjų traktatų, kuriame buvo atnaujintas loginis tyrimas ir pradėtas vartoti terminas „logika“, buvo Pierre'o Abelardo „Dialektika“. Būtent scholastai prie aristotelio logikos pridėjo būtinų žinių vaidmenį, o kaip propedeutika, mokslas tvirtai įsiliejo į ugdymo struktūrą ir tapo Schullogik (mokyklos logika). Senąją ir scholastinę logiką dabar vienija pavadinimas tradicinė, arba formalioji, logika. Tolesnė logikos raida siejama su kapitalistinių socialinių santykių atsiradimu feodalizmo gelmėse ir eksperimentinių žinių formavimusi.

Kapitalistinių santykių epochos tikrovė netilpo į dedukcinių darinių schemas ir neturėjo adekvačio paaiškinimo. Reikėjo sukurti naują logiką. Išskirtinį vaidmenį kuriant naująją logiką atliko anglų filosofas ir gamtininkas Francis Baconas, prancūzų filosofas ir matematikas Rene Decorte bei vokiečių filosofas ir matematikas Gottfriedas Leibnizas. Angliškojo materializmo pradininkas Francis Baconas aistringai priešinosi viduramžių scholastikai kaip pagrindinei gamtos tyrinėjimo kliūtims, kritikavo Aristotelio dedukcinį metodą kaip nevaisingą ir, priešingai, suformulavo pagrindinę filosofinę logikos doktriną. Traktate „Naujasis organonas“ jis išdėstė indukcinės logikos pagrindus. Jis įžvelgė indukcinio metodo pirmenybę indukcinei logikai ir priešinosi dedukcijai bei Aristotelio silogizmui. Manydamas, kad artimiausias pažinimo uždavinys yra atskleisti tikrovės objektų ir reiškinių priežastinius ryšius, Francis Baconas suformulavo metodus, kaip nustatyti priežastinius ryšius tarp reiškinių. Tolesnį metodų kūrimą tęsė Herschelis, Whewellas ir Johnas St. Millem. Tiesa, indukcinės logikos poreikis buvo aiškiai pripažintas ir išreikštas dar XIII amžiuje, o tikrasis jos įkūrėjas buvo pranciškonų vienuolis Rogeris Baconas, o ne garsesnis Verulamo valdovas Francis Bacon. Gindamas patirtines žinias, Rogeris Baconas teigė: „Yra du pažinimo būdai: žiniomis ir patirtimi. Įrodymas pateikia klausimo sprendimą, bet nesuteikia tikrumo, kol sprendimo tiesa nepatvirtina patirtimi. Aristotelio epochoje reikalavo: „Savo mintyse kalbėk vienas su kitu“. „Patvirtinkite savo mintis autoritetu“ - toks viduramžių šūkis. „Jie sutaiko juos su faktais“ – štai kas tapo pagrindiniu kapitalistinių santykių eros reikalavimu. Atsiliepiant į epochos prašymą buvo sukurta tai, kas ne itin taikliai vadinama indukcine logika. Vėliau paaiškėjo, kad Francis Baconas visiškai neteisingai supriešino indukciją su dedukcija, perdėjo pažintinę indukcijos reikšmę ir sumažino dedukcijos reikšmę. XIX amžiuje Anglų filosofas ir logikas Johnas Stuartas Millas susistemino Franciso Bacono tyrinėjimus indukcinių reiškinių priežastinio ryšio metodų srityje, sukūrė indukcinę logiką - reiškinių stebėjimo ir paaiškinimo logiką, jo „Silogistinės ir indukcinės logikos sistema“ tapo puikiu papildymu. senasis pastatas. Paaiškėjo, kad tarp dviejų logikos šakų (dedukcinės ir indukcinės) nėra priešpriešos, viena kitą papildo, bet nė vienos negali pakeisti kita.

Traktate „Diskursas apie metodą...“ filosofas Rene Descartesas, atmesdamas viduramžių scholastinę logiką, vadovaudamasis Francisu Baconu, pasisakė už tokios filosofijos ir logikos formavimąsi, kuri tarnautų praktikai ir sustiprintų žmogaus viešpatavimą gamtoje. Pagrindinė Dekarto užduotis buvo sukurti mokslinį metodą. Jei Francis Baconas kaip metodą iškėlė indukciją, tai Rene Descartes'as, remdamasis matematinių įrodymų pozicija, pirmenybę teikė dedukcijai. René Descartes'o pasekėjai iš Port-Royal vienuolyno Antoine'as Arnault ir Peer Nicole parašė logikos vadovėlį, žinomą kaip Port-Royal logika. Vienas iš vadovėlio tikslų – išlaisvinti logiką nuo scholastinių iškraipymų, iš tikrųjų jie peržengė tradicinę logiką ir ypatingą dėmesį skyrė mokslo žinių metodologijai, atradimų logikai. Logika buvo laikoma pažinimo priemone. Tuo pačiu metu logikos reformavimą tęsė Gottfriedas Leibnicas, pasiūlęs proto skaičiavimo idėją, panašią į matematinį skaičiavimą, pagrįstą universalia logine kalba ir nuo natūralių kalbų skiriasi savo tikslumu ir nedviprasmiškumu. pareiškimus. Taigi Gotfrydas Leibnicas tapo matematinės (simbolinės) logikos kūrėju, pirmuoju, kuris simbolius panaudojo loginėms konstantoms žymėti. Simbolius loginiams kintamiesiems žymėti, kaip žinoma, įvedė Aristotelis. Ketvirtąjį pagrindinį logikos dėsnį – pakankamo proto (pagrindo) dėsnį – suformulavo Gottfriedas Leibnicas ir taip padėjo pagrindus formuotis dedukcinių teorijų principams, iš esmės apibrėžiantiems pagrindines matematinės logikos dalis – klasikinę teiginių logiką ir predikatą. logika yra šiuolaikinis dedukcinės logikos pagrindas. Tradicinę logiką pirmasis formaliąja pavadino vokiečių filosofas Immanuelis Kantas, formaliąja logika laikydamas grynųjų mąstymo formų mokslu, kurios niekaip nesusijusios su mąstymo turiniu ir nepriklausomos nuo jo, logines mąstymo formas ir dėsnius deklaravo a priori (duota prieš bet kokią patirtį) žmogaus proto formos, pateiktos paruošta forma. Dialektinę logiką formuoja Georgas Hegelis. jį sėkmingai panaudojo Karlas Marksas.

XIX amžiaus antroje pusėje, o juo labiau XX amžiuje įvairiose mokslo srityse pasipylė atradimų lietus, transformavosi logika. Nemažai filosofų labai prisidėjo prie šiuolaikinės logikos kūrimo. Vienas iš matematinės logikos kūrėjų George'as Boole'as, savo tyrimus grindęs algebros ir logikos analogija, sukūrė atitinkamą loginį skaičiavimą, kuriame pritaikė matematikos dėsnius ir operacijas (klasių sudėjimas, daugyba ir kt.). Algebrinis-loginis metodas leido nustatyti naujus išvadų tipus, į kuriuos nebuvo atsižvelgta tradicinėje silogistikoje, ir detaliai išanalizuoti komutatyvumo, asociatyvumo ir pasiskirstymo dėsnius. Loginės sąveikų analizės kūrėjas Augustas de Morganas suformulavo pagrindinius teiginių logikos ir klasių logikos principus, o matematinės logikos dėsnius, vadinamus „de Morgano dėsniais“. Gottliebas Frege'as padėjo loginės semantikos pagrindus ir sukūrė formalizuotos aritmetikos sistemą, pagrįstą išplėstiniu predikatiniu skaičiavimu, kad pagrįstų idėją matematiką pakelti į logiką. Filosofas Charles-Sanders Peirce, semiotikos (bendrosios ženklų teorijos) pradininkas, klasifikavo ženklus: kulto ženklus, indeksus ir simbolius, suformulavo materialios implikacijos dėsnius, logikoje atrado kvantifikatorius. Filosofas Alfredas-Northas Whiteheadas, bendradarbiaudamas su Bertrand Russell, trijų tomų veikale „Matematikos principai“ plėtoja ir tobulina matematinės logikos principus. Platonas Poretskis pirmasis Rusijoje sukūrė ir dėstė matematinės logikos kursą, apibendrino ir plėtojo J. Boole'o, Wilmo Jevonso ir Emilio Schroederio pasiekimus logikos algebros srityje. Reikšmingas indėlis į šiuolaikinės logikos plėtrą: loginė semantika, aibių teorija, ypač Lvovo-Varšuvos mokyklos atstovai Konstantinas Twardowskis, Jakovas Lukaševičius, Stepanas Lesniewskis, Andrejus Tarskis ir kt. Tiesa, sovietmečiu formalioji logika kartais buvo ignoruojama ar net kritikuojama kaip metafizinis metodas, ir pradedant nuo XX amžiaus 40-ųjų antrosios pusės. Šiuolaikinė logika užima deramą vietą kaip akademinis dalykas aukštosiose mokyklose ir net vidurinėse mokyklose. Šiuolaikinė logika, ypač teiginių logika ir predikatų logika, kartais niekinamai vadinama logistika. Ir vis dėlto reikšmingą indėlį į šiuolaikinės logikos plėtrą įnešė mokslininkai: Jevgenijus Voišvilas, Vasilijus Asmusas, Dmitrijus Gorskis, Michailas Kondakovas, Ukrainos mokslininkai Miroslavas Popovičius, Stanislavas Pazynich, Stepanas Krymskis, Vasilijus Kremenas, Sergejus Vasiljevas, Anatolijus Konverskis, Vladimiras. Titovas, Michailas Trebinas ir kt.

Logika yra vienas seniausių mokslų. Daugelį amžių logika tyrinėjo mąstymo procesą, atskleisdama mąstymo pagrindus esančius modelius. Tačiau mąstymą tiria ne tik logika, bet ir daugybė kitų skirtingų žinių šakų. Mąstymo tyrimą smegenų pusrutulyje vykstančių procesų pažinimo požiūriu atlieka aukštesnės nervų veiklos fiziologija. Psichologijos dalykas yra įvairios psichinės veiklos formos, kurias suvokia žmonės. Neurofiziologija, lingvistika, informatika, semantika, semiotika, kibernetika ir daugelis kitų mokslo šakų taip pat tiria įvairius mąstymo aspektus. Kiekviena mokslo šaka mąstymą nagrinėja konkrečiu aspektu, o logika abstraktų mąstymą tiria kaip specifinį reiškinį savaime, o tai reiškia, kad mąstymas logikoje visų pirma laikomas žmogaus tikrovės pažinimo priemone. Taigi, logika nagrinėja formas, principus ir dėsnius, kuriais pasaulis atsispindi žmogaus mąstymo procese.

Logikos sąvoka gali būti aiškinama, pirma, kaip tam tikras taisyklių rinkinys, kuriam taikomas mąstymo procesas, atspindėdamas objektyvią tikrovę, ir, antra, kaip mokslas apie formas, taisykles, principus, dėsnius ir samprotavimo metodus. atliko. Taigi, logika yra teisingos minčių konstravimo dėsnių ir formų mokslas. Teorinėje ir praktinėje veikloje žmogus gali sėkmingai išspręsti tam tikras problemas tik tada, kai jos mąstymas, dalyvauja tam tikrų psichinės veiklos problemų samprotavime, teisingai. O kad mąstymas būtų teisingas, jis turi atitikti bent tam tikrus, būtinus reikalavimus: tikrumą, nuoseklumą, įrodymus. Tam tikras mąstymas yra tikslus, aiškus mąstymas, toks, kuris neleidžia abejoti ir sofistiškai prasimanyti, tai yra laisvas nuo sąmoningo ar nesąmoningo vienos minties pakeitimo kita (tezės pakeitimas) ir pan. Nuoseklus mąstymas – tai mąstymas, laisvas nuo vidinių. prieštaravimai, kurie naikina ryšius tarp minčių, kai ryšys yra būtinas bet kokio samprotavimo ar sprendimo tiesai ar klaidingumui nustatyti. Įrodymais grįstas mąstymas – tai mąstymas, kuris ne tik formuluoja tiesą, bet ir nurodo pagrindus, kuriais remiantis tiesa būtinai turi būti pripažinta tiesa, tai yra, rodo efektyvaus tikrojo žinojimo pasiekimo optimalumą ir logiką. Šiuo atveju vertingas ne tiek tiesos, kaip tokios, pripažinimas, kiek būtent ši nuoroda, tiesos pasiekimo technologija. Vienas svarbus logikos dėsnių, principų ir taisyklių bruožas, kurio įgyvendinimas būtinas kaip patikimas įrankių rinkinys, kad žmogaus mąstymas būtų apibrėžtas, nuoseklus ir parodomasis, t.y. teisingas slypi tame, kad jie gali būti formuluojami tik remiantis iš anksto nustatytomis teorinėmis tiesomis, t.y. logikos mokslas egzistuoja ne todėl, kad yra žinomos mąstymo taisyklės, o priešingai, mąstymo taisyklės egzistuoja tik todėl, kad jos yra reikšmingos pažinimui nepriklausomai nuo logikos mokslo, iš tikrųjų yra mąstymo formų, kurios yra nuolat, pasibaigusios; daugelį amžių, sėkmingai naudojo žmogus savo kasdieniame gyvenime. Būtent šios mąstymo formos yra logikos kaip mokslo tyrimo objektas.

Analogiškai, norėdami išsamiau išaiškinti nuomones apie logikos, kaip mokslo, dalyką, galime iliustruoti gramatikos veikimą. Yra žinoma, kad gramatika skrupulingai identifikuoja ir tiria visus realiai egzistuojančius dialektus, kalbos ir kalbos dėsnius, tačiau niekada nekelia tikslo sukurti kokių nors etninių kalbinių formų ypatybių. Panaši procedūra vyksta logikoje. Logika atranda ir vėliau išsamiai ištiria teisingo žmogaus mąstymo formas.

Norint teisingai mąstyti, būtina laikytis trijų atributinių sąlygų: tikrumo, nuoseklumo ir įrodymų. Būtent šie trys reikalavimai leidžia žmogaus mąstymui, kaip sakoma, būti logiškam. Tačiau teisingo samprotavimo reikalavimai yra pakankami ir nedominuoja mąstyme savaime kaip kažkokia demoniška jėga. Šie nepajudinami principai patys pirmiausia įgyja mąstymo normų ar dėsnių prasmę tik todėl, kad, nepaisant principų ir prieš juos suformulavus logikos mokslui, pagal žmogaus mąstymo prigimtį normos ir dėsniai vystosi sėkmingai ir unikaliai. būdu. Vadinasi, loginiu, teisingu mąstymu gali būti laikomas būtent toks mąstymas, kuris atitinka tris principus: tikrumo, nuoseklumo, įrodymų. Tai paaiškinama tuo, kad mąstymas, pretenduojantis būti logišku ir teisingu, visada atitinka tikrumo principą, o pats tikrumas gali būti realizuotas tik nuosekliai. Tačiau tikrumas ir mąstymo nuoseklumas negali būti be įrodymų. O pats įrodinėjimo procesas negali būti vykdomas be žmogaus mąstymo tikrumo ir nuoseklumo reikalavimų. Logikos dalykas – kultūra (technologija), teisingo mąstymo menas. Tačiau šis apibrėžimas taikomas praktinei logikai ir nesusijęs su imanentinėmis logikos, kaip teorinio mokslo, problemomis. Norint suformuluoti teorinę logikos dalyko esmę, būtina išsiaiškinti tokios pagrindinės sąvokos kaip loginė forma esmę.

LOGIKA

Šiuo metu logika yra šakotas ir daugialypis mokslas, kuriame yra šios pagrindinės dalys: samprotavimo teorija (dviejų versijų: dedukcinio samprotavimo teorija ir tikėtino samprotavimo teorija), metaloginė ir loginė metodologija. Visų šių sričių tyrimai dabartinėje logikos raidos stadijoje ch. O. ir pirmiausia atliekami loginės semiotikos rėmuose.

Pastarojoje kalbinės išraiškos laikomos objektais, esančiais vadinamojoje. ženklų situacija, apimanti trijų tipų objektus – patį kalbinį (ženklą), jo paskirtą objektą (ženklo reikšmę) ir ženklų interpretatorių. Atsižvelgiant į tai, kalba gali būti vykdoma trimis santykinai nepriklausomais požiūriais: kalbos loginės sintaksės, tai yra ženklo santykio su ženklu, tyrimas; kalbos loginės semantikos, t.y., ženklo santykio su objektu, kurį jis žymi, tyrimai; ir loginės pragmatikos, tai yra interpretatoriaus santykio su ženklu, studijos.

Loginėje sintaksėje kalba ir jos pagrindu sukurtos loginės teorijos tiriamos iš formalios (struktūrinės) pusės. Čia apibrėžiamos loginių teorijų kalbų abėcėlės, nustatomos įvairių sudėtingų kalbos konstrukcijų sudarymo iš abėcėlės ženklų taisyklės - terminai, formulės, išvados, teorijos ir kt. Kalbos posakių rinkinio sintaksinis padalijimas į funkcierius. atliekami argumentai, konstantos ir kintamieji, apibrėžiama raiškos loginės formos samprata, apibrėžiamos loginio subjekto ir loginio predikato sąvokos, konstruojamos įvairios loginės teorijos ir analizuojami veikimo jose metodai.

Loginėje semantikoje kalba ir logikos teorijos tiriamos iš jų turinio pusės; Kadangi KALBOS konstrukcijos ne tik ką nors žymi, bet ir aprašo (turi), loginėje semantikoje yra skiriama prasmės teorija ir prasmės teorija. Pirmasis susijęs su klausimu, kokius objektus žymi ženklai ir kaip tiksliai jie tai daro. Panašiai prasmės teorija sprendžia klausimą, kas yra kalbinių posakių semantinis turinys ir kaip jie šį turinį apibūdina.

Logikai kaip mokslui loginiai terminai yra ypač svarbūs, nes visą mūsų intelektualinio darbo su informacija procedūrinę pusę galiausiai lemia šių terminų reikšmė (prasmė). Loginiai terminai apima jungtis ir operatorius. Tarp pirmųjų išsiskiria predikatyviniai jungikliai „yra“ ir „ne“ bei teiginiai (loginiai jungikliai): jungtukai - „ir“ („a“, „bet“), „arba“ („arba“), „jei , tada“, frazės - „taip netiesa“, „jei ir tik tada“ („tada ir tik tada“, „būtina ir pakanka“) ir kt. Tarp antrųjų išskiriami formuojantys teiginiai - „visi“ („visi“, „bet koks“), „kai kurie“ („egzistuoja“, „bet koks“), „būtina“, „galbūt“, „atsitiktinai“ ir kt. ir pavadinimą formuojantys operatoriai - „objektų rinkinys, toks, kad“, „tas objektas, kuris“ ir kt.

Pagrindinė loginės semantikos samprata yra tiesos samprata. Logikoje ji turi būti kruopščiai analizuojama, nes be jos neįmanoma aiškiai interpretuoti loginės teorijos, taigi ir išsamiai išstudijuoti bei suprasti. Dabar akivaizdu, kad galingą šiuolaikinės logikos raidą daugiausia lėmė detali tiesos sampratos raida. Su tiesos samprata glaudžiai susijusi ir kita svarbi semantinė sąvoka – interpretacijos sąvoka, t.y., procedūra, kai kalbinėms išraiškoms per specialią interpretavimo funkciją priskiriamos reikšmės, susijusios su tam tikra objektų klase, vadinama samprotavimo visata. Galimas kalbos įgyvendinimas yra griežtai fiksuota pora , kur Ü - samprotavimas, o aš - interpretacinis, suteikiantis pavadinimus visatos elementams, i-lokalūs predikatoriai - sutvarkytų i-ok visatos elementų rinkiniai, l-lokaliniai subjekto funkcionoriai - i-lokalinės funkcijos, atvaizduojančios i-ki elementus visatos į elementus visata. Su formulėmis susijusioms išraiškoms priskiriamos dvi reikšmės – „teisinga“ arba „klaidinga“ pagal jų teisingumo sąlygas.

Ta pati sakinių klasė gali būti siejama su skirtingais galimais įgyvendinimais. Tos realizacijos, kuriose kiekvienas , įtrauktas į sakinių aibę G, įgyja reikšmę „true“, vadinamos G modeliu. Modelio samprata ypač nagrinėjama specialioje semantinėje teorijoje – modelio teorijoje. Tuo pačiu metu išskiriami įvairių tipų modeliai – algebriniai, aibių teoriniai, žaidimo teoriniai, tikimybių teoriniai ir kt.

Aiškinimo sąvoka logikai turi didžiausią reikšmę, nes per ją apibrėžiamos dvi pagrindinės šio mokslo sąvokos - loginio dėsnio (žr. Loginis dėsnis) ir loginės implikacijos (žr. Loginė pasekmė) sąvokos.

Loginė semantika yra prasminga logikos dalis, o jos konceptualus aparatas plačiai naudojamas tam tikrų sintaksinių, grynai formalių konstrukcijų teoriniam pagrindimui. Taip yra todėl, kad bendras minties turinys skirstomas į loginį (išreikštą loginiais terminais) ir (išreikštą aprašomaisiais terminais), todėl išryškindami loginę išraiškų formą, mes, paprastai tariant, neatsiribojame nuo turinys. Toks išsiblaškymas, t. y. formalios minčių pusės svarstymas, yra tik būdas gryna forma išskirti jų loginį turinį, kuris tiriamas logika. Dėl šios aplinkybės Kanto kilusi logika yra nepriimtina kaip grynai formali disciplina. Priešingai, logika yra giliai prasmingas mokslas, kuriame kiekviena loginė procedūra įgyja teorinį pagrindimą per esminius svarstymus. Šiuo atžvilgiu „formalioji logika“, taikoma šiuolaikinei logikai, yra netiksli. Tikra to žodžio prasme galima kalbėti tik apie formalųjį tyrimo aspektą, bet ne apie formaliąją logiką kaip tokią.

Svarstant tam tikras logines problemas, daugeliu atvejų reikia atsižvelgti ir į lingvistines išraiškas vartojančio vertėjo ketinimus. Pavyzdžiui, tokios loginės teorijos kaip argumentacijos, ginčo, diskusijos teorijos svarstymas neįmanomas neatsižvelgiant į diskusijos dalyvių tikslus ir ketinimus. Daugeliu atvejų čia naudojami polemikos metodai priklauso nuo vienos iš besiginčijančių pusių noro pastatyti savo oponentą į nepatogią padėtį, supainioti jį ir primesti jam konkrečią aptariamąją problemą. Visų šių klausimų svarstymas sudaro specialaus požiūrio į kalbos analizę – „loginės pragmatikos“ – turinį. Svarbiausia logikos šaka yra dedukcinio samprotavimo teorija. Šiuo metu šis skyrius savo aparatinėje (sintaksinėje, formaliojoje) dalyje pateikiamas įvairių dedukcinių teorijų – skaičiavimų – forma. Tokio aparato konstrukcija turi dvejopą prasmę: pirma, teorinę, nes leidžia nustatyti tam tikrus logikos dėsnius ir teisingo samprotavimo formas, kuriais remiantis visi kiti galimi dėsniai ir teisingo samprotavimo formos tam tikroje loginėje teorijoje. gali būti pagrįstas; antra, grynai praktinis (pragmatinis), nes sukurtas aparatas gali būti ir yra naudojamas šiuolaikinėje mokslo žinių praktikoje tiksliam konkrečių teorijų konstravimui, taip pat filosofinių ir bendrųjų mokslo sampratų, pažinimo metodų ir kt. .

Priklausomai nuo teiginių analizės gylio, skiriami teiginių skaičiavimai (žr. Teiginių logika) ir kvantifikatorių teorijos – predikatiniai skaičiavimai (žr. Predikatų logika). Pirmajame samprotavimo analizė atliekama identifikuojant paprastus sakinius. Kitaip tariant, teiginių skaičiavimuose mūsų nedomina paprastų sakinių vidinė struktūra. Predikatiniuose skaičiavimuose samprotavimo analizė atliekama atsižvelgiant į vidinę paprastų sakinių sandarą.

Atsižvelgiant į kiekybinių kintamųjų tipus, išskiriami skirtingos eilės predikatiniai skaičiavimai. Taigi pirmosios eilės predikatiniuose skaičiavimuose vieninteliai kiekybiniai kintamieji yra atskiri kintamieji. Antrosios eilės predikatiniuose skaičiavimuose įvedami ir pradedami kiekybiškai vertinti skirtingų vietovių savybių, santykių ir objektyvių funkcijų kintamieji. Atitinkamai konstruojami trečios ir aukštesnės eilės predikatiniai skaičiavimai.

Kitas svarbus loginių teorijų skirstymas yra susijęs su kalbų su skirtingais kategoriniais tinkleliais vartojimu loginėms žinioms reprezentuoti. Šiuo atžvilgiu galime kalbėti apie teorijas, sukurtas Frege-Russell tipo kalbomis (daugybė predikatinio skaičiavimo variantų), silogistines (įvairios silogistikos, taip pat Lesniewskio, kuri yra šiuolaikinė vienaskaitos silogistikos forma) arba algebrinėmis ( įvairios logikos ir klasių algebros - Būlio algebra, Zhegalkln algebra, de Morgan algebra, Hao Wang algebra ir kt.). Daugeliui teorijų, sukurtų kalbomis su skirtingais kategoriniais tinkleliais, parodytas jų abipusis verčiamumas. Pastaruoju metu loginiuose tyrimuose pradėta aktyviai naudoti kategorijų teorinė kalba, paremta nauju matematiniu aparatu – kategorijų teorija.

Atsižvelgiant į loginėse teorijose naudojamą išvadų ir įrodymų konstravimo metodą (žr. Loginė išvada), pastarieji skirstomi į aksiominius skaičiavimus, natūraliosios dedukcijos skaičiavimus ir nuoseklius skaičiavimus (žr. Sekos skaičiavimas). Aksiomatinėse sistemose dedukcijos principus pateikia aksiomų sąrašas ir išvadų taisyklės, leidžiančios pereiti nuo kai kurių įrodytų teiginių (teoremų) prie kitų įrodytų teiginių. Natūralios (natūralios) išvados sistemose dedukcijos principus pateikia taisyklių sąrašas, leidžiantis pereiti nuo kai kurių hipotetiškai priimtų teiginių prie kitų teiginių. Galiausiai nuosekliuose skaičiavimuose dedukcijos principus nurodo taisyklės, leidžiančios pereiti nuo vienų teiginių apie išvedimą (jie vadinami sekvenciniais) prie kitų teiginių apie išvedimą.

Vienų ar kitų skaičiavimų konstravimas logikoje sudaro formalią loginio tyrimo kryptį, kurią visada pageidautina papildyti esminiais samprotavimais, t. y. atitinkamos semantikos (interpretacijos) konstravimu. Daugeliui loginių skaičiavimų tokia semantika egzistuoja. Juos vaizduoja įvairių tipų semantika. Tai gali būti tiesos lentelės, vadinamosios. analitinės lentelės, Beta lentelės (žr. Semantinės lentelės), įvairios algebros rūšys, galimi semantikos pasauliai, būsenų aprašymai ir kt. Priešingai, tuo atveju, kai loginė sistema iš pradžių konstruojama semantiškai, kyla klausimas, kaip formalizuoti atitinkamą logika, pavyzdžiui, aksiomatinės sistemos pavidalu.

Atsižvelgiant į teiginių pobūdį ir galiausiai nuo dalykų santykių tipų, kurie tiriami logikoje, loginės teorijos skirstomos į klasikines ir neklasikines. Tokio skirstymo pagrindas yra tam tikrų abstrakcijų ir idėjų perėmimas kuriant atitinkamą logiką. Pavyzdžiui, klasikinėje logikoje naudojamos šios abstrakcijos ir idealizavimas: a) dviprasmiškumo principas, pagal kurį kiekvienas teiginys yra teisingas arba klaidingas, b) ekstensyvumo principas, t. y. leidimas posakiams, turintiems tą pačią reikšmę.

supratimas, laisvas jų pakeitimas bet kokiame kontekste, o tai rodo, kad klasikinėje logikoje juos domina tik posakių reikšmė, o ne jų reikšmė, c) faktinė begalybė, leidžianti samprotauti apie iš esmės nekonstruktyvius objektus, d) egzistencialumo principas, pagal kurį samprotavimo visata turi būti netuščia aibė, o kiekviena nuosavybė turi turėti referentą visatoje.

Šios abstrakcijos ir idealizavimas sudaro požiūrio tašką, kampą, iš kurio matome ir vertiname tikslą. Tačiau joks abstrakcijų ir idealizacijų rinkinys negali to visiškai aprėpti. Pastaroji visada pasirodo turtingesnė, lankstesnė nei mūsų teorinės konstrukcijos, todėl laisvas pirminių Principų variavimas yra pateisinamas. Šiuo atžvilgiu visiškas ar dalinis kurio nors iš šių principų atmetimas perkelia mus į neklasikinės logikos sritį. Tarp pastarųjų yra: daugiareikšmės logikos, ypač tikimybinės ir neaiškios, kuriose atsisakoma dvigubo vertės principo; intuityvistinės ir konstruktyviosios logikos, kurios tiria samprotavimą potencialių galimybių abstrakcijoje; modalinė logika (aletinė, laikinė, deontinė, episteminė, aksiologinė ir kt.), aktuali logika, parakonsistentinė logika, klausimų logika, kuri svarsto teiginius su neišplėtimais (intencionalinėmis) loginėmis konstantomis; logikos, laisvos nuo egzistencinių prielaidų, kuriose atsisakoma egzistenciškumo principų, ir daugelis kitų.

Tai, kas išdėstyta aukščiau, rodo, kad logika kaip mokslas, duodantis teorinius mąstymo dėsnius, nėra kažkas kartą ir visiems laikams. Priešingai, kiekvieną kartą pereinant prie naujos objektų srities, kuriai reikia priimti naujas abstrakcijas ir idealizacijas, atsižvelgiant į naujus veiksnius, turinčius įtakos samprotavimo procesui, ši teorija keičiasi. Tai. Logika yra besivystantis mokslas. Tačiau tai, kas pasakyta, parodo ir kai ką daugiau, būtent, kad tam tikros mąstymo dėsnių teorijos logikos sudėtis yra tiesiogiai susijusi su tam tikrų ontologinių prielaidų priėmimu. Šiuo požiūriu logika yra ne tik mąstymo, bet ir būties teorija (ontologijos teorija).

Svarbi šiuolaikinės logikos dalis yra. Pastarasis nagrinėja įvairias problemas, susijusias su logikos teorijomis. Pagrindiniai klausimai čia yra apie savybes, kurias turi loginės teorijos: nuoseklumą, išsamumą, sprendimo procedūrų buvimą, pradinių dedukcinių principų nepriklausomumą, taip pat įvairius teorijų ryšius ir kt. Šia prasme metalogika yra tarsi logikos savirefleksija dėl jos konstrukcijų. Visi metateoriniai tyrimai atliekami specialia metakalba, kurioje vartojama įprasta natūrali kalba, praturtinta specialia terminija ir metateorinėmis dedukcinėmis priemonėmis.

Loginė metodologija yra dar viena šiuolaikinės logikos šaka. Paprastai metodika skirstoma į bendrąją mokslinę, kurios ribose tiriamos kognityvinės technikos, naudojamos visose mokslo žinių srityse, taip pat atskirų mokslų metodologija: dedukcinių mokslų metodika, empirinių mokslų metodika, taip pat mokslo ir studijų metodologija. socialines ir humanitarines žinias. Visuose šiuose skyriuose loginė metodika įtraukta kaip specifinis tyrimo aspektas. Taigi bendrojoje metodikoje loginiai aspektai apima tokių pažinimo technikų kaip sąvokų kūrimas ir formulavimas, jų tipų nustatymas ir įvairūs veikimo su konceptualiais konstruktais būdai (skirstymas, klasifikavimas), terminų apibrėžimai ir kt.

Ypač didelė sėkmė pasiekta dedukcinių mokslų metodologijos srityje. Tai lėmė ir pačios logikos konstravimas dedukcinio aparato pavidalu, ir šio aparato panaudojimas tokiai dedukcinei disciplinai pagrįsti kaip. Visa tai pareikalavo žymiai naujų pažinimo metodų kūrimo ir naujų metodinių koncepcijų diegimo. Atliekant čia atliekamą darbą, buvo galima, pavyzdžiui, funkcijų sampratą apibendrinti taip, kad ji faktiškai perėjo į bendrųjų metodologinių, epistemologinių sąvokų kategoriją. Dabar turime galimybę atsižvelgti ne tik į skaitines, bet ir į bet kokio kito pobūdžio funkcijas, todėl funkcinė kalbos analizė tapo pagrindiniu kalbinių raiškų tyrimo metodu. Buvo galima su visu kruopštumu ir kruopštumu parengti tokius svarbius pažinimo metodus kaip žinių aksiomatizavimo ir formalizavimo metodas. Pirmą kartą pavyko aiškiai ir, svarbiausia, įvairiapusiškai apibrėžti teorinius-evidencinius (dedukcinius) pažinimo metodus, išplėtoti vienų terminų išreiškimo ir apibrėžiamumo teoriją per kitus kaip teorijų dalį ir įvairiai apibrėžti skaičiuojamosios funkcijos sąvoką.

Šiuo metu aktyviai plėtojamos empirinių mokslų metodologijos loginės problemos. Ši sritis apima hipotezių konstravimo ir tikrinimo (ypač hipotetinio-dedukcinio metodo) tyrimus, įvairių tipų tikėtinų samprotavimų (indukcija ir analogija) analizę ir matavimo teoriją. Čia buvo gauti įdomūs rezultatai apie ryšį tarp empirinio ir teorinio žinių lygių, paaiškinimo ir numatymo procedūrų bei operatyvinių apibrėžimų. Kuriami įvairūs empirinių teorijų modeliai, siekiant išsiaiškinti jų loginę struktūrą.

Bendrieji metodologiniai ir loginiai principai apima tuos žinių dėsnius ir principus, kurie tiriami dialektinės logikos rėmuose. Daugeliu atvejų jie veikia kaip įspėjamieji ženklai apie tai, kokių netikėtumų galime susidurti pažinimo kelyje. Empirinių, taip pat socialinių ir humanitarinių žinių metodologijos srityje didelę reikšmę turi absoliuti ir santykinė tiesa; istorinių žinių srityje esminis tampa istorinio ir loginio sutapimo reikalavimas, kuris faktiškai reiškia įprastą žinių adekvatumo reikalavimą, perkeltą į istorinių disciplinų sferą. Pastaruoju metu bandoma kurti dedukcines sistemas, kuriose formalizuojami tam tikri dialektinės logikos bruožai.

Tūkstančius metų logika buvo privaloma mokyklinio ir universitetinio ugdymo disciplina, tai yra ji vykdė savo bendrą kultūrinę užduotį – mąstymo propedeutiką. Šiuolaikinė logika visiškai išlaikė šią didaktinę ir edukacinę funkciją. Tačiau pastaruoju metu sukurtas galingas šiuolaikinės logikos aparatas pavertė ją svarbia taikomąja disciplina. Šiuo atžvilgiu atkreipiame dėmesį į esminius dalykus

Suvestinė aforizmų enciklopedija