Formele logica en de basiswetten

logica - de wetenschap van methoden, wetten en vormen van denken.Formele logica is ontwikkeld door de oude Grieken al lang voor onze jaartelling.Het was de eerste Grieken naar een democratische samenleving waar wetten en besluiten van de Nationale Assemblee te bouwen.Zij hebben een primitieve wetenschap van geschilbeslechting.Een favoriet tijdverdrijf van de aristocratische jeugd had gesprekken met filosofen.Vandaar de universele liefde voor de ontwikkeling van theoretische wetenschap.Grieken had net de leer van hoe wetenschappelijk bewijs zijn.

eerste cursus de basisprincipes van de logica ontwikkeld door Aristoteles.Hij vestigde de aandacht op het feit dat alle argumenten zijn gebaseerd op de common law, de schending van die leidt tot verkeerde conclusies.De formele logica van Aristoteles werd op basis van deze wetten:

  1. Als oordelen bevestigend zijn, wat te maken van hen de conclusie kan niet negatief zijn.
  2. Als een van de verklaringen is negatief, en de algemene conclusie zal altijd negatief zijn.

Het lijkt erop dat de formele logica - een kennis van de principes en wetten effectief, een goede opbouw van de redenering met betrekking tot de vorm van de bouw (wegen verbinden delen van algemene overwegingen).

Alle fenomenen en objecten hebben een relatie.Links kan objectieve of subjectieve, gedeelde of privé, noodzakelijk of toevallig zijn.De belangrijkste van deze obligaties worden wetten genoemd.Zij allen weerspiegelen de dezelfde werkelijkheid, kan dus niet met elkaar in tegenspraak.Alle wetten van het menselijk denken zijn gekoppeld aan de wetten van de natuur.

denkwetten stabiel innerlijke verbondenheid tussen gedachten.Als een persoon zijn gedachten niet kan binden, heeft hij niet komen tot de juiste conclusie en zal niet in staat zijn om het aan anderen te brengen.

basiswetten van de formele logica - de wetten van de consistentie, de identiteit, het uitgesloten midden en de wet van voldoende reden.De ontwikkeling van de eerste drie behoren tot Aristoteles en Plato, de laatste - Leibniz.Schendingen van deze wetten (vooral de eerste drie) leidt tot contradicties, waardoor het onmogelijk is om de waarheid te onderscheiden van de leugen.Laatst minder regelgeving en de wet van toepassing is beperkter.

Non-core wetten van de logica - is de regels van de operationele concepten en oordelen, het verkrijgen van echte conclusie in een syllogisme, het vergroten van de kans op inductieve redenering en conclusies traduktivnogo karakter.

Act consistentie betekent dat het denken niet controversieel moeten zijn, en moet de kwaliteit van bepaalde dingen weer te geven.

wet van het uitgesloten midden vereist niet kijken tussen de twee conflicterende maar echte verklaring een derde ding, en de waarheid van slechts een van hen te erkennen.Een van de onderdelen van het conflict - zeker waar.

wet van de formele logica behandelt identiteit als een eis van precisie denken, dat wil zeggen vanaf een term die u nodig hebt om precies te begrijpen de definitie en betekenis.De essentie van de concepten en oordelen kunnen niet verstoren op wil.

wet van voldoende reden is dat elke ware gedachte die nodig zijn om de ware gedachten van anderen te rechtvaardigen, en valse ideeën kan niet worden gerechtvaardigd.Bij de ontwikkeling van beslissingen moet een causaal verband weerspiegelen.Alleen dan kan worden bewezen betrouwbaarheid.

logische vorm van denken en manieren van het definiëren van iedere vorm van gedachten door logische termen, die het woord bevatten uitgedrukt "en", "of", "als ... dan ..." ontkenning "is niet waar dat"(" nee "), het woord" enige "," all "(" nee "), een stelletje 'wezen' (in de zin van" is "), etc.Identificeer de logische vorm van het oordeel kan worden afgeleid uit de betekenis van de termen van het onlogisch dat verbale expressie van dit arrest zijn.Met andere woorden, formele logica drukt de structuur van het denken.Logische vorm is altijd informatief en zinvol.

Afhankelijk van hun vormen van denken zijn verdeeld in klassen: de concepten, redeneren en oordeel.Het concept - het idee generaliseert objecten op basis van hun basiskenmerken.Arrest - het idee, beweren de aanwezigheid (afwezigheid) van de situatie.Inference - dacht, als gevolg van het verwerven van kennis zoals uitgedrukt in de uitspraken van andere kennisinstellingen.