V vsakdanjem življenju se nenehno srečujemo z logičnimi zakoni. Toda na žalost študij te znanosti v celoti poteka le na nekaj fakultetah v visokošolskih zavodih.
Obstajajo različne vrste pojmov, katerih logiko je mogoče zaslediti do antičnih časov. Vse se začne z Aristotelovim Organonom (to je tradicionalno ime šestih traktatov o razmišljanju, ki jih je predlagal Andronnik z Rodosa - založnik del tega filozofa).
Pozneje je ideje Aristotela spremenil renesančni mislec Francis Bacon, eden prvih empirikov svojega časa. Filozof je svojemu traktatu dal ime "New Organon". Na misli Aristotela se je odzval z mero skepse, saj je verjel, da je naloga znanosti konstruirati nov način spoznavanja in koristiti vsem ljudem. Bacon je kritiziral staro logiko, ki je po njegovem mnenju splošnemu sistemu znanja o razmišljanju dodala le zmedo. Postavil je predvsem izkušnje in induktivno metodo.
Omeniti velja, da se je logika še posebej intenzivno razvijala v 20. stoletju in se spremenila v verjetnostni, matematični, jasen in skladen sistem. A do zdaj imajo formalni logični zakoni velik metodološki pomen za vse vede.
Formalna logika
Njeni zakoni vključujejo vrste konceptov. Logika gradi predstavitveno shemo, ki je veriga "koncept - presoja (ali izjava) - sklepanje." Najenostavnejši, a hkrati temeljni koncept je. Preden sestavite izjavo in na njeni podlagi naredite sklep (sklepanje), morate imeti koncept predmeta, da razumete njegove bistvene značilnosti. To niso osamljene slike čutnega zaznavanja, na katerih se najpogosteje gradi ustvarjalno mišljenje. Ko govorimo o znakih, pomenijo posebne lastnosti razlike ali podobnosti. Razlikovalna lastnost je taka lastnost, ki je lastna samo temu predmetu.
Koncept je možen odsev v obliki splošne celote (ali enotnosti) bistvenih in splošnih lastnosti predmeta.
Logika obravnava vrste konceptov, katerih primere je zelo enostavno najti. Ko govorimo z besedo "mačka", si predstavljamo točno določen niz znakov: kremplji, dlake, brki, mev, miši ulova. Ta celost je samo po sebi ločen pojem, zato lahko rečemo, da je koncept mačke kompleksen. Vključuje druge koncepte, ki so bili že omenjeni zgoraj.
Vrste pojmov
Koncepti so lahko naslednji:
1. Registracija (odgovorite na vprašanja "kakšen posameznik?", "Kdaj?", "Kje?"). Primeri takšnih konceptov: "ljudje, ki danes živijo v Ivanovem", "otok Madagaskar", "Fedor Dostoevsky". So pa razdeljeni na enojne (tiste, ki pomenijo en poseben predmet - "Jack London") in splošne ("pisatelj", "država").
2. Neregistracijski zavezanci ("beseda", "živali", "človek"). Opredelimo jih lahko le kvalitativno, v njih je vključeno neskončno število pojmov, zaradi česar številnih njihovih elementov ni mogoče upoštevati. Logika včasih te vrste konceptov deli tudi na odprte (neregistrirane) in zaprte (registrirajoče).
3. Neprazni in prazni, ki temeljijo na korespondenci ali nedoslednosti določenega koncepta nečemu v resničnem svetu.
4. Izvleček in specifičnost. Prvi so pojmi o odnosu ali lastnostih predmeta ("čast", "dostojanstvo", "pogum"), drugi pa govorijo o posebnih predmetih ("steber", "panj").
5. negativne (kar kaže na odsotnost lastnosti določenega predmeta, na primer "ni človek", "ni mačka") in pozitivno ("mačka", "človek").
6. Relativno in nerelacijsko. Logika označuje te vrste konceptov, da so odvisni drug od drugega in neodvisni. Na primer, pojma "grozdje" in "noga" nikakor nista odvisna drug od drugega, zato ju je mogoče šteti za nepomembno.
