Kasdieniniame gyvenime mes nuolat susiduriame su loginiais įstatymais. Bet, deja, šio mokslo studijos pilnai vyksta tik keliuose aukštųjų mokyklų fakultetuose.
Yra įvairių rūšių sąvokos, kurių logiką galima atsekti dar antikos laikais. Viskas prasideda nuo Aristotelio Organono (tai yra tradicinis šešių traktatų apie mąstymą pavadinimas, kurį pasiūlė šio filosofo veikalų leidėjo Rodo miesto Andronnik).
Vėliau Aristotelio idėjas modifikavo Renesanso mąstytojas Pranciškus Baconas, vienas pirmųjų savo laiko empiristų. Filosofas savo traktatui suteikė pavadinimą „Naujasis organonas“. Į Aristotelio mintis jis reagavo skeptiškai, manydamas, kad mokslo užduotis yra sukurti naują pažinimo metodą ir būti naudingu visiems žmonėms. Baconas kritikavo senąją logiką, kuri, jo manymu, pridėjo tik painiavos bendrojoje mąstymo žinių sistemoje. Pirmiausia jis išdėstė patirtį ir indukcinį metodą.
Verta paminėti, kad logika ypač intensyviai vystėsi XX amžiuje, virsta tikimybine, matematine, aiškia ir darnia sistema. Tačiau iki šiol formalūs loginiai dėsniai turi didelę metodinę reikšmę visiems mokslams.
Formali logika
Jos įstatymai apima sąvokų rūšis. Logika sukuria pateikimo schemą, kuri yra „sąvokos - sprendimo (arba teiginio) - išvados“ grandinė. Paprasčiausia, bet tuo pačiu ir pamatinė koncepcija. Prieš kurdami teiginį ir darydami išvadą jo pagrindu (darykite išvadą), turite turėti subjekto sampratą, suvokti esminius jo bruožus. Tai nėra atskiri jutimo suvokimo vaizdai, ant kurių dažniausiai remiasi kūrybinis mąstymas. Kalbėdami apie ženklus, jie reiškia specifinius skirtumų ar panašumo bruožus. Skiriamasis bruožas yra tokia savybė, būdinga tik šiam konkrečiam subjektui.
Koncepcija yra įsivaizduojamas objekto esminių ir bendrųjų požymių visumos (arba vienybės) pavidalo atspindys.
Logika nagrinėja sąvokų tipus, kurių pavyzdžių labai lengva rasti. Sakydami žodį „katė“, mes įsivaizduojame specifinį ženklų rinkinį: nagai, plaukai, ūsai, miau, pagauk peles. Ši visuma savaime yra atskiros sąvokos, todėl galime pasakyti, kad „katės“ sąvoka yra sudėtinga. Tai apima kitas sąvokas, kurios jau buvo minėtos aukščiau.
Sąvokų tipai
Sąvokos gali būti šios:
1. Registracija (atsakykite į klausimus „koks asmuo?“, „Kada?“, „Kur?“). Tokių sąvokų pavyzdžiai: „žmonės, kurie šiandien gyvena Ivanove“, „Madagaskaro sala“, „Fiodoras Dostojevskis“. Jie, savo ruožtu, yra suskirstyti į pavienius (tuos, kurie reiškia vieną konkretų dalyką - „Jack London“) ir bendrąjį („rašytojas“, „valstybė“).
2. Neregistravusieji („žodis“, „gyvūnai“, „žmogus“). Jie gali būti apibrėžti tik kokybiškai, į juos įtraukta begalė sąvokų, todėl į daugelį jų elementų negalima atsižvelgti. Logika kartais taip pat padalija šių tipų sąvokas į atvirąsias (neregistruojančias) ir uždarąsias (registravimo).
3. Netuščios ir tuščios, pagrįstos tam tikros koncepcijos atitikimu ar neatitikimu kažkam realiame pasaulyje.
4. Santrauka ir specifika. Pirmieji yra sąvokos apie objekto santykį ar savybes („garbė“, „orumas“, „drąsa“), o antrosios kalba apie konkrečius objektus („kolona“, „avilys“).
5. Neigiamas (nurodantis, kad nėra tam tikro objekto savybių, pvz., „Ne vyras“, „ne katė“) ir teigiamas („katė“, „vyras“).
6. Santykinis ir nesusijęs. Logika apibūdina šias sąvokų rūšis kaip priklausomas viena nuo kitos ir nepriklausomą. Tai yra, pavyzdžiui, „vynuogių“ ir „kojų“ sąvokos jokiu būdu nepriklauso viena nuo kitos, todėl jos gali būti laikomos nereikšmingomis.
