logikk - 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 hvor lover og beslutninger tatt på nasjonalforsamlingen.De har skapt en primitiv vitenskap av rettssaker.En favoritt tidsfordriv av den aristokratiske unge hatt diskusjoner med filosofer.Derav den universelle kjærlighet for utvikling av teoretisk vitenskap.Grekerne hadde læren om hvordan å være vitenskapelige bevis.
første kurset grunnleggende logikk utviklet av Aristoteles.Han trakk oppmerksomhet til det faktum at alle argumenter er basert på sedvanerett, brudd på som fører til feilaktige konklusjoner.Den formelle logikk Aristoteles var basert på disse lovene:
- Hvis dommer er bekreftende, hva du skal gjøre av dem konklusjonen kan ikke være negativ.
- Hvis en av uttalelsene er negative, og den generelle konklusjonen vil alltid være negative.
Det ser ut til at formelle logikk - en kunnskap om prinsipper og lover effektivt, riktig bygging av resonnement med hensyn til formen på sin konstruksjon (måter å koble deler av generelle betraktninger).
Alle fenomener og objekter har et forhold.Lenker kan være objektiv eller subjektiv, felles eller privat, nødvendig eller utilsiktet.De viktigste av disse obligasjonene kalles lover.De gjenspeiler den samme virkeligheten, og derfor kan ikke motsi hverandre.Alle lover menneskelig tenkning er knyttet til naturlovene.
lover tanke er stabile indre forbindelse mellom tanker.Hvis en person ikke kan binde sine tanker, gjorde han ikke kommet til riktig konklusjon, og vil ikke være i stand til å bringe den til andre.
grunnleggende formelle logikken - lover konsistens, identiteten, det utelukket midten og loven om tilstrekkelig grunn.Utviklingen av de tre første tilhører Aristoteles og Platon, den siste - Leibniz.Brudd på disse lovene (spesielt de tre første) fører til motsetninger, noe som gjør det umulig å skille sannhet fra løgn.Siste færre reguleringer og loven gjelder mer begrenset.
Non-core logikkens lover - er reglene for driftskonsepter og dommer, innhenting sann konklusjon i en syllogisme, øker sannsynligheten for induktiv resonnement og konklusjoner traduktivnogo karakter.
loven konsistens betyr at tenkning ikke burde være kontroversielt, og bør reflektere kvaliteten på visse ting.
lov av ekskludert midten krever ikke ser mellom de to motstridende, men sant utsagn en tredje ting, og å erkjenne sannheten om bare én av dem.En av komponentene i konflikt - absolutt til stede.
lov formell logikk behandler identitet som et krav om presisjon tenkning, dvs. fra ethvert uttrykk du trenger å forstå nøyaktig sin definisjon og mening.Essensen av begreper og dommer kan ikke forvrenge på vilje.
lov tilstrekkelig grunn er at enhver sann tanke nødvendig å rettferdiggjøre den sanne andres tanker og falske ideer kan ikke rettferdiggjøres.I utviklingen av dommer bør reflektere en årsakssammenheng.Bare i dette tilfelle kan det bli påvist pålitelighet.
logisk form av tanker og måter å definere noen form for tanker uttrykt av logiske termer, som inkluderer ordet "og", "eller", "hvis ... så ..." denial "er ikke sant at"(" nei "), ordet" noen "," alle "(" nei "), en haug med" essensen "(i betydningen av" is "), etc.Identifisere den logiske form av dom kan bli distrahert fra betydningen av vilkårene ulogisk som er verbale uttrykk av denne dom.Med andre ord, uttrykk formell logikk strukturen i tanken.Logisk form er alltid lærerikt og meningsfylt.
Avhengig sine former tanke er delt inn i klasser: begreper, resonnementer og dom.Konseptet - ideen generaliserer objekter på grunnlag av deres grunnleggende egenskaper.Dom - ideen, hevde tilstedeværelse (fravær) av situasjonen.Slutning - trodde, reflekterer tilegnelse av kunnskap som uttrykkes i dommene fra annen kunnskap.
