Kas yra išvada? Tai tam tikra mąstymo forma ir vienintelė teisinga išvada. Specifika tokia: pažinimo procese aiškėja, kad įrodymų paskatinti teiginiai yra teisingi ne visi, o tik tam tikra jų dalis.
Norint nustatyti visą tiesą, paprastai atliekamas nuodugnus tyrimas: aiškiai nustatomi klausimai, susiejamos jau nustatytos tiesos, surenkami reikalingi faktai, atliekami eksperimentai, tikrinami visi spėjimai, kurie kyla kelyje ir galutinis rezultatas. Štai ir bus – išvada.
Pagal logiką mąstymo forma niekuo nesiskiria: nuo tikrų sprendimų – vieno ar kelių – laikantis tam tikrų rezultato išvedimo taisyklių, toks naujas sprendimas tiesiogiai išplaukia iš ankstesnių.
Struktūra
Taigi, kas yra išvada ir iš ko ji susideda? Iš sprendimų (prielaidų), išvados (naujas sprendimas) ir loginio ryšio tarp sprendimų ir išvados. Loginės taisyklės, pagal kurias daroma išvada,nurodyti loginį ryšį. Kitaip tariant, išvada (bet kuri) susideda iš paprastų arba sudėtingų sprendimų, kurie suteikia protui naujų žinių. Tie patys sprendimai, jei jie pripažįstami teisingais ir gali pagimdyti naują, apibendrinantį sprendimą, vadinami išvados prielaidomis.
Sprendimas, gautas apdorojant patalpas, kuriose pasiteisino išvados metodai, vadinamas išvada (taip pat arba išvada, arba logiška pasekmė). Pažiūrėkime, kaip sprendimas ir išvados yra susiję. Formalioji logika nustato taisykles, užtikrinančias teisingą išvadą. Kaip daroma išvada? Pateiksime pavyzdžius keliose patalpose.
- Konservatorijos studentė Natalija nuostabiai groja pianinu.
- Elizaveta jau antrus metus dalyvauja fortepijoninių ansamblių konkursuose duetu su Natalija.
- Išvada: Elžbieta sėkmingai mokosi konservatorijoje.
Sekdami pavyzdžiu, nesunkiai sužinosite, kas yra išvada ir koks jos ryšys su prielaida (sprendimu). Svarbiausia, kad prielaidos turi būti teisingos, kitaip išvada bus klaidinga. Dar viena sąlyga: ryšiai tarp sprendimų turi būti logiškai teisingai nutiesti, kad palaipsniui ir tiksliai būtų nutiestas kelias toliau – nuo prielaidų iki išvados.
Trys išvadų grupės
Skirstymas į grupes atliekamas patikrinus sprendimų bendrumo laipsnį.
- Dedukcinis samprotavimas, kai mintis pereina nuo bendro prie konkretaus, nuo didelio prie mažo.
- Indukcinis, kai mintis pereina nuo vienų žinių prie kitų, padidindama bendrumo laipsnį.
- Išvada apieanalogija, kai ir prielaidos, ir išvados turi vienodą bendrumo laipsnį.
Pirmoji išvadų grupė sudaroma į konkretų ir iš vienaskaitos, jei ji prilyginama bendrajam. Tai yra, bet kuriuo atveju yra tik vienas metodas: nuo bendro iki konkretaus. Dedukcinis samprotavimas vadinamas deductio – „išvada“(iš bendrųjų taisyklių tyrimas pereina prie konkretaus atvejo). Bet kokių sąjungų loginiai sprendimai tinka dedukcijai: kategoriška išvada, skirstymas-kategoriškas ir sąlyginis padalijimas. Visi jie gaunami dedukciniu būdu.
Išskaičiavimas pradedamas tyrinėti nuo tipiškiausių formų, o ši kategoriška išvada yra silogizmas, graikiškai reiškiantis „skaičiuoti“. Čia pradedama samprotavimo analizė, kurią sudaro sprendimai ir sąvokos.
Paprastų konstrukcijų analizė
Sudėtingų psichinių struktūrų tyrimas visada prasideda nuo paprasčiausių elementų. Visi žmogaus samprotavimai kasdieniame gyvenime ar profesinėje aplinkoje taip pat yra išvados, net ir savavališkai ilgos išvadų grandinės – kiekvienas iš turimų išgauna naujų žinių.
Aplinka – gamta – žmonijai davė šiek tiek daugiau nei gyvūnai, tačiau ant šių pamatų išaugo didingas kolosalus pastatas, kuriame žmogus atpažįsta kosmosą, elementarias daleles, Alpių darinius ir vandenynų įdubų gelmes., ir išnykusios kalbos, ir senovės civilizacijos. Nebūtų gautos jokios turimos žinios, jei žmonijai nebūtų suteiktas toks gebėjimaspadarykite išvadą.
Išvesties ištraukimo pavyzdžiai
Padaryti išvadas iš gaunamos informacijos nėra visas protas, bet be to žmogus negali gyventi nė dienos. Svarbiausia žmogaus proto pusė – gebėjimas suprasti, kas yra išvada, ir gebėjimas ją sukurti. Net ir paprasčiausi reiškiniai bei daiktai reikalauja proto pritaikymo: pabudę pažiūrėkite į termometrą už lango, o jei gyvsidabrio stulpelis ant jo nukrenta iki -30, atitinkamai apsirenkite. Atrodytų, kad tai darome negalvodami. Tačiau paaiškėjo vienintelė informacija – oro temperatūra. Iš čia ir išvada: lauke š alta, nors to patikimai nepatvirtino niekas, išskyrus termometrą. Gal vasariškame sarafane mums nebus š alta? Iš kur atsiranda žinios? Natūralu, kad tokia proto pastangų grandinė nereikalauja. Ir papildomi siuntiniai. Tai tiesioginės išvados. Protingas žmogus iš minimalių žinių gali turėti maksimalią informaciją ir numatyti situaciją su visomis savo veiksmų pasekmėmis. Geras pavyzdys yra Šerlokas Holmsas su savo ištikimuoju Vatsonu. Silogizmai susideda iš dviejų ar daugiau prielaidų ir taip pat yra suskirstyti pagal sudedamųjų sprendimų pobūdį. Yra paprasti ir sudėtingi, sutrumpinti ir sudėtiniai sutrumpinti silogizmai.
Skubios išvados
Kaip parodyta aukščiau, tiesioginės išvados yra išvados, kurias galima padaryti remiantis viena prielaida. Per transformaciją, atsivertimą, priešpriešą sukuriama logiška išvada. Transformacija – pakuotės kokybės keitimas nekeičiantkiekiai. Sprendimas pakete pasikeičia į priešingą, o teiginys (predikatas) - į sąvoką, kuri visiškai prieštarauja išvadai. Pavyzdžiai:
- Visi vilkai yra plėšrūnai (paprastai teigiama). Nė vienas iš vilkų nėra plėšrūnas (bendras neigiamas teiginys).
- Nė vienas daugiakampis nėra plokščias (paprastai neigiamas sprendimas). Visi daugiakampiai yra neplokštieji (paprastai teigiama).
- Kai kurie grybai yra valgomi (privačiai patvirtinama). Kai kurie grybai nevalgomi (iš dalies neigiami).
- Iš dalies nusik altimai nėra tyčiniai (privatus neigiamas sprendimas). Iš dalies netyčiniai nusik altimai (privatus teigiamas sprendimas).
Apeliaciniame skunde objektas ir predikatas pakeičiami visiškai laikantis sprendimo terminų paskirstymo taisyklės. Konversija yra gryna (paprasta) ir ribota.
Kontrapozicijos – tiesioginės išvados, kai subjektas tampa predikatu, o jo vietą užima sąvoka, kuri visiškai prieštarauja pirminiam sprendimui. Taigi, nuoroda yra atvirkštinė. Priešpriešą galima laikyti rezultatu po konversijos ir transformacijos.
Išvados pagal logiką taip pat yra tiesioginių išvadų tipas, kai išvados pagrįstos loginiu kvadratu.
Kategorinis silogizmas
Dedukcinė kategorinė išvada yra ta, kai iš dviejų teisingų sprendimų daroma išvada. Sąvokos, kurios yra silogizmo dalis, žymimos terminais. Paprastas kategorinis silogizmas turi tris terminus:
- išvados predikatas (P) – didesnis terminas;
- kaldymo objektas (S) – trumpesnis terminas;
- išvadoje trūksta patalpų P ir S pluošto (M) – vidurinis terminas.
Sillogizmo formos, kurios patalpose skiriasi viduriniu terminu (M), kategoriškame silogizme vadinamos figūromis. Yra keturios tokios figūros, kurių kiekviena turi savo taisykles.
- 1 figūra: bendra pagrindinė prielaida, teigiama mažoji prielaida;
- 2 figūra: bendra didelė prielaida, neigiama mažesnė;
- 3 figūra: teigiama mažareikšmė prielaida, privati išvada;
- 4 paveikslas: išvada nėra visuotinai teigiamas sprendimas.
Kiekviena figūra gali turėti kelis režimus (tai skirtingi silogizmai pagal premisų ir išvadų kokybines ir kiekybines charakteristikas). Dėl to silogizmo figūros turi devyniolika teisingų režimų, kurių kiekvienas turi savo lotynišką pavadinimą.
Paprastas kategoriškas silogizmas: bendrosios taisyklės
Kad silogizmo išvada būtų teisinga, reikia naudoti tikras prielaidas, gerbti figūrų taisykles ir paprastą kategorišką silogizmą. Išvados metodai reikalauja šių taisyklių:
- Neketurgubinkite terminus, turėtų būti tik trys. Pavyzdžiui, judėjimas (M) – amžinai (P); stojimas į universitetą (S) - judėjimas (M); išvada klaidinga: stoti į universitetą – amžina. Vidurinis terminas čia vartojamas įvairiomis prasmėmis: vienas yra filosofinis, kitas – kasdienis.
- Vidurinis terminasturi būti išdalinta bent viename iš siuntinių. Pavyzdžiui, visos žuvys (P) gali plaukti (M); mano sesuo (S) moka plaukti (M); mano sesuo yra žuvis. Išvada klaidinga.
- Išvados terminas išdalinamas tik išdalijus siuntinį. Pavyzdžiui, visuose poliariniuose miestuose – b altosios naktys; Sankt Peterburgas nėra poliarinis miestas; Sankt Peterburge b altųjų naktų nėra. Išvada klaidinga. Išvados terminas apima daugiau nei prielaidas, didesnis terminas išsiplėtė.
Yra siuntų naudojimo taisyklės, kurių reikalauja išvados forma, jų taip pat reikia laikytis.
- Dvi neigiamos prielaidos neduoda jokios išvesties. Pavyzdžiui, banginiai nėra žuvys; lydekos nėra banginiai. Taigi kas?
- Turint vieną neigiamą prielaidą, neigiama išvada yra privaloma.
- Iš dviejų privačių sklypų negalima daryti išvados.
- Su vienu privačiu siuntiniu būtina privati išvada.
Sąlyginė išvada
Kai abi prielaidos yra sąlyginiai teiginiai, gaunamas grynai sąlyginis silogizmas. Pavyzdžiui, jei A, tai B; jei B, tai C; jei A, tai B. Aišku: sudėjus du nelyginius skaičius, tai suma bus lyginė; jei suma yra lygi, tada galite padalyti iš dviejų be liekanos; todėl, jei pridėsite du nelyginius skaičius, galite padalyti sumą be likučio. Tokiam nuosprendžių santykiui yra formulė: pasekmės pasekmė yra pamato pasekmė.
Sąlygiškai kategoriškas silogizmas
Kas yra sąlyginai kategoriška išvada? Pirmoje prielaidoje yra sąlyginis teiginys, o antroje prielaidoje ir išvadoje – kategoriški teiginiai. modus čiagali būti teigiamas arba neigiamas. Teigiamuoju režimu, jei antroji prielaida patvirtina pirmosios pasekmes, išvada bus tik tikėtina. Neigiamame režime, jei paneigiamas sąlyginės prielaidos pagrindas, išvada taip pat tik tikėtina. Tai yra sąlyginės išvados.
Pavyzdžiai:
- Jei nežinai, tylėk. Tyli – tikriausiai nežinau (jei A, tai B; jei B, tai tikriausiai A).
- Jei sninga, tai žiema. Atėjo žiema – tikriausiai sninga.
- Kai saulėta, medžiai suteikia pavėsį. Medžiai neduoda šešėlio – nėra saulėta.
Skirstomasis silogizmas
Išvada vadinama disjunkciniu silogizmu, jei ji susideda iš grynai skirstymo prielaidų, o išvada taip pat gaunama kaip paskirstomasis sprendimas. Tai padidina alternatyvų skaičių.
Dar svarbesnė yra skirstymo kategoriška išvada, kai viena prielaida yra skirstantis sprendimas, o antrasis yra paprastas kategoriškas. Čia yra du režimai: teigiamas-neigiamas ir neigiamas-teigiamas.
- Sergantis yra gyvas arba miręs (abc); pacientas vis dar gyvas (ab); ligonis nemirė (ac). Šiuo atveju kategoriškas sprendimas paneigia alternatyvą.
- Klaida yra nusižengimas arba nusik altimas; šiuo atveju – ne nusik altimas; reiškia netinkamą elgesį.
Sąlyginiai skyrikliai
Išvados sąvoka taip pat apima sąlyginai dalijančias formas, kurių viena prielaida yra du ar daugiau sąlyginių teiginių, o antroji- disjunkcinis argumentas. Priešingu atveju tai vadinama lema. Lemos užduotis yra pasirinkti iš kelių sprendimų.
Alternatyvų skaičius sąlygines-atskyrimo išvadas padalija į dilemas, trilemas ir polilemas. Pasirinkimų skaičius (disjunkcija – „arba“) teigiamų sprendimų skaičius yra konstruktyvi lema. Jeigu neigimų disjunkcija yra destruktyvi lema. Jei sąlyginė prielaida duoda vieną pasekmę, lema yra paprasta, o jei pasekmės skiriasi, lema yra sudėtinga. Tai galima atsekti statant išvadas pagal schemą.
Pavyzdžiai būtų maždaug tokie:
- Paprasta konstruktyvi lema: ab+cb+db=b; a+c+d=b. Jei sūnus eina aplankyti (a), jis atliks namų darbus vėliau (b); jei sūnus eina į kiną (c), tai prieš tai atliks namų darbus (b); jei sūnus liks namuose (d), jis atliks namų darbus (b). Sūnus eis aplankyti ar į kiną, arba liks namuose. Jis vis tiek atliks namų darbus.
- Sudėtingas konstruktyvus: a+b; c+d. Jei valdžia yra paveldima (a), tai valstybė yra monarchinė (b); jei renkama vyriausybė (c), valstybė yra respublika (d). Valdžia paveldima arba renkama. Valstybė – monarchija arba respublika.
Kodėl mums reikia išvados, sprendimo, koncepcijos
Išvados negyja savaime. Eksperimentai nėra akli. Jie turi prasmę tik tada, kai jie yra sujungti. Be to, sintezė su teorine analize, kur palyginimų, palyginimų ir apibendrinimų pagalba galima padaryti išvadas. Be to, pagal analogiją galima padaryti išvadą ne tik apie tai, kas tiesiogiai suvokiama, bet ir apie tai, ko neįmanoma „jausti“. Kaip galima tiesiogiai tokius suvoktitokie procesai kaip žvaigždžių formavimasis ar gyvybės vystymasis planetoje? Čia reikalingas toks proto žaidimas kaip abstraktus mąstymas.
Koncepcija
Abstraktus mąstymas turi tris pagrindines formas: sąvokas, sprendimus ir išvadas. Koncepcija atspindi bendriausias, esmines, būtinas ir lemiamas savybes. Ji turi visus tikrovės požymius, nors kartais tikrovė nėra matoma.
Kai susiformuoja sąvoka, protas nepriima daugumos individualių ar nereikšmingų atsitiktinumų į ženklus, jis apibendrina visus suvokimus ir vaizdus apie kuo daugiau panašių objektų homogeniškumo požiūriu ir surenka iš to būdingus ir konkretus.
Sąvokos yra tos ar kitos patirties duomenų apibendrinimo rezultatai. Moksliniuose tyrimuose jie atlieka vieną iš pagrindinių vaidmenų. Bet kurio dalyko studijų kelias yra ilgas: nuo paprasto ir paviršutiniško iki sudėtingo ir gilaus. Sukaupus žinių apie individualias subjekto savybes ir ypatybes, atsiranda ir sprendimų apie jį.
Teismas
Gilinant žinias, tobulėja sąvokos, atsiranda sprendimai apie objektyvaus pasaulio objektus. Tai viena pagrindinių mąstymo formų. Sprendimai atspindi objektyvius objektų ir reiškinių ryšius, vidinį jų turinį ir visus raidos modelius. Bet koks dėsnis ir bet kokia pozicija objektyviame pasaulyje gali būti išreikšta apibrėžtu teiginiu. Išvados vaidina ypatingą vaidmenį šio proceso logikoje.
Išvados reiškinys
Ypatingas protinis veiksmas, kur galima iš patalpųpriimti naują sprendimą apie įvykius ir objektus – gebėjimas daryti žmonijai būdingas išvadas. Be šio gebėjimo pasaulio pažinti būtų neįmanoma. Ilgą laiką nebuvo įmanoma pamatyti Žemės rutulio iš šono, bet jau tada žmonės galėjo prieiti prie išvados, kad mūsų Žemė yra apvali. Padėjo teisingas tikrų sprendimų ryšys: sferiniai objektai meta šešėlį apskritimo pavidalu; Žemė užtemimų metu meta į Mėnulį apvalų šešėlį; Žemė yra sferinė. Išvada pagal analogiją!
Išvadų teisingumas priklauso nuo dviejų sąlygų: prielaidos, iš kurių statoma išvada, turi atitikti tikrovę; patalpų jungtys turi atitikti logiką, kuri išvadoje tiria visus dėsnius ir statybos sprendimų formas.
Taigi samprata, sprendimas ir išvedžiojimas, kaip pagrindinė abstraktaus mąstymo forma, leidžia žmogui pažinti objektyvų pasaulį, atskleisti svarbiausius, esminius supančios tikrovės aspektus, šablonus ir ryšius.
