Logikos, kaip mokslo disciplinos, atsiradimo laikas. Kas yra logikos įkūrėjas? Kokie metodai naudojami formuojant sąvokas

Logika yra viena iš senovės mokslai. Ji pasirodė IVBC. Aristotelio raštuose: „Kategorijos“, „Apie interpretaciją“, pirmasis ir antrasis „Analitikai“, „Topeka“, „Apie sofistinius paneigimus“. Visus šiuos kūrinius Aristotelio pasekėjai sujungė „Organone“ (žinojimo įrankiai arba instrumentas). „Organone“ buvo klojami logikos kaip mokslo rėmai, suformuluotos pagrindinės logikos problemos (prielaidos atsirasti).

Pirmoji problema yra teisingo samprotavimo teorijos konstravimo problema, leidžianti iš tikrųjų teiginių padaryti teisingas išvadas.

Antrasis problemų ratas – loginės-semiotinės problemos. Tai viskas, kas susiję su kalbos, kaip pasaulio pažinimo ir minčių reiškimo, vartojimu. Taip pat tai yra problemos, susijusios su įvairių tipų teiginių tiesos ir klaidingumo reikšmių ir sąlygų nustatymu.

Trečioji problema yra loginė ir metodinė. Tai apima: tokių pažinimo procedūrų, kaip apibrėžimas, klasifikavimas, paaiškinimas, analogija ir kt., įgyvendinimo taisyklių kūrimą. Taip pat čia išspręsta žinių sistemų organizavimo problema. mokslines teorijas, pavyzdžiui.

Ketvirtoji problemų grupė yra metateorinė. Tai yra tokių savybių, kurios gali būti būdingos įvairioms loginėms teorijoms, svarstymas, pavyzdžiui, jų nuoseklumo, išsamumo ir kt.

Tai yra, logika buvo sukurta ginčyti bet kokius reiškinius, vykstančius pasaulyje. Logika yra mokslas, kuris seka samprotavimus. Būtent ji skirsto juos į tikrus ir netikrus. Logika skirta valdyti mūsų mąstymą.

Be viso to, kas paminėta, dar viena svarbi logikos kūrimo priežastis buvo sofistika.

Sofistai yra senovės Graikijos apmokami iškalbos mokytojai, to paties pavadinimo filosofinės krypties atstovai, paplitę Graikijoje 5-ojo amžiaus antroje pusėje - IV amžiaus prieš Kristų 1-oje pusėje. e. AT plačiąja prasme terminas „sofistas“ buvo skirtas sumaniam ar išmintingam žmogui apibūdinti.

Tačiau laikui bėgant termino „sofistas“ reikšmė pasikeitė. Dabar sofistai nesiekė siekti tiesos, o išsakė bet ką, absoliučiai bet kokią tezę už tiesą, pasitelkdami apeliacijas ir kalbos gudrybes. Tai yra, mokėdamas kalbą, sofistas gali pasiekti bet ką.

Logika savo ruožtu siekia adekvačios pasaulio pažinimo. Logikos pagalba gauname adekvačių, pagrįstų žinių apie pasaulį.

Taigi galima teigti, kad logika yra priešprieša sofistikai.

8. Mąstymo mokslo formavimosi ir raidos etapai.

Du mąstymo raidos etapai: ikimokslinis ir mokslinis

Mąstymas yra apibendrintas ir netiesioginis objektyvios tikrovės atspindys. Ji atranda, atskleidžia aplinkiniame pasaulyje tam tikras daiktų ir reiškinių klases, kurios vienaip ar kitaip susijusios. Mes dažnai to nepastebime, bet iš tikrųjų, kai sakome „vištiena“, „puodelis“, „medis“, „stalas“, turime omenyje „vištiena apskritai“ ir „stalas apskritai“, o tai leidžia mums priskirti dauguma įvairių formų ar dydžių objektų. Taigi mąstymas, būdamas pažinimo procesas, skiriasi nuo kitų tuo, kad vykdo objektyvios tikrovės apibendrinimą ir netiesioginį pažinimą, nors, žinoma, remiasi jusliniu pažinimu su aktyvia žmogaus sąveika su pažįstamu objektu. Aktyvi sąveika, objektų transformacija, įvairūs žmogaus veiksmai yra esminis mąstymo bruožas. Faktas yra tas, kad tik atliekant veiksmus su objektais, atsiskleidžia neatitikimai tarp jusliškai duoto, žinomo pojūčiais ir suvokimu, ir to, kas nepastebima, paslėpta. Šie reiškinio ir esmės neatitikimai sukelia žmogaus ieškojimą, protinę veiklą, kurios pasekoje pasiekiamos žinios, iš esmės naujo atradimas.

Tobulėja žmogaus mąstymas, tobulėja intelektiniai gebėjimai. Psichologai jau seniai priėjo prie šios išvados stebėdami ir praktiškai taikydami mąstymo ugdymo metodus. Praktiškai intelekto ugdymas tradiciškai vertinamas trimis kryptimis: filogenetine, ontogenetine ir eksperimentine. Filogenetinis aspektas apima tyrimą, kaip žmonijos istorijoje vystėsi ir tobulėjo žmogaus mąstymas. Ontogenetika apima mąstymo vystymosi proceso ir etapų paskirstymo tyrimą per visą vieno žmogaus gyvenimą, nuo gimimo iki senatvės. Eksperimentinis požiūris sprendžiant tą pačią problemą yra orientuotas į mąstymo raidos specialiomis, dirbtinai sukurtomis (eksperimentinėmis) sąlygomis, skirtomis jam tobulinti, analizę. Vienas žymiausių mūsų laikų psichologų šveicarų mokslininkas J. Piaget pasiūlė intelekto raidos vaikystėje teoriją, kuri turėjo didelės įtakos šiuolaikiniam jo raidos supratimui. Teoriškai jis laikėsi idėjos apie praktinę, aktyvią pagrindinių intelektinių operacijų kilmę. J. Piaget pasiūlyta vaiko mąstymo raidos teorija buvo pavadinta „operacine“ (nuo žodžio „operacija“). Operacija, pasak Piaget, yra „vidinis veiksmas, išorinio objektyvaus veiksmo transformacijos („interiorizacijos“) produktas, suderintas su kitais veiksmais. viena sistema, kurios pagrindinė savybė yra grįžtamumas (kiekvienai operacijai yra simetriška ir priešinga operacija)"

Ugdydamas vaikų operatyvinį intelektą, J. Piaget išskyrė keturias stadijas: 1. Sensomotorinio intelekto stadija, apimanti vaiko gyvenimo laikotarpį nuo gimimo iki maždaug dvejų metų. Jai būdingas gebėjimo suvokti ir pažinti vaiką supančius objektus jų gana stabiliomis savybėmis ir ypatybėmis ugdymas. 2. Operatyvaus mąstymo stadija, įskaitant jo raidą nuo dvejų iki septynerių metų. Šiame etape vaikas vysto kalbą, prasideda aktyvus išorinių veiksmų su daiktais interiorizavimo procesas, formuojasi vaizdiniai vaizdai. 3. Konkrečių operacijų su objektais etapas. Tai būdinga 7–8–11–12 metų vaikams. Čia psichinės operacijos tampa grįžtamos. 4. Formalių operacijų etapas. Savo raidoje jį pasiekia vidutinio amžiaus vaikai: nuo 11-12 iki 14-15 metų. Šiam etapui būdingas vaiko gebėjimas atlikti protines operacijas naudojant loginį samprotavimą ir sąvokas. Vidinės psichinės operacijos šiame etape transformuojamos į struktūriškai organizuotą visumą.

Tirdami senųjų žinių sričių raidą, galime išskirti tris jų raidos etapus:

ikimokslinis etapas, kai mąstydami žmonės vartojo idėjas ir vadino jas įprastais žodžiais;

protomokslinė stadija (ankstyvoji, primityvioji-mokslinė), veikianti specialiomis idėjomis, kurių pavadinimai yra prototerminai, ir faktiškai; mokslinis operavimo sąvokomis ir terminais etapas.

Mąstymo tipai. Mąstymas atskiromis apraiškomis gali parodyti nuostabią įvairovę. Taigi kokybiškai skiriasi suaugusio ir vaiko, buhalterio ir staliaus, sveiko ir sergančio žmogaus mąstymas. Netgi to paties žmogaus mąstymas gali skirtis sprendžiant skirtingas problemas skirtingomis sąlygomis. Taigi galime kalbėti apie mąstymo tipus. Apsigyvenkime ties kai kuriais iš jų, atkreipdami dėmesį į jų pasirinkimo kriterijus.

Anksčiau nei kiti atsirado genetinė klasifikacija, pagal kurią išskiriami trys mąstymo išsivystymo lygiai. Tuo pačiu ankstyviausias ir paprasčiausias mąstymo tipas yra vizualinis-efektyvus vaiko mąstymas, kuris yra<<в плену» у ситуации и действия, т.е. не способное осуществляться без опоры на «созерцание» ситуации и возможности действовать в ней.

Tobulėjant, mąstymas pamažu išlaisvinamas, „emancipuojamas“ iš realios konkrečios situacijos nelaisvės. Užuot operavęs su objektais, mąstymas pradeda veikti su jų vaizdais. Taip atsiranda vaizdinis-vaizdinis mąstymas su jam būdingomis savybėmis, pavyzdžiui, vaizduotėje realizuojamų situacijų grįžtamumu. Taip pat yra galimybė atlikti psichines operacijas, kurios realiai neįmanomos. Pavyzdžiui, galimybė atskirti savybę nuo objekto, kuri fiksuojama kalboje.

Tolesnio tobulėjimo metu mąstymas atsisako operuoti su objektais kaip visuma ir pereina prie protinio savybių, kurios yra svarbios kiekvienu konkrečiu atveju, valdymas. Mąstymo naudojamas subjektinis-simbolinis kodas tampa simboliniu, o dažnai žodiniu-simboliniu. Taigi atsiranda verbalinis-loginis arba verbalinis-simbolinis mąstymas. Kaip matome, pirmasis šių mąstymo tipų atskyrimo kriterijus yra sava mąstymo raidos logika, vis reikšmingesnis jo išsivadavimas nuo daugybės specifinių objektyvaus pasaulio elementų tikrojo veikimo detalių.

Žinoma, vystantis mąstymui, neišnyksta ir pats gebėjimas veikti ieškant sprendimo su pačiais objektais ar jų vaizdais, nors šios operacijos pobūdis keičiasi keičiantis naujų mąstymo tipų įtakai. . Taigi mąstymą galima skirstyti į tipus priklausomai nuo to, su kuo mąstymas operuoja: simboliais, vaizdais ar veiksmais. Pagal tą patį kriterijų išskiriamas verbalinis ir vaizdinis, konkretus ir abstraktus mąstymas.

Taip pat yra mąstymo skirstymas į tipus, priklausomai nuo šio mąstymo krypties – teorinį ir praktinį. Dėmesys tikrovės reiškinių aiškinimui veda prie teorinio mąstymo atsiradimo, o dėmesys tikrovės transformavimui – praktiniam. Taigi, apibrėžtas praktinis mąstymas – tai žinios, parengiančios kokio nors objekto transformaciją, žinios, suteikiančios subjektui galimybę transformuoti, keisti objektą, t.y. numatantys adekvačius subjekto veiksmus daiktui perkelti iš vienos būsenos į kitą.

Mąstymo procesas apima ir hipotezės, naujos idėjos ar įvaizdžio sukūrimą, ir šios pradžios kritinį įvertinimą, patikrinimą, ar ji atitinka tikrovę. Įprastame, realistiniame mąstyme šie komponentai yra tarpusavyje susiję ir subalansuoti. Kai kuriais ypatingais atvejais trūksta kritinio komponento arba jis susilpnėja, tada atsiranda autistinis mąstymas. Jis gali būti įvairių formų, priklausomai nuo to, kaip ir kodėl sumažėja svarbiausio komponento vaidmuo. Tai gali būti dėl žinių apie pasaulį stokos arba neprieinamumo, kaip vaikiškame ar mitologiniame mąstyme; sutelkiant mąstymą ne į žinias, o į kažkokių vidinių norų patenkinimą; galiausiai, tiesiog su šio mechanizmo neveikiamu, kaip nutinka sapne mąstant.

Mąstymo skirstymas į produktyvų, kūrybinį ir reprodukcinį prieštarauja pačiam mąstymo, kaip sąmoningai produktyvaus proceso, kaip „iš esmės naujo ieškojimo ir atradimo“ apibrėžimui. Tačiau toks padalijimas yra pateisinamas, nes mąstymo procese gali būti didesniu ar mažesniu mastu reprodukciniai komponentai.

Pagal pažinimo procesų eigos pobūdį skirstomas intuityvusis ir analitinis mąstymas. Pirmoji daroma tiesiogiai, kaip atviro principo ar dėsnio „aiški vizija“, antroji – loginėmis išvadomis, palaipsniui prie jos vedant.

Kalbėdami apie autistinį, praktinį, vizualinį mąstymą ir pan., turime prisiminti, kad mąstymas yra vienas ir mes kalbame tik apie skirtingus šio vieno proceso tipus ir formas.

Vaiko mąstymui mokyklos pradžioje būdingas egocentrizmas, ypatinga psichinė padėtis dėl žinių, reikalingų teisingai išspręsti tam tikras problemines situacijas, stokos. Taigi pats vaikas savo asmeninėje patirtyje neatranda žinių apie tokių daiktų savybių kaip ilgis, tūris, svoris ir kt. išsaugojimą. Sisteminių žinių trūkumas, nepakankamas sąvokų išvystymas lemia tai, kad dominuoja suvokimo logika. vaiko mąstyme. Pavyzdžiui, vaikui sunku įvertinti tą patį vandens, smėlio, plastilino ir pan. kaip lygūs (tokie patys), kai jų konfigūracija keičiasi atsižvelgiant į indo formą, kurioje jie yra prieš akis. Vaikas tampa priklausomas nuo to, ką mato kiekvieną naują objektų keitimo momentą. Tačiau pradinėse klasėse vaikas jau gali mintyse lyginti atskirus faktus, sujungti juos į vientisą paveikslą ir net suformuoti sau abstrakčias žinias, nutolusias nuo tiesioginių šaltinių.

J. Piaget nustatė, kad 6-7 metų vaiko mąstymui būdingas „centravimas“ arba daiktų pasaulio ir jų savybių suvokimas iš vienintelės vaikui įmanomos pozicijos. Vaikui sunku įsivaizduoti, kad jo pasaulio matymas nesutampa su tuo, kaip šį pasaulį suvokia kiti žmonės. Taigi, jei paprašysite vaiko pažvelgti į maketą, kuriame pavaizduoti trys skirtingo aukščio kalnai, kurie vienas kitą užgožia, o tada pasiūlysite surasti paveikslėlį, kuriame kalnai būtų rodomi taip, kaip juos mato vaikas, tada jis lengvai susidoros su šia užduotimi. Bet jei vaiko prašote pasirinkti paveikslėlį, kuriame vaizduojami kalnai, kaip juos mato žmogus, žiūrintis iš priešingo taško, tada vaikas pasirenka paveikslėlį, atspindintį jo paties viziją. Šiame amžiuje vaikui sunku įsivaizduoti, kad gali būti kitoks požiūris, kad galima pamatyti įvairiai.

Perėjimas prie sisteminio ugdymo mokykloje, į vystomąjį ugdymą keičia vaiko orientaciją į jį supančius tikrovės reiškinius. Priešmokslinėje mąstymo raidos stadijoje vaikas pokyčius vertina iš egocentriškos pozicijos, tačiau perėjimas prie naujų problemų sprendimo būdų įsisavinimo keičia vaiko sąmonę, jo poziciją vertinant objektus ir jam vykstančius pokyčius. Plėtojamas ugdymas skatina vaiką įsisavinti mokslinį pasaulio vaizdą, jis pradeda orientuotis į socialiai išvystytus kriterijus.

Žmogus suprato praktinio mąstymo (sąmonės) netobulumą, todėl kryptingai ėjo jo šlifavimo ir virsmo patikimu įrankiu supančios gamtos vystymo ir transformacijos keliu. Ir pirmasis žingsnis, kurį jis žengė šia kryptimi, buvo žingsnis link specialių įrankių kūrimo, kad įprastos praktinės žinios būtų specializuotos. Tai tapo įmanoma tik tam tikros dvasinės (filosofinės) veiklos rėmuose, kurios specializacija buvo gamtos ir žmogaus pažinimas. Filosofinis supančios tikrovės supratimas žmogui turėjo didelę reikšmę jo, kaip racionalios būtybės, tvirtinimo klausimu. Tačiau filosofinis daiktų ir reiškinių tyrimas dėl savo dalyko ir pažinimo objekto specifikos negalėjo duoti objektyviai teisingų žinių apie juos. Atsiradus tokių žinių poreikiui ne tik tinkama intelektualine, bet ir praktine prasme, nuo filosofijos pradėjo atsiskirti santykinai savarankiška pažinimo sfera, kurioje buvo vykdomas objektyvus tikrovės tyrimas ir jos modelių paieška. atsiradimas ir plėtra naudojant specializuotas priemones ir metodus. Atsiradus mokslui, žinios pradėjo įgyti tiesos vertę, o tiesa tapo moksliška, nes buvo pagrindžiama specializuotomis mokslo priemonėmis, o „šios mokslinės žinios skiriasi nuo kitų tiesos teigimo formų – pasitikėjimo, nuomonės ir kt.“. Kartu su šiuo procesu pradėjo formuotis mokslo ir ne mokslo žinių demarkacijos bruožai. Pagrįstos mokslo žinios pradėjo pasižymėti tam tikromis atributinėmis savybėmis – nuoseklumu, tiesa, intersubjektyvumu, įrodymais ir kt. Atsiradus mokslui kaip specifinei veiklai, orientuotai į objektyvių žinių gamybą ir atkūrimą, adekvačiai atspindinčią realių ryšių ir santykių esmę bei gilius objektų priežasties-pasekmės ryšius, formuojasi atitinkamas mąstymo tipas – mokslinis mąstymas. Mokslo žinios vykdomos remiantis tiksliais nustatymo, atrankos, apibendrinimo ir organizavimo metodais. Vadinasi, mokslinis mąstymas yra sudėtingo pažinimo proceso, apimančio tyrimo objekto ir dalyko parinkimą, daugelio skirtingų loginių technikų ir metodų bei specialios kalbos panaudojimą, produktas. Mokslinėse žiniose psichikos veiksmai yra skirti tirti giliąją realaus pasaulio esmę, jo daiktų ir procesų ryšius ir ryšius, egzistavimo ir vystymosi dėsnius. Atliekant sudėtingas psichines operacijas, yra žinomas besiformuojantis ir besikeičiantis pasaulis. Mąstymas leidžia paaiškinti ne tik esamą, bet ir numatyti ateitį, operuoti su potencialiai įmanomu, o jo formuojamos žinios atspindi objektyvius dėsnius ir šablonus.

Mokslas ir mokslinis mąstymas yra glaudžiai tarpusavyje susiję, bet ne tapatūs. Mokslas kaip visuma yra baigtas procesas, protinės veiklos rezultatas. Šiuo atžvilgiu mokslas veikia kaip nusistovėjusi sistema, kurios turinys apima mąstymo veiklos produktus – aksiomas, postulatus, principus, empirinius faktus ir modelius, hipotezes ir teorinius dėsnius, konceptualias ir kategorines struktūras bei metodus. Mokslinis mąstymas yra tam tikras šios sistemos turinio kūrimo būdas. Mokslo raida neatsiejama nuo mokslinio mąstymo raidos. Kognityvinėje veikloje jie veikia kaip forma ir turinys, taigi sudaro priešybių, neatsiejamai tarpusavyje susijusių ir viena kitą papildančių, vienybę. Jų dialektinė vienybė grindžiama prieštaravimu tarp esamų turimų žinių, viena vertus, ir protinės veiklos, susijusios su naujų žinių, neatitinkančių nusistovėjusių mokslo idėjų, paieška ir gamyba, kita vertus. Turinys yra sklandesnis ir aktyvesnis nei forma. Jis linkęs nuolat tobulėti ir tobulinti. Nenugalimas noras įsiskverbti į esminį tiriamos tikrovės pagrindą yra turinio, taigi ir mokslinio mąstymo, savybė. Forma siekia stabilumo ir stabilumo, ilgalaikio kokybinio tikrumo išsaugojimo. Tai kupina prieštaravimų ir galiausiai gali lemti formos ir turinio vienovės panaikinimą. Tokios konfliktinės situacijos veda prie senosios formos – tai yra esamų žinių formų – kaip konservatyvių ir pasenusių atitikimo tikrovei paneigimo. Dialektinis formos neigimas siejamas su teigiamo, vertingo ir būtino naujai ryšių ir santykių sistemai formuotis išsaugojimu. Naujos sistemos formavimasis visada siejamas su psichinės veiklos suaktyvėjimu: vyksta idealių objektų, spekuliacinių konstrukcijų kūrimo procesas, teorinių sampratų kūrimas su naujų dėsnių išvedimu. Seno kaita ir naujo formavimasis yra nenutrūkstamas procesas, kuriam būdinga sąlyga progresyviam mokslo ir mąstymo vystymuisi.

Sąvoka „logika“ kilusi iš senovės graikų kalbos lpgykyu– „protavimo menas“ ir lgpt- „mintis“, „žodis“, „kalba“. Taigi labiausiai paplitęs logikos apibrėžimas: logika – teisingo mąstymo mokslas. Logika taip pat dažnai apibrėžiama kaip samprotavimo metodų ir įrodinėjimo bei paneigimo metodų mokslas. Paskutinis apibrėžimas turi rimtų priežasčių. Nepaisant to, kad logika yra atskiras filosofijos mokslas ir disciplina, ji yra labiau metodas nei atskiros žinios. Bent jau taip jį laikė įkūrėjas – senovės graikų filosofas Aristotelis (384–322 m. pr. Kr.).

Daugelis istorikų nedviprasmiškai nurodo, kad logika iš pradžių kyla iš vieno visapusiško nediferencijuoto mokslo – filosofijos – vidurių. Logikos istorikas Makovelsky A.O. įvardija pirmojo Antikos laikotarpio logiką ontologinis, visai teisingai atitinkamuose mokymuose pažymėdamas tiesos ieškojimą pačioje būtyje. Žinoma, kad tapatybės dėsnis Parmenide apibūdinamas kaip pats būties dėsnis, su kuriuo siejant paneigiama galimybė mąstyti apie besikeičiančius dalykus. Demokrito suformuluotas pakankamo proto dėsnis tiesiogiai sako, kad niekas pasaulyje nevyksta be priežasties ir be priežasties. Metafizinės Parmenido pažiūros su Heraklito dialektika vyko loginių šablonų ontologinės interpretacijos rėmuose. Loginėse Platono idėjose yra ir ontologinis pobūdis: juk objektyvus idealizmas pripažįsta patį mąstymą kaip tikrą tikrovę, paverstą absoliutu.

Tradiciškai manoma, kad logika atsirado kaip oratorijos instrumentas. Vadovėlyje Ivlev Yu.V. aprašo ginčus Indijoje. Šiems ginčams buvo pastatyta varžybų arena, renkami teisėjai, o ginčo metu nuolat dalyvaudavo karaliai, didikai ir žmonės; jie iš anksto, nepaisant karališkojo atlygio, nustatė, koks turėjo būti ginčo rezultatas.

Jei logikos atsiradimo priežastys suformuluotos trumpai, tai jų yra dvi: 1) mokslų atsiradimas ir raida; 2) oratorijos kilmė ir raida.

Pagrindiniai logikos raidos etapai

1 etapas. Loginio mokslo fragmentai atsirado savarankiškai senovės Indijoje, kur pirmieji logikai buvo Dattaria Punarvasa Atreya, moterys asketės Sulabhu ir Ashtvakra. Graikijos logika vėliau paplito Vakarų ir Rytų Europoje bei Viduriniuose Rytuose, o indiška logika – Kinijoje, Japonijoje, Tibete, Mongolijoje, Ceilone ir Indonezijoje. Antikos logika. „Logika kilo iš filosofijos krūtinės kaip oratorijos ir mokslo žinių instrumentas. Formalioji logika yra vienas seniausių mokslų. Senovės Graikijoje logiką plėtojo Herakleitas (554-483 m. pr. Kr.), Parmenidas (VI-V a. pr. Kr.), Zenonas iš Elėjos (apie 500/490 - apie 430 m. pr. m. e.), Demokritas (apie 460 m. apie 370 m. pr. Kr.), Sokratas (470/469 – 399 m. pr. Kr.), Platonas (428/27 – apie 348 m. pr. Kr.). Logikos mokslo pradininku laikomas didžiausias antikos mąstytojas, Platono mokinys Aristotelis (384-322 m. pr. Kr.). Pirmą kartą terminą „logika“, reiškiantį savarankišką mokslą, pradėjo vartoti stoikai (Zenonas, Chrysippas (apie 281–208 m. pr. Kr.)).

2 etapas. Viduramžių logika(V-XI a.). Logiką sukūrė arabiškai kalbantys mokslininkai Al-Farabi (apie 870-950) ir kiti, taip pat viduramžių Europos logikai. Viduramžių logika vadinama scholastine. Jos klestėjimo laikas priskiriamas XIV a. ir siejami su Williamo Ockhamo (apie 1294-1349/50), Walterio Burley (1273/75-1337/57), Alberto iš Saksonijos (apie 1316-1390) vardais. Viduramžių logikos teorinės paieškos buvo atliekamos bendrųjų sąvokų prigimties aiškinimo problema. Realistai tikėjo, kad bendrosios sąvokos egzistuoja tikrovėje, nepriklausomai nuo atskirų dalykų. Nominalistai priešingai, jie tikėjo, kad iš tikrųjų egzistuoja tik pavieniai objektai, o bendrosios sąvokos yra tik pavadinimai, jų vardai.

3 etapas. Renesanso logika(XV-XVII a.). Vyksta sparti mokslo raida. Tobulėja mokslo žinių metodika. Logikos vaidmuo mokslo žiniose auga. Anglas Francis Baconas (1561-1626) sukūrė pamatus indukcinis logika. Prancūzų filosofas Renė Dekartas (1569-1650) suformulavo keturias mokslinio tyrimo taisykles. Taip atgyja logikos vaidmuo pasaulio pažinime. 1662 m. buvo paskelbta logika, kurią parašė du dekartiečiai: Antoine'as Arnault ir Pierre'as Nicol, pavadinimu „Port-Royal logika“. Autoriai savo logikos sampratą iš dalies grindžia Dekarto, iš dalies Aristotelio pažiūromis, nors pastaroji permąstoma ir netgi kritikuojama. Šioje logikoje yra dvi pagrindinės loginės idėjos: 1) įrodyti, kad mąstymas turi būti teisingas, t.y. veikti pagal taisykles; 2) duoti taisykles ne tik samprotavimui, bet ir visiems proto veiksmams, ir sąvokoms, ir sprendimams, ir samprotavimui.

1620 metais Londone F. Baconas išleido „The New Organon“, kuriame buvo pateikti indukcinių metodų pagrindai, vėliau Johno Stuarto Millio (1806–1873) patobulinti ir pavadinti priežastinių ryšių tarp reiškinių nustatymo metodais (Bacon-Mill metodai).

4 etapas. Naujųjų laikų logika(XVII-XIX a.). Įvyko mokslinė logikos revoliucija. Tradicinę logiką pakeitė matematinė(simbolinis). Pastarasis remiasi vokiečių mokslininko G. Leibnizo (1636-1716) mintimis apie galimybę pateikti įrodymą kaip matematinį skaičiavimą. G. Hegelis (1770-1831) plėtojo problemas dialektinis logika. Rusų mokslininkai M. V. Lomonosovas (1711-1765), A. N. Radiščevas (1749-1802) sukūrė išvadų klasifikaciją pagal panašumą.

5 etapas. Modernumo logika(XIX-XXI a.). Vokiečių filosofų ir mokslininkų K. Markso (1818-1883) ir F. Engelso (1820-1895) darbuose vystosi dialektinė logika. Simbolinė logika plačiai naudojama matematikoje, fizikoje, biologijoje, kibernetikoje, ekonomikoje ir kalbotyroje. Dideli nuopelnai čia priklauso anglui J. Boole'ui (1815-1904), vokiečių mokslininkui G. Frege'ui (1848-1925), anglų filosofui B. Raselui (1872-1970), rusų mokslininkui Poretskiui (1846 - 1907 Bertranui). Russellas ir Alfredas Northas Whiteheadas (1861–1947) bendrame darbe „Matematikos principai“ (1910–1913) suformulavo klasikinę kalbą. teiginių logika ir klasikos kalba predikatinė logika. Šiuolaikinė logika naudoja būtent šį formalizavimą.

Siųsti savo gerą darbą žinių bazėje yra paprasta. Naudokite žemiau esančią formą

Studentai, magistrantai, jaunieji mokslininkai, kurie naudojasi žinių baze savo studijose ir darbe, bus jums labai dėkingi.

Publikuotas http://www.allbest.ru/

Testas

"Logikos" tema

1 kurso studentas

Klimova A.M.

Tema 1. Dalykas ir logikos žinios

logikos mokslo išvada

Kada atsirado logika kaip mokslas?

Kaip savarankiškas mokslas, logika išsivystė daugiau nei prieš 2 tūkstančius metų, XV amžiuje prieš Kristų. Jos įkūrėjas yra senovės graikų filosofas Aristotelis. Savo loginiuose darbuose: gavusiuose bendrinį pavadinimą „Organonas“ (gr. „įrankiai“, „įrankis“) Aristotelis suformulavo pagrindinius mąstymo dėsnius: tapatybes, prieštaravimus ir išstumtą vidurį, aprašė svarbiausias logines operacijas, sukūrė teoriją. ir sąvokas bei sprendimus. Aristotelio siologizmo doktrina sudarė vienos iš šiuolaikinės matematikos sričių – predikatų logikos – pagrindą.

Svarbiausias Aristotelio mokymo raidos etapas buvo logika senovės stoikai(Zenonas, Chrysipas ir kt.). Stoikų logika yra kitos matematinės logikos krypties – teiginio logikos – pagrindas. Tarp kitų senovės mąstytojų, plėtojusių Aristotelio mokymą, reikėtų paminėti galeonas, kurio pavadinimas suteiktas ketvirtajai kategorinio silogizmo figūrai; Portfirija, garsėja jo sukurta vizualine schema, atspindinčia sąvokų santykį („Portfiry medis“); Boethia, kurio raštai ilgą laiką tarnavo kaip pagrindinės loginės pagalbos priemonės.

Viduramžiais vystėsi ir logika, tačiau scholastika iškreipė Arithotel mokymą, pritaikydama jį religinėms dogmoms pateisinti.

Didelė pažanga šiuolaikiniame loginiame moksle. Svarbiausias vystymosi etapas buvo anglų filosofo F. Bacono sukurta indukcijos teorija. Jo nuomone, Aristotelio dedukcinė logika negali būti mokslinio atradimo metodas. Šis metodas turi būti indukcija, kurios principai išdėstyti jo veikale The New Organon. Bekonas sukūrė mokslinės indukcijos metodus, kuriuos vėliau susistemino anglų filosofas ir logikas J. S. Millemas.

Dedukcinė Aristotelio logika ir indukcinė Bacon-Mill logika sudarė bendros ugdymo disciplinos, kuri buvo nepakeičiamas šių laikų Europos švietimo sistemos elementas, pagrindą. Ši logika vadinama formalus.

Tolesnė logikos raida siejama su tokių iškilių Vakarų Europos mąstytojų, kaip R. Dekaras, G. Leibnicas, vardu.

R. Dekaras– suformulavo mokslinio tyrimo taisykles, išdėstytas esė „Proto vadovavimo taisyklė“. G. Leibnicas suformulavo pakankamo proto dėsnį.

Reikšmingi pasiekimai plėtojant rusų filosofų ir mokslininkų logiką: M.V. Lomonosovas, A.N. Radiščevas ir kt.Inovatyvių išvadų teorijos idėjų pristatė ir rusų logikai: M.I.Karinskis, A.V.Rutkovskis.

antroje pusėje XIX a Logikoje pradedami plačiai taikyti matematikoje sukurti tyrimo metodai.Ši kryptis plėtojama D. Boole'o, W. S. Jevonsano, P. S. Poretskio ir kitų matematikų bei logikų darbuose. Teorinė dedukcinio samprotavimo analizė skaičiavimo metodais naudojant formalizuotas kalbas vadinama matematine arba simboline logika.

Kodėl specialistui reikia mokytis logikos?

Logikos uždavinys – išmokyti žmogų sąmoningai taikyti mąstymo dėsnius bei formas ir tuo remiantis logiškiau mąstyti, taigi teisingiau pažinti supantį pasaulį.

Logikos vertė didina mąstymo kultūrą, ugdo gebėjimą mąstyti kompetentingiau; ugdo kritišką požiūrį į savo ir kitų žmonių mintis. Mąstyti logiškai reiškia, kad dialektinė logika nepakeičia ir negali pakeisti formalios logikos.

Formalioji logika tiria dėsnius, lemiančius loginį mąstymo teisingumą, be kurių neįmanoma prieiti prie tikrovę atitinkančių rezultatų, pažinti tiesą.

Mąstymas, neatitinkantis formaliosios logikos reikalavimų, nesugeba teisingai atspindėti tikrovės. Todėl mąstymo, jo dėsnių ir formų tyrimas turi prasidėti nuo formalios logikos.

Tema 2. Pagrindiniai loginiai dėsniai

Kaip vadinami pagrindiniai logikos dėsniai?

Tarp daugelio loginių logikos dėsnių yra keturi pagrindiniai, išreiškiantys pagrindinę loginio mąstymo savybę – jo tikrumą, nuoseklumą, nuoseklumą ir pagrįstumą. Šie įstatymai yra:

Tapatybės

Ne prieštaravimai

neįtrauktas trečias

Pakankama priežastis

Kaip formuluojami pagrindiniai logikos dėsniai? Koks jų simbolis?

Tapatybės dėsnis - kiekviena mintis samprotavimo procese turi būti tapati sau (a yra a arba a = a, kur a yra bet kokia mintis)

Tai išplaukia iš tapatybės dėsnio: Neįmanoma identifikuoti skirtingų minčių ir laikyti jas netapačiomis. Šio reikalavimo pažeidimas samprotavimo procese dažnai siejamas su kitokia tos pačios minties išraiška kalba. Skirtingų sąvokų identifikavimas yra loginė klaida – koncepcijos pakeitimas kuris gali būti nesąmoningas arba tyčinis.

Bet kuriuo atveju svarbu išsiaiškinti tikslią kaltinamojo ar liudytojų vartojamų sąvokų reikšmę ir šias sąvokas vartoti griežtai apibrėžta prasme. Priešingu atveju minties tema bus praleista ir, užuot išsiaiškinus reikalą, bus sumaišyta.

Neprieštaravimo dėsnis . Du nesuderinami sprendimainegali būti tiesa tuo pačiu metu; bent vienas iš jų turi būti klaidingas

Loginiam mąstymui būdingas nuoseklumas. Prieštaravimai griauna mintį, apsunkina pažinimo procesą.

Neprieštaravimo dėsnis išreiškia vieną iš pamatinių loginio mąstymo savybių – nuoseklumą, mąstymo nuoseklumą. Sąmoningas jo naudojimas padeda aptikti ir pašalinti prieštaravimus savo ir kitų samprotavimuose, ugdo kritišką požiūrį į visokius netikslumus, minčių ir veiksmų neatitikimus.

Teisė neįtrauktas trečias . Du prieštaraujantys teiginiai negali būti klaidingi vienu metu, vienas iš jų turi būti teisingas.

Visiems nesuderinamiems sprendimams taikomas neprieštaravimo įstatymas. Tai nustato, kad vienas iš jų turi būti klaidingas. Antrojo teiginio klausimas lieka atviras: jis gali būti tiesa, bet gali būti ir klaidingas.

Išskirtojo vidurio dėsnis išreiškia mąstymo nuoseklumą, nuoseklumą, neleidžia prieštaravimų mintyse. Tuo pačiu, veikdamas tik prieštaringų sprendimų atžvilgiu, jis nustato, kad du vienas kitam prieštaraujantys sprendimai negali būti ne tik teisingi, bet kartu ir klaidingi: jei vienas iš jų klaidingas, tai kitas turi būti teisingas, trečiasis neduodamas. Įstatymas nurodo tiesos paieškos kryptį.

Pakankamos priežasties įstatymas .Kiekviena mintis atpažįstamatiesajei tai turi rimtą priežastį. Taigi bet kuri kita, jau patikrinta ir nusistovėjusi mintis, iš kurios būtinai išplaukia šios minties tiesa, gali būti pakankamu pagrindu bet kuriai mintis.

Pakankamo proto dėsnis turi didelę teorinę ir praktinę reikšmę. Atkreipdamas dėmesį į sprendimus, pagrindžiančius pateiktų nuostatų teisingumą, šis įstatymas padeda atskirti teisingą nuo klaidingo ir padaryti teisingą išvadą.

Pakankamo pagrindo įstatymo reikšmę teisės praktikoje visų pirma sudaro tai. Bet kokia teismo ar tyrimo išvada turi būti pagrįsta. Priešingu atveju kaltinimas negali būti pripažintas teisingu. Motyvuoto nuosprendžio ar teismo sprendimo priėmimas visais be išimties atvejais yra svarbiausias proceso teisės principas.

Tema 3. Koncepcija. Loginės operossąvokų

Kokie metodai naudojami sąvokoms formuoti?

koncepcija - tai mąstymo forma, atspindinti objektus esminiais bruožais.

Norint suformuoti sampratą, būtina išryškinti esminius dalyko bruožus, naudojant daugybę loginių technikų: palyginimą, analizę, sintezę, abstrakciją, apibendrinimą. Šios technikos plačiai naudojamos pažinimo srityje.

Vadinamas loginis prietaisas, nustatantis objektų panašumą arba skirtumą palyginimas.

Protinis objekto padalijimas į dalis vadinamas analizė.

Psichinis vieno objekto bruožų pasirinkimas ir dėmesio atitraukimas nuo kitų požymių vadinamas abstrakcija.

Studijuojamų dalykų ypatumai galioja visiems panašiems dalykams, kuriuos atlieka apibendrinimai.

Taigi objektų panašumo (ar skirtumo) nustatymas (lyginimas), panašių objektų skaidymas į elementus (analizė), esminių požymių išryškinimas ir abstrahavimas nuo neesminių (abstrakcija), esminių požymių sujungimas (sintezė) ir jų išplėtimas į visus vienarūšius. objektus (apibendrinimas ), formuojame vieną iš pagrindinių mąstymo formų – sąvoką.

Kurios sąvokos vadinamos palyginamosiomis, o kurios – nelyginamomis?

palyginamas vadinamos sąvokomis, turinčiomis tam tikrų bruožų, leidžiančių šias sąvokas palyginti tarpusavyje. „Spauda“ ir „televizija“ yra palyginamos sąvokos, jos turi bendrų bruožų, apibūdinančių žiniasklaidą.

nepalyginamas vadinamos sąvokomis, kurios neturi bendrų bruožų, todėl šių sąvokų lyginti neįmanoma. Pavyzdžiui: „nusikaltimas“ ir „kosmosas“. Jie priklauso skirtingoms, labai atokioms tikrovės sritims ir neturi ženklų, kuriais remiantis būtų galima juos palyginti. Loginiuose santykiuose galima rasti tik panašias sąvokas.

4 tema.Suzpaneigti. Sprendimų modalumas

Kokie sprendimai vadinami išskyrimu ir atmetimu?

Ypatingą vietą sprendimų klasifikacijoje užima paryškinimas ir išskirtinis sprendimus .

Pabrėždami sprendimus - pašalinti netikrumą; išreiškia tai, kad predikatu išreikštas požymis priklauso (arba nepriklauso) tik vienam ir jokiam kitam objektui.

Skiriamieji sprendimai gali būti pavieniai, privatūs ir bendri.

„Tik Ziminas yra įvykio liudininkas“ (S ir tik S yra P) vienas diskriminuojantis pasiūlymas.

„Kai kurie miestai yra valstybių sostinės“ – pavyzdys privatūs išskyrimo sprendimai (kai kurieS, bet tikS, P esmė).

Konkrečių akcentuojančių sprendimų nereikėtų painioti su tam tikrais konkrečiais sprendimais. Jei tam tikrame konkrečiame sprendime nurodoma subjekto apimtis, tai konkrečiuose paryškinančiuose sprendimuose nurodoma predikato apimtis. Konkrečiame išskirtiniame vertinime ne tik subjekto, bet ir predikato santykis su subjektu yra apibrėžtas.

„Visi nusikaltimai ir tik nusikaltimai yra socialiai pavojingos įstatymo numatytos veikos“ – pavyzdys bendras akcentuojantis sprendimas (visiS, bet tikS, esmė P). Bendrojo išskiriančio sprendimo subjekto ir predikato apimtis visiškai sutampa.

Žodžiai „tik“, „tik“, kurie yra sakinių, išreiškiančių paryškinančius sprendimus, dalis, gali būti tiek prieš subjektą, tiek prieš tarinį. Bet jų gali iš viso nebūti. Tokiais atvejais loginė analizė padeda nustatyti, ar šis sprendimas yra atrankinis.

išskirtinis vadinamas nuosprendžiu, kuris atspindi priklausymą ar nepriklausymą, visų objektų, išskyrus kai kurias jų dalis, požymiu. Išskirtiniai sprendimai išreiškiami sakiniais žodžiais „išskyrus“; "su išimtimi"; "be to" ir kt. ( visiSsu išimtimiS, esmė P)

Diskriminuojančių išskirtinių sprendimų reikšmė slypi tame, kad šiais sprendimais išreikštoms nuostatoms būdingas tikslumas ir tikrumas, o tai neleidžia jų dviprasmiškai suprasti.

Koks yra sprendimų priėmimo būdas?

Sprendimas kaip mąstymo forma apima dviejų rūšių informaciją – pagrindinę ir papildomą. Pagrindinė informacija randa aiškią išraišką sprendimo subjekte ir predikate, loginiame junginyje ir kvantoriuose . Papildomas informacija nurodo loginio ar faktinio sprendimo statuso požymį, jo vertinamąsias ir kitas charakteristikas. Tokia informacija vadinama modalumas sprendimus. Jis gali būti išreikštas atskirais žodžiais arba neturėti aiškios išraiškos. Šiuo atveju ją atskleidžia konteksto analizė.

Modalumas - tai sprendime tiesiogiai arba netiesiogiai išreiškiama papildoma informacija apie jo pagrįstumo laipsnį, loginę ar faktinę būseną, apie jo reguliavimo, vertinamąsias ir kitas ypatybes.

Apskritai, bet kokio sprendimo modalumas (R) gali būti pavaizduotas naudojant operatorių M. pagal schemą Ponas, pavyzdžiui "reikalingas r". Modalinės nuosprendžio charakteristikos dažniausiai išreiškiamos porinėmis kategorijomis: būtinybė – atsitiktinumas, pareiga – draudžiama, įrodyta – paneigta. Viena iš šių savybių laikoma stipria - M kitas, apibrėžtas per pirmojo neigimą, laikomas silpnu - |M. Stipri savybė gali būti teigiama - Ponas arba neigiamas - M | r. Tai vienodai taikoma ir silpnoms savybėms.

Reikėtų nepamiršti, kad sprendimams taikomi modaliniai operatoriai nebūdingi R kaip nuosprendis, bet jame išreikšta informacija: loginis ryšys, kai kurių reiškinių įvertinimas, recepto pobūdis ir kiti prasmingi teiginio aspektai.

Tema 5. dedukcinis samprotavimas

Kas yra išvados? Kokia jo sudėtis?

Realybės pažinimo procese įgyjame naujų žinių. Kai kurie iš jų - tiesiogiai, dėl išorinio pasaulio objektų poveikio pojūčiams. Tačiau didžiąją dalį žinių gauname gaudami naujų žinių iš jau turimų žinių. Šios žinios vadinamos netiesioginis, arba išvestis.

Išvadinių žinių gavimo loginė forma yra išvada.

išvada - tai yrafapieRmama galvoju,kurio pagalba iš vieno ar kelių teiginių priimamas naujas sprendimas.

Bet kokia išvada susideda iš prielaidų, išvados ir išvados. Siuntiniai išvadomis vadinami pirminiai sprendimai, iš kurių priimamas naujas sprendimas. Išvada vadinamas nauju sprendimu, gautu loginiu būdu iš patalpų. Vadinamas loginis perėjimas nuo premisų prie išvados išvada.

Loginės pasekmės santykis tarp premisų ir išvados reiškia premisų ryšį turinio prasme. Jeigu sprendimai nesusiję turiniu, tai iš jų išvada negalima.

Jei tarp prielaidų yra prasmingas ryšys, samprotavimo procese galime gauti naujų tikrų žinių, laikantis dviejų sąlygų: pirma, pirminis sprendimas – išvados prielaidos turi būti teisingos; antra, samprotavimo procese reikėtų vadovautis išvados taisyklėmis, kurios lemia loginį išvados teisingumą.

Kokie yra išvadų tipai?

Išvados skirstomos į šiuos tipus.

1. Priklausomai nuo išvedimo taisyklių griežtumo, išskiriamos parodomosios (būtinosios) ir nedemonstracinės (tikėtinos) išvados. Demonstratyviniam samprotavimui būdinga tai, kad išvada juose būtinai išplaukia iš premisų, t.y. Tokių išvadų loginė pasekmė yra loginis dėsnis. Nedemonstruojamuose išvedžiojimuose išvedimo taisyklės pateikia tik tikėtiną išvados iš premisų pasekmę.

2. Svarbus išvadų klasifikavimas pagal loginės pasekmės kryptį, t.y. pagal ryšio tarp įvairaus laipsnio žinių, išreikštų prielaidomis ir išvadomis, prigimtį. Šiuo požiūriu yra trijų tipų išvados: dedukcinis(nuo bendrų žinių iki konkrečių), indukcinis(nuo privačių iki bendrųjų žinių), išvada įjungta analogija(nuo privačių žinių iki privačių).

6 tema. Indukcinis protasnuotykius

Kas yra indukcinis samprotavimas?

Pažinimas bet kurioje mokslo ir praktikos srityje prasideda nuo epinių žinių. Stebint to paties tipo gamtos ir socialinius reiškinius, dėmesys sutelkiamas į pakartojamumas jie turi tam tikrų savybių. Stabilus pasikartojimas rodo (sukelia), kad kiekvienas iš šių požymių yra ne individualus, o bendras, būdingas visiems tam tikros klasės reiškiniams. Loginis perėjimas nuo žinių apie atskirus reiškinius prie bendrųjų žinių šiuo atveju vyksta formoje indukcinis išvadas, arba indukcija.

indukcinis vadinama išvada, kai remiantis atributu, priklausančiu atskiriems tam tikros klasės objektams ar dalims, daroma išvada apie jo priklausymą visai klasei.

Indukcinio samprotavimo prielaidos yra sprendimai, kuriuose fiksuojama empiriškai gauta informacija apie požymio dažnį. R daugeliui reiškinių S1, S2,…. sn, priklausantys tai pačiai klasei KAM. Išvados schema atrodo taip:

1) S1 turi ženklą P

S2 turi ženklą P

Sn turi ženklą P

2) S1, S2,…. sn - K klasės elementai (dalys).

Išvada :

Visi klasės elementai Į charakteristika R

Pagrindinė indukcinių metodų funkcija pažinimo procese yra apibendrinimas, t.y. gauti bendras nuomones. Pagal savo turinį ir pažintinę reikšmę šie apibendrinimai gali būti skirtingo pobūdžio – nuo ​​paprasčiausių kasdienės praktikos apibendrinimų iki empirinių apibendrinimų moksle ar universalių sprendimų, išreiškiančių universalius dėsnius.

Patirties išsamumas ir išsamumas įtakoja loginių pasekmių griežtumą indukcijoje, galiausiai nulemdamas šių išvadų parodomąjį ar nedemonstracinį pobūdį.

Atsižvelgiant į empirinio tyrimo išsamumą ir išsamumą, išskiriami du indukcinio samprotavimo tipai: užbaigti indukcija ir Nebaigtas indukcija.

Kokia yra kombinuoto panašumo ir skirtumo metodo esmė?

Šis metodas yra derinys Pirmas du metodus kai išanalizavus daugybę atvejų atrandama kaip panašus įvairiose, tokie skirtingi panašiai.

Trijų pacientų ligos priežasčių pavyzdys. Jeigu argumentą papildysime trijų naujų atvejų, kai kartojasi tos pačios aplinkybės, išskyrus panašią, analize, t.y. Jei maistui buvo naudojami tie patys produktai, išskyrus pieną, ir nebuvo pastebėta jokios ligos, tada išvada bus pateikta kombinuoto metodo forma.

Motyvavimo schema yra tokia:

1. ABC priežasčių d

2. MFB priežasčių d

3. MBC priežasčių d

4. AC nesukelia d

5. MF nesukelia d

6. MC nesukelia d

Matyt, AT yra priežastis d

Išvados tikimybė tokiame sudėtingame samprotavime pastebimai padidėja, nes derinami panašumo metodo ir skirtumo metodo privalumai, kurių kiekvienas atskirai duoda mažiau patikimus rezultatus.

7 tema. Analogija ir hipotezė

Kokie yra hipotezių tikrinimo žingsniai?

Hipotezė arba versija tikrinama dviem etapais: pirmasis iš jų iš hipotezės kylančių pasekmių dedukcinis išvedimas, antras - išvadų palyginimas su faktais.

1. Dedukcinė išvada . Žinant hipotezės ypatybes H, o taip pat atsižvelgdami į konkrečias jo pasireiškimo sąlygas, jie daro dedukcinę išvadą: jei siūloma H, tada, atsižvelgiant į bylos aplinkybes G turėtų įvykti S1, S2…, sn. Diagramoje ji atrodo taip: (Г^ Н) - ( S1, S2…, sn)

Norint sėkmingai atlikti hipotetinę-dedukcinę pasekmių išvadą, būtina turėti pakankamai informacijos tiek apie pačią priežastį, tiek apie šios priežasties veiksmus, galimus konkrečiomis vietos ir laiko sąlygomis.

Patikrinimo metu atliekama loginė analizė kaip prielaida H1, taip pat kitos versijos - H2 ,N3…. ,Nn, tie. visa tai realiai įmanoma nurodytomis skelbimo sąlygomis.

Dedukcinės išvados loginės operacijos vertę lemia tai, kad ji leidžia racionalus, t.y. nuosekliai, suplanuotai, efektyviai, sukurti visą tyrimo procesą. Jei pradinis apibendrinimas nėra itin sistemingas ir griežtas, tai sukūrus versijas ir atskaičius pasekmes, jis tampa metodiškesnis ir sistemingesnis, nes dabar jis siekia atrasti ne bet kokius, o tik tuos faktus, kurie išplaukia iš sakinių. Teismo medicinos tyrimų versija vaidina svarbų vaidmenį loginis operatyvinio ir tiriamojo darbo planavimo pagrindas.

2. Pasekmių palyginimas su faktais. Antrasis hipotezės ar versijos tikrinimo etapas yra logiškai išvestų pasekmių palyginimas su faktais, siekiant (1) neigimai (2)patvirtinimas

versijos paneigimas išplaukia atskleidžiant faktus, kurie prieštarauja iš to kilusiems padariniams.

Versijos patvirtinimas hipotezė arba versija (H) pasitvirtina, jei iš jos išvestos pasekmės (S) sutampa su naujai atrastais faktais.

Kaip patvirtinama hipotezė?

Versijos patvirtinimas hipotezė ar versija (H) yra patvirtintas, jei išvestas iš jo pasekmės (S) atitinka naujai atrastus faktus. Kuo daugiau tokių sutapimų ir kuo įvairesnė pasekmė, tuo labiau tikėtina hipotezė. Jei pradinės hipotezės tikimybė išreiškiama žvaigždute, tada, pasitvirtinus, ji tampa labiau tikėtina.

Iš hipotezės išvestos dedukcinės pasekmės S1, S2…, sn iš to išplaukia su logiška būtinybe. Tačiau tikrasis kiekvieno iš jų aptikimas yra tikimybę, kuri vertinama tikimybe.Šiuo atveju kiekvienos pasekmės tikimybė turi būti didesnė už pačios hipotezės tikimybę. R(S)>P(H)

Tikimybinis požiūris į hipotezės patvirtinimo klausimą, patvirtinant hipotezę, patvirtinant iš jos kylančias pasekmes, turi didelę euristinę reikšmę teismo ekspertizės praktikai, nes rodo esminę tendenciją didinti hipotezių tikimybinę vertę. Tuo pačiu, kad ir kokia tikėtina būtų teisminė, tiriamoji ar operatyvinė versija, ji negali būti pagrindu priimti teisminį sprendimą dėl konkrečių asmenų kaltinimo padarius tam tikrus nusikaltimus.

Teisingas teismo sprendimas visada turi būti pagrįstas patikimu nagrinėjamos bylos aplinkybių žinojimu. Tai reiškia, kad kiekviena teismo medicinos tyrimo hipotezė turi būti įrodyta ir todėl turi virsti neabejotinomis žiniomis, turinčiomis objektyvi versija.

8 tema.Loginiai argumentacijos pagrindai

Kokie reikalavimai keliami įrodomajam darbui?

Argumentavimas įvairiose mokslo ir praktikos srityse ne visada duoda vienareikšmius loginės vertės rezultatus. Taigi, konstruojant versiją kriminalistinėje studijoje, pradinės faktinės medžiagos nepakankamumas leidžia daryti tik tikėtinas išvadas. Tuos pačius rezultatus tyrėjas gauna, kai samprotavime naudoja išvadas pagal analogiją arba nepilnos indukcijos išvadas.

Įrodinėjimas – tai loginė operacija, kai pagrindžiama teiginio tiesa, pasitelkiant kitus teisingus ir susijusius teiginius.

Taigi įrodymas yra viena iš argumentavimo proceso atmainų, būtent argumentacija, kuri nustato tiesa sprendimai, pagrįsti kitais tikrais sprendimais.

Naujos idėjos moksle nepriimamos ant tikėjimas, kad ir kokia autoritetinga būtų mokslininko asmenybė ir jo pasitikėjimas savo idėjų teisingumu. Įrodymais pagrįstas samprotavimas yra būdingas mokslinio mąstymo stiliaus bruožas.

Įrodinėjimo reikalavimas keliamas ir žinioms teisminiame procese: nuosprendis baudžiamojoje ar civilinėje byloje laikomas teisingu, jeigu nagrinėjant bylą buvo objektyviai ir visapusiškai pagrįstas.

Kokie yra įrodymo elementai?

Privalomi argumentuoto proceso dalyviai arba subjektai yra šalininkas, oponentas ir auditorija.

1. šalininkas (S1) įvardykite dalyvį, kuris iškelia ir atstato tam tikrą poziciją. Be šalininko nėra ginčo proceso, nes ginčytini klausimai nekyla savaime, juos turi kažkas suformuluoti ir aptarti. Teikėjas gali išreikšti savo asmeninę poziciją arba atstovauti kolektyvinei nuomonei – mokslinei mokyklai, partijai, religinei bendruomenei ar kaltinimui.

2. Priešininkas (S2) įvardykite dalyvį, išreiškiantį nesutikimą su siūlytojo pozicija. Oponentas gali tiesiogiai dalyvauti ir asmeniškai dalyvauti diskusijoje. Tačiau tai gali būti ne tiesioginis ginčo proceso dalyvis.

Oponentas ne visada yra aiškus ir įasmenintas diskusijos dalyvis.

3. Publika (S3) yra trečias , kolektyvinis ginčo proceso subjektas, kadangi tiek šalininkas, tiek oponentas pagrindinį diskusijos tikslą mato ne tik ir ne tiek vienas kito įtikinėjimu, kiek publikos patraukimu į savo pusę. Taigi publika yra ne pasyvi masė, o visuomenė, turinti savo veidą, savo pažiūras ir kolektyvinius įsitikinimus, vaidinanti. pagrindinis argumentacinės įtakos objektas.

Auditorija nėra pasyvus argumentuoto apdorojimo objektas ir todėl, kad ji gali ir dažnai aktyviai reiškia savo pritarimą ir nesutikimą su vadovaujančių dalyvių – šalininko ir oponento – pozicija.

Priglobta Allbest.ru

Panašūs dokumentai

Logikos, kaip mokslo, atsiradimo ir tolesnės raidos istorija, jos šiuolaikinės reikšmės ir turinio analizė. Simbolinės (matematinės), indukcinės, dialektinės ir formaliosios logikos formavimosi ypatumai ir lyginamoji charakteristika.

kontrolinis darbas, pridėtas 2010-12-01


Tradicinės formaliosios logikos atsiradimas ir raidos etapai. Aristotelis kaip logikos pradininkas. Simbolinės logikos kūrimas, loginio skaičiavimo rūšys, logikos algebra. formalizavimo metodas. Dialektinės logikos formavimas, I. Kanto, G. Hegelio darbai.

santrauka, pridėta 2009-01-19


Logikos dalykas ir prasmė. Keturi logikos dėsniai. Kam žurnalistams reikalinga logika? Loginė forma, apibrėžianti objektų ratą panašiais. Sąvokų apibendrinimas ir apribojimas. Subjekto ir predikato santykis sprendime. indukcinis samprotavimas.

testas, pridėtas 2009-03-28


Logikos mokslo atsiradimo priežastys ir raidos etapai. Aristotelis kaip formalios logikos pradininkas. Dekarto dedukcinis metodas. Prieštaravimo predikatui, opozicijos subjektui procedūros. Išvados, atitinkančios silogizmo 1 ir 2 paveikslus.

testas, pridėtas 2017-06-23


Logikos kaip mokslo samprata, jos tyrimo dalykas ir metodai, raida dabartiniame etape. Pagrindinių loginių dėsnių aprašymas ir jų reikšmės žmogaus mąstymui įvertinimas: tapatumo dėsnis, prieštaravimas, išskirtasis vidurys, pakankamas protas.

testas, pridėtas 2010-10-04


Pagrindinių rizikos, konfliktų ir ginčų logikos dėsnių panaudojimas operuojant sąvokomis ir sprendimais, išvadose, įrodymuose ir atsikirtimuose. Tapatybės dėsnių svarstymas, neprieštaravimas, pašalintas vidurinis ir pakankamas pagrindas.

santrauka, pridėta 2011-07-24


Mąstymas kaip logikos objektas. Logikos mokslo dalykas. Įgyti tikrų žinių. Logikos raidos etapai. Tiesioginės ir netiesioginės žinios. Abstraktaus mąstymo dėsniai. Naujų išvesties žinių gavimo metodai. Teisingo mąstymo ypatybės.

pristatymas, pridėtas 2014-10-03


Logikos dalykas ir prasmė. Mąstymas kaip loginis pažinimo etapas. Subjektas ir predikatas yra pagrindiniai mąstymo elementai. Formaliosios ir dialektinės logikos koreliacija. Socialinė logikos paskirtis ir funkcijos. Loginės mūsų minčių susiejimo formos ir taisyklės.

santrauka, pridėta 2010-10-31


Logikos, kaip specialaus mąstymo mokslo, sampratos tyrimas. Teisingos išvados, kurios schema yra logikos dėsnis, esmės nustatymas. Deskriptyvizmo ir preskriptyvizmo vietos logikoje aprašymas. Platono pažiūrų tyrimas ir analizė.

santrauka, pridėta 2017-11-08


Pojūtis, suvokimas ir vaizdavimas kaip juslinių žinių formos. Abstraktaus mąstymo bruožai ir dėsniai, jo formų santykis: sąvokos, sprendimai ir išvados. Pagrindinės kalbos funkcijos ir sudėtis, logikos kalbos specifika. Logikos kaip mokslo istorija.

TESTAS

PAGAL DISCIPLINĘ

LOGIKA

"LOGIKOS MOKSLO ISTORIJA"

1 variantas

Užbaigė: Lobankova Ya. N.

Studentas gr. ZSP-15, 1 kursas

Mokytoja: Sidorova I. M.

Mokytojo parašas: __________

Data: __________

Rybinskas 20___

Planuoti

1. Logikos mokslo atsiradimo priežastys …………………………………………………….. 3

2. Pagrindiniai logikos raidos etapai ………………………………………………………………… 5

3. Aristotelis – formalios logikos pradininkas ………………………………………

4. F. Bekonas – indukcinės logikos įkūrėjas ………………………………… 10

5. R. Dekarto dedukcinis metodas ………………………………………………………………… 13

6. F. Hegelis – labiausiai išvystytos didaktinės logikos sistemos kūrėjas.……………………………………………………………………………………… …………… . penkiolika

7. Simbolinės (matematinės) logikos ugdymas……………………………….. 17

2 dalis. Užduotys ir pratimai ……………………………………………………… 19

Literatūra …………………………………………………………………………………… 26

Logikos mokslo atsiradimo priežastys

Pagrindinės logikos, kaip mokslo, atsiradimo priežastys yra šios:

1) mokslų kilmė ir raida. Logika taip pat bandė nustatyti ir paaiškinti reikalavimus, kuriuos turi tenkinti mokslinis mąstymas, kad jo rezultatai atitiktų tikrovę;

2) oratorijos ir argumentavimo meno raida. Aristotelis laikomas logikos kaip mokslo įkūrėju. Tačiau pirmąjį sisteminį loginių problemų pristatymą anksčiau pateikė kitas senovės graikų filosofas Demokritas. Tarp daugybės jo darbų buvo platus traktatas trijose knygose „Apie loginius, arba apie kanonus“ (iš graikų kanono – „taisyklė, nurodymas“). Šiame darbe buvo atskleista pagrindinių pažinimo formų esmė ir tiesos kriterijai, parodytas loginio samprotavimo vaidmuo pažinime, pateikta sprendimų klasifikacija, bandoma plėtoti indukcinę logiką.

Aristotelio loginio mąstymo centre yra dedukcinio samprotavimo ir įrodinėjimo teorija. Jis taip pat pateikė Demokritui artimų kategorijų ir sprendimų klasifikaciją, suformulavo tris pagrindinius mąstymo dėsnius – tapatybės dėsnį, prieštaravimo dėsnį ir pašalinto vidurio dėsnį.

Viduramžiais logikos kaip mokslo raidoje vaidino bendrųjų sąvokų – „universalų“ – problema. Problemos esmė slypi tame, kas pasirodo anksčiau – bendrosiose sąvokose, kylančiose iš mūsų proto (racionalizmas), arba pavieniuose faktiniuose objektuose (nominalizmas).

Renesanso laikais logika išgyveno tikrą krizę. Jis buvo laikomas dirbtiniu mąstymu ir buvo priešinamas natūraliam mąstymui, pagrįstam intuicija ir vaizduote.

Kitas logikos raidos etapas prasideda XVII a. Ji siejama su kūryba savo indukcinės logikos rėmuose, atspindinčioje įvairius bendrųjų žinių gavimo procesus remiantis sukaupta empirine medžiaga. Tokių žinių poreikį geriausiai suvokė ir savo raštuose išreiškė F. Baconas. Jis tapo intuityviosios logikos įkūrėju.

Augantys mokslo ir technologijų pažangos poreikiai lemia tolesnę šiuolaikinės logikos raidą.

Pagrindiniai logikos raidos etapai

Logiką kaip specialią žinių šaką identifikuoti padėjo dvi aplinkybės:

1) net senovėje žmonės žinojo, kad išvadų žinojimo patikimumas priklauso ne tik nuo tiesos

2) norint įtikinti, reikia ne tik gerai kalbėti, bet ir įvaldyti įvairius išvadų ir įrodymų konstravimo metodus.

Todėl logika teoriškai ir praktiškai buvo naudojama kasdienėje intelektualinėje ir kalbinėje veikloje ir pateko į Europos universitetų programą kaip vadinamosios triviumo – pirmosios aukštojo mokslo pakopos, kurioje, be logikos, gramatiką ir retoriką, dalis.

Išvardijame pagrindinius logikos kaip mokslo atstovus (atkreipkite dėmesį, kad kiekvieno iš jų pavadinimas žymi savarankišką logikos raidos etapą):

Aristotelis (dedukcinė logika, „Organonas“, IV a. pr. Kr., pagrindiniai teisingo mąstymo dėsniai);

F. Bekonas (1561 – 1626) („Naujasis organonas“ – indukcinės logikos manifestas, eksperimentų metas);

Hegelis (1770-1831) (dialektinė logika, pasaulio pažinimas dinamikos, sklandumo požiūriu, vėliau jos taikymas buvo išplėstas);

J. Boole (1815-1864) - (matematinė logika, logika pagal dalyką ir matematika pagal metodą, problemų aptarimas apie galimą mąstymo formalizavimą ir jo praktinį pritaikymą).

Paskutinis logikos raidos etapas yra neklasikinė logika.

Kaip savarankiškas mokslas, logika išsivystė daugiau nei prieš du tūkstančius metų, IV kun. pr. Kr. Jos įkūrėjas – senovės graikų filosofas Aristotelis (348-322 m. pr. Kr.). Aristoteliškoji silogizmo doktrina sudarė vienos iš šiuolaikinės matematinės logikos sričių – predikatų logikos – pagrindą.

Svarbus Aristotelio mokymo raidos etapas buvo senovės stoikų logika. Stoikų logika yra kitos matematinės logikos krypties – teiginių logikos – pagrindas.

4-oji kategorinio silogizmo figūra pavadinta Galeno vardu.

Boethius raštai ilgą laiką buvo pagrindinės loginės priemonės.

Viduramžiais vystėsi ir logika, tačiau scholastika iškraipė Aristotelio mokymą, pritaikydama jį religinėms dogmoms pateisinti.

Svarbiausias jos raidos etapas buvo anglų filosofo F. Bekono (1561-1626) sukurta indukcijos teorija. Bekonas kritikavo Aristotelio dedukcinę logiką, iškreiptą viduramžių scholastikos. Indukcinio metodo sukūrimas yra didelis Bacono nuopelnas, tačiau jis nepagrįstai priešinosi dedukcijos metodui; Tiesą sakant, šie metodai vienas kitą neatmeta, o papildo. Bekonas sukūrė mokslinės indukcijos metodus, kuriuos vėliau susistemino anglų filosofas ir logikas J.St. Millemas (1806–1873)

Ši logika paprastai vadinama formalia, nes ji atsirado ir vystėsi kaip mąstymo formų mokslas. Ji taip pat vadinama tradicine arba aristoteliška logika.

Tolesnė logikos raida siejama su tokių iškilių Vakarų Europos mąstytojų vardais kaip R. Dekartas, G. Leibnicas, I. Kantas ir kt.

Prancūzų filosofas R. Dekartas (1569-1650) kritikavo viduramžių scholastiką, plėtojo dedukcinės logikos idėjas, suformulavo mokslinio tyrimo taisykles, išdėstytas esė „Proto vadovavimo taisyklės“.

G. Leibnicas (1646 - 1716), suformulavo pakankamo proto dėsnį, - iškėlė matematinės logikos idėją, kuri buvo sukurta tik XIX-XX a.; vokiečių filosofas I. Kantas (1724-1804) ir daugelis kitų Vakarų Europos filosofų ir mokslininkų.

Nemažai originalių idėjų pateikė M. V. Lomonosovas (1711-1765), A. N. Radiščevas (1749-1802), N. G. Černyševskis (1828-1889). Rusų logikai M.I. Kariiskijus (1804-1917) ir L.V.Rutkovskis (1859-1920) yra žinomi dėl savo novatoriškų išvadų teorijos idėjų. Vienas pirmųjų santykių logiką plėtojo filosofas ir logikas S. I. Povarninas (1807-1952).

XIX amžiaus antroje pusėje logikoje pradėti plačiai taikyti matematikoje sukurti skaičiavimo metodai. Ši kryptis plėtojama D. Boole darbuose, W.S. Jevons, P.S. Poretsky, G. Frege, C. Pierce. Teorinė dedukcinio samprotavimo analizė skaičiavimo metodais naudojant formalizuotas kalbas vadinama matematine arba simboline logika.

Logika kaip mokslas atsirado V pabaigoje – IV amžiaus pradžioje Senovės Graikijoje (Atėnuose) ir daugelį amžių buvo laikoma išsilavinimo kriterijumi. Senovės graikų filosofas Aristotelis laikomas logikos pradininku. Aristotelio pirmtakai plėtojant loginį mokslą senovės Graikijoje buvo Parmenidas, Zenonas Elėjietis, Sokratas ir Platonas. Aristotelis pirmą kartą susistemino turimas žinias apie logiką, pagrindė loginio mąstymo formas ir taisykles. Jo darbuose „Organonas“ („Žinių instrumentai“) buvo suformuluoti pagrindiniai mąstymo dėsniai, tokie kaip tapatumo, prieštaravimo ir išstumtojo vidurio dėsnis. Jis taip pat sukūrė sąvokų ir sprendimų teoriją bei tyrinėjo dedukcinius ir silogistinius samprotavimus.

Yra dvi pagrindinės logikos kaip mokslo atsiradimo priežastys:

1) filosofijos ir mokslo, pirmiausia matematikos, kilmė ir pradinė raida.

Šis procesas datuojamas VI a. pr. Kr e. ir gauna išsamiausią plėtrą Senovės Graikijoje. Gimę kovoje su mitologija ir religija, filosofija ir mokslas buvo grindžiami teoriniu mąstymu, įtraukiant išvadas ir įrodymus. Iš čia ir kyla poreikis tirti paties mąstymo, kaip pažinimo formos, prigimtį.

Logika atsirado pirmiausia kaip bandymas nustatyti ir paaiškinti reikalavimus, kuriuos turi tenkinti racionalus mokslinis mąstymas, kad jo rezultatai atitiktų tikrovę.

2) oratorijos, įskaitant teisminio meno, raida, klestėjusi senovės Graikijos demokratijos sąlygomis. Teismo sprendimas dažnai priklausydavo nuo loginių kaltinamojo ar kaltintojo kalbos įrodymų, ypač sudėtingose ​​ir sudėtingose ​​teisinėse situacijose. Nesugebėjimas aiškiai ir aiškiai suformuluoti savo minčių, atskleisti oponentų gudrybes ir „spąstus“ kalbėtojui galėjo kainuoti labai brangiai. Tuo naudojosi vadinamieji sofistai – apmokami išminties mokytojai. Neaiškiai visuomenei jie galėjo „įrodyti“, kad balta yra juoda, o juoda yra balta, po to visus mokė savo meno už didelius pinigus.

Po Aristotelio senovės Graikijoje logiką plėtojo ir stoikų mokyklos atstovai. Prie šio mokslo raidos daug prisidėjo oratorius Ciceronas ir senovės romėnų oratorijos teoretikas Kvintilianas.

XIX amžiaus pradžioje G.V.F. Hegelis atkreipė dėmesį į jos ribotumą ir nepakankamumą mąstymo judėjimo proceso reflektavimo požiūriu. Jis pažymėjo, kad tokia logika atspindi ne minties turinio judėjimą, o mąstymo proceso formą. Norėdami kompensuoti šį trūkumą, Hegelis sukūrė naują dialektinę logiką, o tą, kuri egzistavo prieš ją, pavadino formalia.

Dialektinės logikos tyrimo objektas yra žmogaus mąstymo raidos dėsniai ir jais pagrįsti metodologiniai principai (objektyvumas, visapusiškas dalyko svarstymas, istorizmo principas, vieno padalijimas į priešingas puses, kilimas iš abstrakčiai prie konkretaus ir pan.).

Dialektinė logika yra vienas iš būdų pažinti tikrovės dialektiką.

Formalioji logika, naudojanti matematinius metodus tikrovei tirti, XX amžiaus pradžioje buvo vadinama „logistika“, reiškiančia skaičiavimo meną. Dabar šis terminas beveik nebenaudojamas, užleisdamas vietą terminams „matematinė logika“ arba „simbolinė logika“.

Formalioji logika tiria formą kaip kažką atskiro, atskirto nuo turinio.

Formaliosios logikos tyrimo objektas yra mąstymo forma.

Formalioji logika yra mokslas apie bendrąsias teisingo mąstymo struktūras kalbine forma, atskleidžiančia ja grindžiamus modelius.

Loginėmis formomis vadinamos įvairios minčių jungtys, laikomos struktūrinėmis mąstymo dariniais.

Loginės formos susideda iš minčių, įskaitant, pavyzdžiui, kitas logines formas ir įvairius jų sujungimo būdus arba vadinamuosius ryšulius. Trys loginių formų tipai, tokie kaip sąvoka, sprendimas, išvada, susideda iš minčių ir jų sujungimo priemonių, raiščių.

Bendroji logika yra trijų loginių formų doktrina: samprata, sprendimas, išvada.