logik - vetenskapen om metoder, lagar och företagsformer tänkande.Formell logik har utvecklats av de gamla grekerna långt före vår tideräkning.Det var de första grekerna att bygga ett demokratiskt samhälle där lagar och beslut som fattas i nationalförsamlingen.De har skapat en primitiv vetenskap rättstvister.En favorit tidsfördriv av den aristokratiska ungdomar hade diskussioner med filosofer.Därför universell kärlek för utveckling av teoretisk vetenskap.Grekerna hade bara läran om hur man ska vara vetenskapliga bevis.
första kursen grunderna i logik som utvecklats av Aristoteles.Han uppmärksammade det faktum att alla argument bygger på common law, kränkningar av vilket leder till felaktiga slutsatser.Den formella logik Aristoteles baserades på dessa lagar:
- Om domar är jakande, vad man ska göra av dem slutsatsen kan inte vara negativt.
- Om ett av meddelandena är negativt, och den allmänna slutsatsen är alltid negativ.
Det verkar som formell logik - kunskap om principer och lagar på ett effektivt sätt, tolkas resonemang när det gäller formen av deras konstruktion (sätt att koppla delar av allmänna överväganden).
Alla fenomen och objekt har en relation.Länkar kan vara objektiv eller subjektiva, delad eller privat, nödvändigt eller oavsiktlig.Den mest betydande av dessa obligationer kallas lagar.De alla speglar samma verklighet, därför inte kan motsäga varandra.Alla lagar mänskliga tänkandets är kopplade till naturlagarna.
lagar tanke är stabila inre samband mellan tankar.Om en person inte kan binda sina tankar, hade han inte kommit till rätt slutsats och kommer inte att kunna föra den till andra.
grundläggande lagar formell logik - lagar konsistens, identiteten, de utslagna mitten och lagens av tillräckliga skäl.Utvecklingen av de tre första tillhör Aristoteles och Platon, den sista - Leibniz.Brott mot dessa lagar (särskilt de tre första) leder till motsättningar, vilket gör det omöjligt att skilja sanning från lögn.De senaste färre regler och lagen gäller mer begränsad.
Icke-core logikens lagar - är reglerna för driftkoncept och domar, erhålla sann slutsats i en syllogism, vilket ökar sannolikheten för induktiva resonemang och slutsatser traduktivnogo karaktär.
Act konsekvens innebär att tänka bör inte vara kontroversiellt, och bör återspegla kvaliteten på vissa saker.
lag uteslutna kräver inte ut mellan de två motstridiga men sann berättelse en tredje sak, och att erkänna sanningen om bara en av dem.En av komponenterna i konflikten - förvisso sant.
lag formell logik behandlar identitet som ett krav på precision tänkande, dvs från varje uttryck som du behöver för att förstå exakt dess definition och innebörd.Kärnan i de begrepp och domar kan inte snedvrida efter behag.
lag tillräckliga skäl är att någon verklig tanke krävs för att motivera de verkliga andras tankar och falska idéer kan inte motiveras.I utvecklingen av domar bör återspegla ett orsakssamband.Endast i detta fall kan beprövad tillförlitlighet.
logisk form av tankar och sätt att definiera någon form av tankar som uttryckts av logiska villkor, som innehåller ordet "och", "eller", "om ... så ..." denial "är inte sant att"(" nej "), ordet" vissa "," all "(" nej "), ett gäng" väsen "(enligt" är "), etc.Identifiera den logiska form av dom kan distraheras från innebörden av villkoren i ologiskt som är verbal uttryck i denna dom.Med andra ord, uttrycker formell logik struktur tanken.Logisk form är alltid informativ och meningsfullt.
Beroende på deras tankeformer är indelade i klasser: begreppen, resonemang och dom.Konceptet - idén generaliserar föremål på grundval av deras grundläggande egenskaper.Dom - idén, hävda närvaron (frånvaro) av situationen.Slutledning - tänkte, vilket återspeglar förvärvet av kunskap som kommer till uttryck i domarna av annan kunskap.
