Vi bliver konstant konfronteret med logiske love i hverdagen. Men desværre foregår studiet af denne videnskab kun fuldt ud på nogle få fakulteter på videregående uddannelsesinstitutioner.
Der er forskellige typer begreber, hvis logik kan spores tilbage til oldtiden. Det hele starter med Aristoteles' Organon (dette er den traditionelle titel på seks afhandlinger om tænkning foreslået af Andronnik af Rhodos, udgiveren af denne filosofs værker).
Efterfølgende blev Aristoteles' ideer modificeret af renæssancetænkeren Francis Bacon, en af de første empirister på sin tid. Filosoffen gav sin afhandling navnet "New Organon". Han reagerede på Aristoteles' tanker med en del skepsis, idet han mente, at videnskabens opgave er at konstruere en ny erkendelsesmetode og gavne alle mennesker. Bacon kritiserede den gamle logik, som efter hans mening kun bragte forvirring i det generelle system af viden om tænkning. Han prioriterede erfaring og den induktive metode.
Det er værd at bemærke, at logikken udviklede sig særligt intensivt i det 20. århundrede, og blev til et sandsynlighedsmæssigt, matematisk, klart og velkoordineret system. Men indtil videre har formelle logiske love en stor metodiskværdi for alle videnskaber.
Formel logik
Dens love omfatter også typer begreber. Logik bygger et præsentationsskema, som er en kæde "koncept - bedømmelse (eller udsagn) - konklusion". Det enkleste, men samtidig grundlæggende er konceptet. Før man konstruerer et udsagn og drager en konklusion (slutning) på dets grundlag, er det nødvendigt at have et begreb om emnet for at forstå dets væsentlige træk. Det er ikke enkelte billeder af sanseopfattelse, som kreativ tænkning oftest bygger på. Når vi taler om tegn, betyder de specifikke træk ved forskel eller lighed. Et karakteristisk træk er en egenskab, der kun er iboende for dette særlige emne.
Et koncept er en tænkelig afspejling i form af en helhed (eller enhed) af væsentlige og generelle træk ved et objekt.
Tænker på logiske begrebstyper, hvor eksempler er meget nemme at finde. Når vi siger ordet "kat", forestiller vi os et bestemt sæt tegn: kløer, uld, knurhår, miave, fange mus. Dette sæt er i sig selv et separat koncept, så vi kan sige, at begrebet "kat" er komplekst. Det inkluderer andre koncepter, der allerede er blevet nævnt ovenfor.
Begrebstyper
Koncepter kan være som følger:
1. Registrering (de besvarer spørgsmålene "hvilken slags individ?", "Hvornår?", "Hvor?"). Eksempler på sådanne begreber: "mennesker, der bor i Ivanovo i dag", "øen Madagaskar", "Fjodor Dostojevskij". De er til gengæld opdelt i ental (dem, der betyder ét specifikt emne - "Jack London") og generelle ("skribent", "stat").
2. Ikke-registrerende ("ord", "dyr", "mand"). De kan kun defineres kvalitativt, de har et uendeligt omfang af begreber inkluderet i dem, som et resultat af hvilket mange af deres elementer ikke kan tages i betragtning. Logik opdeler nogle gange også disse typer begreber i åben (ikke-registrerende) og lukket (registrerende).
3. Ikke-tom og tom på grundlag af korrespondance eller manglende korrespondance af et bestemt koncept til noget i den virkelige verden.
4. abstrakt og konkret. De førstnævnte er begreber om relationer eller egenskaber ved et objekt ("ære", "værdighed", "mod"), og sidstnævnte taler om specifikke objekter ("søjle", "bikube").
5. Negativ (taler om fraværet af egenskaber ved et bestemt objekt, f.eks. "ikke en person", "ikke en kat") og positiv ("kat", "person").
6. Korrelerende og irrelevant. Logikken karakteriserer disse typer af begreber som afhængige af hinanden og uafhængige. Det vil sige, at begreberne "drue" og "ben" for eksempel ikke er afhængige af hinanden på nogen måde, derfor kan de betragtes som irrelevante.
Konklusion
Formel logik har en række mangler, som er blevet identificeret af de mest erfarne tænkere i flere århundreder. Derfor adskiller moderne logik sig, selv om den overholder principperne for formel logik, ikke desto mindre fra sidstnævnte i sin mere perfekte struktur. Også denne videnskab bruger i vid udstrækningmatematik til forskellige beregninger. Men typerne af definitioner af begreber i logikken mister ikke deres relevans i dag. Derfor er enhver tænkende person simpelthen nødt til at sætte sig ind i strukturen af et sådant udtryk som "koncept".
