logik - videnskaben om metoder, love og former for tænkning.Formelle logik er udviklet af de gamle grækere længe før vor tidsregning.Det var de første grækere til at opbygge et demokratisk samfund, hvor love og beslutninger truffet på nationalforsamlingen.De har skabt en primitiv videnskab af tvister.En favorit tidsfordriv af den aristokratiske ungdom haft drøftelser med filosoffer.Derfor universel kærlighed til udviklingen af teoretiske videnskab.Grækerne lige haft læren om hvordan man kan være videnskabelige beviser.
første kursus grundlæggende logik er udviklet af Aristoteles.Han gjorde opmærksom på, at alle de argumenter er baseret på den fælles lov, overtrædelse af hvilket fører til fejlagtige konklusioner.Den formelle logik Aristoteles var baseret på disse love:
- Hvis domme er bekræftende, hvad man skal gøre af dem konklusionen kan ikke være negativ.
- Hvis en af erklæringerne er negativ, og den generelle konklusion vil altid være negativ.
Det fremgår, at den formelle logik - en viden om de principper og love effektivt, fortolkes ræsonnement med hensyn til formen af deres konstruktion (måder at forbinde dele af generelle betragtninger).
Alle fænomener og objekter har et forhold.Links kan være objektiv eller subjektive, delt eller privat, nødvendigt eller utilsigtet.Den mest markante af disse obligationer kaldes love.De er alle afspejler den samme virkelighed, kan derfor ikke i modstrid med hinanden.Alle love af den menneskelige tanke er forbundet med naturens love.
love tanke er stabile indre forbindelse mellem tanker.Hvis en person ikke kan binde sine tanker, han ikke kommet til den rigtige konklusion, og vil ikke være i stand til at bringe det til andre.
grundlæggende love for formelle logik - love konsistens, identiteten, de udstødte midten og lovgivningen i tilstrækkelig grund.Udviklingen af de første tre hører til Aristoteles og Platon, den sidste - Leibniz.Overtrædelse af disse love (især den første tre) fører til modsigelser, hvilket gør det umuligt at skelne sandhed fra usandhed.Sidste færre regler og loven gælder mere begrænset.
Ikke-core logikkens love - er reglerne for drifts- koncepter og domme, opnåelse sand konklusion i en syllogisme, hvilket øger sandsynligheden for induktive ræsonnement og konklusioner traduktivnogo karakter.
lov konsistens betyder, at tænkning ikke skulle være kontroversielt, og bør afspejle kvaliteten af visse ting.
lov udelukkede midten kræver ikke se mellem de to modstridende, men sandt udsagn en tredje ting, og at anerkende sandheden om kun én af dem.En af komponenterne i konflikten - sikkert rigtigt.
lov formelle logik behandler identitet som et krav om præcision tænkning, dvs. fra ethvert udtryk, du har brug for at forstå præcis dens definition og betydning.Essensen af de begreber og domme ikke kan forvride efter behag.
lov tilstrækkelig grund er, at enhver sand tanke nødvendig for at retfærdiggøre de sande andres tanker, og falske ideer kan ikke retfærdiggøres.I udviklingen af retsafgørelser bør afspejle en årsagssammenhæng.Kun i dette tilfælde det kan bevises pålidelighed.
logisk form for tænkning og måder at definere enhver form for tanker udtrykt af logiske udtryk, der indeholder ordet "og", "eller", "hvis ... så ..." benægtelse "er ikke sandt, at"(" nej "), ordet" nogle "," alle "(" nej "), en flok" essens "(som defineret i" er "), osvIdentificere den logiske form for dom kan blive distraheret fra betydningen af vilkårene for ulogisk, der er verbale udtryk i denne dom.Med andre ord, formelle logik udtrykker strukturen af tanke.Logisk form, er altid informativ og meningsfuld.
Afhængig deres tankeformer er opdelt i klasser: begreberne, ræsonnement og dømmekraft.Konceptet - ideen generaliserer objekter på baggrund af deres grundlæggende karakteristika.Dom - ideen, at hævde tilstedeværelsen (fravær) af situationen.Inference - tænkte, hvilket afspejler erhvervelse af viden som udtrykt i de domme af anden viden.
