Vi konfronteres konstant med logiske love i hverdagen. Men desværre finder studiet af denne videnskab fuldt ud kun sted på nogle få fakulteter i højere uddannelsesinstitutioner.
Der er forskellige typer koncepter, hvis logik kan spores tilbage til gamle tider. Det hele starter med Aristoteles Organon (dette er det traditionelle navn på seks afhandlinger om tænkning foreslået af Andronnik fra Rhodos - udgiveren af denne filosofs værker).
Derefter blev Aristoteles ideer ændret af renæssancetænkeren Francis Bacon, en af de første empirister i hans tid. Filosofen gav sin afhandling navnet "New Organon". Han reagerede på Aristoteles tanker med en vis skepsis, idet han troede, at videnskabens opgave var at konstruere en ny metode til erkendelse og gavne alle mennesker. Bacon kritiserede den gamle logik, der efter hans mening kun tilføjede forvirring til det generelle viden om tænkning. Han satte frem for alt erfaring og induktiv metode.
Det er værd at bemærke, at logikken udviklede sig særligt intensivt i det 20. århundrede og blev til et sandsynligt, matematisk, klart og sammenhængende system. Men indtil videre har formelle logiske love stor metodologisk betydning for alle videnskaber.
Formel logik
Dets love inkluderer typer af begreber. Logik bygger en præsentationsplan, som er en kæde af "koncept - dom (eller udsagn) - inferens." Det enkleste, men samtidig grundlæggende, er. Inden du bygger en erklæring og drager en konklusion på dens basis (inferens), skal du have et begreb om emnet for at forstå dets væsentlige træk. Dette er ikke isolerede billeder af sensorisk opfattelse, hvorpå kreativ tænkning oftest er bygget. Når vi taler om tegn, betyder de specifikke træk med forskel eller lighed. Et særpræg er en sådan egenskab, der kun er inherent til netop dette emne.
Et koncept er en tænkelig afspejling i form af en generel totalitet (eller enhed) af væsentlige og generelle egenskaber ved et objekt.
Logik overvejer typer af koncepter, hvor eksempler er meget lette at finde. Når vi taler ordet "kat", kan vi forestille os et specifikt sæt tegn: kløer, hår, bart, myg, fang mus. Denne totalitet i sig selv er separate begreber, så vi kan sige, at begrebet "kat" er komplekst. Det inkluderer andre koncepter, der allerede er nævnt ovenfor.
Koncepttyper
Koncepterne kan være som følger:
1. Registrering (besvar spørgsmålene "hvilken type person?", "Hvornår?", "Hvor?"). Eksempler på sådanne begreber: "mennesker, der bor i dag i Ivanovo", "øen Madagaskar", "Fedor Dostojevskij". De er til gengæld opdelt i single (dem, der betyder et specifikt emne - "Jack London") og generelle ("forfatter", "stat").
2. Ikke-registranter ("ord", "dyr", "mand"). De kan kun defineres kvalitativt, have en uendelig mængde begreber inkluderet i dem, som et resultat af, at mange af deres elementer ikke kan tages i betragtning. Logik opdeler undertiden også disse typer begreber i åbne (ikke-registrerende) og lukkede (registrerende).
3. Ikke-tom og tom baseret på korrespondance eller inkonsekvens af et bestemt koncept til noget i den virkelige verden.
4. Abstrakt og specifik. Førstnævnte er begreber om et objekts forhold eller egenskaber ("ære", "værdighed", "mod"), og sidstnævnte taler om specifikke objekter ("søjle", "hive").
5. Negativt (angiver fraværet af egenskaberne for et bestemt emne, for eksempel "ikke en mand", "ikke en kat") og positiv ("kat", "mand").
6. Relativ og ikke-relationel. Logik karakteriserer disse typer begreber som værende afhængige af hinanden og uafhængige. Det er f.eks. Begreberne "druer" og "ben" på ingen måde afhænger af hinanden, derfor kan de betragtes som irrelevante.
