Formell logikk og dens grunnleggende lover

Logic - vitenskapen om metoder, lover og former for tenkning. Formell logikk er utviklet av de gamle grekerne, lenge før vår tidsregning. Det var de første grekerne å bygge et demokratisk samfunn, der beslutninger og lover vedtatt på et offentlig møte. De skapte en primitiv vitenskap gjennomføre studier. En favoritt tidsfordriv av aristokratisk ungdom hadde diskusjoner med filosofene. Derav den universelle kjærligheten til utviklingen av teoretisk vitenskap. Grekerne hadde læren om hvordan å være vitenskapelige bevis.

Det første kurset av grunnlaget for logikk utviklet av Aristoteles. Han trakk oppmerksomhet til det faktum at alle argumenter er basert på de generelle lovene, brudd som fører til feilaktige konklusjoner. Den formelle logikk Aristoteles var basert på slike lover:

1. Hvis dommen er ja, hva du skal gjøre av dem konklusjonen ikke kan være negativ.
2. Hvis en av uttalelsene er negative, og den generelle konklusjonen er alltid negativt.

Derfor ser det ut til at formelle logikk - er kunnskap om prinsipper og lover effektivt, riktig bygging av resonnement når det gjelder formen på sine bygge (måter å koble enkelte deler av de generelle betraktninger).

Alle fenomener og objekter har et forhold. Lenker kan være objektiv eller subjektiv, generell eller privat, nødvendig eller utilsiktet. De viktigste av disse obligasjonene kalles lover. de alle reflekterer den samme virkeligheten, derfor kan aldri motsier hverandre. Alle lovene i menneskelig tanke assosiert med naturlovene.

Lovene i tanken er stabile indre forbindelse mellom tanker. Hvis en mann ikke kan knytte sine tanker, gjorde han ikke kommet til riktig konklusjon, og vil ikke være i stand til å bringe den til andre.

De grunnleggende lovene i formell logikk - lover konsistens, identitet, ekskludert midten og loven om tilstrekkelig grunn. Utviklingen av de tre første tilhører Aristoteles og Platon, den siste - Leibniz. Brudd på disse lovene (særlig de tre første) fører til motsetninger, noe som gjør det umulig å skille sannhet fra løgn. Siste lov færre reguleringer og mer begrenset bruk.

Non-core logikkens lover - dette er reglene for drifts påstander og begreper, innhenting sant konklusjonen i en syllogisme, øker sannsynligheten for induksjon og konklusjoner traduktivnogo karakter.

Loven om konsistens betyr at tenkning ikke burde være kontroversielt, men bør reflektere kvaliteten på visse ting.

Ekskludert midten lov foreskriver ikke å søke mellom to motstridende, men sant utsagn er en tredje, og å anerkjenne sannheten om bare en av dem. En av komponentene i motsetninger - sikkert sant.

loven om identitet formell logikk tolker som et krav om presisjon tenkning, dvs. under noen ord du trenger å nøyaktig forstå sin definisjon og mening. Essensen av begreper og dommer kan ikke forvrenge på vilje.

Loven om tilstrekkelig grunn er at noen sanne tanken er nødvendig for å rettferdiggjøre andres sanne tanker og falske ideer kan ikke rettferdiggjøres. I utviklingen av dommer bør reflektere en årsakssammenheng. Bare i dette tilfellet kan det være bevist sin pålitelighet.

Den logiske formen av tanken og metoder for å bestemme formene av alle tanker uttrykt ved logiske betingelser, som inkluderer ordet "og", "eller", "hvis ... deretter ..." sperring "er ikke sant at" ( "nei") ordet "noen", "alle" ( "nei"), en haug med "essens" (i betydningen av "er"), etc. Identifisere den logiske form av dommen kan bli distrahert fra betydningen av vilkårene i ulogisk, som inngår i den verbale uttrykk for denne dommen. Med andre ord, uttrykk formell logikk strukturen i tanken. Den logiske formen er alltid lærerikt og meningsfylt.

Avhengig av deres former for tanken er delt inn i klasser: begreper, resonnementer og dom. Concept - ideen om at generaliserer objektene på grunnlag av deres grunnleggende egenskaper. Dom - ideen, hevde tilstedeværelse (fravær) av situasjonen. Slutning - trodde, reflekterer tilegnelse av kunnskap, uttrykt i dommene fra annen kunnskap.