Formell logik och dess grundläggande lagar

Logic - 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 den första grekerna att bygga upp ett demokratiskt samhälle, där beslut och lagar som antogs vid ett offentligt möte. De skapade en primitiv vetenskap ledande prövningar. En favorit tidsfördriv av aristokratiska ungdomar hade diskussioner med filosofer. Därför universell kärlek för utvecklingen av teoretisk vetenskap. Grekerna hade bara läran om hur man ska vara vetenskapliga bevis.

Den första kursen av grunderna för logik som utvecklats av Aristoteles. Han uppmärksammade det faktum att alla argument är baserade på allmänna lagar, kränkningar av vilket leder till felaktiga slutsatser. Den formella logik Aristoteles byggde på sådana lagar:

1. Om domen är jakande, vad man ska göra av dem slutsatsen inte kan vara negativ.
2. Om en av uttalanden är negativ, och den allmänna slutsatsen är alltid negativ.

Därför verkar det som formell logik - är kunskapen om de principer och lagar på ett effektivt sätt, tolkas resonemang när det gäller formen på deras konstruktion (sätt att ansluta enskilda delar av de allmänna övervägan).

Alla fenomen och objekt har en relation. Länkar kan vara objektiv eller subjektivt, allmän eller privat, nödvändigt eller oavsiktlig. Den mest betydande av dessa obligationer kallas lagar. de alla speglar samma verklighet, därför kan aldrig motsäger varandra. Alla lagar mänskligt tänkande i samband med naturlagarna.

Lagarna tanke är stabila intern anslutning mellan tankar. Om man inte kan knyta sina tankar, han inte kommit till rätt slutsats och kommer inte att kunna ta med den till andra.

De grundläggande lagar formell logik - lagar konsekvens, identitet, uteslutna och lagen om tillräckliga skäl. Utvecklingen av de tre första hör till 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. Sista lag färre regler och mer begränsad användning.

Icke-kärn logikens lagar - det är dessa regler drift propositioner och begrepp erhålla sann slutsats i en syllogism, vilket ökar sannolikheten för induktiva resonemang och slutsatser traduktivnogo karaktär.

Lagen om konsekvens innebär att tänka inte vara kontroversiellt, men bör återspegla kvaliteten på vissa saker.

Uteslutna Lagen föreskriver inte att söka mellan två motsägelsefulla men sann berättelse är en tredje, och att erkänna sanningen om bara en av dem. En av komponenterna i motsägelser - förvisso sant.

lagen om identitets formell logik tolkar som ett krav på precision tänkande, dvs under varje uttryck som du behöver för att exakt förstå dess definition och innebörd. Kärnan i de begrepp och bedömningar kan inte snedvrida efter behag.

lagen om tillräckliga skäl är att någon verklig tanke som krävs för att motivera andra sanna tankar och falska idéer kan inte motiveras. I utvecklingen av domar bör återspegla ett orsakssamband. Endast i detta fall kan bevisas dess tillförlitlighet.

Den logiska form av tankar och metoder för att bestämma formerna för alla tankar som uttryckts av logiska villkor, som innehåller ordet "och", "eller", "om ... så ..." förnekande "är inte sant att" ( "nej") ordet "något", "all" ( "nej"), ett gäng "väsen" (i den mening som "är"), etc. Identifiera den logiska form av domen kan bli distraherad från innebörden av villkoren för ologiskt, som ingår i den verbala uttryck i denna dom. Med andra ord uttrycker formell logik struktur tanken. Den logiska formen är alltid informativ och meningsfull.

Beroende på deras tankeformer är indelade i klasser: begreppen, resonemang och bedömning. Concept - idén att generaliserar objekten på grundval av deras grundläggande egenskaper. Dom - idén, hävda närvaro (frånvaro) av situationen. Slutledning - trodde, vilket återspeglar kunskapsinhämtning, uttryckt i domar annan kunskap.