Vi konfronteras ständigt med logiska lagar i vardagen. Men tyvärr sker studien av denna vetenskap helt och hållet endast på några få fakulteter vid högskolor.
Det finns olika typer av begrepp, vars logik kan spåras tillbaka till forntida tider. Det hela börjar med Aristoteles Organon (detta är det traditionella namnet på sex förhandlingar om tänkande som föreslagits av Andronnik från Rhodos - förläggaren av filosofens verk).
Därefter modifierades Aristoteles idéer av renässansens tänkare Francis Bacon, en av de första empirikerna i hans tid. Filosofen gav sin avhandling namnet "New Organon". Han reagerade på Aristoteles tankar med en viss skepsis och trodde att vetenskapens uppgift var att konstruera en ny metod för kognition och gynna alla människor. Bacon kritiserade den gamla logiken, som enligt hans åsikt endast förde förvirring till det allmänna systemet för kunskap om tänkande. Han satte framför allt erfarenhet och induktiv metod.
Det är värt att notera att logiken utvecklades särskilt intensivt under 1900-talet och förvandlades till ett probabilistiskt, matematiskt, tydligt och sammanhängande system. Men hittills har formella logiska lagar stor metodologisk betydelse för alla vetenskaper.
Formell logik
Dess lagar innehåller typer av begrepp. Logik bygger ett presentationsschema, som är en kedja av "koncept - bedömning (eller uttalande) - slutsats." Det enklaste, men samtidigt grundläggande konceptet är. Innan du bygger ett uttalande och drar en slutsats på grundval av detta (inferens) måste du ha ett begrepp om ämnet för att förstå dess väsentliga funktioner. Dessa är inte isolerade bilder av sensorisk uppfattning, som kreativt tänkande oftast bygger på. På tal om tecken betyder de specifika drag av skillnad eller likhet. Ett särdrag är en sådan egenskap som endast är inneboende för just detta ämne.
Ett koncept är en tänkbar reflektion i form av en allmän totalitet (eller enhet) av väsentliga och allmänna egenskaper hos ett objekt.
Logik tar hänsyn till typer av begrepp, exempel som är mycket enkla att hitta. Med ordet "katt" kan vi föreställa oss en specifik uppsättning tecken: klor, hår, mustasch, mia, fånga möss. Denna totalitet i sig är separata begrepp, så vi kan säga att begreppet "katt" är komplex. Det inkluderar andra begrepp som redan har nämnts ovan.
Typer av begrepp
Koncepten kan vara följande:
1. Registrering (svara på frågorna "vilken typ av individ?", "När?", "Var?"). Exempel på sådana begrepp: "människor som bor idag i Ivanovo", "ön Madagaskar", "Fedor Dostojevskij". De är i sin tur indelade i singel (de som betyder ett specifikt ämne - "Jack London") och allmänna ("författare", "stat").
2. Icke-registranter ("ord", "djur", "man"). De kan bara definieras kvalitativt, ha en oändlig mängd begrepp som ingår i dem, vilket resulterar i att många av deras element inte kan beaktas. Logik delar ibland också dessa typer av begrepp i öppna (icke-registrerade) och stängda (registrerar).
3. Icke-tomt och tomt baserat på korrespondensen eller inkonsekvensen för ett visst koncept till något i den verkliga världen.
4. Abstrakt och specifikt. Det förstnämnda är begrepp om ett objekts förhållande eller egenskaper ("ära", "värdighet", "mod"), och det senare talar om specifika föremål ("pelare", "bikupa").
5. Negativt (indikerar frånvaron av egenskaper hos ett visst ämne, till exempel "inte en man", "inte en katt") och positiv ("katt", "man").
6. Relativ och icke-relationell. Logik karakteriserar dessa typer av begrepp som beroende av varandra och oberoende. Det är till exempel begreppen "druvor" och "ben" på inget sätt beror på varandra, därför kan de betraktas som irrelevanta.
